runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3482704-1307576514/watcher-3482704-1307576514 -o /tmp/evaluation-result-3482704-1307576514/solver-3482704-1307576514 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482704-1307576514.opb -seed 1500041693 -budget 1800 

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.98 0.82 0.30 2/500 29016
/proc/meminfo: memFree=27202648/32951124 swapFree=63649284/67111528
[pid=29016] ppid=29014 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/29016/stat : 29016 (python) R 29014 29016 28679 0 -1 4202496 1045 0 0 0 0 0 0 0 25 0 1 0 869250011 16629760 917 33554432000 4194304 5683644 140734543601408 18446744073709551615 210204341204 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29016/statm: 4060 917 381 364 0 547 0

[startup+0.0496869 s]
/proc/loadavg: 1.98 0.82 0.30 2/500 29016
/proc/meminfo: memFree=27202648/32951124 swapFree=63649284/67111528
[pid=29016] ppid=29014 vsize=29788 CPUtime=0.03 cores=0,2,4,6
/proc/29016/stat : 29016 (python) S 29014 29016 28679 0 -1 4202496 1414 0 0 0 3 0 0 0 25 0 1 0 869250011 30502912 1258 33554432000 4194304 5683644 140734543601408 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/29016/statm: 7447 1258 443 364 0 817 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29788

[startup+0.10196 s]
/proc/loadavg: 1.98 0.82 0.30 2/500 29016
/proc/meminfo: memFree=27202648/32951124 swapFree=63649284/67111528
[pid=29016] ppid=29014 vsize=96132 CPUtime=0.06 cores=0,2,4,6
/proc/29016/stat : 29016 (python) S 29014 29016 28679 0 -1 4202496 3033 463 1 0 5 1 0 0 18 0 1 0 869250011 98439168 2484 33554432000 4194304 5683644 140734543601408 18446744073709551615 210204647168 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/29016/statm: 24033 2484 792 364 0 1628 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96132

[startup+0.300518 s]
/proc/loadavg: 1.98 0.82 0.30 2/500 29016
/proc/meminfo: memFree=27202648/32951124 swapFree=63649284/67111528
[pid=29016] ppid=29014 vsize=166244 CPUtime=0.18 cores=0,2,4,6
/proc/29016/stat : 29016 (python) S 29014 29016 28679 0 -1 4202496 5926 926 1 0 14 4 0 0 17 0 1 0 869250011 170233856 4249 33554432000 4194304 5683644 140734543601408 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/29016/statm: 41561 4249 1180 364 0 3295 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 166244

[startup+0.700175 s]
/proc/loadavg: 1.98 0.82 0.30 2/500 29016
/proc/meminfo: memFree=27202648/32951124 swapFree=63649284/67111528
[pid=29016] ppid=29014 vsize=294780 CPUtime=0.52 cores=0,2,4,6
/proc/29016/stat : 29016 (python) S 29014 29016 28679 0 -1 4202496 9899 926 1 0 43 9 0 0 19 0 2 0 869250011 301854720 7534 33554432000 4194304 5683644 140734543601408 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29016/statm: 73695 7534 1870 364 0 8582 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 294780

