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-3482765-1307576528/watcher-3482765-1307576528 -o /tmp/evaluation-result-3482765-1307576528/solver-3482765-1307576528 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482765-1307576528.opb -seed 1143243355 -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.09 0.91 0.34 2/448 15590
/proc/meminfo: memFree=24442796/32951124 swapFree=50923800/67111528
[pid=15590] ppid=15588 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/15590/stat : 15590 (python) R 15588 15590 15040 0 -1 4202496 998 0 0 0 0 0 0 0 25 0 1 0 850068536 16629760 870 33554432000 4194304 5683644 140737360793824 18446744073709551615 270338044613 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15590/statm: 4060 870 368 364 0 547 0
[startup+0.048384 s]
/proc/loadavg: 2.09 0.91 0.34 2/448 15590
/proc/meminfo: memFree=24442796/32951124 swapFree=50923800/67111528
[pid=15590] ppid=15588 vsize=29788 CPUtime=0.03 cores=0,2,4,6
/proc/15590/stat : 15590 (python) S 15588 15590 15040 0 -1 4202496 1442 0 0 0 3 0 0 0 25 0 1 0 850068536 30502912 1284 33554432000 4194304 5683644 140737360793824 18446744073709551615 270338381824 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/15590/statm: 7447 1284 443 364 0 817 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29788
[startup+0.105932 s]
/proc/loadavg: 2.09 0.91 0.34 2/448 15590
/proc/meminfo: memFree=24442796/32951124 swapFree=50923800/67111528
[pid=15590] ppid=15588 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/15590/stat : 15590 (python) R 15588 15590 15040 0 -1 4202496 3170 932 1 0 6 1 0 0 18 0 1 0 850068536 98435072 2484 33554432000 4194304 5683644 140737360793824 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15590/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300872 s]
/proc/loadavg: 2.09 0.91 0.34 2/448 15590
/proc/meminfo: memFree=24442796/32951124 swapFree=50923800/67111528
[pid=15590] ppid=15588 vsize=197644 CPUtime=0.23 cores=0,2,4,6
/proc/15590/stat : 15590 (python) S 15588 15590 15040 0 -1 4202496 6615 932 1 0 17 6 0 0 17 0 1 0 850068536 202387456 4903 33554432000 4194304 5683644 140737360793824 18446744073709551615 270333460103 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/15590/statm: 50194 4936 1465 364 0 3676 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 197644
[startup+0.700868 s]
/proc/loadavg: 2.09 0.91 0.34 2/448 15590
/proc/meminfo: memFree=24442796/32951124 swapFree=50923800/67111528
[pid=15590] ppid=15588 vsize=291196 CPUtime=0.6 cores=0,2,4,6
/proc/15590/stat : 15590 (python) R 15588 15590 15040 0 -1 4202496 11214 932 1 0 51 9 0 0 17 0 1 0 850068536 298184704 9076 33554432000 4194304 5683644 140737360793824 18446744073709551615 47447124241333 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15590/statm: 72799 9077 1781 364 0 7692 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 291196
[startup+1.50066 s]
/proc/loadavg: 2.09 0.91 0.34 3/449 15595
/proc/meminfo: memFree=24409432/32951124 swapFree=50923800/67111528
[pid=15590] ppid=15588 vsize=304376 CPUtime=1.2 cores=0,2,4,6
/proc/15590/stat : 15590 (python) S 15588 15590 15040 0 -1 4202496 14116 932 1 0 111 9 0 0 20 0 2 0 850068536 311681024 9935 33554432000 4194304 5683644 140737360793824 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15590/statm: 76094 9935 1872 364 0 10981 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 304376
[startup+3.10034 s]
/proc/loadavg: 2.09 0.91 0.34 3/449 15595
/proc/meminfo: memFree=24409432/32951124 swapFree=50923800/67111528
[pid=15590] ppid=15588 vsize=304376 CPUtime=1.2 cores=0,2,4,6
/proc/15590/stat : 15590 (python) S 15588 15590 15040 0 -1 4202496 14116 932 1 0 111 9 0 0 20 0 2 0 850068536 311681024 9935 33554432000 4194304 5683644 140737360793824 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15590/statm: 76094 9935 1872 364 0 10981 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 304376
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+4.30113 s]
/proc/loadavg: 2.40 0.99 0.37 3/452 15599
/proc/meminfo: memFree=24397960/32951124 swapFree=50923800/67111528
[pid=15590] ppid=15588 vsize=304376 CPUtime=1.2 cores=0,2,4,6
/proc/15590/stat : 15590 (python) S 15588 15590 15040 0 -1 4202496 14116 932 1 0 111 9 0 0 20 0 2 0 850068536 311681024 9935 33554432000 4194304 5683644 140737360793824 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15590/statm: 76094 9935 1872 364 0 10981 0
[pid=15596] ppid=15590 vsize=294132 CPUtime=0 cores=0,2,4,6
/proc/15596/stat : 15596 (python) S 15590 15590 15040 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 850068667 301191168 8410 33554432000 4194304 5683644 140737360793824 18446744073709551615 270338403855 0 0 16781312 33554946 11099922589408002308 0 0 17 0 0 0 0
/proc/15596/statm: 73533 8410 351 364 0 8420 0
[pid=15598] ppid=15596 vsize=10804 CPUtime=2.98 cores=0,2,4,6
/proc/15598/stat : 15598 (clasp-1.3.7-x86) R 15596 15598 15598 0 -1 4202496 3103 0 0 0 298 0 0 0 25 0 1 0 850068667 11063296 2422 33554432000 134512640 136139019 4289790448 18446744073709551615 134608169 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/15598/statm: 2701 2422 184 398 0 2301 0
[pid=15590/tid=15597] ppid=15588 vsize=304376 CPUtime=0 cores=0,2,4,6
/proc/15590/task/15597/stat : 15597 (python) S 15588 15590 15040 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 2 0 850068667 311681024 9935 33554432000 4194304 5683644 140737360793824 18446744073709551615 270350207409 0 0 16781312 33554434 18446604452747159680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 609312
[startup+5.10097 s]
/proc/loadavg: 2.40 0.99 0.37 3/452 15599
/proc/meminfo: memFree=24396964/32951124 swapFree=50923800/67111528
[pid=15590] ppid=15588 vsize=304376 CPUtime=1.2 cores=0,2,4,6
/proc/15590/stat : 15590 (python) S 15588 15590 15040 0 -1 4202496 14116 932 1 0 111 9 0 0 20 0 2 0 850068536 311681024 9935 33554432000 4194304 5683644 140737360793824 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15590/statm: 76094 9935 1872 364 0 10981 0
[pid=15596] ppid=15590 vsize=294132 CPUtime=0.02 cores=0,2,4,6
/proc/15596/stat : 15596 (python) S 15590 15590 15040 0 -1 4202560 887 0 0 0 1 1 0 0 18 0 1 0 850068667 301191168 8434 33554432000 4194304 5683644 140737360793824 18446744073709551615 270338403855 0 0 16781312 33554946 11099914274351317252 0 0 17 0 0 0 0
/proc/15596/statm: 73533 8434 375 364 0 8420 0
[pid=15598] ppid=15596 vsize=11068 CPUtime=3.78 cores=0,2,4,6
/proc/15598/stat : 15598 (clasp-1.3.7-x86) R 15596 15598 15598 0 -1 4202496 3175 0 0 0 378 0 0 0 25 0 1 0 850068667 11333632 2494 33554432000 134512640 136139019 4289790448 18446744073709551615 134608333 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/15598/statm: 2767 2494 184 398 0 2367 0
[pid=15590/tid=15597] ppid=15588 vsize=304376 CPUtime=0 cores=0,2,4,6
/proc/15590/task/15597/stat : 15597 (python) S 15588 15590 15040 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 2 0 850068667 311681024 9935 33554432000 4194304 5683644 140737360793824 18446744073709551615 270350207409 0 0 16781312 33554434 18446604452747159680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5
Current children cumulated vsize (KiB) 609576
[startup+5.5009 s]
/proc/loadavg: 2.40 0.99 0.37 3/452 15599
/proc/meminfo: memFree=24396996/32951124 swapFree=50923800/67111528
[pid=15590] ppid=15588 vsize=304376 CPUtime=1.2 cores=0,2,4,6
/proc/15590/stat : 15590 (python) S 15588 15590 15040 0 -1 4202496 14116 932 1 0 111 9 0 0 20 0 2 0 850068536 311681024 9935 33554432000 4194304 5683644 140737360793824 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15590/statm: 76094 9935 1872 364 0 10981 0
[pid=15596] ppid=15590 vsize=294132 CPUtime=0.02 cores=0,2,4,6
/proc/15596/stat : 15596 (python) S 15590 15590 15040 0 -1 4202560 887 0 0 0 1 1 0 0 18 0 1 0 850068667 301191168 8434 33554432000 4194304 5683644 140737360793824 18446744073709551615 270338403855 0 0 16781312 33554946 11099914274351317252 0 0 17 0 0 0 0
/proc/15596/statm: 73533 8434 375 364 0 8420 0
[pid=15598] ppid=15596 vsize=11336 CPUtime=4.19 cores=0,2,4,6
/proc/15598/stat : 15598 (clasp-1.3.7-x86) R 15596 15598 15598 0 -1 4202496 3246 0 0 0 419 0 0 0 25 0 1 0 850068667 11608064 2565 33554432000 134512640 136139019 4289790448 18446744073709551615 134612201 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/15598/statm: 2834 2565 184 398 0 2434 0
[pid=15590/tid=15597] ppid=15588 vsize=304376 CPUtime=0 cores=0,2,4,6
/proc/15590/task/15597/stat : 15597 (python) S 15588 15590 15040 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 2 0 850068667 311681024 9935 33554432000 4194304 5683644 140737360793824 18446744073709551615 270350207409 0 0 16781312 33554434 18446604452747159680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 609844
[startup+5.70086 s]
/proc/loadavg: 2.40 0.99 0.37 3/452 15599
/proc/meminfo: memFree=24396996/32951124 swapFree=50923800/67111528
[pid=15590] ppid=15588 vsize=304376 CPUtime=1.2 cores=0,2,4,6
/proc/15590/stat : 15590 (python) S 15588 15590 15040 0 -1 4202496 14116 932 1 0 111 9 0 0 20 0 2 0 850068536 311681024 9935 33554432000 4194304 5683644 140737360793824 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15590/statm: 76094 9935 1872 364 0 10981 0
[pid=15596] ppid=15590 vsize=294132 CPUtime=0.02 cores=0,2,4,6
/proc/15596/stat : 15596 (python) S 15590 15590 15040 0 -1 4202560 887 0 0 0 1 1 0 0 18 0 1 0 850068667 301191168 8434 33554432000 4194304 5683644 140737360793824 18446744073709551615 270338403855 0 0 16781312 33554946 11099914274351317252 0 0 17 0 0 0 0
/proc/15596/statm: 73533 8434 375 364 0 8420 0
[pid=15598] ppid=15596 vsize=11336 CPUtime=4.38 cores=0,2,4,6
/proc/15598/stat : 15598 (clasp-1.3.7-x86) R 15596 15598 15598 0 -1 4202496 3246 0 0 0 438 0 0 0 25 0 1 0 850068667 11608064 2565 33554432000 134512640 136139019 4289790448 18446744073709551615 134883407 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/15598/statm: 2834 2565 184 398 0 2434 0
[pid=15590/tid=15597] ppid=15588 vsize=304376 CPUtime=0 cores=0,2,4,6
/proc/15590/task/15597/stat : 15597 (python) S 15588 15590 15040 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 2 0 850068667 311681024 9935 33554432000 4194304 5683644 140737360793824 18446744073709551615 270350207409 0 0 16781312 33554434 18446604452747159680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 609844
[startup+5.80084 s]
/proc/loadavg: 2.40 0.99 0.37 3/452 15599
/proc/meminfo: memFree=24396996/32951124 swapFree=50923800/67111528
[pid=15590] ppid=15588 vsize=304376 CPUtime=1.2 cores=0,2,4,6
/proc/15590/stat : 15590 (python) S 15588 15590 15040 0 -1 4202496 14116 932 1 0 111 9 0 0 20 0 2 0 850068536 311681024 9935 33554432000 4194304 5683644 140737360793824 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/15590/statm: 76094 9935 1872 364 0 10981 0
[pid=15596] ppid=15590 vsize=294132 CPUtime=0.02 cores=0,2,4,6
/proc/15596/stat : 15596 (python) S 15590 15590 15040 0 -1 4202560 887 0 0 0 1 1 0 0 18 0 1 0 850068667 301191168 8434 33554432000 4194304 5683644 140737360793824 18446744073709551615 270338403855 0 0 16781312 33554946 11099914274351317252 0 0 17 0 0 0 0
/proc/15596/statm: 73533 8434 375 364 0 8420 0
[pid=15598] ppid=15596 vsize=11336 CPUtime=4.48 cores=0,2,4,6
/proc/15598/stat : 15598 (clasp-1.3.7-x86) R 15596 15598 15598 0 -1 4202496 3246 0 0 0 448 0 0 0 25 0 1 0 850068667 11608064 2565 33554432000 134512640 136139019 4289790448 18446744073709551615 134883415 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/15598/statm: 2834 2565 184 398 0 2434 0
[pid=15590/tid=15597] ppid=15588 vsize=304376 CPUtime=0 cores=0,2,4,6
/proc/15590/task/15597/stat : 15597 (python) S 15588 15590 15040 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 2 0 850068667 311681024 9935 33554432000 4194304 5683644 140737360793824 18446744073709551615 270350207409 0 0 16781312 33554434 18446604452747159680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 609844
Child status: 0
Real time (s): 5.86781
CPU time (s): 5.79512
CPU user time (s): 5.67014
CPU system time (s): 0.124981
CPU usage (%): 98.7612
Max. virtual memory (cumulated for all children) (KiB): 609844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.67014
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24972
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= 1007
involuntary context switches= 41
runsolver used 0.028995 second user time and 0.066989 second system time
The end