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-3730390-1338715811/watcher-3730390-1338715811 -o /tmp/evaluation-result-3730390-1338715811/solver-3730390-1338715811 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3730390-1338715811.opb -seed 1259956764 -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: 2.40 2.10 1.93 2/176 29833
/proc/meminfo: memFree=26388532/32873648 swapFree=7120/7120
[pid=29833] ppid=29831 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/29833/stat : 29833 (python) R 29831 29833 27000 0 -1 4202496 754 0 0 0 0 0 0 0 20 0 1 0 337708477 15749120 629 33554432000 4194304 5683644 140737061131472 140737061071960 219513963408 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/29833/statm: 3845 629 333 364 0 287 0

[startup+0.0828081 s]
/proc/loadavg: 2.40 2.10 1.93 2/176 29833
/proc/meminfo: memFree=26388532/32873648 swapFree=7120/7120
[pid=29833] ppid=29831 vsize=83688 CPUtime=0.05 cores=0,2,4,6
/proc/29833/stat : 29833 (python) R 29831 29833 27000 0 -1 4202496 2839 0 0 0 4 1 0 0 20 0 1 0 337708477 85696512 2370 33554432000 4194304 5683644 140737061131472 140737061112840 219513968487 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/29833/statm: 20922 2370 738 364 0 1550 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 83688

[startup+0.218463 s]
/proc/loadavg: 2.40 2.10 1.93 2/176 29833
/proc/meminfo: memFree=26388532/32873648 swapFree=7120/7120
[pid=29833] ppid=29831 vsize=122072 CPUtime=0.15 cores=0,2,4,6
/proc/29833/stat : 29833 (python) R 29831 29833 27000 0 -1 4202496 5887 1013 1 0 12 3 0 0 20 0 1 0 337708477 125001728 3804 33554432000 4194304 5683644 140737061131472 140737061074648 219513963408 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/29833/statm: 30518 3804 1015 364 0 2761 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 122072

[startup+0.300216 s]
/proc/loadavg: 2.40 2.10 1.93 2/176 29833
/proc/meminfo: memFree=26388532/32873648 swapFree=7120/7120
[pid=29833] ppid=29831 vsize=166944 CPUtime=0.2 cores=0,2,4,6
/proc/29833/stat : 29833 (python) R 29831 29833 27000 0 -1 4202496 6559 1013 1 0 16 4 0 0 20 0 1 0 337708477 170950656 4351 33554432000 4194304 5683644 140737061131472 140737061035704 219513583874 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/29833/statm: 41736 4351 1227 364 0 3289 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 166944

[startup+0.700203 s]
/proc/loadavg: 2.40 2.10 1.93 2/176 29833
/proc/meminfo: memFree=26388532/32873648 swapFree=7120/7120
[pid=29833] ppid=29831 vsize=358268 CPUtime=0.48 cores=0,2,4,6
/proc/29833/stat : 29833 (python) S 29831 29833 27000 0 -1 4202496 10743 1013 1 0 40 8 0 0 20 0 2 0 337708477 366866432 7425 33554432000 4194304 5683644 140737061131472 140737061126304 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29833/statm: 89567 7425 1900 364 0 24790 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 358268

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

[startup+0.800205 s]
/proc/loadavg: 2.40 2.10 1.93 2/176 29833
/proc/meminfo: memFree=26388532/32873648 swapFree=7120/7120
[pid=29833] ppid=29831 vsize=358268 CPUtime=0.48 cores=0,2,4,6
/proc/29833/stat : 29833 (python) S 29831 29833 27000 0 -1 4202496 10743 1013 1 0 40 8 0 0 20 0 2 0 337708477 366866432 7425 33554432000 4194304 5683644 140737061131472 140737061126304 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29833/statm: 89567 7425 1900 364 0 24790 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 358268

[startup+1.00017 s]
/proc/loadavg: 2.40 2.10 1.93 2/176 29833
/proc/meminfo: memFree=26388532/32873648 swapFree=7120/7120
[pid=29833] ppid=29831 vsize=358268 CPUtime=0.48 cores=0,2,4,6
/proc/29833/stat : 29833 (python) S 29831 29833 27000 0 -1 4202496 10743 1013 1 0 40 8 0 0 20 0 2 0 337708477 366866432 7425 33554432000 4194304 5683644 140737061131472 140737061126304 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29833/statm: 89567 7425 1900 364 0 24790 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 358268

