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-3712486-1338197845/watcher-3712486-1338197845 -o /tmp/evaluation-result-3712486-1338197845/solver-3712486-1338197845 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712486-1338197845.wbo
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: 3.99 3.97 3.80 4/178 15488
/proc/meminfo: memFree=31174708/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=4300 CPUtime=0 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) R 15486 15488 14514 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 285909981 4403200 327 33554432000 4194304 5964478 140735131404352 140736931384376 5179243 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 1075 327 167 433 0 617 0
[startup+0.077195 s]
/proc/loadavg: 3.99 3.97 3.80 4/178 15488
/proc/meminfo: memFree=31174708/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=163348 CPUtime=0.13 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 1902 0 0 0 13 0 0 0 20 0 3 0 285909981 167268352 1657 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 40837 1657 198 433 0 40401 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 163348
[startup+0.100176 s]
/proc/loadavg: 3.99 3.97 3.80 4/178 15488
/proc/meminfo: memFree=31174708/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=163348 CPUtime=0.17 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 1973 0 0 0 17 0 0 0 20 0 3 0 285909981 167268352 1728 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 40837 1728 198 433 0 40401 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163348
[startup+0.300114 s]
/proc/loadavg: 3.99 3.97 3.80 4/178 15488
/proc/meminfo: memFree=31174708/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=163348 CPUtime=0.58 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 2752 0 0 0 57 1 0 0 20 0 3 0 285909981 167268352 2473 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 40837 2473 198 433 0 40401 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163348
[startup+0.700133 s]
/proc/loadavg: 3.99 3.97 3.80 4/178 15488
/proc/meminfo: memFree=31174708/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=163480 CPUtime=1.37 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 3752 0 0 0 136 1 0 0 20 0 3 0 285909981 167403520 3397 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 40870 3397 198 433 0 40434 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163480
[startup+1.50027 s]
/proc/loadavg: 3.99 3.97 3.80 5/181 15491
/proc/meminfo: memFree=31156820/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=163748 CPUtime=2.97 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 4662 0 0 0 295 2 0 0 20 0 3 0 285909981 167677952 4307 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 40937 4307 198 433 0 40501 0
[pid=15488/tid=15490] ppid=15486 vsize=163748 CPUtime=1.46 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 2207 0 0 0 145 1 0 0 20 0 3 0 285909982 167677952 4307 33554432000 4194304 5964478 140735131404352 139765957195760 4392722 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=163748 CPUtime=1.47 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 1497 0 0 0 147 0 0 0 20 0 3 0 285909982 167677952 4307 33554432000 4194304 5964478 140735131404352 139765946706224 4392847 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 163748
[startup+3.1002 s]
/proc/loadavg: 3.99 3.97 3.80 5/181 15491
/proc/meminfo: memFree=31147752/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=164012 CPUtime=6.16 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 6481 0 0 0 613 3 0 0 20 0 3 0 285909981 167948288 6126 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 41003 6126 198 433 0 40567 0
[pid=15488/tid=15490] ppid=15486 vsize=164012 CPUtime=3.06 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 3858 0 0 0 304 2 0 0 20 0 3 0 285909982 167948288 6126 33554432000 4194304 5964478 140735131404352 139765957195760 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=164012 CPUtime=3.06 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 1665 0 0 0 306 0 0 0 20 0 3 0 285909982 167948288 6126 33554432000 4194304 5964478 140735131404352 139765946706224 4403705 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164012
[startup+6.30029 s]
/proc/loadavg: 3.99 3.97 3.80 5/181 15491
/proc/meminfo: memFree=31117376/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=164744 CPUtime=12.57 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 12352 0 0 0 1251 6 0 0 20 0 3 0 285909981 168697856 11963 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 41186 11963 198 433 0 40750 0
[pid=15488/tid=15490] ppid=15486 vsize=164744 CPUtime=6.25 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 7196 0 0 0 621 4 0 0 20 0 3 0 285909982 168697856 11963 33554432000 4194304 5964478 140735131404352 139765957195760 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=164744 CPUtime=6.25 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 4198 0 0 0 624 1 0 0 20 0 3 0 285909982 168697856 11963 33554432000 4194304 5964478 140735131404352 139765946706232 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164744
[startup+12.7003 s]
/proc/loadavg: 3.99 3.97 3.80 5/181 15491
/proc/meminfo: memFree=31046480/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=165932 CPUtime=25.36 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 22824 0 0 0 2524 12 0 0 20 0 3 0 285909981 169914368 22435 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 41483 22435 198 433 0 41047 0
[pid=15488/tid=15490] ppid=15486 vsize=165932 CPUtime=12.63 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 11715 0 0 0 1257 6 0 0 20 0 3 0 285909982 169914368 22435 33554432000 4194304 5964478 140735131404352 139765957195760 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=165932 CPUtime=12.64 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 10151 0 0 0 1259 5 0 0 20 0 3 0 285909982 169914368 22435 33554432000 4194304 5964478 140735131404352 139765946706144 4391375 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 165932
[startup+25.5003 s]
/proc/loadavg: 3.99 3.97 3.80 5/181 15491
/proc/meminfo: memFree=30972012/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=232788 CPUtime=50.96 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 34900 0 0 0 5078 18 0 0 20 0 3 0 285909981 238374912 34511 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 58197 34511 198 433 0 57761 0
[pid=15488/tid=15490] ppid=15486 vsize=232788 CPUtime=25.4 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 17963 0 0 0 2531 9 0 0 20 0 3 0 285909982 238374912 34511 33554432000 4194304 5964478 140735131404352 139765957195768 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=232788 CPUtime=25.4 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 15979 0 0 0 2533 7 0 0 20 0 3 0 285909982 238374912 34511 33554432000 4194304 5964478 140735131404352 139765946706232 4372928 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 232788
[startup+51.1003 s]
/proc/loadavg: 4.07 3.99 3.81 5/181 15531
/proc/meminfo: memFree=31127196/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=299672 CPUtime=102.13 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 50851 0 0 0 10186 27 0 0 20 0 3 0 285909981 306864128 50800 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 74918 50800 198 433 0 74482 0
[pid=15488/tid=15490] ppid=15486 vsize=299672 CPUtime=50.92 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 30392 0 0 0 5075 17 0 0 20 0 3 0 285909982 306864128 50800 33554432000 4194304 5964478 140735131404352 139765957195576 4400081 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=299672 CPUtime=50.93 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 19501 0 0 0 5084 9 0 0 20 0 3 0 285909982 306864128 50800 33554432000 4194304 5964478 140735131404352 139765946706336 4400073 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 299672
[startup+102.307 s]
/proc/loadavg: 4.07 4.00 3.83 5/181 15531
/proc/meminfo: memFree=30797084/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=366680 CPUtime=204.49 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 69940 0 0 0 20412 37 0 0 20 0 3 0 285909981 375480320 69906 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 91670 69906 198 433 0 91234 0
[pid=15488/tid=15490] ppid=15486 vsize=366680 CPUtime=101.96 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 45847 0 0 0 10169 27 0 0 20 0 3 0 285909982 375480320 69906 33554432000 4194304 5964478 140735131404352 139765957195872 4400002 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=366680 CPUtime=102 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 23135 0 0 0 10188 12 0 0 20 0 3 0 285909982 375480320 69906 33554432000 4194304 5964478 140735131404352 139765946706144 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.49
Current children cumulated vsize (KiB) 366680
[startup+162.3 s]
/proc/loadavg: 4.09 4.02 3.84 5/182 15534
/proc/meminfo: memFree=30483200/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=499680 CPUtime=324.42 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 103453 0 0 0 32371 71 0 0 20 0 3 0 285909981 511672320 103390 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 124920 103390 198 433 0 124484 0
[pid=15488/tid=15490] ppid=15486 vsize=499680 CPUtime=161.79 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 68044 0 0 0 16123 56 0 0 20 0 3 0 285909982 511672320 103390 33554432000 4194304 5964478 140735131404352 139765957195768 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=499680 CPUtime=161.81 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 34451 0 0 0 16163 18 0 0 20 0 3 0 285909982 511672320 103390 33554432000 4194304 5964478 140735131404352 139765946706336 4400460 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.42
Current children cumulated vsize (KiB) 499680
[startup+222.3 s]
/proc/loadavg: 4.03 4.01 3.84 5/181 15535
/proc/meminfo: memFree=30271540/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=567496 CPUtime=444.39 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 113997 0 0 0 44362 77 0 0 20 0 3 0 285909981 581115904 115569 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 141874 115569 198 433 0 141438 0
[pid=15488/tid=15490] ppid=15486 vsize=567496 CPUtime=221.63 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 72076 0 0 0 22103 60 0 0 20 0 3 0 285909982 581115904 115569 33554432000 4194304 5964478 140735131404352 139765957195680 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=567496 CPUtime=221.65 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 40963 0 0 0 22143 22 0 0 20 0 3 0 285909982 581115904 115569 33554432000 4194304 5964478 140735131404352 139765946705992 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.39
Current children cumulated vsize (KiB) 567496
[startup+282.3 s]
/proc/loadavg: 4.01 4.00 3.85 5/181 15535
/proc/meminfo: memFree=29972488/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=700304 CPUtime=564.37 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 142640 0 0 0 56337 100 0 0 20 0 3 0 285909981 717111296 144212 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 175076 144212 198 433 0 174640 0
[pid=15488/tid=15490] ppid=15486 vsize=700304 CPUtime=281.47 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 84599 0 0 0 28073 74 0 0 20 0 3 0 285909982 717111296 144212 33554432000 4194304 5964478 140735131404352 139765957195768 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=700304 CPUtime=281.49 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 57083 0 0 0 28116 33 0 0 20 0 3 0 285909982 717111296 144212 33554432000 4194304 5964478 140735131404352 139765946706336 4388310 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.37
Current children cumulated vsize (KiB) 700304
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/181 15535
/proc/meminfo: memFree=29892636/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=767292 CPUtime=684.35 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 160926 0 0 0 68313 122 0 0 20 0 3 0 285909981 785707008 162498 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 191823 162498 198 433 0 191387 0
################
# More data... #
################
[pid=15488] ppid=15486 vsize=1038148 CPUtime=1164.28 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 230268 0 0 0 116218 210 0 0 20 0 3 0 285909981 1063063552 231820 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 259537 231820 198 433 0 259101 0
[pid=15488/tid=15490] ppid=15486 vsize=1038148 CPUtime=580.68 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 157390 0 0 0 57892 176 0 0 20 0 3 0 285909982 1063063552 231820 33554432000 4194304 5964478 140735131404352 139765957195768 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=1038148 CPUtime=580.72 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 71920 0 0 0 58023 49 0 0 20 0 3 0 285909982 1063063552 231820 33554432000 4194304 5964478 140735131404352 139765946706232 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.28
Current children cumulated vsize (KiB) 1038148
[startup+642.3 s]
/proc/loadavg: 4.07 4.02 3.89 5/181 15536
/proc/meminfo: memFree=29327772/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=1106548 CPUtime=1284.26 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 244182 0 0 0 128199 227 0 0 20 0 3 0 285909981 1133105152 246021 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 276637 246021 198 433 0 276201 0
[pid=15488/tid=15490] ppid=15486 vsize=1106548 CPUtime=640.52 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 167890 0 0 0 63860 192 0 0 20 0 3 0 285909982 1133105152 246021 33554432000 4194304 5964478 140735131404352 139765957195768 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=1106548 CPUtime=640.57 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 75334 0 0 0 64005 52 0 0 20 0 3 0 285909982 1133105152 246021 33554432000 4194304 5964478 140735131404352 139765946706040 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.26
Current children cumulated vsize (KiB) 1106548
############
# WARNING:
# current cumulated CPU time (1374.46 s) is less than in the last sample (1376 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.53992 s) to the 'lost time'.
[startup+688.2 s]
/proc/loadavg: 4.03 4.02 3.90 5/181 15536
/proc/meminfo: memFree=29291236/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=1107960 CPUtime=1376 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 253268 0 0 0 137360 240 0 0 20 0 3 0 285909981 1134551040 255203 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 276990 255203 198 433 0 276554 0
[pid=15488/tid=15490] ppid=15486 vsize=1107960 CPUtime=686.28 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 175931 0 0 0 68423 205 0 0 20 0 3 0 285909982 1134551040 255203 33554432000 4194304 5964478 140735131404352 139765957195768 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=1107960 CPUtime=686.33 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 76379 0 0 0 68579 54 0 0 20 0 3 0 285909982 1134551040 255203 33554432000 4194304 5964478 140735131404352 139765946705992 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1376
Current children cumulated vsize (KiB) 1107960
[startup+688.3 s]
/proc/loadavg: 4.03 4.02 3.90 5/181 15536
/proc/meminfo: memFree=29291236/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=0 CPUtime=1374.46 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) Z 15486 15488 14514 0 -1 4203532 253278 0 0 0 137192 254 0 0 20 0 2 0 285909981 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 0 0 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=0 CPUtime=686.43 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202564 76384 0 0 0 68585 58 0 0 20 0 2 0 285909982 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1374.46
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+665.506 s]
/proc/loadavg: 4.05 4.02 3.90 5/181 15536
/proc/meminfo: memFree=29305916/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=1107744 CPUtime=1330.64 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 249485 0 0 0 132830 234 0 0 20 0 3 0 285909981 1134329856 251411 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 276936 251411 198 433 0 276500 0
[pid=15488/tid=15490] ppid=15486 vsize=1107744 CPUtime=663.65 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 172201 0 0 0 66166 199 0 0 20 0 3 0 285909982 1134329856 251411 33554432000 4194304 5964478 140735131404352 139765957195768 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=1107744 CPUtime=663.7 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 76326 0 0 0 66316 54 0 0 20 0 3 0 285909982 1134329856 251411 33554432000 4194304 5964478 140735131404352 139765946706224 4388293 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1330.64
Current children cumulated vsize (KiB) 1107744
[startup+678.3 s]
/proc/loadavg: 4.04 4.02 3.90 5/181 15536
/proc/meminfo: memFree=29297824/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=1107744 CPUtime=1356.21 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 251601 0 0 0 135384 237 0 0 20 0 3 0 285909981 1134329856 253518 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 276936 253518 198 433 0 276500 0
[pid=15488/tid=15490] ppid=15486 vsize=1107744 CPUtime=676.4 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 174305 0 0 0 67438 202 0 0 20 0 3 0 285909982 1134329856 253518 33554432000 4194304 5964478 140735131404352 139765957195768 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=1107744 CPUtime=676.46 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 76338 0 0 0 67592 54 0 0 20 0 3 0 285909982 1134329856 253518 33554432000 4194304 5964478 140735131404352 139765946706336 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1356.21
Current children cumulated vsize (KiB) 1107744
[startup+684.7 s]
/proc/loadavg: 4.03 4.02 3.90 5/181 15536
/proc/meminfo: memFree=29293856/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=1107744 CPUtime=1369 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 252645 0 0 0 136661 239 0 0 20 0 3 0 285909981 1134329856 254562 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 276936 254562 198 433 0 276500 0
[pid=15488/tid=15490] ppid=15486 vsize=1107744 CPUtime=682.79 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 175349 0 0 0 68075 204 0 0 20 0 3 0 285909982 1134329856 254562 33554432000 4194304 5964478 140735131404352 139765957195768 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=1107744 CPUtime=682.84 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 76338 0 0 0 68230 54 0 0 20 0 3 0 285909982 1134329856 254562 33554432000 4194304 5964478 140735131404352 139765946706336 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1369
Current children cumulated vsize (KiB) 1107744
[startup+686.3 s]
/proc/loadavg: 4.03 4.02 3.90 5/181 15536
/proc/meminfo: memFree=29292368/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=1107960 CPUtime=1372.21 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 252980 0 0 0 136982 239 0 0 20 0 3 0 285909981 1134551040 254897 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 276990 254897 198 433 0 276554 0
[pid=15488/tid=15490] ppid=15486 vsize=1107960 CPUtime=684.39 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 175647 0 0 0 68235 204 0 0 20 0 3 0 285909982 1134551040 254897 33554432000 4194304 5964478 140735131404352 139765957195768 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=1107960 CPUtime=684.44 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 76375 0 0 0 68390 54 0 0 20 0 3 0 285909982 1134551040 254897 33554432000 4194304 5964478 140735131404352 139765946706336 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1372.21
Current children cumulated vsize (KiB) 1107960
[startup+687.1 s]
/proc/loadavg: 4.03 4.02 3.90 5/181 15536
/proc/meminfo: memFree=29292368/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=1107960 CPUtime=1373.8 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 253104 0 0 0 137140 240 0 0 20 0 3 0 285909981 1134551040 255039 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 276990 255039 198 433 0 276554 0
[pid=15488/tid=15490] ppid=15486 vsize=1107960 CPUtime=685.18 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 175768 0 0 0 68313 205 0 0 20 0 3 0 285909982 1134551040 255039 33554432000 4194304 5964478 140735131404352 139765957195576 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=1107960 CPUtime=685.23 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 76378 0 0 0 68469 54 0 0 20 0 3 0 285909982 1134551040 255039 33554432000 4194304 5964478 140735131404352 139765946705992 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1373.8
Current children cumulated vsize (KiB) 1107960
[startup+687.9 s]
/proc/loadavg: 4.03 4.02 3.90 5/181 15536
/proc/meminfo: memFree=29291236/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=1107960 CPUtime=1375.4 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) S 15486 15488 14514 0 -1 4202496 253218 0 0 0 137300 240 0 0 20 0 3 0 285909981 1134551040 255153 33554432000 4194304 5964478 140735131404352 140735131403872 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 276990 255153 198 433 0 276554 0
[pid=15488/tid=15490] ppid=15486 vsize=1107960 CPUtime=685.98 cores=0,2,4,6
/proc/15488/task/15490/stat : 15490 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 175881 0 0 0 68393 205 0 0 20 0 3 0 285909982 1134551040 255153 33554432000 4194304 5964478 140735131404352 139765957195768 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=1107960 CPUtime=686.03 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202560 76379 0 0 0 68549 54 0 0 20 0 3 0 285909982 1134551040 255153 33554432000 4194304 5964478 140735131404352 139765946705992 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1375.4
Current children cumulated vsize (KiB) 1107960
[startup+688.3 s]
/proc/loadavg: 4.03 4.02 3.90 5/181 15536
/proc/meminfo: memFree=29291236/32873648 swapFree=7116/7116
[pid=15488] ppid=15486 vsize=0 CPUtime=1374.46 cores=0,2,4,6
/proc/15488/stat : 15488 (pwbo2.01) Z 15486 15488 14514 0 -1 4203532 253278 0 0 0 137192 254 0 0 20 0 2 0 285909981 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15488/statm: 0 0 0 0 0 0 0
[pid=15488/tid=15491] ppid=15486 vsize=0 CPUtime=686.43 cores=0,2,4,6
/proc/15488/task/15491/stat : 15491 (pwbo2.01) R 15486 15488 14514 0 -1 4202564 76384 0 0 0 68585 58 0 0 20 0 2 0 285909982 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1374.46
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15488 and gives
# childrusage.ru_utime.tv_sec=1370
# childrusage.ru_utime.tv_usec=167702
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=652596
# CPU time returned by wait4() is 1372.82
# while last known CPU time is 1374.46
#
# 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.53992
# lost CPU user time (s): 1.67993
# lost CPU system time (s): -0.14
Real time (s): 688.307
CPU time (s): 1376
CPU user time (s): 1373.6
CPU system time (s): 2.4
CPU usage (%): 199.911
Max. virtual memory (cumulated for all children) (KiB): 1107960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1370.17
system time used= 2.6526
maximum resident set size= 1020852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253278
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= 665
involuntary context switches= 1561
runsolver used 1.37879 second user time and 3.3205 second system time
The end