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-3730799-1338685838/watcher-3730799-1338685838 -o /tmp/evaluation-result-3730799-1338685838/solver-3730799-1338685838 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3730799-1338685838.opb
running on 4 cores: 0,2,4,6
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.99 1.98 1.98 3/177 31355
/proc/meminfo: memFree=31085560/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=16588 CPUtime=0 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 334710823 16986112 316 33554432000 134512640 137136520 4288445552 4288443944 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31355/statm: 4147 316 189 641 0 2124 0
[startup+0.0620831 s]
/proc/loadavg: 1.99 1.98 1.98 3/177 31355
/proc/meminfo: memFree=31085560/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=19920 CPUtime=0.06 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 1388 0 0 0 6 0 0 0 20 0 1 0 334710823 20398080 1342 33554432000 134512640 137136520 4288445552 4288443864 134598530 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31355/statm: 4980 1342 373 641 0 2957 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19920
[startup+0.100239 s]
/proc/loadavg: 1.99 1.98 1.98 3/177 31355
/proc/meminfo: memFree=31085560/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=22068 CPUtime=0.09 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 2044 0 0 0 9 0 0 0 20 0 1 0 334710823 22597632 1998 33554432000 134512640 137136520 4288445552 4288444320 134519766 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31355/statm: 5517 1998 502 641 0 3494 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22068
[startup+0.300242 s]
/proc/loadavg: 1.99 1.98 1.98 3/177 31355
/proc/meminfo: memFree=31085560/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=32532 CPUtime=0.29 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 5336 0 0 0 29 0 0 0 20 0 1 0 334710823 33312768 5171 33554432000 134512640 137136520 4288445552 4288444624 134523143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31355/statm: 8133 5171 1115 641 0 6110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32532
[startup+0.700251 s]
/proc/loadavg: 1.99 1.98 1.98 3/177 31355
/proc/meminfo: memFree=31085560/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=49520 CPUtime=0.69 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 11284 0 0 0 68 1 0 0 20 0 1 0 334710823 50708480 9691 33554432000 134512640 137136520 4288445552 4287691616 134543878 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31355/statm: 12380 9691 189 641 0 11736 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49520
[startup+1.50025 s]
/proc/loadavg: 1.99 1.98 1.98 3/178 31356
/proc/meminfo: memFree=31047748/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=49652 CPUtime=1.49 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 11322 0 0 0 148 1 0 0 20 0 1 0 334710823 50843648 9729 33554432000 134512640 137136520 4288445552 4287691616 134543869 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31355/statm: 12413 9729 189 641 0 11769 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49652
[startup+3.1003 s]
/proc/loadavg: 1.99 1.98 1.98 3/178 31356
/proc/meminfo: memFree=31047028/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=49652 CPUtime=3.08 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 11339 0 0 0 307 1 0 0 20 0 1 0 334710823 50843648 9746 33554432000 134512640 137136520 4288445552 4287691616 134544345 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31355/statm: 12413 9746 189 641 0 11769 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49652
[startup+6.3003 s]
/proc/loadavg: 1.99 1.98 1.98 3/178 31356
/proc/meminfo: memFree=31046160/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=49916 CPUtime=6.29 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 11423 0 0 0 627 2 0 0 20 0 1 0 334710823 51113984 9830 33554432000 134512640 137136520 4288445552 4287691268 136498324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31355/statm: 12479 9830 189 641 0 11835 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49916
[startup+12.7003 s]
/proc/loadavg: 1.99 1.98 1.98 3/178 31356
/proc/meminfo: memFree=31046216/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=49916 CPUtime=12.69 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 11424 0 0 0 1267 2 0 0 20 0 1 0 334710823 51113984 9831 33554432000 134512640 137136520 4288445552 4287691352 136502385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31355/statm: 12479 9831 189 641 0 11835 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49916
[startup+25.5003 s]
/proc/loadavg: 1.99 1.98 1.98 3/177 31356
/proc/meminfo: memFree=31046612/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=50048 CPUtime=25.48 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 11464 0 0 0 2546 2 0 0 20 0 1 0 334710823 51249152 9871 33554432000 134512640 137136520 4288445552 4287691616 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31355/statm: 12512 9871 189 641 0 11868 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50048
[startup+51.1003 s]
/proc/loadavg: 1.99 1.98 1.98 3/177 31356
/proc/meminfo: memFree=31046736/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=50180 CPUtime=51.08 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 11492 0 0 0 5104 4 0 0 20 0 1 0 334710823 51384320 9899 33554432000 134512640 137136520 4288445552 4287691268 136498324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31355/statm: 12545 9899 189 641 0 11901 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50180
[startup+102.307 s]
/proc/loadavg: 1.99 1.98 1.98 3/177 31453
/proc/meminfo: memFree=31353168/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=50312 CPUtime=102.27 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 11530 0 0 0 10221 6 0 0 20 0 1 0 334710823 51519488 9921 33554432000 134512640 137136520 4288445552 4287691616 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31355/statm: 12578 9921 189 641 0 11934 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 50312
Solver just ended. Dumping a history of the last processes samples
[startup+115.1 s]
/proc/loadavg: 2.07 2.00 1.98 3/177 31453
/proc/meminfo: memFree=31314112/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=51836 CPUtime=115.06 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 12791 0 0 0 11491 15 0 0 20 0 1 0 334710823 53080064 10324 33554432000 134512640 137136520 4288445552 4288444480 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31355/statm: 12959 10324 198 641 0 12315 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 51836
[startup+127.9 s]
/proc/loadavg: 2.05 2.00 1.98 3/177 31453
/proc/meminfo: memFree=31269564/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=54856 CPUtime=127.86 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 13546 0 0 0 12770 16 0 0 20 0 1 0 334710823 56172544 11079 33554432000 134512640 137136520 4288445552 4288444480 134543760 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31355/statm: 13714 11079 198 641 0 13070 0
Current children cumulated CPU time (s) 127.86
Current children cumulated vsize (KiB) 54856
[startup+131.1 s]
/proc/loadavg: 2.05 2.00 1.98 3/177 31453
/proc/meminfo: memFree=31254188/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=55860 CPUtime=131.06 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 13797 0 0 0 13090 16 0 0 20 0 1 0 334710823 57200640 11330 33554432000 134512640 137136520 4288445552 4288444320 134576281 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31355/statm: 13965 11330 198 641 0 13321 0
Current children cumulated CPU time (s) 131.06
Current children cumulated vsize (KiB) 55860
[startup+132.7 s]
/proc/loadavg: 2.05 2.00 1.98 3/177 31453
/proc/meminfo: memFree=31249724/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=56376 CPUtime=132.66 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 13925 0 0 0 13250 16 0 0 20 0 1 0 334710823 57729024 11458 33554432000 134512640 137136520 4288445552 4288444304 136294924 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31355/statm: 14094 11458 198 641 0 13450 0
Current children cumulated CPU time (s) 132.66
Current children cumulated vsize (KiB) 56376
[startup+133.5 s]
/proc/loadavg: 2.05 2.00 1.98 3/177 31453
/proc/meminfo: memFree=31245508/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=56376 CPUtime=133.46 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 13925 0 0 0 13330 16 0 0 20 0 1 0 334710823 57729024 11458 33554432000 134512640 137136520 4288445552 4288444480 134543760 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31355/statm: 14094 11458 198 641 0 13450 0
Current children cumulated CPU time (s) 133.46
Current children cumulated vsize (KiB) 56376
[startup+134.3 s]
/proc/loadavg: 2.05 2.00 1.98 3/177 31453
/proc/meminfo: memFree=31241664/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=56376 CPUtime=134.26 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 13926 0 0 0 13410 16 0 0 20 0 1 0 334710823 57729024 11459 33554432000 134512640 137136520 4288445552 4288444320 134573529 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31355/statm: 14094 11459 198 641 0 13450 0
Current children cumulated CPU time (s) 134.26
Current children cumulated vsize (KiB) 56376
[startup+134.5 s]
/proc/loadavg: 2.05 2.00 1.98 3/177 31453
/proc/meminfo: memFree=31241664/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=56376 CPUtime=134.46 cores=0,2,4,6
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202496 13926 0 0 0 13430 16 0 0 20 0 1 0 334710823 57729024 11459 33554432000 134512640 137136520 4288445552 4288444480 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31355/statm: 14094 11459 198 641 0 13450 0
Current children cumulated CPU time (s) 134.46
Current children cumulated vsize (KiB) 56376
[startup+134.6 s]
/proc/loadavg: 2.05 2.00 1.98 3/177 31453
/proc/meminfo: memFree=31241664/32873844 swapFree=7116/7116
[pid=31355] ppid=31353 vsize=0 CPUtime=134.56 cores=3-5,7-8,10,13,17,19,22-23,65-66,68,70-71,73-74,76-78,86,130,388,391,393-394,397,400,448,457-461,463,466,468-470,515-516,519,522,580-581,583-584,586,589,593,595,598-599,643-645,647-648,650,653,657,659,662-663,708-710,713-716,718-719,722-724,726-727,729,734,771-773,775-776,778,781,785,787,790-791,836-837,839-840,842,845,849,851,854-855,906,909,911,913,915,918-919,960-961,964,966-970,972-974,982
/proc/31355/stat : 31355 (bsolo) R 31353 31355 29538 0 -1 4202500 13927 0 0 0 13439 17 0 0 20 0 1 0 334710823 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31355/statm: -- couldn't open statm file --Current children cumulated CPU time (s) 134.56
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 134.6
CPU time (s): 134.571
CPU user time (s): 134.4
CPU system time (s): 0.170974
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 56376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 134.4
system time used= 0.170974
maximum resident set size= 45836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13927
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= 16
involuntary context switches= 195
runsolver used 0.204968 second user time and 0.536918 second system time
The end