[startup+1.50104 s]
/proc/loadavg: 1.98 0.82 0.30 3/521 29041
/proc/meminfo: memFree=27153932/32951124 swapFree=63649284/67111528
[pid=29016] ppid=29014 vsize=294780 CPUtime=0.52 cores=0,2,4,6
/proc/29016/stat : 29016 (python) S 29014 29016 28679 0 -1 4202496 9899 926 1 0 43 9 0 0 19 0 2 0 869250011 301854720 7534 33554432000 4194304 5683644 140734543601408 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/29016/statm: 73695 7534 1870 364 0 8582 0
[pid=29022] ppid=29016 vsize=284536 CPUtime=0 cores=0,2,4,6
/proc/29022/stat : 29022 (python) S 29016 29016 28679 0 -1 4202560 766 0 0 0 0 0 0 0 15 0 1 0 869250081 291364864 6012 33554432000 4194304 5683644 140734543601408 18446744073709551615 210204667407 0 0 16781312 33554946 3823705003038605312 0 0 17 6 0 0 0
/proc/29022/statm: 71134 6012 352 364 0 6021 0
[pid=29024] ppid=29022 vsize=8539080 CPUtime=1.15 cores=0,2,4,6
/proc/29024/stat : 29024 (java) S 29022 29024 29024 0 -1 4202496 13229 0 116 0 112 3 0 0 18 0 19 0 869250081 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 12
/proc/29024/statm: 2134770 11013 2224 9 0 2125511 0
[pid=29024/tid=29025] ppid=29022 vsize=8539080 CPUtime=0.54 cores=0,2,4,6
/proc/29024/task/29025/stat : 29025 (java) R 29022 29024 29024 0 -1 4202560 7304 0 58 0 52 2 0 0 18 0 19 0 869250095 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 46912505717377 0 4 0 16800975 0 0 0 -1 6 0 0 11
[pid=29024/tid=29026] ppid=29022 vsize=8539080 CPUtime=0 cores=0,2,4,6
/proc/29024/task/29026/stat : 29026 (java) S 29022 29024 29024 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869250098 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463257 0 4 0 16800975 18446604450610363200 0 0 -1 6 0 0 0
[pid=29024/tid=29027] ppid=29022 vsize=8539080 CPUtime=0 cores=0,2,4,6
/proc/29024/task/29027/stat : 29027 (java) S 29022 29024 29024 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869250098 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463257 0 4 0 16800975 18446604450610363200 0 0 -1 6 0 0 0
[pid=29024/tid=29028] ppid=29022 vsize=8539080 CPUtime=0 cores=0,2,4,6
/proc/29024/task/29028/stat : 29028 (java) S 29022 29024 29024 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869250098 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463257 0 4 0 16800975 18446604450610363200 0 0 -1 6 0 0 0
[pid=29024/tid=29029] ppid=29022 vsize=8539080 CPUtime=0 cores=0,2,4,6
/proc/29024/task/29029/stat : 29029 (java) S 29022 29024 29024 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869250098 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463257 0 4 0 16800975 18446604450610363200 0 0 -1 6 0 0 0
[pid=29024/tid=29030] ppid=29022 vsize=8539080 CPUtime=0 cores=0,2,4,6
/proc/29024/task/29030/stat : 29030 (java) S 29022 29024 29024 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869250098 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463257 0 4 0 16800975 18446604450610363200 0 0 -1 6 0 0 0
[pid=29024/tid=29031] ppid=29022 vsize=8539080 CPUtime=0 cores=0,2,4,6
/proc/29024/task/29031/stat : 29031 (java) S 29022 29024 29024 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869250098 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463257 0 4 0 16800975 18446604450610363200 0 0 -1 6 0 0 0
[pid=29024/tid=29032] ppid=29022 vsize=8539080 CPUtime=0 cores=0,2,4,6
/proc/29024/task/29032/stat : 29032 (java) S 29022 29024 29024 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869250098 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463257 0 4 0 16800975 18446604450610363200 0 0 -1 6 0 0 0
[pid=29024/tid=29033] ppid=29022 vsize=8539080 CPUtime=0 cores=0,2,4,6
/proc/29024/task/29033/stat : 29033 (java) S 29022 29024 29024 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 869250098 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463257 0 4 0 16800975 18446604450610363200 0 0 -1 6 0 0 0
[pid=29024/tid=29034] ppid=29022 vsize=8539080 CPUtime=0 cores=0,2,4,6
/proc/29024/task/29034/stat : 29034 (java) S 29022 29024 29024 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 869250101 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463872 0 0 0 16800975 18446604450610363200 0 0 -1 6 0 0 0
[pid=29024/tid=29035] ppid=29022 vsize=8539080 CPUtime=0 cores=0,2,4,6
/proc/29024/task/29035/stat : 29035 (java) S 29022 29024 29024 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 869250102 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463257 0 4 0 16800975 18446604450610363200 0 0 -1 6 0 0 0
[pid=29024/tid=29036] ppid=29022 vsize=8539080 CPUtime=0 cores=0,2,4,6
/proc/29024/task/29036/stat : 29036 (java) S 29022 29024 29024 0 -1 4202560 8 0 0 0 0 0 0 0 23 0 19 0 869250102 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463257 0 4 0 16800975 18446604450610363200 0 0 -1 6 0 0 0
[pid=29024/tid=29037] ppid=29022 vsize=8539080 CPUtime=0 cores=0,2,4,6
/proc/29024/task/29037/stat : 29037 (java) S 29022 29024 29024 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869250108 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216470961 0 4 0 16800975 18446604450610363200 0 0 -1 6 0 0 0
[pid=29024/tid=29038] ppid=29022 vsize=8539080 CPUtime=0.32 cores=0,2,4,6
/proc/29024/task/29038/stat : 29038 (java) S 29022 29024 29024 0 -1 4202560 2072 0 0 0 32 0 0 0 17 0 19 0 869250108 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463257 0 4 0 16800975 18446604450610363200 0 0 -1 0 0 0 0
[pid=29024/tid=29039] ppid=29022 vsize=8539080 CPUtime=0.27 cores=0,2,4,6
/proc/29024/task/29039/stat : 29039 (java) S 29022 29024 29024 0 -1 4202560 2522 0 1 0 27 0 0 0 17 0 19 0 869250108 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463257 0 4 0 16800975 18446604450610363200 0 0 -1 4 0 0 0
[pid=29024/tid=29040] ppid=29022 vsize=8539080 CPUtime=0 cores=0,2,4,6
/proc/29024/task/29040/stat : 29040 (java) S 29022 29024 29024 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869250108 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463257 0 4 0 16800975 18446604450610363200 0 0 -1 6 0 0 0
[pid=29024/tid=29041] ppid=29022 vsize=8539080 CPUtime=0 cores=0,2,4,6
/proc/29024/task/29041/stat : 29041 (java) S 29022 29024 29024 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869250108 8744017920 11013 33554432000 1073741824 1073778376 140736108278736 18446744073709551615 210216463872 0 4 0 16800975 18446604450610363200 0 0 -1 2 0 0 0
[pid=29016/tid=29023] ppid=29014 vsize=294780 CPUtime=0 cores=0,2,4,6
/proc/29016/task/29023/stat : 29023 (python) S 29014 29016 28679 0 -1 4202560 28 926 0 0 0 0 0 0 19 0 2 0 869250081 301854720 7534 33554432000 4194304 5683644 140734543601408 18446744073709551615 210216470961 0 0 16781312 33554434 18446604444951467840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9118396

Solver just ended. Dumping a history of the last processes samples

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29016 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=463929
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=104984
# CPU time returned by wait4() is 0.568913
# while last known CPU time is 1.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1.58872
CPU time (s): 1.67
CPU user time (s): 1.55
CPU system time (s): 0.12
CPU usage (%): 105.116
Max. virtual memory (cumulated for all children) (KiB): 9119220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.463929
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16883
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1665
involuntary context switches= 16

runsolver used 0.017997 second user time and 0.019996 second system time

The end