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-3704475-1338097077/watcher-3704475-1338097077 -o /tmp/evaluation-result-3704475-1338097077/solver-3704475-1338097077 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704475-1338097077.opb
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: 4.04 4.01 3.94 4/176 26870
/proc/meminfo: memFree=27720276/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=5112 CPUtime=0 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) R 26868 26870 23596 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 275833585 5234688 526 33554432000 4194304 5965102 140733700797520 140733693242984 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 1278 527 171 433 0 813 0
[startup+0.0998001 s]
/proc/loadavg: 4.04 4.01 3.94 4/176 26870
/proc/meminfo: memFree=27720276/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=164460 CPUtime=0.18 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 2232 0 0 0 18 0 0 0 20 0 3 0 275833585 168407040 2153 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 41115 2153 207 433 0 40679 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 164460
[startup+0.100197 s]
/proc/loadavg: 4.04 4.01 3.94 4/176 26870
/proc/meminfo: memFree=27720276/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=164460 CPUtime=0.18 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 2233 0 0 0 18 0 0 0 20 0 3 0 275833585 168407040 2154 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 41115 2154 207 433 0 40679 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 164460
[startup+0.300125 s]
/proc/loadavg: 4.04 4.01 3.94 4/176 26870
/proc/meminfo: memFree=27720276/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=164460 CPUtime=0.58 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 2649 0 0 0 57 1 0 0 20 0 3 0 275833585 168407040 2570 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 41115 2570 207 433 0 40679 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 164460
[startup+0.700131 s]
/proc/loadavg: 4.04 4.01 3.94 4/176 26870
/proc/meminfo: memFree=27720276/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=164460 CPUtime=1.37 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 3448 0 0 0 135 2 0 0 20 0 3 0 275833585 168407040 3369 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 41115 3370 207 433 0 40679 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164460
[startup+1.5003 s]
/proc/loadavg: 4.03 4.01 3.94 5/179 26873
/proc/meminfo: memFree=27703264/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=164604 CPUtime=2.97 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 4461 0 0 0 293 4 0 0 20 0 3 0 275833585 168554496 4382 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 41151 4382 207 433 0 40715 0
[pid=26870/tid=26872] ppid=26868 vsize=164604 CPUtime=1.47 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 1713 0 0 0 147 0 0 0 20 0 3 0 275833586 168554496 4382 33554432000 4194304 5965102 140733700797520 140267842918600 5131525 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=164604 CPUtime=1.47 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 1493 0 0 0 143 4 0 0 20 0 3 0 275833586 168554496 4382 33554432000 4194304 5965102 140733700797520 140267832428856 4404757 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 164604
[startup+3.10032 s]
/proc/loadavg: 4.03 4.01 3.94 5/179 26873
/proc/meminfo: memFree=27701280/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=164808 CPUtime=6.17 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 5181 0 0 0 612 5 0 0 20 0 3 0 275833585 168763392 5102 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 41202 5102 207 433 0 40766 0
[pid=26870/tid=26872] ppid=26868 vsize=164808 CPUtime=3.07 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 1930 0 0 0 307 0 0 0 20 0 3 0 275833586 168763392 5102 33554432000 4194304 5965102 140733700797520 140267842918440 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=164808 CPUtime=3.07 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 1996 0 0 0 302 5 0 0 20 0 3 0 275833586 168763392 5102 33554432000 4194304 5965102 140733700797520 140267832428376 4393845 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164808
[startup+6.30033 s]
/proc/loadavg: 4.03 4.01 3.94 5/179 26873
/proc/meminfo: memFree=27688012/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=165184 CPUtime=12.57 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 7266 0 0 0 1251 6 0 0 20 0 3 0 275833585 169148416 7151 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 41296 7151 207 433 0 40860 0
[pid=26870/tid=26872] ppid=26868 vsize=165184 CPUtime=6.28 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 3237 0 0 0 626 2 0 0 20 0 3 0 275833586 169148416 7151 33554432000 4194304 5965102 140733700797520 140267842918496 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=165184 CPUtime=6.28 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 2774 0 0 0 622 6 0 0 20 0 3 0 275833586 169148416 7151 33554432000 4194304 5965102 140733700797520 140267832428768 4401078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 165184
[startup+12.7003 s]
/proc/loadavg: 4.03 4.01 3.94 5/179 26873
/proc/meminfo: memFree=27677372/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=165636 CPUtime=25.37 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 9621 0 0 0 2528 9 0 0 20 0 3 0 275833585 169611264 9506 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 41409 9509 207 433 0 40973 0
[pid=26870/tid=26872] ppid=26868 vsize=165636 CPUtime=12.67 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 3707 0 0 0 1265 2 0 0 20 0 3 0 275833586 169611264 9509 33554432000 4194304 5965102 140733700797520 140267842918440 5179915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=165636 CPUtime=12.68 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 4662 0 0 0 1260 8 0 0 20 0 3 0 275833586 169611264 9509 33554432000 4194304 5965102 140733700797520 140267832428664 4404416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165636
[startup+25.5003 s]
/proc/loadavg: 4.02 4.01 3.94 5/179 26873
/proc/meminfo: memFree=27651580/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=166176 CPUtime=50.97 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 15474 0 0 0 5086 11 0 0 20 0 3 0 275833585 170164224 15283 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 41544 15283 207 433 0 41108 0
[pid=26870/tid=26872] ppid=26868 vsize=166176 CPUtime=25.47 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 7355 0 0 0 2544 3 0 0 20 0 3 0 275833586 170164224 15283 33554432000 4194304 5965102 140733700797520 140267842918456 4401050 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=166176 CPUtime=25.48 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 6864 0 0 0 2539 9 0 0 20 0 3 0 275833586 170164224 15283 33554432000 4194304 5965102 140733700797520 140267832428856 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 166176
[startup+51.1003 s]
/proc/loadavg: 4.01 4.01 3.94 5/179 26926
/proc/meminfo: memFree=28138856/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=166764 CPUtime=102.14 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 16237 0 0 0 10203 11 0 0 20 0 3 0 275833585 170766336 16480 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 41691 16480 207 433 0 41255 0
[pid=26870/tid=26872] ppid=26868 vsize=166764 CPUtime=51.07 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 7676 0 0 0 5103 4 0 0 20 0 3 0 275833586 170766336 16480 33554432000 4194304 5965102 140733700797520 140267842918264 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=166764 CPUtime=51.06 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 7306 0 0 0 5097 9 0 0 20 0 3 0 275833586 170766336 16480 33554432000 4194304 5965102 140733700797520 140267832428616 4389823 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 166764
[startup+102.307 s]
/proc/loadavg: 4.07 4.02 3.95 5/179 26926
/proc/meminfo: memFree=28035564/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=169088 CPUtime=204.52 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 25658 0 0 0 20432 20 0 0 20 0 3 0 275833585 173146112 27270 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 42272 27270 207 433 0 41836 0
[pid=26870/tid=26872] ppid=26868 vsize=169088 CPUtime=102.26 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 13291 0 0 0 10217 9 0 0 20 0 3 0 275833586 173146112 27270 33554432000 4194304 5965102 140733700797520 140267842918200 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=169088 CPUtime=102.26 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 11112 0 0 0 10212 14 0 0 20 0 3 0 275833586 173146112 27270 33554432000 4194304 5965102 140733700797520 140267832428960 4389274 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 169088
[startup+162.3 s]
/proc/loadavg: 4.02 4.01 3.95 5/180 26929
/proc/meminfo: memFree=27959200/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=237576 CPUtime=324.48 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 32606 0 0 0 32421 27 0 0 20 0 3 0 275833585 243277824 34168 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 59394 34168 207 433 0 58958 0
[pid=26870/tid=26872] ppid=26868 vsize=237576 CPUtime=162.25 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 17896 0 0 0 16209 16 0 0 20 0 3 0 275833586 243277824 34168 33554432000 4194304 5965102 140733700797520 140267842918392 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=237576 CPUtime=162.25 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 13455 0 0 0 16208 17 0 0 20 0 3 0 275833586 243277824 34168 33554432000 4194304 5965102 140733700797520 140267832428848 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 237576
[startup+222.3 s]
/proc/loadavg: 4.01 4.01 3.95 5/179 26930
/proc/meminfo: memFree=27858676/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=304140 CPUtime=444.47 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 41201 0 0 0 44402 45 0 0 20 0 3 0 275833585 311439360 42786 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 76035 42786 207 433 0 75599 0
[pid=26870/tid=26872] ppid=26868 vsize=304140 CPUtime=222.26 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 21606 0 0 0 22203 23 0 0 20 0 3 0 275833586 311439360 42786 33554432000 4194304 5965102 140733700797520 140267842918392 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=304140 CPUtime=222.25 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 18340 0 0 0 22196 29 0 0 20 0 3 0 275833586 311439360 42786 33554432000 4194304 5965102 140733700797520 140267832428856 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 304140
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/179 26930
/proc/meminfo: memFree=27801572/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=307928 CPUtime=564.42 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 45071 0 0 0 56391 51 0 0 20 0 3 0 275833585 315318272 47017 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 76982 47017 207 433 0 76546 0
[pid=26870/tid=26872] ppid=26868 vsize=307928 CPUtime=282.25 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 23976 0 0 0 28196 29 0 0 20 0 3 0 275833586 315318272 47017 33554432000 4194304 5965102 140733700797520 140267842918264 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=307928 CPUtime=282.23 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 19840 0 0 0 28191 32 0 0 20 0 3 0 275833586 315318272 47017 33554432000 4194304 5965102 140733700797520 140267832428664 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.42
Current children cumulated vsize (KiB) 307928
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/179 26930
/proc/meminfo: memFree=27772192/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=309980 CPUtime=684.39 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 47943 0 0 0 68383 56 0 0 20 0 3 0 275833585 317419520 49967 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 77495 49967 207 433 0 77059 0
[pid=26870/tid=26872] ppid=26868 vsize=309980 CPUtime=342.24 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 25325 0 0 0 34192 32 0 0 20 0 3 0 275833586 317419520 49967 33554432000 4194304 5965102 140733700797520 140267842918200 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=309980 CPUtime=342.23 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 21363 0 0 0 34188 35 0 0 20 0 3 0 275833586 317419520 49967 33554432000 4194304 5965102 140733700797520 140267832428856 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.39
Current children cumulated vsize (KiB) 309980
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/179 26930
/proc/meminfo: memFree=27741468/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=311032 CPUtime=804.38 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 51785 0 0 0 80376 62 0 0 20 0 3 0 275833585 318496768 53809 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 77758 53809 207 433 0 77322 0
[pid=26870/tid=26872] ppid=26868 vsize=311032 CPUtime=402.24 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 28693 0 0 0 40185 39 0 0 20 0 3 0 275833586 318496768 53809 33554432000 4194304 5965102 140733700797520 140267842918440 4401058 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=311032 CPUtime=402.23 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 21837 0 0 0 40187 36 0 0 20 0 3 0 275833586 318496768 53809 33554432000 4194304 5965102 140733700797520 140267832428664 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.38
Current children cumulated vsize (KiB) 311032
[startup+462.3 s]
/proc/loadavg: 4.08 4.02 3.95 5/179 26930
/proc/meminfo: memFree=27685912/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=314580 CPUtime=924.36 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 57831 0 0 0 92366 70 0 0 20 0 3 0 275833585 322129920 59711 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 78645 59711 207 433 0 78209 0
[pid=26870/tid=26872] ppid=26868 vsize=314580 CPUtime=462.24 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 31433 0 0 0 46180 44 0 0 20 0 3 0 275833586 322129920 59711 33554432000 4194304 5965102 140733700797520 140267842918392 4401143 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=314580 CPUtime=462.23 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 25143 0 0 0 46181 42 0 0 20 0 3 0 275833586 322129920 59711 33554432000 4194304 5965102 140733700797520 140267832428960 4404759 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.36
Current children cumulated vsize (KiB) 314580
[startup+522.3 s]
/proc/loadavg: 4.03 4.01 3.95 5/179 26931
/proc/meminfo: memFree=27658008/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=317428 CPUtime=1044.34 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 62034 0 0 0 104359 75 0 0 20 0 3 0 275833585 325046272 63919 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 79357 63919 207 433 0 78921 0
[pid=26870/tid=26872] ppid=26868 vsize=317428 CPUtime=522.25 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 33989 0 0 0 52179 46 0 0 20 0 3 0 275833586 325046272 63919 33554432000 4194304 5965102 140733700797520 140267842918440 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=317428 CPUtime=522.22 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 26790 0 0 0 52178 44 0 0 20 0 3 0 275833586 325046272 63919 33554432000 4194304 5965102 140733700797520 140267832428664 4404604 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.34
Current children cumulated vsize (KiB) 317428
[startup+582.3 s]
/proc/loadavg: 4.01 4.00 3.95 5/179 26931
/proc/meminfo: memFree=27598520/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=387876 CPUtime=1164.3 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 70474 0 0 0 116344 86 0 0 20 0 3 0 275833585 397185024 72453 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 96969 72453 207 433 0 96533 0
[pid=26870/tid=26872] ppid=26868 vsize=387876 CPUtime=582.25 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 36169 0 0 0 58175 50 0 0 20 0 3 0 275833586 397185024 72453 33554432000 4194304 5965102 140733700797520 140267842918392 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=387876 CPUtime=582.2 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 33050 0 0 0 58167 53 0 0 20 0 3 0 275833586 397185024 72453 33554432000 4194304 5965102 140733700797520 140267832428904 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.3
Current children cumulated vsize (KiB) 387876
[startup+642.3 s]
/proc/loadavg: 4.05 4.02 3.96 5/179 26931
/proc/meminfo: memFree=27559856/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=389280 CPUtime=1284.27 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 71278 0 0 0 128341 86 0 0 20 0 3 0 275833585 398622720 73350 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 97320 73350 207 433 0 96884 0
[pid=26870/tid=26872] ppid=26868 vsize=389280 CPUtime=642.24 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 36937 0 0 0 64173 51 0 0 20 0 3 0 275833586 398622720 73350 33554432000 4194304 5965102 140733700797520 140267842918496 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=389280 CPUtime=642.21 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 33086 0 0 0 64167 54 0 0 20 0 3 0 275833586 398622720 73350 33554432000 4194304 5965102 140733700797520 140267832428768 4401688 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.27
Current children cumulated vsize (KiB) 389280
[startup+702.3 s]
/proc/loadavg: 4.07 4.03 3.96 5/179 26931
/proc/meminfo: memFree=27547572/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=391064 CPUtime=1404.25 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 72141 0 0 0 140338 87 0 0 20 0 3 0 275833585 400449536 74213 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 97766 74213 207 433 0 97330 0
[pid=26870/tid=26872] ppid=26868 vsize=391064 CPUtime=702.23 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 37591 0 0 0 70170 53 0 0 20 0 3 0 275833586 400449536 74213 33554432000 4194304 5965102 140733700797520 140267842918200 4401559 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=391064 CPUtime=702.2 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 33295 0 0 0 70165 55 0 0 20 0 3 0 275833586 400449536 74213 33554432000 4194304 5965102 140733700797520 140267832428664 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.25
Current children cumulated vsize (KiB) 391064
[startup+762.307 s]
/proc/loadavg: 4.08 4.03 3.97 5/180 26934
/proc/meminfo: memFree=27518348/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=394772 CPUtime=1524.25 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 74322 0 0 0 152336 89 0 0 20 0 3 0 275833585 404246528 76393 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 98693 76393 207 433 0 98257 0
[pid=26870/tid=26872] ppid=26868 vsize=394772 CPUtime=762.24 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 39502 0 0 0 76168 56 0 0 20 0 3 0 275833586 404246528 76393 33554432000 4194304 5965102 140733700797520 140267842918392 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=394772 CPUtime=762.21 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 33565 0 0 0 76165 56 0 0 20 0 3 0 275833586 404246528 76393 33554432000 4194304 5965102 140733700797520 140267832428960 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.25
Current children cumulated vsize (KiB) 394772
[startup+822.3 s]
/proc/loadavg: 4.08 4.04 3.97 5/179 26935
/proc/meminfo: memFree=27462356/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=464452 CPUtime=1644.21 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 82588 0 0 0 164319 102 0 0 20 0 3 0 275833585 475598848 84659 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 116113 84659 207 433 0 115677 0
[pid=26870/tid=26872] ppid=26868 vsize=464452 CPUtime=822.23 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 42608 0 0 0 82160 63 0 0 20 0 3 0 275833586 475598848 84659 33554432000 4194304 5965102 140733700797520 140267842918392 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=464452 CPUtime=822.2 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 38725 0 0 0 82155 65 0 0 20 0 3 0 275833586 475598848 84659 33554432000 4194304 5965102 140733700797520 140267832428664 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.21
Current children cumulated vsize (KiB) 464452
[startup+882.3 s]
/proc/loadavg: 4.08 4.04 3.98 5/179 26935
/proc/meminfo: memFree=27422044/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=514660 CPUtime=1764.19 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 96099 0 0 0 176309 110 0 0 20 0 3 0 275833585 527011840 94359 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 128665 94359 207 433 0 128229 0
[pid=26870/tid=26872] ppid=26868 vsize=514660 CPUtime=882.24 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 55795 0 0 0 88152 72 0 0 20 0 3 0 275833586 527011840 94359 33554432000 4194304 5965102 140733700797520 140267842918496 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=514660 CPUtime=882.2 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 39049 0 0 0 88154 66 0 0 20 0 3 0 275833586 527011840 94359 33554432000 4194304 5965102 140733700797520 140267832428904 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.19
Current children cumulated vsize (KiB) 514660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.06 4.04 3.98 5/179 26935
/proc/meminfo: memFree=27419564/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=514900 CPUtime=1800.2 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 96292 0 0 0 179910 110 0 0 20 0 3 0 275833585 527257600 94552 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 128725 94552 207 433 0 128289 0
[pid=26870/tid=26872] ppid=26868 vsize=514900 CPUtime=900.24 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 55801 0 0 0 89952 72 0 0 20 0 3 0 275833586 527257600 94552 33554432000 4194304 5965102 140733700797520 140267842918496 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=514900 CPUtime=900.2 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 39236 0 0 0 89954 66 0 0 20 0 3 0 275833586 527257600 94552 33554432000 4194304 5965102 140733700797520 140267832428904 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 514900
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.06 4.04 3.98 5/179 26935
/proc/meminfo: memFree=27419564/32873852 swapFree=6848/6848
[pid=26870] ppid=26868 vsize=514900 CPUtime=1800.2 cores=0,2,4,6
/proc/26870/stat : 26870 (pwbo2.0) S 26868 26870 23596 0 -1 4202496 96292 0 0 0 179910 110 0 0 20 0 3 0 275833585 527257600 94552 33554432000 4194304 5965102 140733700797520 140733700797040 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26870/statm: 128725 94552 207 433 0 128289 0
[pid=26870/tid=26872] ppid=26868 vsize=514900 CPUtime=900.24 cores=0,2,4,6
/proc/26870/task/26872/stat : 26872 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 55801 0 0 0 89952 72 0 0 20 0 3 0 275833586 527257600 94552 33554432000 4194304 5965102 140733700797520 140267842918496 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=26870/tid=26873] ppid=26868 vsize=514900 CPUtime=900.2 cores=0,2,4,6
/proc/26870/task/26873/stat : 26873 (pwbo2.0) R 26868 26870 23596 0 -1 4202560 39236 0 0 0 89954 66 0 0 20 0 3 0 275833586 527257600 94552 33554432000 4194304 5965102 140733700797520 140267832428904 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 514900
Child status: 0
Real time (s): 900.322
CPU time (s): 1800.51
CPU user time (s): 1799.11
CPU system time (s): 1.40079
CPU usage (%): 199.985
Max. virtual memory (cumulated for all children) (KiB): 533524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.40079
maximum resident set size= 392312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96295
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= 257
involuntary context switches= 1924
runsolver used 2.06269 second user time and 4.84526 second system time
The end