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-3712734-1338203822/watcher-3712734-1338203822 -o /tmp/evaluation-result-3712734-1338203822/solver-3712734-1338203822 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712734-1338203822.wbo
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: 4.01 4.00 3.95 4/178 16236
/proc/meminfo: memFree=29537636/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=4572 CPUtime=0 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) R 16234 16236 14514 0 -1 4202496 436 0 0 0 0 0 0 0 20 0 1 0 286507647 4681728 388 33554432000 4194304 5964478 140733804998640 140733804996424 4395513 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 1143 388 168 433 0 683 0
[startup+0.0426041 s]
/proc/loadavg: 4.01 4.00 3.95 4/178 16236
/proc/meminfo: memFree=29537636/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=164272 CPUtime=0.06 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 2485 0 0 0 6 0 0 0 20 0 3 0 286507647 168214528 2181 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 41068 2181 198 433 0 40632 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 164272
[startup+0.100189 s]
/proc/loadavg: 4.01 4.00 3.95 4/178 16236
/proc/meminfo: memFree=29537636/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=164272 CPUtime=0.17 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 3266 0 0 0 17 0 0 0 20 0 3 0 286507647 168214528 2462 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 41068 2462 198 433 0 40632 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 164272
[startup+0.300144 s]
/proc/loadavg: 4.01 4.00 3.95 4/178 16236
/proc/meminfo: memFree=29537636/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=164272 CPUtime=0.57 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 5358 0 0 0 56 1 0 0 20 0 3 0 286507647 168214528 3667 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 41068 3667 198 433 0 40632 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164272
[startup+0.700151 s]
/proc/loadavg: 4.01 4.00 3.95 4/178 16236
/proc/meminfo: memFree=29537636/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=164272 CPUtime=1.36 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 7133 0 0 0 135 1 0 0 20 0 3 0 286507647 168214528 4840 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 41068 4840 198 433 0 40632 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 164272
[startup+1.5003 s]
/proc/loadavg: 4.01 4.00 3.95 5/181 16239
/proc/meminfo: memFree=29515400/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=164272 CPUtime=2.97 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 8874 0 0 0 295 2 0 0 20 0 3 0 286507647 168214528 6380 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 41068 6380 198 433 0 40632 0
[pid=16236/tid=16238] ppid=16234 vsize=164272 CPUtime=1.47 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 3404 0 0 0 145 2 0 0 20 0 3 0 286507648 168214528 6380 33554432000 4194304 5964478 140733804998640 140310921095208 4382013 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=164272 CPUtime=1.47 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 4378 0 0 0 147 0 0 0 20 0 3 0 286507648 168214528 6380 33554432000 4194304 5964478 140733804998640 140310910605832 4403661 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) 164272
[startup+3.10029 s]
/proc/loadavg: 4.01 4.00 3.95 5/181 16239
/proc/meminfo: memFree=29505596/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=164272 CPUtime=6.17 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 12149 0 0 0 614 3 0 0 20 0 3 0 286507647 168214528 9253 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 41068 9253 198 433 0 40632 0
[pid=16236/tid=16238] ppid=16234 vsize=164272 CPUtime=3.05 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 5830 0 0 0 303 2 0 0 20 0 3 0 286507648 168214528 9253 33554432000 4194304 5964478 140733804998640 140310921095160 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=164272 CPUtime=3.07 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 5227 0 0 0 307 0 0 0 20 0 3 0 286507648 168214528 9253 33554432000 4194304 5964478 140733804998640 140310910605976 4403701 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164272
[startup+6.30031 s]
/proc/loadavg: 4.01 4.00 3.95 5/181 16239
/proc/meminfo: memFree=29482200/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=164540 CPUtime=12.56 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 17399 0 0 0 1252 4 0 0 20 0 3 0 286507647 168488960 14402 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 41135 14404 198 433 0 40699 0
[pid=16236/tid=16238] ppid=16234 vsize=164540 CPUtime=6.25 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 10191 0 0 0 622 3 0 0 20 0 3 0 286507648 168488960 14404 33554432000 4194304 5964478 140733804998640 140310921095160 5136404 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=164540 CPUtime=6.26 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 6118 0 0 0 625 1 0 0 20 0 3 0 286507648 168488960 14404 33554432000 4194304 5964478 140733804998640 140310910605624 4403701 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 164540
[startup+12.7003 s]
/proc/loadavg: 4.01 4.00 3.95 5/181 16239
/proc/meminfo: memFree=29410424/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=230340 CPUtime=25.36 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 30190 0 0 0 2528 8 0 0 20 0 3 0 286507647 235868160 26990 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 57585 26990 198 433 0 57149 0
[pid=16236/tid=16238] ppid=16234 vsize=230340 CPUtime=12.63 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 21965 0 0 0 1257 6 0 0 20 0 3 0 286507648 235868160 26990 33554432000 4194304 5964478 140733804998640 140310921095160 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=230340 CPUtime=12.64 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 7133 0 0 0 1263 1 0 0 20 0 3 0 286507648 235868160 26990 33554432000 4194304 5964478 140733804998640 140310910605656 4400002 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 230340
[startup+25.5004 s]
/proc/loadavg: 4.01 4.00 3.95 5/180 16239
/proc/meminfo: memFree=29188952/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=362468 CPUtime=50.96 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 77556 0 0 0 5074 22 0 0 20 0 3 0 286507647 371167232 74356 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 90617 74356 198 433 0 90181 0
[pid=16236/tid=16238] ppid=16234 vsize=362468 CPUtime=25.39 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 48481 0 0 0 2526 13 0 0 20 0 3 0 286507648 371167232 74356 33554432000 4194304 5964478 140733804998640 140310921095160 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=362468 CPUtime=25.41 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 27983 0 0 0 2533 8 0 0 20 0 3 0 286507648 371167232 74356 33554432000 4194304 5964478 140733804998640 140310910605624 5136404 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) 362468
[startup+51.1003 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 16240
/proc/meminfo: memFree=29013576/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=494708 CPUtime=102.15 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 110762 0 0 0 10181 34 0 0 20 0 3 0 286507647 506580992 107562 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 123677 107562 198 433 0 123241 0
[pid=16236/tid=16238] ppid=16234 vsize=494708 CPUtime=50.92 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 62478 0 0 0 5074 18 0 0 20 0 3 0 286507648 506580992 107562 33554432000 4194304 5964478 140733804998640 140310921094968 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=494708 CPUtime=50.94 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 47192 0 0 0 5079 15 0 0 20 0 3 0 286507648 506580992 107562 33554432000 4194304 5964478 140733804998640 140310910605624 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 494708
[startup+102.307 s]
/proc/loadavg: 4.08 4.01 3.96 5/181 16240
/proc/meminfo: memFree=28823936/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=693540 CPUtime=204.52 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 148202 0 0 0 20406 46 0 0 20 0 3 0 286507647 710184960 145151 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 173385 145151 198 433 0 172949 0
[pid=16236/tid=16238] ppid=16234 vsize=693540 CPUtime=101.98 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 89237 0 0 0 10170 28 0 0 20 0 3 0 286507648 710184960 145151 33554432000 4194304 5964478 140733804998640 140310921095160 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=693540 CPUtime=102.01 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 57873 0 0 0 10182 19 0 0 20 0 3 0 286507648 710184960 145151 33554432000 4194304 5964478 140733804998640 140310910605624 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 693540
[startup+162.3 s]
/proc/loadavg: 4.03 4.01 3.96 5/181 16240
/proc/meminfo: memFree=28690664/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=759416 CPUtime=324.46 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 168482 0 0 0 32392 54 0 0 20 0 3 0 286507647 777641984 165389 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 189854 165389 198 433 0 189418 0
[pid=16236/tid=16238] ppid=16234 vsize=759416 CPUtime=161.79 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 98799 0 0 0 16145 34 0 0 20 0 3 0 286507648 777641984 165389 33554432000 4194304 5964478 140733804998640 140310921095160 4400073 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=759416 CPUtime=161.85 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 68591 0 0 0 16161 24 0 0 20 0 3 0 286507648 777641984 165389 33554432000 4194304 5964478 140733804998640 140310910605656 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (KiB) 759416
[startup+222.3 s]
/proc/loadavg: 3.90 3.97 3.95 5/182 16284
/proc/meminfo: memFree=30301776/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=1088616 CPUtime=444.4 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 240862 0 0 0 44359 81 0 0 20 0 3 0 286507647 1114742784 237751 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 272154 237751 198 433 0 271718 0
[pid=16236/tid=16238] ppid=16234 vsize=1088616 CPUtime=221.59 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 152962 0 0 0 22103 56 0 0 20 0 3 0 286507648 1114742784 237751 33554432000 4194304 5964478 140733804998640 140310921095160 4400099 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=1088616 CPUtime=221.69 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 86808 0 0 0 22139 30 0 0 20 0 3 0 286507648 1114742784 237751 33554432000 4194304 5964478 140733804998640 140310910605624 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.4
Current children cumulated vsize (KiB) 1088616
[startup+282.3 s]
/proc/loadavg: 3.96 3.97 3.95 5/181 16284
/proc/meminfo: memFree=29696480/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=1285752 CPUtime=564.33 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 305190 0 0 0 56326 107 0 0 20 0 3 0 286507647 1316610048 302036 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 321438 302036 198 433 0 321002 0
[pid=16236/tid=16238] ppid=16234 vsize=1285752 CPUtime=281.41 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 201278 0 0 0 28064 77 0 0 20 0 3 0 286507648 1316610048 302036 33554432000 4194304 5964478 140733804998640 140310921095160 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=1285752 CPUtime=281.51 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 102820 0 0 0 28114 37 0 0 20 0 3 0 286507648 1316610048 302036 33554432000 4194304 5964478 140733804998640 140310910605384 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.33
Current children cumulated vsize (KiB) 1285752
[startup+342.3 s]
/proc/loadavg: 3.98 3.97 3.95 5/181 16285
/proc/meminfo: memFree=29313224/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=1417964 CPUtime=684.28 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 331061 0 0 0 68309 119 0 0 20 0 3 0 286507647 1451995136 327872 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 354491 327872 198 433 0 354055 0
################
# More data... #
################
[pid=16236] ppid=16234 vsize=1944548 CPUtime=1284.13 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 451948 0 0 0 128229 184 0 0 20 0 3 0 286507647 1991217152 450348 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 486137 450348 198 433 0 485701 0
[pid=16236/tid=16238] ppid=16234 vsize=1944548 CPUtime=640.44 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 280655 0 0 0 63917 127 0 0 20 0 3 0 286507648 1991217152 450348 33554432000 4194304 5964478 140733804998640 140310921095160 4400099 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=1944548 CPUtime=640.51 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 170201 0 0 0 63977 74 0 0 20 0 3 0 286507648 1991217152 450348 33554432000 4194304 5964478 140733804998640 140310910605624 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.13
Current children cumulated vsize (KiB) 1944548
[startup+702.3 s]
/proc/loadavg: 4.05 4.00 3.96 5/181 16287
/proc/meminfo: memFree=27958320/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=2076620 CPUtime=1404.1 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 487213 0 0 0 140206 204 0 0 20 0 3 0 286507647 2126458880 485613 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 519155 485613 198 433 0 518719 0
[pid=16236/tid=16238] ppid=16234 vsize=2076620 CPUtime=700.28 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 315854 0 0 0 69880 148 0 0 20 0 3 0 286507648 2126458880 485613 33554432000 4194304 5964478 140733804998640 140310921095160 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=2076620 CPUtime=700.35 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 170267 0 0 0 69960 75 0 0 20 0 3 0 286507648 2126458880 485613 33554432000 4194304 5964478 140733804998640 140310910605384 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.1
Current children cumulated vsize (KiB) 2076620
[startup+762.307 s]
/proc/loadavg: 4.06 4.01 3.96 5/181 16287
/proc/meminfo: memFree=27703532/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=2143204 CPUtime=1524.1 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 514069 0 0 0 152193 217 0 0 20 0 3 0 286507647 2194640896 512310 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 535801 512310 198 433 0 535365 0
[pid=16236/tid=16238] ppid=16234 vsize=2143204 CPUtime=760.13 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 321931 0 0 0 75860 153 0 0 20 0 3 0 286507648 2194640896 512310 33554432000 4194304 5964478 140733804998640 140310921095160 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=2143204 CPUtime=760.21 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 191046 0 0 0 75936 85 0 0 20 0 3 0 286507648 2194640896 512310 33554432000 4194304 5964478 140733804998640 140310910605656 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.1
Current children cumulated vsize (KiB) 2143204
[startup+822.3 s]
/proc/loadavg: 4.02 4.01 3.96 5/182 16290
/proc/meminfo: memFree=27536644/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=2143344 CPUtime=1644.06 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 514107 0 0 0 164189 217 0 0 20 0 3 0 286507647 2194784256 512348 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 535836 512348 198 433 0 535400 0
[pid=16236/tid=16238] ppid=16234 vsize=2143344 CPUtime=819.97 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 321941 0 0 0 81843 154 0 0 20 0 3 0 286507648 2194784256 512348 33554432000 4194304 5964478 140733804998640 140310921095160 4400081 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=2143344 CPUtime=820.05 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 191074 0 0 0 81919 86 0 0 20 0 3 0 286507648 2194784256 512348 33554432000 4194304 5964478 140733804998640 140310910605384 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.06
Current children cumulated vsize (KiB) 2143344
############
# WARNING:
# current cumulated CPU time (1654.83 s) is less than in the last sample (1656.66 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.82996 s) to the 'lost time'.
[startup+828.6 s]
/proc/loadavg: 4.02 4.01 3.96 5/182 16290
/proc/meminfo: memFree=27521624/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=2143560 CPUtime=1656.66 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 514159 0 0 0 165449 217 0 0 20 0 3 0 286507647 2195005440 512400 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 535890 512400 198 433 0 535454 0
[pid=16236/tid=16238] ppid=16234 vsize=2143560 CPUtime=826.25 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 321941 0 0 0 82471 154 0 0 20 0 3 0 286507648 2195005440 512400 33554432000 4194304 5964478 140733804998640 140310921095160 4220675 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=2143560 CPUtime=826.33 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 191126 0 0 0 82547 86 0 0 20 0 3 0 286507648 2195005440 512400 33554432000 4194304 5964478 140733804998640 140310910605384 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1656.66
Current children cumulated vsize (KiB) 2143560
[startup+828.7 s]
/proc/loadavg: 4.02 4.01 3.96 5/182 16290
/proc/meminfo: memFree=27521624/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=0 CPUtime=1654.83 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) Z 16234 16236 14514 0 -1 4203532 514164 0 0 0 165252 231 0 0 20 0 2 0 286507647 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 0 0 0 0 0 0 0
[pid=16236/tid=16238] ppid=16234 vsize=0 CPUtime=826.35 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4203588 321941 0 0 0 82480 155 0 0 20 0 2 0 286507648 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1654.83
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+825.5 s]
/proc/loadavg: 4.02 4.01 3.96 5/182 16290
/proc/meminfo: memFree=27527700/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=2143344 CPUtime=1650.46 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 514115 0 0 0 164829 217 0 0 20 0 3 0 286507647 2194784256 512356 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 535836 512356 198 433 0 535400 0
[pid=16236/tid=16238] ppid=16234 vsize=2143344 CPUtime=823.16 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 321941 0 0 0 82162 154 0 0 20 0 3 0 286507648 2194784256 512356 33554432000 4194304 5964478 140733804998640 140310921095160 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=2143344 CPUtime=823.24 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 191082 0 0 0 82238 86 0 0 20 0 3 0 286507648 2194784256 512356 33554432000 4194304 5964478 140733804998640 140310910605384 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1650.46
Current children cumulated vsize (KiB) 2143344
[startup+827.1 s]
/proc/loadavg: 4.02 4.01 3.96 5/182 16290
/proc/meminfo: memFree=27523856/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=2143560 CPUtime=1653.68 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 514156 0 0 0 165151 217 0 0 20 0 3 0 286507647 2195005440 512397 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 535890 512397 198 433 0 535454 0
[pid=16236/tid=16238] ppid=16234 vsize=2143560 CPUtime=824.76 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 321941 0 0 0 82322 154 0 0 20 0 3 0 286507648 2195005440 512397 33554432000 4194304 5964478 140733804998640 140310921095160 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=2143560 CPUtime=824.84 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 191123 0 0 0 82398 86 0 0 20 0 3 0 286507648 2195005440 512397 33554432000 4194304 5964478 140733804998640 140310910605384 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1653.68
Current children cumulated vsize (KiB) 2143560
[startup+827.9 s]
/proc/loadavg: 4.02 4.01 3.96 5/182 16290
/proc/meminfo: memFree=27523856/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=2143560 CPUtime=1655.26 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 514158 0 0 0 165309 217 0 0 20 0 3 0 286507647 2195005440 512399 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 535890 512399 198 433 0 535454 0
[pid=16236/tid=16238] ppid=16234 vsize=2143560 CPUtime=825.55 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 321941 0 0 0 82401 154 0 0 20 0 3 0 286507648 2195005440 512399 33554432000 4194304 5964478 140733804998640 140310921095160 4400099 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=2143560 CPUtime=825.63 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 191125 0 0 0 82477 86 0 0 20 0 3 0 286507648 2195005440 512399 33554432000 4194304 5964478 140733804998640 140310910605384 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1655.26
Current children cumulated vsize (KiB) 2143560
[startup+828.307 s]
/proc/loadavg: 4.02 4.01 3.96 5/182 16290
/proc/meminfo: memFree=27521624/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=2143560 CPUtime=1656.08 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) S 16234 16236 14514 0 -1 4202496 514159 0 0 0 165391 217 0 0 20 0 3 0 286507647 2195005440 512400 33554432000 4194304 5964478 140733804998640 140733804998160 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 535890 512400 198 433 0 535454 0
[pid=16236/tid=16238] ppid=16234 vsize=2143560 CPUtime=825.96 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 321941 0 0 0 82442 154 0 0 20 0 3 0 286507648 2195005440 512400 33554432000 4194304 5964478 140733804998640 140310921095160 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16236/tid=16239] ppid=16234 vsize=2143560 CPUtime=826.04 cores=1,3,5,7
/proc/16236/task/16239/stat : 16239 (pwbo2.01) R 16234 16236 14514 0 -1 4202560 191126 0 0 0 82518 86 0 0 20 0 3 0 286507648 2195005440 512400 33554432000 4194304 5964478 140733804998640 140310910605384 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1656.08
Current children cumulated vsize (KiB) 2143560
[startup+828.7 s]
/proc/loadavg: 4.02 4.01 3.96 5/182 16290
/proc/meminfo: memFree=27521624/32873648 swapFree=7116/7116
[pid=16236] ppid=16234 vsize=0 CPUtime=1654.83 cores=1,3,5,7
/proc/16236/stat : 16236 (pwbo2.01) Z 16234 16236 14514 0 -1 4203532 514164 0 0 0 165252 231 0 0 20 0 2 0 286507647 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16236/statm: 0 0 0 0 0 0 0
[pid=16236/tid=16238] ppid=16234 vsize=0 CPUtime=826.35 cores=1,3,5,7
/proc/16236/task/16238/stat : 16238 (pwbo2.01) R 16234 16236 14514 0 -1 4203588 321941 0 0 0 82480 155 0 0 20 0 2 0 286507648 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1654.83
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16236 and gives
# childrusage.ru_utime.tv_sec=1650
# childrusage.ru_utime.tv_usec=376104
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=522616
# CPU time returned by wait4() is 1652.9
# while last known CPU time is 1654.83
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.82996
# lost CPU user time (s): 1.96997
# lost CPU system time (s): -0.14
Real time (s): 828.788
CPU time (s): 1656.66
CPU user time (s): 1654.49
CPU system time (s): 2.17
CPU usage (%): 199.889
Max. virtual memory (cumulated for all children) (KiB): 2143560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1650.38
system time used= 2.52262
maximum resident set size= 2049876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 514164
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= 914
involuntary context switches= 2898
runsolver used 2.93555 second user time and 8.82166 second system time
The end