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 /var/tmp/evaluation-result-3500311-1307993278/watcher-3500311-1307993278 -o /var/tmp/evaluation-result-3500311-1307993278/solver-3500311-1307993278 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500311-1307993278.opb
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: 3.68 3.92 3.66 3/179 18368
/proc/meminfo: memFree=24508568/32950928 swapFree=67054844/67111528
[pid=18368] ppid=18366 vsize=134940 CPUtime=0 cores=1,3,5,7
/proc/18368/stat : 18368 (pwbo1.1) S 18366 18368 17705 0 -1 4202496 512 0 0 0 0 0 0 0 23 0 3 0 989558438 138178560 462 33554432000 4194304 5714118 140733633406544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18368/statm: 33735 462 178 372 0 33360 0
[pid=18368/tid=18369] ppid=18366 vsize=134940 CPUtime=0 cores=1,3,5,7
/proc/18368/task/18369/stat : 18369 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 99 0 0 0 0 0 0 0 25 0 3 0 989558438 138178560 462 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=18368/tid=18370] ppid=18366 vsize=134940 CPUtime=0 cores=1,3,5,7
/proc/18368/task/18370/stat : 18370 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 45 0 0 0 0 0 0 0 25 0 3 0 989558438 138178560 463 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.016881 s]
/proc/loadavg: 3.68 3.92 3.66 3/179 18368
/proc/meminfo: memFree=24508568/32950928 swapFree=67054844/67111528
[pid=18368] ppid=18366 vsize=134940 CPUtime=0.02 cores=1,3,5,7
/proc/18368/stat : 18368 (pwbo1.1) S 18366 18368 17705 0 -1 4202496 616 0 0 0 2 0 0 0 23 0 3 0 989558438 138178560 566 33554432000 4194304 5714118 140733633406544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18368/statm: 33735 566 179 372 0 33360 0
[pid=18368/tid=18369] ppid=18366 vsize=134940 CPUtime=0.01 cores=1,3,5,7
/proc/18368/task/18369/stat : 18369 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 152 0 0 0 1 0 0 0 25 0 3 0 989558438 138178560 567 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=18368/tid=18370] ppid=18366 vsize=134940 CPUtime=0 cores=1,3,5,7
/proc/18368/task/18370/stat : 18370 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 96 0 0 0 0 0 0 0 25 0 3 0 989558438 138178560 567 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 134940
[startup+0.100858 s]
/proc/loadavg: 3.68 3.92 3.66 3/179 18368
/proc/meminfo: memFree=24508568/32950928 swapFree=67054844/67111528
[pid=18368] ppid=18366 vsize=134940 CPUtime=0.19 cores=1,3,5,7
/proc/18368/stat : 18368 (pwbo1.1) S 18366 18368 17705 0 -1 4202496 1049 0 0 0 18 1 0 0 23 0 3 0 989558438 138178560 999 33554432000 4194304 5714118 140733633406544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18368/statm: 33735 999 179 372 0 33360 0
[pid=18368/tid=18369] ppid=18366 vsize=134940 CPUtime=0.09 cores=1,3,5,7
/proc/18368/task/18369/stat : 18369 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 291 0 0 0 9 0 0 0 25 0 3 0 989558438 138178560 999 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=18368/tid=18370] ppid=18366 vsize=134940 CPUtime=0.08 cores=1,3,5,7
/proc/18368/task/18370/stat : 18370 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 389 0 0 0 8 0 0 0 25 0 3 0 989558438 138178560 999 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134940
[startup+0.300822 s]
/proc/loadavg: 3.68 3.92 3.66 3/179 18368
/proc/meminfo: memFree=24508568/32950928 swapFree=67054844/67111528
[pid=18368] ppid=18366 vsize=134940 CPUtime=0.59 cores=1,3,5,7
/proc/18368/stat : 18368 (pwbo1.1) S 18366 18368 17705 0 -1 4202496 1827 0 0 0 56 3 0 0 23 0 3 0 989558438 138178560 1777 33554432000 4194304 5714118 140733633406544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18368/statm: 33735 1778 179 372 0 33360 0
[pid=18368/tid=18369] ppid=18366 vsize=134940 CPUtime=0.29 cores=1,3,5,7
/proc/18368/task/18369/stat : 18369 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 599 0 0 0 28 1 0 0 25 0 3 0 989558438 138178560 1778 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=18368/tid=18370] ppid=18366 vsize=134940 CPUtime=0.29 cores=1,3,5,7
/proc/18368/task/18370/stat : 18370 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 860 0 0 0 27 2 0 0 25 0 3 0 989558438 138178560 1778 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134940
[startup+0.700762 s]
/proc/loadavg: 3.68 3.92 3.66 3/179 18368
/proc/meminfo: memFree=24508568/32950928 swapFree=67054844/67111528
[pid=18368] ppid=18366 vsize=135084 CPUtime=1.39 cores=1,3,5,7
/proc/18368/stat : 18368 (pwbo1.1) S 18366 18368 17705 0 -1 4202496 2509 0 0 0 134 5 0 0 23 0 3 0 989558438 138326016 2459 33554432000 4194304 5714118 140733633406544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18368/statm: 33771 2459 179 372 0 33396 0
[pid=18368/tid=18369] ppid=18366 vsize=135084 CPUtime=0.69 cores=1,3,5,7
/proc/18368/task/18369/stat : 18369 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 1039 0 0 0 67 2 0 0 25 0 3 0 989558438 138326016 2459 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=18368/tid=18370] ppid=18366 vsize=135084 CPUtime=0.69 cores=1,3,5,7
/proc/18368/task/18370/stat : 18370 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 1101 0 0 0 66 3 0 0 25 0 3 0 989558438 138326016 2459 33554432000 4194304 5714118 140733633406544 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135084
[startup+1.5006 s]
/proc/loadavg: 3.68 3.92 3.66 5/182 18371
/proc/meminfo: memFree=24483884/32950928 swapFree=67054844/67111528
[pid=18368] ppid=18366 vsize=135360 CPUtime=2.99 cores=1,3,5,7
/proc/18368/stat : 18368 (pwbo1.1) S 18366 18368 17705 0 -1 4202496 3140 0 0 0 289 10 0 0 23 0 3 0 989558438 138608640 3090 33554432000 4194304 5714118 140733633406544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18368/statm: 33840 3090 179 372 0 33465 0
[pid=18368/tid=18369] ppid=18366 vsize=135360 CPUtime=1.49 cores=1,3,5,7
/proc/18368/task/18369/stat : 18369 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 1654 0 0 0 146 3 0 0 25 0 3 0 989558438 138608640 3090 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=18368/tid=18370] ppid=18366 vsize=135360 CPUtime=1.49 cores=1,3,5,7
/proc/18368/task/18370/stat : 18370 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 1117 0 0 0 143 6 0 0 25 0 3 0 989558438 138608640 3090 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135360
[startup+3.1003 s]
/proc/loadavg: 3.68 3.92 3.66 5/182 18371
/proc/meminfo: memFree=24478092/32950928 swapFree=67054844/67111528
[pid=18368] ppid=18366 vsize=135628 CPUtime=6.19 cores=1,3,5,7
/proc/18368/stat : 18368 (pwbo1.1) S 18366 18368 17705 0 -1 4202496 3805 0 0 0 602 17 0 0 23 0 3 0 989558438 138883072 3742 33554432000 4194304 5714118 140733633406544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18368/statm: 33907 3742 179 372 0 33532 0
[pid=18368/tid=18369] ppid=18366 vsize=135628 CPUtime=3.09 cores=1,3,5,7
/proc/18368/task/18369/stat : 18369 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 2212 0 0 0 304 5 0 0 25 0 3 0 989558438 138883072 3742 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=18368/tid=18370] ppid=18366 vsize=135628 CPUtime=3.08 cores=1,3,5,7
/proc/18368/task/18370/stat : 18370 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 1224 0 0 0 297 11 0 0 25 0 3 0 989558438 138883072 3742 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135628
[startup+6.3007 s]
/proc/loadavg: 3.70 3.92 3.66 5/182 18371
/proc/meminfo: memFree=24465864/32950928 swapFree=67054844/67111528
[pid=18368] ppid=18366 vsize=135904 CPUtime=12.59 cores=1,3,5,7
/proc/18368/stat : 18368 (pwbo1.1) S 18366 18368 17705 0 -1 4202496 4860 0 0 0 1229 30 0 0 23 0 3 0 989558438 139165696 4797 33554432000 4194304 5714118 140733633406544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18368/statm: 33976 4797 180 372 0 33601 0
[pid=18368/tid=18369] ppid=18366 vsize=135904 CPUtime=6.29 cores=1,3,5,7
/proc/18368/task/18369/stat : 18369 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 3207 0 0 0 620 9 0 0 25 0 3 0 989558438 139165696 4797 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=18368/tid=18370] ppid=18366 vsize=135904 CPUtime=6.29 cores=1,3,5,7
/proc/18368/task/18370/stat : 18370 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 1284 0 0 0 608 21 0 0 25 0 3 0 989558438 139165696 4797 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135904
Solver just ended. Dumping a history of the last processes samples
[startup+7.10054 s]
/proc/loadavg: 3.70 3.92 3.66 5/182 18371
/proc/meminfo: memFree=24462044/32950928 swapFree=67054844/67111528
[pid=18368] ppid=18366 vsize=136040 CPUtime=14.18 cores=1,3,5,7
/proc/18368/stat : 18368 (pwbo1.1) S 18366 18368 17705 0 -1 4202496 5251 0 0 0 1385 33 0 0 23 0 3 0 989558438 139304960 5188 33554432000 4194304 5714118 140733633406544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18368/statm: 34010 5188 180 372 0 33635 0
[pid=18368/tid=18369] ppid=18366 vsize=136040 CPUtime=7.09 cores=1,3,5,7
/proc/18368/task/18369/stat : 18369 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 3523 0 0 0 699 10 0 0 25 0 3 0 989558438 139304960 5188 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=18368/tid=18370] ppid=18366 vsize=136040 CPUtime=7.08 cores=1,3,5,7
/proc/18368/task/18370/stat : 18370 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 1359 0 0 0 685 23 0 0 25 0 3 0 989558438 139304960 5188 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 14.18
Current children cumulated vsize (KiB) 136040
[startup+7.9004 s]
/proc/loadavg: 3.70 3.92 3.66 5/182 18371
/proc/meminfo: memFree=24457332/32950928 swapFree=67054844/67111528
[pid=18368] ppid=18366 vsize=136040 CPUtime=15.79 cores=1,3,5,7
/proc/18368/stat : 18368 (pwbo1.1) S 18366 18368 17705 0 -1 4202496 5603 0 0 0 1543 36 0 0 23 0 3 0 989558438 139304960 5540 33554432000 4194304 5714118 140733633406544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18368/statm: 34010 5540 180 372 0 33635 0
[pid=18368/tid=18369] ppid=18366 vsize=136040 CPUtime=7.89 cores=1,3,5,7
/proc/18368/task/18369/stat : 18369 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 3801 0 0 0 779 10 0 0 25 0 3 0 989558438 139304960 5540 33554432000 4194304 5714118 140733633406544 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=18368/tid=18370] ppid=18366 vsize=136040 CPUtime=7.89 cores=1,3,5,7
/proc/18368/task/18370/stat : 18370 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 1433 0 0 0 764 25 0 0 25 0 3 0 989558438 139304960 5540 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 15.79
Current children cumulated vsize (KiB) 136040
[startup+8.30033 s]
/proc/loadavg: 3.70 3.92 3.66 5/182 18371
/proc/meminfo: memFree=24457332/32950928 swapFree=67054844/67111528
[pid=18368] ppid=18366 vsize=136040 CPUtime=16.59 cores=1,3,5,7
/proc/18368/stat : 18368 (pwbo1.1) S 18366 18368 17705 0 -1 4202496 6541 0 0 0 1622 37 0 0 23 0 3 0 989558438 139304960 6478 33554432000 4194304 5714118 140733633406544 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18368/statm: 34010 6478 180 372 0 33635 0
[pid=18368/tid=18369] ppid=18366 vsize=136040 CPUtime=8.29 cores=1,3,5,7
/proc/18368/task/18369/stat : 18369 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 4634 0 0 0 818 11 0 0 25 0 3 0 989558438 139304960 6478 33554432000 4194304 5714118 140733633406544 18446744073709551615 4976397 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=18368/tid=18370] ppid=18366 vsize=136040 CPUtime=8.28 cores=1,3,5,7
/proc/18368/task/18370/stat : 18370 (pwbo1.1) R 18366 18368 17705 0 -1 4202560 1538 0 0 0 803 25 0 0 25 0 3 0 989558438 139304960 6478 33554432000 4194304 5714118 140733633406544 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 16.59
Current children cumulated vsize (KiB) 136040
Child status: 0
Real time (s): 8.33392
CPU time (s): 16.6645
CPU user time (s): 16.2875
CPU system time (s): 0.376942
CPU usage (%): 199.96
Max. virtual memory (cumulated for all children) (KiB): 136040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.2875
system time used= 0.376942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6546
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= 41
involuntary context switches= 147
runsolver used 0.015997 second user time and 0.025996 second system time
The end