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-3725849-1338653311/watcher-3725849-1338653311 -o /tmp/evaluation-result-3725849-1338653311/solver-3725849-1338653311 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725849-1338653311.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.84 3.97 3.67 4/178 12647
/proc/meminfo: memFree=28278820/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=4288 CPUtime=0 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) R 12645 12647 10982 0 -1 4202496 378 0 0 0 0 0 0 0 20 0 1 0 331455646 4390912 331 33554432000 4194304 5964478 140736068678752 140733923979832 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 1072 331 169 433 0 612 0
[startup+0.049164 s]
/proc/loadavg: 3.84 3.97 3.67 4/178 12647
/proc/meminfo: memFree=28278820/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=163048 CPUtime=0.08 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 1539 0 0 0 8 0 0 0 20 0 3 0 331455646 166961152 1418 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 40762 1418 198 433 0 40326 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 163048
[startup+0.100177 s]
/proc/loadavg: 3.84 3.97 3.67 4/178 12647
/proc/meminfo: memFree=28278820/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=163048 CPUtime=0.18 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 1892 0 0 0 18 0 0 0 20 0 3 0 331455646 166961152 1730 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 40762 1730 198 433 0 40326 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163048
[startup+0.30012 s]
/proc/loadavg: 3.84 3.97 3.67 4/178 12647
/proc/meminfo: memFree=28278820/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=163048 CPUtime=0.58 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 3001 0 0 0 58 0 0 0 20 0 3 0 331455646 166961152 2670 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 40762 2670 198 433 0 40326 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163048
[startup+0.700167 s]
/proc/loadavg: 3.84 3.97 3.67 4/178 12647
/proc/meminfo: memFree=28278820/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=163180 CPUtime=1.37 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 6683 0 0 0 136 1 0 0 20 0 3 0 331455646 167096320 4713 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 40795 4713 198 433 0 40359 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163180
[startup+1.50032 s]
/proc/loadavg: 3.84 3.97 3.67 5/181 12650
/proc/meminfo: memFree=28243968/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=163312 CPUtime=2.97 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 12149 0 0 0 294 3 0 0 20 0 3 0 331455646 167231488 6948 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 40828 6948 198 433 0 40392 0
[pid=12647/tid=12649] ppid=12645 vsize=163312 CPUtime=1.47 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 8290 0 0 0 145 2 0 0 20 0 3 0 331455647 167231488 6948 33554432000 4194304 5964478 140736068678752 139731238029848 5130994 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=163312 CPUtime=1.47 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 2938 0 0 0 146 1 0 0 20 0 3 0 331455647 167231488 6948 33554432000 4194304 5964478 140736068678752 139731227540120 4403698 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 163312
[startup+3.10032 s]
/proc/loadavg: 3.85 3.97 3.67 5/181 12650
/proc/meminfo: memFree=28222616/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=163580 CPUtime=6.18 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 21739 0 0 0 613 5 0 0 20 0 3 0 331455646 167505920 9655 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 40895 9655 198 433 0 40459 0
[pid=12647/tid=12649] ppid=12645 vsize=163580 CPUtime=3.06 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 17816 0 0 0 303 3 0 0 20 0 3 0 331455647 167505920 9655 33554432000 4194304 5964478 140736068678752 139731238029848 4399873 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=163580 CPUtime=3.07 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 3002 0 0 0 306 1 0 0 20 0 3 0 331455647 167505920 9655 33554432000 4194304 5964478 140736068678752 139731227539528 4389170 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 163580
[startup+6.30029 s]
/proc/loadavg: 3.85 3.97 3.67 5/181 12650
/proc/meminfo: memFree=28194840/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=164108 CPUtime=12.58 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 28321 0 0 0 1248 10 0 0 20 0 3 0 331455646 168046592 13085 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 41027 13085 198 433 0 40591 0
[pid=12647/tid=12649] ppid=12645 vsize=164108 CPUtime=6.25 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 23141 0 0 0 621 4 0 0 20 0 3 0 331455647 168046592 13085 33554432000 4194304 5964478 140736068678752 139731238029656 4389170 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=164108 CPUtime=6.26 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 4259 0 0 0 622 4 0 0 20 0 3 0 331455647 168046592 13085 33554432000 4194304 5964478 140736068678752 139731227539528 4389160 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 164108
[startup+12.7003 s]
/proc/loadavg: 3.87 3.97 3.67 5/181 12650
/proc/meminfo: memFree=28153552/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=165184 CPUtime=25.37 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 35626 0 0 0 2517 20 0 0 20 0 3 0 331455646 169148416 20389 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 41296 20389 198 433 0 40860 0
[pid=12647/tid=12649] ppid=12645 vsize=165184 CPUtime=12.64 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 25053 0 0 0 1259 5 0 0 20 0 3 0 331455647 169148416 20389 33554432000 4194304 5964478 140736068678752 139731238029640 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=165184 CPUtime=12.64 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 9652 0 0 0 1250 14 0 0 20 0 3 0 331455647 169148416 20389 33554432000 4194304 5964478 140736068678752 139731227539528 4400018 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165184
[startup+25.5003 s]
/proc/loadavg: 3.89 3.97 3.67 5/181 12650
/proc/meminfo: memFree=28113516/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=165996 CPUtime=50.96 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 38165 0 0 0 5075 21 0 0 20 0 3 0 331455646 169979904 22928 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 41499 22928 198 433 0 41063 0
[pid=12647/tid=12649] ppid=12645 vsize=165996 CPUtime=25.4 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 27179 0 0 0 2534 6 0 0 20 0 3 0 331455647 169979904 22928 33554432000 4194304 5964478 140736068678752 139731238029352 4389160 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=165996 CPUtime=25.41 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 10065 0 0 0 2527 14 0 0 20 0 3 0 331455647 169979904 22928 33554432000 4194304 5964478 140736068678752 139731227539768 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 165996
[startup+51.1003 s]
/proc/loadavg: 3.93 3.97 3.68 5/181 12650
/proc/meminfo: memFree=28038216/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=169916 CPUtime=102.16 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 48657 0 0 0 10179 37 0 0 20 0 3 0 331455646 173993984 33062 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 42479 33062 198 433 0 42043 0
[pid=12647/tid=12649] ppid=12645 vsize=169916 CPUtime=50.94 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 31087 0 0 0 5086 8 0 0 20 0 3 0 331455647 173993984 33062 33554432000 4194304 5964478 140736068678752 139731238029112 4403613 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=169916 CPUtime=50.94 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 16649 0 0 0 5066 28 0 0 20 0 3 0 331455647 173993984 33062 33554432000 4194304 5964478 140736068678752 139731227539528 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 169916
[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.70 5/182 12654
/proc/meminfo: memFree=27897336/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=305640 CPUtime=204.56 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 70036 0 0 0 20406 50 0 0 20 0 3 0 331455646 312975360 54437 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 76410 54437 198 433 0 75974 0
[pid=12647/tid=12649] ppid=12645 vsize=305640 CPUtime=102.01 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 43651 0 0 0 10184 17 0 0 20 0 3 0 331455647 312975360 54437 33554432000 4194304 5964478 140736068678752 139731238029304 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=305640 CPUtime=102.02 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 25464 0 0 0 10168 34 0 0 20 0 3 0 331455647 312975360 54437 33554432000 4194304 5964478 140736068678752 139731227539768 4403717 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 305640
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.71 5/181 12654
/proc/meminfo: memFree=27828136/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=376332 CPUtime=324.47 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 76958 0 0 0 32392 55 0 0 20 0 3 0 331455646 385363968 61585 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 94083 61585 198 433 0 93647 0
[pid=12647/tid=12649] ppid=12645 vsize=376332 CPUtime=161.82 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 49666 0 0 0 16159 23 0 0 20 0 3 0 331455647 385363968 61585 33554432000 4194304 5964478 140736068678752 139731238029112 4400097 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=376332 CPUtime=161.85 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 26371 0 0 0 16150 35 0 0 20 0 3 0 331455647 385363968 61585 33554432000 4194304 5964478 140736068678752 139731227539528 4403698 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 376332
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.73 5/181 12654
/proc/meminfo: memFree=27760584/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=379916 CPUtime=444.41 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 83448 0 0 0 44381 60 0 0 20 0 3 0 331455646 389033984 67794 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 94979 67794 198 433 0 94543 0
[pid=12647/tid=12649] ppid=12645 vsize=379916 CPUtime=221.64 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 54368 0 0 0 22136 28 0 0 20 0 3 0 331455647 389033984 67794 33554432000 4194304 5964478 140736068678752 139731238029112 4389147 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=379916 CPUtime=221.67 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 28159 0 0 0 22130 37 0 0 20 0 3 0 331455647 389033984 67794 33554432000 4194304 5964478 140736068678752 139731227539528 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.41
Current children cumulated vsize (KiB) 379916
[startup+282.3 s]
/proc/loadavg: 4.03 3.99 3.75 5/181 12654
/proc/meminfo: memFree=27694924/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=383864 CPUtime=564.38 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 88866 0 0 0 56373 65 0 0 20 0 3 0 331455646 393076736 74407 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 95966 74407 198 433 0 95530 0
[pid=12647/tid=12649] ppid=12645 vsize=383864 CPUtime=281.48 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 58932 0 0 0 28115 33 0 0 20 0 3 0 331455647 393076736 74407 33554432000 4194304 5964478 140736068678752 139731238029112 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=383864 CPUtime=281.51 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 29013 0 0 0 28112 39 0 0 20 0 3 0 331455647 393076736 74407 33554432000 4194304 5964478 140736068678752 139731227539528 4389076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.38
Current children cumulated vsize (KiB) 383864
[startup+342.3 s]
/proc/loadavg: 4.01 3.99 3.76 5/181 12654
/proc/meminfo: memFree=27589428/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=454120 CPUtime=684.35 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 103846 0 0 0 68360 75 0 0 20 0 3 0 331455646 465018880 88443 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 113530 88443 198 433 0 113094 0
################
# More data... #
################
[pid=12647/tid=12650] ppid=12645 vsize=454120 CPUtime=341.35 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 37833 0 0 0 34090 45 0 0 20 0 3 0 331455647 465018880 88443 33554432000 4194304 5964478 140736068678752 139731227539528 4399915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.35
Current children cumulated vsize (KiB) 454120
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.77 5/181 12655
/proc/meminfo: memFree=27536992/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=456728 CPUtime=804.34 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 111617 0 0 0 80352 82 0 0 20 0 3 0 331455646 467689472 94209 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 114182 94209 198 433 0 113746 0
[pid=12647/tid=12649] ppid=12645 vsize=456728 CPUtime=401.18 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 69176 0 0 0 40073 45 0 0 20 0 3 0 331455647 467689472 94209 33554432000 4194304 5964478 140736068678752 139731238029112 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=456728 CPUtime=401.2 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 41520 0 0 0 40072 48 0 0 20 0 3 0 331455647 467689472 94209 33554432000 4194304 5964478 140736068678752 139731227539528 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.34
Current children cumulated vsize (KiB) 456728
[startup+462.3 s]
/proc/loadavg: 4.03 4.00 3.79 5/181 12655
/proc/meminfo: memFree=27438844/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=523996 CPUtime=924.32 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 126009 0 0 0 92341 91 0 0 20 0 3 0 331455646 536571904 107155 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 130999 107155 198 433 0 130563 0
[pid=12647/tid=12649] ppid=12645 vsize=523996 CPUtime=461.02 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 76640 0 0 0 46054 48 0 0 20 0 3 0 331455647 536571904 107155 33554432000 4194304 5964478 140736068678752 139731238029848 4390868 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=523996 CPUtime=461.05 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 48448 0 0 0 46049 56 0 0 20 0 3 0 331455647 536571904 107155 33554432000 4194304 5964478 140736068678752 139731227539528 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 523996
[startup+522.3 s]
/proc/loadavg: 4.01 4.00 3.80 5/181 12655
/proc/meminfo: memFree=27403988/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=527920 CPUtime=1044.28 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 130509 0 0 0 104334 94 0 0 20 0 3 0 331455646 540590080 112374 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 131980 112374 198 433 0 131544 0
[pid=12647/tid=12649] ppid=12645 vsize=527920 CPUtime=520.86 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 76670 0 0 0 52038 48 0 0 20 0 3 0 331455647 540590080 112374 33554432000 4194304 5964478 140736068678752 139731238029848 4389170 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=527920 CPUtime=520.88 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 52918 0 0 0 52029 59 0 0 20 0 3 0 331455647 540590080 112374 33554432000 4194304 5964478 140736068678752 139731227539528 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 527920
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.81 5/181 12655
/proc/meminfo: memFree=27330064/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=533448 CPUtime=1164.24 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 136882 0 0 0 116327 97 0 0 20 0 3 0 331455646 546250752 119174 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 133362 119174 198 433 0 132926 0
[pid=12647/tid=12649] ppid=12645 vsize=533448 CPUtime=580.68 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 76717 0 0 0 58019 49 0 0 20 0 3 0 331455647 546250752 119174 33554432000 4194304 5964478 140736068678752 139731238029848 4400006 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=533448 CPUtime=580.73 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 59244 0 0 0 58010 63 0 0 20 0 3 0 331455647 546250752 119174 33554432000 4194304 5964478 140736068678752 139731227539528 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.24
Current children cumulated vsize (KiB) 533448
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.82 5/181 12655
/proc/meminfo: memFree=27298664/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=534212 CPUtime=1284.22 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 137197 0 0 0 128325 97 0 0 20 0 3 0 331455646 547033088 118153 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 133553 118153 198 433 0 133117 0
[pid=12647/tid=12649] ppid=12645 vsize=534212 CPUtime=640.54 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 76719 0 0 0 64004 50 0 0 20 0 3 0 331455647 547033088 118153 33554432000 4194304 5964478 140736068678752 139731238029848 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=534212 CPUtime=640.57 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 59557 0 0 0 63993 64 0 0 20 0 3 0 331455647 547033088 118153 33554432000 4194304 5964478 140736068678752 139731227539528 4403727 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.22
Current children cumulated vsize (KiB) 534212
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.83 5/182 12659
/proc/meminfo: memFree=27261164/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=538308 CPUtime=1404.18 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 138771 0 0 0 140321 97 0 0 20 0 3 0 331455646 551227392 119725 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 134577 119725 198 433 0 134141 0
[pid=12647/tid=12649] ppid=12645 vsize=538308 CPUtime=700.38 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 76719 0 0 0 69987 51 0 0 20 0 3 0 331455647 551227392 119725 33554432000 4194304 5964478 140736068678752 139731238029848 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=538308 CPUtime=700.41 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 61131 0 0 0 69975 66 0 0 20 0 3 0 331455647 551227392 119725 33554432000 4194304 5964478 140736068678752 139731227539528 4389172 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.18
Current children cumulated vsize (KiB) 538308
[startup+762.307 s]
/proc/loadavg: 4.04 4.01 3.84 5/181 12659
/proc/meminfo: memFree=27249416/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=540088 CPUtime=1524.18 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 142805 0 0 0 152317 101 0 0 20 0 3 0 331455646 553050112 123759 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 135022 123759 198 433 0 134586 0
[pid=12647/tid=12649] ppid=12645 vsize=540088 CPUtime=760.23 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 76719 0 0 0 75971 52 0 0 20 0 3 0 331455647 553050112 123759 33554432000 4194304 5964478 140736068678752 139731238029848 4389160 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=540088 CPUtime=760.26 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 65165 0 0 0 75956 70 0 0 20 0 3 0 331455647 553050112 123759 33554432000 4194304 5964478 140736068678752 139731227539528 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.18
Current children cumulated vsize (KiB) 540088
[startup+822.3 s]
/proc/loadavg: 4.01 4.01 3.84 5/181 12659
/proc/meminfo: memFree=27201044/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=606956 CPUtime=1644.14 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 147034 0 0 0 164306 108 0 0 20 0 3 0 331455646 621522944 127988 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 151739 127988 198 433 0 151303 0
[pid=12647/tid=12649] ppid=12645 vsize=606956 CPUtime=820.07 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 76719 0 0 0 81954 53 0 0 20 0 3 0 331455647 621522944 127988 33554432000 4194304 5964478 140736068678752 139731238029848 4389160 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=606956 CPUtime=820.1 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 69394 0 0 0 81931 79 0 0 20 0 3 0 331455647 621522944 127988 33554432000 4194304 5964478 140736068678752 139731227539528 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.14
Current children cumulated vsize (KiB) 606956
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/181 12659
/proc/meminfo: memFree=27159744/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=609796 CPUtime=1764.13 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 148713 0 0 0 176303 110 0 0 20 0 3 0 331455646 624431104 129667 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 152449 129667 198 433 0 152013 0
[pid=12647/tid=12649] ppid=12645 vsize=609796 CPUtime=879.91 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 76719 0 0 0 87937 54 0 0 20 0 3 0 331455647 624431104 129667 33554432000 4194304 5964478 140736068678752 139731238029848 4400422 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=609796 CPUtime=879.95 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 71073 0 0 0 87914 81 0 0 20 0 3 0 331455647 624431104 129667 33554432000 4194304 5964478 140736068678752 139731227539768 4389132 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.13
Current children cumulated vsize (KiB) 609796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.85 3/178 12660
/proc/meminfo: memFree=27760468/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=609796 CPUtime=1800.13 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 148795 0 0 0 179903 110 0 0 20 0 3 0 331455646 624431104 129749 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 152449 129749 198 433 0 152013 0
[pid=12647/tid=12649] ppid=12645 vsize=609796 CPUtime=897.88 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 76719 0 0 0 89734 54 0 0 20 0 3 0 331455647 624431104 129749 33554432000 4194304 5964478 140736068678752 139731238029848 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=609796 CPUtime=897.91 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 71155 0 0 0 89709 82 0 0 20 0 3 0 331455647 624431104 129749 33554432000 4194304 5964478 140736068678752 139731227539768 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 609796
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.00 4.00 3.85 3/178 12660
/proc/meminfo: memFree=27760468/32873844 swapFree=7108/7108
[pid=12647] ppid=12645 vsize=609796 CPUtime=1800.13 cores=1,3,5,7
/proc/12647/stat : 12647 (pwbo2.02) S 12645 12647 10982 0 -1 4202496 148795 0 0 0 179903 110 0 0 20 0 3 0 331455646 624431104 129749 33554432000 4194304 5964478 140736068678752 140736068678272 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12647/statm: 152449 129749 198 433 0 152013 0
[pid=12647/tid=12649] ppid=12645 vsize=609796 CPUtime=897.88 cores=1,3,5,7
/proc/12647/task/12649/stat : 12649 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 76719 0 0 0 89734 54 0 0 20 0 3 0 331455647 624431104 129749 33554432000 4194304 5964478 140736068678752 139731238029848 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=609796 CPUtime=897.91 cores=1,3,5,7
/proc/12647/task/12650/stat : 12650 (pwbo2.02) R 12645 12647 10982 0 -1 4202560 71155 0 0 0 89709 82 0 0 20 0 3 0 331455647 624431104 129749 33554432000 4194304 5964478 140736068678752 139731227539768 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 609796
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12647 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=455201
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=381789
# CPU time returned by wait4() is 1795.84
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.32
CPU time (s): 1800.13
CPU user time (s): 1799.03
CPU system time (s): 1.1
CPU usage (%): 199.943
Max. virtual memory (cumulated for all children) (KiB): 609796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.46
system time used= 1.38179
maximum resident set size= 519004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148797
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= 323
involuntary context switches= 1922
runsolver used 2.13068 second user time and 5.30419 second system time
The end