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-3482153-1307578715/watcher-3482153-1307578715 -o /tmp/evaluation-result-3482153-1307578715/solver-3482153-1307578715 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482153-1307578715.opb -seed 479942777 -budget 1800
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: 2.16 2.11 1.89 3/861 30093
/proc/meminfo: memFree=10673392/32951124 swapFree=60476376/67111528
[pid=30093] ppid=30091 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/30093/stat : 30093 (python) R 30091 30093 27243 0 -1 4202496 1038 0 0 0 0 0 0 0 20 0 1 0 850287537 16633856 910 33554432000 4194304 5683644 140736298825344 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30093/statm: 4061 910 380 364 0 548 0
[startup+0.0701141 s]
/proc/loadavg: 2.16 2.11 1.89 3/861 30093
/proc/meminfo: memFree=10673392/32951124 swapFree=60476376/67111528
[pid=30093] ppid=30091 vsize=34428 CPUtime=0.03 cores=1,3,5,7
/proc/30093/stat : 30093 (python) R 30091 30093 27243 0 -1 4202496 1551 0 0 0 3 0 0 0 17 0 1 0 850287537 35254272 1388 33554432000 4194304 5683644 140736298825344 18446744073709551615 220816234496 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/30093/statm: 8607 1388 448 364 0 945 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 34428
[startup+0.101073 s]
/proc/loadavg: 2.16 2.11 1.89 3/861 30093
/proc/meminfo: memFree=10673392/32951124 swapFree=60476376/67111528
[pid=30093] ppid=30091 vsize=85076 CPUtime=0.05 cores=1,3,5,7
/proc/30093/stat : 30093 (python) R 30091 30093 27243 0 -1 4202496 2495 0 0 0 5 0 0 0 17 0 1 0 850287537 87117824 2222 33554432000 4194304 5683644 140736298825344 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30093/statm: 21269 2227 707 364 0 1486 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85076
[startup+0.301041 s]
/proc/loadavg: 2.16 2.11 1.89 3/861 30093
/proc/meminfo: memFree=10673392/32951124 swapFree=60476376/67111528
[pid=30093] ppid=30091 vsize=123744 CPUtime=0.15 cores=1,3,5,7
/proc/30093/stat : 30093 (python) S 30091 30093 27243 0 -1 4202496 5357 931 1 0 12 3 0 0 16 0 1 0 850287537 126713856 3744 33554432000 4194304 5683644 140736298825344 18446744073709551615 220816232453 0 2147483391 16781312 2 18446744071699207358 0 0 17 1 0 0 0
/proc/30093/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123744
[startup+0.700988 s]
/proc/loadavg: 2.16 2.11 1.89 3/861 30093
/proc/meminfo: memFree=10673392/32951124 swapFree=60476376/67111528
[pid=30093] ppid=30091 vsize=273720 CPUtime=0.37 cores=1,3,5,7
/proc/30093/stat : 30093 (python) R 30091 30093 27243 0 -1 4202496 8822 931 1 0 28 9 0 0 15 0 1 0 850287537 280289280 6759 33554432000 4194304 5683644 140736298825344 18446744073709551615 4503496 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30093/statm: 68430 6759 1720 364 0 5463 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 273720
Solver just ended. Dumping a history of the last processes samples
[startup+0.900929 s]
/proc/loadavg: 2.16 2.11 1.89 3/861 30093
/proc/meminfo: memFree=10673392/32951124 swapFree=60476376/67111528
[pid=30093] ppid=30091 vsize=293424 CPUtime=0.43 cores=1,3,5,7
/proc/30093/stat : 30093 (python) S 30091 30093 27243 0 -1 4202496 9698 931 1 0 34 9 0 0 18 0 2 0 850287537 300466176 7204 33554432000 4194304 5683644 140736298825344 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/30093/statm: 73356 7204 1870 364 0 8243 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 293424
[startup+1.00087 s]
/proc/loadavg: 2.16 2.11 1.89 4/882 30118
/proc/meminfo: memFree=10630816/32951124 swapFree=60476376/67111528
[pid=30093] ppid=30091 vsize=293424 CPUtime=0.43 cores=1,3,5,7
/proc/30093/stat : 30093 (python) S 30091 30093 27243 0 -1 4202496 9698 931 1 0 34 9 0 0 18 0 2 0 850287537 300466176 7204 33554432000 4194304 5683644 140736298825344 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/30093/statm: 73356 7204 1870 364 0 8243 0
[pid=30099] ppid=30093 vsize=283180 CPUtime=0 cores=1,3,5,7
/proc/30099/stat : 30099 (python) S 30093 30093 27243 0 -1 4202560 757 0 0 0 0 0 0 0 16 0 1 0 850287614 289976320 5682 33554432000 4194304 5683644 140736298825344 18446744073709551615 220816256527 0 0 16781312 33554946 3651552478907858944 0 0 17 7 0 0 0
/proc/30099/statm: 70795 5682 352 364 0 5682 0
[pid=30101] ppid=30099 vsize=8535292 CPUtime=0.37 cores=1,3,5,7
/proc/30101/stat : 30101 (java) S 30099 30101 30101 0 -1 4202496 7029 0 1 0 36 1 0 0 19 0 19 0 850287614 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30101/statm: 2133823 6379 2201 9 0 2124564 0
[pid=30101/tid=30102] ppid=30099 vsize=8535292 CPUtime=0.23 cores=1,3,5,7
/proc/30101/task/30102/stat : 30102 (java) R 30099 30101 30101 0 -1 4202560 4353 0 1 0 23 0 0 0 25 0 19 0 850287615 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 46912505556162 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30101/tid=30103] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30103/stat : 30103 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850287615 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052377 0 4 0 16800975 18446604469984781312 0 0 -1 5 0 0 0
[pid=30101/tid=30104] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30104/stat : 30104 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850287615 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052377 0 4 0 16800975 18446604469984781312 0 0 -1 5 0 0 0
[pid=30101/tid=30105] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30105/stat : 30105 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850287615 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052377 0 4 0 16800975 18446604469984781312 0 0 -1 5 0 0 0
[pid=30101/tid=30106] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30106/stat : 30106 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850287615 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052377 0 4 0 16800975 18446604469984781312 0 0 -1 5 0 0 0
[pid=30101/tid=30107] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30107/stat : 30107 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850287615 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052377 0 4 0 16800975 18446604469984781312 0 0 -1 1 0 0 0
[pid=30101/tid=30108] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30108/stat : 30108 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850287615 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052377 0 4 0 16800975 18446604469984781312 0 0 -1 1 0 0 0
[pid=30101/tid=30109] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30109/stat : 30109 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850287615 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052377 0 4 0 16800975 18446604469984781312 0 0 -1 1 0 0 0
[pid=30101/tid=30110] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30110/stat : 30110 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850287615 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052377 0 4 0 16800975 18446604469984781312 0 0 -1 1 0 0 0
[pid=30101/tid=30111] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30111/stat : 30111 (java) S 30099 30101 30101 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850287616 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052992 0 0 0 16800975 18446604469984781312 0 0 -1 5 0 0 0
[pid=30101/tid=30112] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30112/stat : 30112 (java) S 30099 30101 30101 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850287616 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052377 0 4 0 16800975 18446604469984781312 0 0 -1 5 0 0 0
[pid=30101/tid=30113] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30113/stat : 30113 (java) S 30099 30101 30101 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850287616 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052377 0 4 0 16800975 18446604469984781312 0 0 -1 5 0 0 0
[pid=30101/tid=30114] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30114/stat : 30114 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850287618 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828060081 0 4 0 16800975 18446604469984781312 0 0 -1 5 0 0 0
[pid=30101/tid=30115] ppid=30099 vsize=8535292 CPUtime=0.07 cores=1,3,5,7
/proc/30101/task/30115/stat : 30115 (java) S 30099 30101 30101 0 -1 4202560 724 0 0 0 7 0 0 0 25 0 19 0 850287618 8740139008 6379 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052377 0 4 0 16800975 18446604469984781312 0 0 -1 1 0 0 0
[pid=30101/tid=30116] ppid=30099 vsize=8535292 CPUtime=0.05 cores=1,3,5,7
/proc/30101/task/30116/stat : 30116 (java) S 30099 30101 30101 0 -1 4202560 565 0 0 0 5 0 0 0 25 0 19 0 850287618 8740139008 6380 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052377 0 4 0 16800975 18446604469984781312 0 0 -1 7 0 0 0
[pid=30101/tid=30117] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30117/stat : 30117 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850287618 8740139008 6381 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052377 0 4 0 16800975 18446604469984781312 0 0 -1 5 0 0 0
[pid=30101/tid=30118] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30118/stat : 30118 (java) S 30099 30101 30101 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850287618 8740139008 6381 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052992 0 4 0 16800975 18446604469984781312 0 0 -1 1 0 0 0
[pid=30101/tid=30119] ppid=30099 vsize=8535292 CPUtime=0 cores=1,3,5,7
/proc/30101/task/30119/stat : 30119 (java) S 30099 30101 30101 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850287638 8740139008 6381 33554432000 1073741824 1073778376 140734333851360 18446744073709551615 220828052992 0 4 0 16800975 18446604469984781312 0 0 -1 1 0 0 0
[pid=30093/tid=30100] ppid=30091 vsize=293424 CPUtime=0 cores=1,3,5,7
/proc/30093/task/30100/stat : 30100 (python) S 30091 30093 27243 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 850287614 300466176 7204 33554432000 4194304 5683644 140736298825344 18446744073709551615 220828060081 0 0 16781312 33554434 18446604470138152896 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 9111896
Child status: 0
Real time (s): 1.0719
CPU time (s): 0.877865
CPU user time (s): 0.756884
CPU system time (s): 0.120981
CPU usage (%): 81.898
Max. virtual memory (cumulated for all children) (KiB): 9111896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.756884
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23310
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3026
involuntary context switches= 56
runsolver used 0.013997 second user time and 0.024996 second system time
The end