[startup+1.10018 s]
/proc/loadavg: 2.45 2.12 1.94 2/193 29863
/proc/meminfo: memFree=26340684/32873648 swapFree=7120/7120
[pid=29833] ppid=29831 vsize=358268 CPUtime=0.48 cores=0,2,4,6
/proc/29833/stat : 29833 (python) S 29831 29833 27000 0 -1 4202496 10743 1013 1 0 40 8 0 0 20 0 2 0 337708477 366866432 7425 33554432000 4194304 5683644 140737061131472 140737061126304 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29833/statm: 89567 7425 1900 364 0 24790 0
[pid=29843] ppid=29833 vsize=282488 CPUtime=0 cores=0,2,4,6
/proc/29843/stat : 29843 (python) S 29833 29833 27000 0 -1 4202560 765 0 0 0 0 0 0 0 20 0 1 0 337708538 289267712 5860 33554432000 4194304 5683644 140737061131472 140737061122560 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/29843/statm: 70622 5860 341 364 0 5845 0
[pid=29845] ppid=29843 vsize=9624972 CPUtime=0.99 cores=0,2,4,6
/proc/29845/stat : 29845 (java) S 29843 29845 29845 0 -1 4202496 7362 0 1 0 98 1 0 0 20 0 19 0 337708538 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140733923076080 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29845/statm: 2406243 10162 2243 9 0 2396937 0
[pid=29845/tid=29846] ppid=29843 vsize=9624972 CPUtime=0.47 cores=0,2,4,6
/proc/29845/task/29846/stat : 29846 (java) R 29843 29845 29845 0 -1 4202560 2440 0 1 0 47 0 0 0 20 0 19 0 337708539 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693827670536 140693683168240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29845/tid=29847] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29847/stat : 29847 (java) S 29843 29845 29845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337708539 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693805771176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29845/tid=29848] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29848/stat : 29848 (java) S 29843 29845 29845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337708539 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693804718632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29845/tid=29849] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29849/stat : 29849 (java) S 29843 29845 29845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337708539 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693803665576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29845/tid=29850] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29850/stat : 29850 (java) S 29843 29845 29845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337708539 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693802613032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29845/tid=29851] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29851/stat : 29851 (java) S 29843 29845 29845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337708539 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693801561000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29845/tid=29852] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29852/stat : 29852 (java) S 29843 29845 29845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337708539 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693330717736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29845/tid=29853] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29853/stat : 29853 (java) S 29843 29845 29845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337708539 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693329664680 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29845/tid=29854] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29854/stat : 29854 (java) S 29843 29845 29845 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337708539 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693328612136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29845/tid=29855] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29855/stat : 29855 (java) S 29843 29845 29845 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337708540 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693316200808 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29845/tid=29856] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29856/stat : 29856 (java) S 29843 29845 29845 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337708541 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693315147128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29845/tid=29857] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29857/stat : 29857 (java) S 29843 29845 29845 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337708541 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693314093960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29845/tid=29858] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29858/stat : 29858 (java) S 29843 29845 29845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337708543 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693313042704 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29845/tid=29859] ppid=29843 vsize=9624972 CPUtime=0.25 cores=0,2,4,6
/proc/29845/task/29859/stat : 29859 (java) S 29843 29845 29845 0 -1 4202560 2193 0 0 0 25 0 0 0 20 0 19 0 337708543 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693311990584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29845/tid=29860] ppid=29843 vsize=9624972 CPUtime=0.23 cores=0,2,4,6
/proc/29845/task/29860/stat : 29860 (java) S 29843 29845 29845 0 -1 4202560 1317 0 0 0 23 0 0 0 20 0 19 0 337708543 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693310938040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29845/tid=29861] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29861/stat : 29861 (java) S 29843 29845 29845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337708543 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693309885176 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29845/tid=29862] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29862/stat : 29862 (java) S 29843 29845 29845 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337708543 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693308832840 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29845/tid=29863] ppid=29843 vsize=9624972 CPUtime=0 cores=0,2,4,6
/proc/29845/task/29863/stat : 29863 (java) S 29843 29845 29845 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 337708566 9855971328 10162 33554432000 1073741824 1073778376 140733923084944 140693307749416 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29833/tid=29844] ppid=29831 vsize=358268 CPUtime=0 cores=0,2,4,6
/proc/29833/task/29844/stat : 29844 (python) S 29831 29833 27000 0 -1 4202560 26 1013 0 0 0 0 0 0 20 0 2 0 337708538 366866432 7425 33554432000 4194304 5683644 140737061131472 140370434908720 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10265728

Child status: 0
Real time (s): 1.1898
CPU time (s): 1.58476
CPU user time (s): 1.46278
CPU system time (s): 0.121981
CPU usage (%): 133.196
Max. virtual memory (cumulated for all children) (KiB): 10265728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.46278
system time used= 0.121981
maximum resident set size= 42768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24983
page faults= 2
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1198
involuntary context switches= 52

runsolver used 0.000999 second user time and 0.004999 second system time

The end