runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3720399-1338511387/watcher-3720399-1338511387 -o /tmp/evaluation-result-3720399-1338511387/solver-3720399-1338511387 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720399-1338511387.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.93 2/178 27329
/proc/meminfo: memFree=29461216/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=2912 CPUtime=0 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 317263483 2981888 201 33554432000 134512640 134579096 4291280448 4291269876 3327230 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 728 211 187 17 0 34 0
[startup+0.0543999 s]
/proc/loadavg: 1.92 1.98 1.93 2/178 27329
/proc/meminfo: memFree=29461216/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=3504 CPUtime=0.04 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 441 0 0 0 4 0 0 0 20 0 1 0 317263483 3588096 378 33554432000 134512640 134579096 4291280448 4291279280 134528114 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 876 378 227 17 0 182 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3504
[startup+0.100603 s]
/proc/loadavg: 1.92 1.98 1.93 2/178 27329
/proc/meminfo: memFree=29461216/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=3760 CPUtime=0.09 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 503 0 0 0 9 0 0 0 20 0 1 0 317263483 3850240 440 33554432000 134512640 134579096 4291280448 4291279248 134528611 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 940 440 227 17 0 246 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3760
[startup+0.300212 s]
/proc/loadavg: 1.92 1.98 1.93 2/178 27329
/proc/meminfo: memFree=29461216/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=4016 CPUtime=0.29 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 562 0 0 0 29 0 0 0 20 0 1 0 317263483 4112384 499 33554432000 134512640 134579096 4291280448 4291279280 134517940 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 1004 499 227 17 0 310 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4016
[startup+0.700208 s]
/proc/loadavg: 1.92 1.98 1.93 2/178 27329
/proc/meminfo: memFree=29461216/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=4396 CPUtime=0.69 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 658 0 0 0 69 0 0 0 20 0 1 0 317263483 4501504 595 33554432000 134512640 134579096 4291280448 4291279016 3515687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 1099 595 227 17 0 405 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4396
[startup+1.50021 s]
/proc/loadavg: 1.92 1.98 1.93 3/179 27330
/proc/meminfo: memFree=29457448/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=4656 CPUtime=1.49 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 737 0 0 0 149 0 0 0 20 0 1 0 317263483 4767744 674 33554432000 134512640 134579096 4291280448 4291279296 134527762 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 1164 674 227 17 0 470 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4656
[startup+3.10021 s]
/proc/loadavg: 1.92 1.98 1.93 3/179 27330
/proc/meminfo: memFree=29456828/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=4912 CPUtime=3.09 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 795 0 0 0 309 0 0 0 20 0 1 0 317263483 5029888 732 33554432000 134512640 134579096 4291280448 4291279328 134557304 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 1228 732 227 17 0 534 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4912
[startup+6.30021 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 27330
/proc/meminfo: memFree=29456456/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=5556 CPUtime=6.29 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 943 0 0 0 629 0 0 0 20 0 1 0 317263483 5689344 880 33554432000 134512640 134579096 4291280448 4291279308 134556124 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 1389 880 227 17 0 695 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5556
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 27330
/proc/meminfo: memFree=29455628/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=5812 CPUtime=12.69 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 1026 0 0 0 1269 0 0 0 20 0 1 0 317263483 5951488 963 33554432000 134512640 134579096 4291280448 4291279356 134519884 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 1453 963 227 17 0 759 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5812
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27330
/proc/meminfo: memFree=29455520/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=6376 CPUtime=25.48 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 1146 0 0 0 2546 2 0 0 20 0 1 0 317263483 6529024 1083 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 1594 1083 227 17 0 900 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 6376
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27330
/proc/meminfo: memFree=29454776/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=7136 CPUtime=51.07 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 1350 0 0 0 5087 20 0 0 20 0 1 0 317263483 7307264 1286 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 1784 1286 227 17 0 1090 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 7136
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27330
/proc/meminfo: memFree=29453720/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=7816 CPUtime=102.27 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 1517 0 0 0 10171 56 0 0 20 0 1 0 317263483 8003584 1453 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 1954 1453 227 17 0 1260 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 7816
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27330
/proc/meminfo: memFree=29453100/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=8200 CPUtime=162.26 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 1625 0 0 0 16128 98 0 0 20 0 1 0 317263483 8396800 1561 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 2050 1561 227 17 0 1356 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 8200
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27330
/proc/meminfo: memFree=29451920/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=8848 CPUtime=222.24 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 1783 0 0 0 22086 138 0 0 20 0 1 0 317263483 9060352 1718 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 2212 1718 227 17 0 1518 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 8848
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27331
/proc/meminfo: memFree=29451424/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=9472 CPUtime=282.24 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 1942 0 0 0 28046 178 0 0 20 0 1 0 317263483 9699328 1877 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 2368 1877 227 17 0 1674 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 9472
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27331
/proc/meminfo: memFree=29451176/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=9728 CPUtime=342.23 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 2004 0 0 0 34007 216 0 0 20 0 1 0 317263483 9961472 1939 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 2432 1939 227 17 0 1738 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 9728
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27331
/proc/meminfo: memFree=29450928/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=9984 CPUtime=402.22 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 2062 0 0 0 39969 253 0 0 20 0 1 0 317263483 10223616 1997 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 2496 1997 227 17 0 1802 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 9984
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 27334
/proc/meminfo: memFree=29450548/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=9984 CPUtime=462.21 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 2062 0 0 0 45932 289 0 0 20 0 1 0 317263483 10223616 1997 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 2496 1997 227 17 0 1802 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 9984
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27334
/proc/meminfo: memFree=29450616/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=9984 CPUtime=522.2 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 2062 0 0 0 51895 325 0 0 20 0 1 0 317263483 10223616 1997 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 2496 1997 227 17 0 1802 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 9984
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27335
/proc/meminfo: memFree=29450368/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=9984 CPUtime=582.2 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 2070 0 0 0 57863 357 0 0 20 0 1 0 317263483 10223616 2005 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 2496 2005 227 17 0 1802 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 9984
Solver just ended. Dumping a history of the last processes samples
[startup+585.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27335
/proc/meminfo: memFree=29450368/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=9984 CPUtime=585.39 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 2070 0 0 0 58181 358 0 0 20 0 1 0 317263483 10223616 2005 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 2496 2005 227 17 0 1802 0
Current children cumulated CPU time (s) 585.39
Current children cumulated vsize (KiB) 9984
[startup+587.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27335
/proc/meminfo: memFree=29450368/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=9984 CPUtime=587 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 2070 0 0 0 58341 359 0 0 20 0 1 0 317263483 10223616 2005 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 2496 2005 227 17 0 1802 0
Current children cumulated CPU time (s) 587
Current children cumulated vsize (KiB) 9984
[startup+588.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27335
/proc/meminfo: memFree=29450492/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=9984 CPUtime=588.6 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 2070 0 0 0 58500 360 0 0 20 0 1 0 317263483 10223616 2005 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 2496 2005 227 17 0 1802 0
Current children cumulated CPU time (s) 588.6
Current children cumulated vsize (KiB) 9984
[startup+589.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27335
/proc/meminfo: memFree=29450492/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=9984 CPUtime=589.4 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 2070 0 0 0 58580 360 0 0 20 0 1 0 317263483 10223616 2005 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 2496 2005 227 17 0 1802 0
Current children cumulated CPU time (s) 589.4
Current children cumulated vsize (KiB) 9984
[startup+589.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27335
/proc/meminfo: memFree=29450492/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=9984 CPUtime=589.59 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 2070 0 0 0 58599 360 0 0 20 0 1 0 317263483 10223616 2005 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 2496 2005 227 17 0 1802 0
Current children cumulated CPU time (s) 589.59
Current children cumulated vsize (KiB) 9984
[startup+589.8 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 27335
/proc/meminfo: memFree=29450492/32873844 swapFree=7620/7620
[pid=27329] ppid=27327 vsize=9984 CPUtime=589.69 cores=1,3,5,7
/proc/27329/stat : 27329 (Pueblo) R 27327 27329 26528 0 -1 4202496 2070 0 0 0 58609 360 0 0 20 0 1 0 317263483 10223616 2005 33554432000 134512640 134579096 4291280448 4291279420 16270384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27329/statm: 2496 2005 227 17 0 1802 0
Current children cumulated CPU time (s) 589.69
Current children cumulated vsize (KiB) 9984
Child status: 30
Real time (s): 589.85
CPU time (s): 589.752
CPU user time (s): 586.148
CPU system time (s): 3.60445
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 9984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 586.148
system time used= 3.60445
maximum resident set size= 8040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2075
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= 11
involuntary context switches= 607
runsolver used 0.894863 second user time and 2.32965 second system time
The end