runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/inescp-1.0/rand2fe899.cudf.difficult.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/difficult//rand2fe899.cudf /home/misc2010/tmp/201007051419/inescp-1.0/rand2fe899.cudf.difficult.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.19 1.13 1.09 2/95 5808 /proc/meminfo: memFree=1238456/2097152 swapFree=2055676/2097144 [pid=5808] ppid=5807 vsize=2880 CPUtime=0 /proc/5808/stat : 5808 (runsolver) R 5807 5808 13759 34823 13904 4202560 73 0 0 0 0 0 0 0 25 0 1 0 416060423 2949120 93 1283457024 134512640 134586868 4290161472 18446744073709551615 4158096666 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/5808/statm: 720 93 62 19 0 52 0 [startup+0.117837 s] /proc/loadavg: 1.19 1.13 1.09 2/95 5808 /proc/meminfo: memFree=1238456/2097152 swapFree=2055676/2097144 [pid=5808] ppid=5807 vsize=2380 CPUtime=0 /proc/5808/stat : 5808 (inescp-1.0) S 5807 5808 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416060423 2437120 259 1283457024 134512640 135191968 4293601088 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5808/statm: 595 259 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.358318 s] /proc/loadavg: 1.19 1.13 1.09 2/95 5808 /proc/meminfo: memFree=1238456/2097152 swapFree=2055676/2097144 [pid=5808] ppid=5807 vsize=2380 CPUtime=0 /proc/5808/stat : 5808 (inescp-1.0) S 5807 5808 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416060423 2437120 259 1283457024 134512640 135191968 4293601088 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5808/statm: 595 259 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.497437 s] /proc/loadavg: 1.19 1.13 1.09 2/95 5808 /proc/meminfo: memFree=1238456/2097152 swapFree=2055676/2097144 [pid=5808] ppid=5807 vsize=2380 CPUtime=0 /proc/5808/stat : 5808 (inescp-1.0) S 5807 5808 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416060423 2437120 259 1283457024 134512640 135191968 4293601088 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5808/statm: 595 259 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.900932 s] /proc/loadavg: 1.19 1.13 1.09 2/95 5808 /proc/meminfo: memFree=1238456/2097152 swapFree=2055676/2097144 [pid=5808] ppid=5807 vsize=2380 CPUtime=0 /proc/5808/stat : 5808 (inescp-1.0) S 5807 5808 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416060423 2437120 259 1283457024 134512640 135191968 4293601088 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5808/statm: 595 259 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+1.51397 s] /proc/loadavg: 1.19 1.13 1.09 2/95 5808 /proc/meminfo: memFree=1238456/2097152 swapFree=2055676/2097144 [pid=5808] ppid=5807 vsize=2380 CPUtime=0 /proc/5808/stat : 5808 (inescp-1.0) S 5807 5808 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416060423 2437120 259 1283457024 134512640 135191968 4293601088 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5808/statm: 595 259 221 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+3.11006 s] /proc/loadavg: 1.19 1.13 1.09 4/108 5822 /proc/meminfo: memFree=1088932/2097152 swapFree=2055676/2097144 [pid=5808] ppid=5807 vsize=2380 CPUtime=0 /proc/5808/stat : 5808 (inescp-1.0) S 5807 5808 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416060423 2437120 259 1283457024 134512640 135191968 4293601088 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5808/statm: 595 259 221 166 0 27 0 [pid=5810] ppid=5808 vsize=3996 CPUtime=0.01 /proc/5810/stat : 5810 (cudf-solver.py) S 5808 5808 13759 34823 13904 4202496 755 0 0 0 1 0 0 0 25 0 1 0 416060423 4091904 641 1283457024 134512640 135539072 4292179440 18446744073709551615 4158605966 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5810/statm: 999 641 346 251 0 300 0 [pid=5811] ppid=5810 vsize=874952 CPUtime=4.66 /proc/5811/stat : 5811 (java) S 5810 5808 13759 34823 13904 4202496 44415 0 0 0 454 12 0 0 18 0 12 0 416060425 895950848 39049 1283457024 134512640 134550932 4292744656 18446744073709551615 4159751314 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5811/statm: 218738 39049 1771 10 0 215825 0 [pid=5811/tid=5812] ppid=5810 vsize=874952 CPUtime=1.91 /proc/5811/task/5812/stat : 5812 (java) R 5810 5808 13759 34823 13904 4202560 14832 0 0 0 188 3 0 0 16 0 12 0 416060427 895950848 39049 1283457024 134512640 134550932 4292744656 18446744073709551615 4094952100 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5811/tid=5813] ppid=5810 vsize=874952 CPUtime=0.26 /proc/5811/task/5813/stat : 5813 (java) S 5810 5808 13759 34823 13904 4202560 9124 0 0 0 22 4 0 0 15 0 12 0 416060427 895950848 39049 1283457024 134512640 134550932 4292744656 18446744073709551615 4159764720 0 4 0 16800975 18446612132635822912 0 0 -1 1 0 0 0 [pid=5811/tid=5814] ppid=5810 vsize=874952 CPUtime=0.21 /proc/5811/task/5814/stat : 5814 (java) S 5810 5808 13759 34823 13904 4202560 9545 0 0 0 19 2 0 0 15 0 12 0 416060427 895950848 39049 1283457024 134512640 134550932 4292744656 18446744073709551615 4159764720 0 4 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=5811/tid=5815] ppid=5810 vsize=874952 CPUtime=0.26 /proc/5811/task/5815/stat : 5815 (java) S 5810 5808 13759 34823 13904 4202560 1800 0 0 0 26 0 0 0 16 0 12 0 416060429 895950848 39049 1283457024 134512640 134550932 4292744656 18446744073709551615 4159765512 0 0 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=5811/tid=5816] ppid=5810 vsize=874952 CPUtime=0 /proc/5811/task/5816/stat : 5816 (java) S 5810 5808 13759 34823 13904 4202560 15 0 0 0 0 0 0 0 16 0 12 0 416060429 895950848 39049 1283457024 134512640 134550932 4292744656 18446744073709551615 4159764720 0 4 0 16800975 18446612132635822912 0 0 -1 1 0 0 0 [pid=5811/tid=5817] ppid=5810 vsize=874952 CPUtime=0 /proc/5811/task/5817/stat : 5817 (java) S 5810 5808 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 416060429 895950848 39049 1283457024 134512640 134550932 4292744656 18446744073709551615 4159764720 0 4 0 16800975 18446612132635822912 0 0 -1 1 0 0 0 [pid=5811/tid=5818] ppid=5810 vsize=874952 CPUtime=0 /proc/5811/task/5818/stat : 5818 (java) S 5810 5808 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416060432 895950848 39049 1283457024 134512640 134550932 4292744656 18446744073709551615 4159773008 0 4 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=5811/tid=5819] ppid=5810 vsize=874952 CPUtime=0.71 /proc/5811/task/5819/stat : 5819 (java) D 5810 5808 13759 34823 13904 4202560 2882 0 0 0 70 1 0 0 16 0 12 0 416060432 895950848 39049 1283457024 134512640 134550932 4292744656 18446744073709551615 4159183636 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5811/tid=5820] ppid=5810 vsize=874952 CPUtime=1.27 /proc/5811/task/5820/stat : 5820 (java) D 5810 5808 13759 34823 13904 4202560 4822 0 0 0 126 1 0 0 16 0 12 0 416060432 895950848 39049 1283457024 134512640 134550932 4292744656 18446744073709551615 4159183395 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=5811/tid=5821] ppid=5810 vsize=874952 CPUtime=0 /proc/5811/task/5821/stat : 5821 (java) S 5810 5808 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 416060432 895950848 39049 1283457024 134512640 134550932 4292744656 18446744073709551615 4159764720 0 4 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=5811/tid=5822] ppid=5810 vsize=874952 CPUtime=0 /proc/5811/task/5822/stat : 5822 (java) R 5810 5808 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 16 0 12 0 416060432 895950848 39049 1283457024 134512640 134550932 4292744656 18446744073709551615 4159775431 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.67 Current children cumulated vsize (KiB) 881328 [startup+6.30614 s] /proc/loadavg: 1.26 1.15 1.09 2/98 5827 /proc/meminfo: memFree=1220568/2097152 swapFree=2055676/2097144 [pid=5808] ppid=5807 vsize=2380 CPUtime=0 /proc/5808/stat : 5808 (inescp-1.0) S 5807 5808 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416060423 2437120 259 1283457024 134512640 135191968 4293601088 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5808/statm: 595 259 221 166 0 27 0 [pid=5810] ppid=5808 vsize=3996 CPUtime=6.22 /proc/5810/stat : 5810 (cudf-solver.py) S 5808 5808 13759 34823 13904 4202496 813 51684 0 0 1 0 596 25 15 0 1 0 416060423 4091904 641 1283457024 134512640 135539072 4292179440 18446744073709551615 4158605966 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/5810/statm: 999 641 346 251 0 300 0 [pid=5826] ppid=5810 vsize=2888 CPUtime=0 /proc/5826/stat : 5826 (sh) S 5810 5808 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 416060858 2957312 320 1283457024 134512640 135191968 4291272064 18446744073709551615 4159007374 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5826/statm: 722 320 219 166 0 154 0 [pid=5827] ppid=5826 vsize=14304 CPUtime=1.94 /proc/5827/stat : 5827 (msuncore) R 5826 5808 13759 34823 13904 4202496 14765 0 0 0 187 7 0 0 20 0 1 0 416060858 14647296 3349 1283457024 134512640 135858300 4293933088 18446744073709551615 134639507 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/5827/statm: 3576 3349 133 329 0 3245 0 Current children cumulated CPU time (s) 8.16 Current children cumulated vsize (KiB) 23568 [startup+12.7064 s] /proc/loadavg: 1.24 1.14 1.09 2/98 5827 /proc/meminfo: memFree=1200356/2097152 swapFree=2055676/2097144 [pid=5808] ppid=5807 vsize=2380 CPUtime=0 /proc/5808/stat : 5808 (inescp-1.0) S 5807 5808 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416060423 2437120 259 1283457024 134512640 135191968 4293601088 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5808/statm: 595 259 221 166 0 27 0 [pid=5810] ppid=5808 vsize=3996 CPUtime=6.22 /proc/5810/stat : 5810 (cudf-solver.py) S 5808 5808 13759 34823 13904 4202496 813 51684 0 0 1 0 596 25 15 0 1 0 416060423 4091904 641 1283457024 134512640 135539072 4292179440 18446744073709551615 4158605966 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/5810/statm: 999 641 346 251 0 300 0 [pid=5826] ppid=5810 vsize=2888 CPUtime=0 /proc/5826/stat : 5826 (sh) S 5810 5808 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 416060858 2957312 320 1283457024 134512640 135191968 4291272064 18446744073709551615 4159007374 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5826/statm: 722 320 219 166 0 154 0 [pid=5827] ppid=5826 vsize=34316 CPUtime=8.33 /proc/5827/stat : 5827 (msuncore) R 5826 5808 13759 34823 13904 4202496 19766 0 0 0 824 9 0 0 25 0 1 0 416060858 35139584 8350 1283457024 134512640 135858300 4293933088 18446744073709551615 134620125 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/5827/statm: 8579 8350 137 329 0 8248 0 Current children cumulated CPU time (s) 14.55 Current children cumulated vsize (KiB) 43580 Solver just ended. Dumping a history of the last processes samples [startup+12.8064 s] /proc/loadavg: 1.24 1.14 1.09 2/98 5827 /proc/meminfo: memFree=1200356/2097152 swapFree=2055676/2097144 [pid=5808] ppid=5807 vsize=2380 CPUtime=0 /proc/5808/stat : 5808 (inescp-1.0) S 5807 5808 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416060423 2437120 259 1283457024 134512640 135191968 4293601088 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5808/statm: 595 259 221 166 0 27 0 [pid=5810] ppid=5808 vsize=3996 CPUtime=6.22 /proc/5810/stat : 5810 (cudf-solver.py) S 5808 5808 13759 34823 13904 4202496 813 51684 0 0 1 0 596 25 15 0 1 0 416060423 4091904 641 1283457024 134512640 135539072 4292179440 18446744073709551615 4158605966 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/5810/statm: 999 641 346 251 0 300 0 [pid=5826] ppid=5810 vsize=2888 CPUtime=0 /proc/5826/stat : 5826 (sh) S 5810 5808 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 416060858 2957312 320 1283457024 134512640 135191968 4291272064 18446744073709551615 4159007374 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5826/statm: 722 320 219 166 0 154 0 [pid=5827] ppid=5826 vsize=34316 CPUtime=8.43 /proc/5827/stat : 5827 (msuncore) R 5826 5808 13759 34823 13904 4202496 19766 0 0 0 834 9 0 0 25 0 1 0 416060858 35139584 8350 1283457024 134512640 135858300 4293933088 18446744073709551615 134663452 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/5827/statm: 8579 8350 137 329 0 8248 0 Current children cumulated CPU time (s) 14.65 Current children cumulated vsize (KiB) 43580 [startup+13.2064 s] /proc/loadavg: 1.24 1.14 1.09 2/98 5827 /proc/meminfo: memFree=1200356/2097152 swapFree=2055676/2097144 [pid=5808] ppid=5807 vsize=2380 CPUtime=0 /proc/5808/stat : 5808 (inescp-1.0) S 5807 5808 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416060423 2437120 259 1283457024 134512640 135191968 4293601088 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5808/statm: 595 259 221 166 0 27 0 [pid=5810] ppid=5808 vsize=3996 CPUtime=6.22 /proc/5810/stat : 5810 (cudf-solver.py) S 5808 5808 13759 34823 13904 4202496 813 51684 0 0 1 0 596 25 15 0 1 0 416060423 4091904 641 1283457024 134512640 135539072 4292179440 18446744073709551615 4158605966 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/5810/statm: 999 641 346 251 0 300 0 [pid=5826] ppid=5810 vsize=2888 CPUtime=0 /proc/5826/stat : 5826 (sh) S 5810 5808 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 17 0 1 0 416060858 2957312 320 1283457024 134512640 135191968 4291272064 18446744073709551615 4159007374 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5826/statm: 722 320 219 166 0 154 0 [pid=5827] ppid=5826 vsize=34316 CPUtime=8.83 /proc/5827/stat : 5827 (msuncore) R 5826 5808 13759 34823 13904 4202496 19766 0 0 0 874 9 0 0 25 0 1 0 416060858 35139584 8350 1283457024 134512640 135858300 4293933088 18446744073709551615 135336595 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/5827/statm: 8579 8350 137 329 0 8248 0 Current children cumulated CPU time (s) 15.05 Current children cumulated vsize (KiB) 43580 [startup+13.3064 s] /proc/loadavg: 1.24 1.14 1.09 2/98 5827 /proc/meminfo: memFree=1200356/2097152 swapFree=2055676/2097144 [pid=5808] ppid=5807 vsize=2380 CPUtime=0 /proc/5808/stat : 5808 (inescp-1.0) S 5807 5808 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416060423 2437120 259 1283457024 134512640 135191968 4293601088 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5808/statm: 595 259 221 166 0 27 0 [pid=5810] ppid=5808 vsize=7268 CPUtime=15.16 /proc/5810/stat : 5810 (cudf-solver.py) R 5808 5808 13759 34823 13904 4202496 1744 71829 0 0 8 0 1472 36 16 0 1 0 416060423 7442432 1410 1283457024 134512640 135539072 4292179440 18446744073709551615 4158767102 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/5810/statm: 1817 1410 346 251 0 1118 0 Current children cumulated CPU time (s) 15.16 Current children cumulated vsize (KiB) 9648 Child status: 0 Real time (s): 13.3331 CPU time (s): 15.1849 CPU user time (s): 14.8129 CPU system time (s): 0.372023 CPU usage (%): 113.889 Max. virtual memory (cumulated for all children) (KiB): 887924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.8129 system time used= 0.372023 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75201 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 653 involuntary context switches= 433 runsolver used 0.004 second user time and 0.012 second system time The end