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-3704085-1338100495/watcher-3704085-1338100495 -o /tmp/evaluation-result-3704085-1338100495/solver-3704085-1338100495 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704085-1338100495.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.02 4.01 3.97 3/177 13602
/proc/meminfo: memFree=30379388/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=32816 CPUtime=0 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) R 13600 13602 11438 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 276178179 33603584 562 33554432000 4194304 5965102 140735416839152 140736537476840 4396379 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 8204 562 168 433 0 874 0
[startup+0.059624 s]
/proc/loadavg: 4.02 4.01 3.97 3/177 13602
/proc/meminfo: memFree=30379388/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=43792 CPUtime=0.04 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) R 13600 13602 11438 0 -1 4202496 3105 0 0 0 4 0 0 0 20 0 1 0 276178179 44843008 3024 33554432000 4194304 5965102 140735416839152 140736537476840 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 10948 3024 306 433 0 3618 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 43792
[startup+0.100285 s]
/proc/loadavg: 4.02 4.01 3.97 3/177 13602
/proc/meminfo: memFree=30379388/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=47844 CPUtime=0.08 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) R 13600 13602 11438 0 -1 4202496 4451 0 0 0 8 0 0 0 20 0 1 0 276178179 48992256 4321 33554432000 4194304 5965102 140735416839152 140736537476840 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 11961 4322 412 433 0 4631 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 47844
[startup+0.300229 s]
/proc/loadavg: 4.02 4.01 3.97 3/177 13602
/proc/meminfo: memFree=30379388/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=68404 CPUtime=0.29 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) R 13600 13602 11438 0 -1 4202496 10252 0 0 0 27 2 0 0 20 0 1 0 276178179 70045696 9855 33554432000 4194304 5965102 140735416839152 140736537476840 5369832 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 17101 9855 925 433 0 9771 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68404
[startup+0.700236 s]
/proc/loadavg: 4.02 4.01 3.97 3/177 13602
/proc/meminfo: memFree=30379388/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=113236 CPUtime=0.69 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) R 13600 13602 11438 0 -1 4202496 21545 0 0 0 65 4 0 0 20 0 1 0 276178179 115953664 20618 33554432000 4194304 5965102 140735416839152 140736537476840 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 28309 20619 1868 433 0 20979 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 113236
[startup+1.50024 s]
/proc/loadavg: 3.94 3.99 3.97 4/178 13603
/proc/meminfo: memFree=30271964/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=208152 CPUtime=1.49 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) R 13600 13602 11438 0 -1 4202496 44423 0 0 0 141 8 0 0 20 0 1 0 276178179 213147648 43969 33554432000 4194304 5965102 140735416839152 140735416837240 4355641 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 52038 43969 3590 433 0 44708 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208152
[startup+3.10023 s]
/proc/loadavg: 3.94 3.99 3.97 4/178 13603
/proc/meminfo: memFree=30164376/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=326056 CPUtime=3.08 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) R 13600 13602 11438 0 -1 4202496 72877 0 0 0 295 13 0 0 20 0 1 0 276178179 333881344 74407 33554432000 4194304 5965102 140735416839152 140735416837128 5156858 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 81514 74407 6512 433 0 74184 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 326056
[startup+6.3003 s]
/proc/loadavg: 3.94 3.99 3.97 5/182 13607
/proc/meminfo: memFree=29664360/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=889668 CPUtime=9.08 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 167001 0 0 0 871 37 0 0 20 0 3 0 276178179 911020032 182237 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 222417 182237 198 433 0 221981 0
[pid=13602/tid=13604] ppid=13600 vsize=889668 CPUtime=2.83 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 67927 0 0 0 268 15 0 0 20 0 3 0 276178522 911020032 182237 33554432000 4194304 5965102 140735416839152 139908246571304 5143165 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=889668 CPUtime=2.81 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 21322 0 0 0 273 8 0 0 20 0 3 0 276178522 911020032 182237 33554432000 4194304 5965102 140735416839152 139908236080904 4390150 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.08
Current children cumulated vsize (KiB) 889668
[startup+12.7003 s]
/proc/loadavg: 3.95 3.99 3.97 5/182 13607
/proc/meminfo: memFree=29618168/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=889668 CPUtime=21.87 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 171055 0 0 0 2148 39 0 0 20 0 3 0 276178179 911020032 186519 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 222417 186519 199 433 0 221981 0
[pid=13602/tid=13604] ppid=13600 vsize=889668 CPUtime=9.21 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 71837 0 0 0 904 17 0 0 20 0 3 0 276178522 911020032 186519 33554432000 4194304 5965102 140735416839152 139908246571304 5131650 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=889668 CPUtime=9.2 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 21466 0 0 0 912 8 0 0 20 0 3 0 276178522 911020032 186519 33554432000 4194304 5965102 140735416839152 139908236081272 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 21.87
Current children cumulated vsize (KiB) 889668
[startup+25.5003 s]
/proc/loadavg: 3.96 3.99 3.97 5/182 13607
/proc/meminfo: memFree=29539412/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=971732 CPUtime=47.49 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 183450 0 0 0 4702 47 0 0 20 0 3 0 276178179 995053568 209875 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 242933 209875 199 433 0 242497 0
[pid=13602/tid=13604] ppid=13600 vsize=971732 CPUtime=21.99 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 84017 0 0 0 2175 24 0 0 20 0 3 0 276178522 995053568 209875 33554432000 4194304 5965102 140735416839152 139908246571304 4396605 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=971732 CPUtime=21.98 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 21681 0 0 0 2190 8 0 0 20 0 3 0 276178522 995053568 209875 33554432000 4194304 5965102 140735416839152 139908236081464 4390204 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 47.49
Current children cumulated vsize (KiB) 971732
[startup+51.1003 s]
/proc/loadavg: 3.97 3.99 3.97 5/182 13607
/proc/meminfo: memFree=29352952/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=1233876 CPUtime=98.67 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 216638 0 0 0 9801 66 0 0 20 0 3 0 276178179 1263489024 256317 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 308469 256317 199 433 0 308033 0
[pid=13602/tid=13604] ppid=13600 vsize=1233876 CPUtime=47.52 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 116648 0 0 0 4710 42 0 0 20 0 3 0 276178522 1263489024 256317 33554432000 4194304 5965102 140735416839152 139908246571352 4396520 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=1233876 CPUtime=47.49 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 22238 0 0 0 4741 8 0 0 20 0 3 0 276178522 1263489024 256317 33554432000 4194304 5965102 140735416839152 139908236081464 4222464 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 98.67
Current children cumulated vsize (KiB) 1233876
[startup+102.3 s]
/proc/loadavg: 3.99 3.99 3.97 5/181 13608
/proc/meminfo: memFree=29107624/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=1545148 CPUtime=201.05 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 242031 0 0 0 20013 92 0 0 20 0 3 0 276178179 1582231552 316718 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 386287 316718 199 433 0 385851 0
[pid=13602/tid=13604] ppid=13600 vsize=1545148 CPUtime=98.58 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 141173 0 0 0 9789 69 0 0 20 0 3 0 276178522 1582231552 316718 33554432000 4194304 5965102 140735416839152 139908246571544 4445896 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=1545148 CPUtime=98.55 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 23106 0 0 0 9845 10 0 0 20 0 3 0 276178522 1582231552 316718 33554432000 4194304 5965102 140735416839152 139908236081464 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 201.05
Current children cumulated vsize (KiB) 1545148
[startup+162.3 s]
/proc/loadavg: 3.99 3.99 3.97 5/181 13608
/proc/meminfo: memFree=28748476/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=2003900 CPUtime=321.03 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 287395 0 0 0 31977 126 0 0 20 0 3 0 276178179 2051993600 401525 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 500975 401525 199 433 0 500539 0
[pid=13602/tid=13604] ppid=13600 vsize=2003900 CPUtime=158.43 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 186129 0 0 0 15740 103 0 0 20 0 3 0 276178522 2051993600 401525 33554432000 4194304 5965102 140735416839152 139908246571304 4397303 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=2003900 CPUtime=158.39 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 23514 0 0 0 15827 12 0 0 20 0 3 0 276178522 2051993600 401525 33554432000 4194304 5965102 140735416839152 139908236081464 4393891 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 321.03
Current children cumulated vsize (KiB) 2003900
[startup+222.3 s]
/proc/loadavg: 3.99 3.99 3.97 5/181 13608
/proc/meminfo: memFree=28401048/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=2401388 CPUtime=440.99 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 393809 0 0 0 43889 210 0 0 20 0 3 0 276178179 2459021312 490949 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 600347 490949 199 433 0 599911 0
[pid=13602/tid=13604] ppid=13600 vsize=2401388 CPUtime=218.28 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 292029 0 0 0 21640 188 0 0 20 0 3 0 276178522 2459021312 490949 33554432000 4194304 5965102 140735416839152 139908246571352 5143165 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=2401388 CPUtime=218.21 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 24028 0 0 0 21808 13 0 0 20 0 3 0 276178522 2459021312 490949 33554432000 4194304 5965102 140735416839152 139908236081272 4393955 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 440.99
Current children cumulated vsize (KiB) 2401388
[startup+282.3 s]
/proc/loadavg: 3.99 3.99 3.97 5/181 13608
/proc/meminfo: memFree=27960184/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=2716848 CPUtime=560.93 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 541922 0 0 0 55744 349 0 0 20 0 3 0 276178179 2782052352 561053 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 679212 561053 199 433 0 678776 0
[pid=13602/tid=13604] ppid=13600 vsize=2716848 CPUtime=278.12 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 439868 0 0 0 27484 328 0 0 20 0 3 0 276178522 2782052352 561053 33554432000 4194304 5965102 140735416839152 139908246571416 5134623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=2716848 CPUtime=278.02 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 24302 0 0 0 27788 14 0 0 20 0 3 0 276178522 2782052352 561053 33554432000 4194304 5965102 140735416839152 139908236081464 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 560.93
Current children cumulated vsize (KiB) 2716848
[startup+342.3 s]
/proc/loadavg: 4.05 4.01 3.97 5/182 13611
/proc/meminfo: memFree=27737972/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=2892780 CPUtime=680.92 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 699515 0 0 0 67595 497 0 0 20 0 3 0 276178179 2962206720 616280 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 723195 616280 199 433 0 722759 0
[pid=13602/tid=13604] ppid=13600 vsize=2892780 CPUtime=337.98 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 596832 0 0 0 33324 474 0 0 20 0 3 0 276178522 2962206720 616280 33554432000 4194304 5965102 140735416839152 139908246571416 5134981 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=2892780 CPUtime=337.86 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 24931 0 0 0 33769 17 0 0 20 0 3 0 276178522 2962206720 616280 33554432000 4194304 5965102 140735416839152 139908236081512 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 680.92
Current children cumulated vsize (KiB) 2892780
[startup+402.3 s]
################
# More data... #
################
Current children cumulated CPU time (s) 1040.74
Current children cumulated vsize (KiB) 3949644
[startup+582.3 s]
/proc/loadavg: 2.80 3.65 3.85 3/173 13637
/proc/meminfo: memFree=27551164/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=4248700 CPUtime=1160.69 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 1105757 0 0 0 115109 960 0 0 20 0 3 0 276178179 4350668800 919346 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 1062175 919346 199 433 0 1061739 0
[pid=13602/tid=13604] ppid=13600 vsize=4248700 CPUtime=577.36 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 999732 0 0 0 56803 933 0 0 20 0 3 0 276178522 4350668800 919346 33554432000 4194304 5965102 140735416839152 139908246571416 5123123 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=4248700 CPUtime=577.07 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 28273 0 0 0 57682 25 0 0 20 0 3 0 276178522 4350668800 919346 33554432000 4194304 5965102 140735416839152 139908236081512 4393891 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1160.69
Current children cumulated vsize (KiB) 4248700
[startup+642.3 s]
/proc/loadavg: 2.29 3.35 3.73 3/173 13637
/proc/meminfo: memFree=27320592/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=4473932 CPUtime=1280.66 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 1177833 0 0 0 127028 1038 0 0 20 0 3 0 276178179 4581306368 976856 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 1118483 976856 199 433 0 1118047 0
[pid=13602/tid=13604] ppid=13600 vsize=4473932 CPUtime=637.2 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 1071182 0 0 0 62709 1011 0 0 20 0 3 0 276178522 4581306368 976856 33554432000 4194304 5965102 140735416839152 139908246571416 5131570 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=4473932 CPUtime=636.9 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 28899 0 0 0 63663 27 0 0 20 0 3 0 276178522 4581306368 976856 33554432000 4194304 5965102 140735416839152 139908236081464 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1280.66
Current children cumulated vsize (KiB) 4473932
[startup+702.3 s]
/proc/loadavg: 2.10 3.10 3.62 3/173 13638
/proc/meminfo: memFree=27123200/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=4666524 CPUtime=1400.61 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 1242220 0 0 0 138930 1131 0 0 20 0 3 0 276178179 4778520576 1026169 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 1166631 1026169 199 433 0 1166195 0
[pid=13602/tid=13604] ppid=13600 vsize=4666524 CPUtime=697.05 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 1134745 0 0 0 68601 1104 0 0 20 0 3 0 276178522 4778520576 1026169 33554432000 4194304 5965102 140735416839152 139908246571416 5123014 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=4666524 CPUtime=696.72 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 29723 0 0 0 69642 30 0 0 20 0 3 0 276178522 4778520576 1026169 33554432000 4194304 5965102 140735416839152 139908236081464 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1400.61
Current children cumulated vsize (KiB) 4666524
[startup+762.3 s]
/proc/loadavg: 2.08 2.91 3.52 3/173 13638
/proc/meminfo: memFree=26932280/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=4830232 CPUtime=1520.6 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 1303231 0 0 0 150837 1223 0 0 20 0 3 0 276178179 4946157568 1055587 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 1207558 1055587 199 433 0 1207122 0
[pid=13602/tid=13604] ppid=13600 vsize=4830232 CPUtime=756.89 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 1195211 0 0 0 74493 1196 0 0 20 0 3 0 276178522 4946157568 1055587 33554432000 4194304 5965102 140735416839152 139908246571416 5123014 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=4830232 CPUtime=756.56 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 30268 0 0 0 75625 31 0 0 20 0 3 0 276178522 4946157568 1055587 33554432000 4194304 5965102 140735416839152 139908236081512 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1520.6
Current children cumulated vsize (KiB) 4830232
[startup+822.3 s]
/proc/loadavg: 2.03 2.74 3.43 3/173 13638
/proc/meminfo: memFree=26743220/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=5137576 CPUtime=1640.57 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 1413805 0 0 0 162736 1321 0 0 20 0 3 0 276178179 5260877824 1139281 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 1284394 1139281 199 433 0 1283958 0
[pid=13602/tid=13604] ppid=13600 vsize=5137576 CPUtime=816.74 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 1305264 0 0 0 80379 1295 0 0 20 0 3 0 276178522 5260877824 1139281 33554432000 4194304 5965102 140735416839152 139908246571960 5131650 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=5137576 CPUtime=816.4 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 30789 0 0 0 81607 33 0 0 20 0 3 0 276178522 5260877824 1139281 33554432000 4194304 5965102 140735416839152 139908236081272 4400894 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1640.57
Current children cumulated vsize (KiB) 5137576
[startup+882.3 s]
/proc/loadavg: 2.01 2.60 3.33 3/173 13638
/proc/meminfo: memFree=26577108/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=5325900 CPUtime=1760.55 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 1460165 0 0 0 174650 1405 0 0 20 0 3 0 276178179 5453721600 1173526 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 1331475 1173526 199 433 0 1331039 0
[pid=13602/tid=13604] ppid=13600 vsize=5325900 CPUtime=876.58 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 1351325 0 0 0 86279 1379 0 0 20 0 3 0 276178522 5453721600 1173526 33554432000 4194304 5965102 140735416839152 139908246571416 4382041 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=5325900 CPUtime=876.24 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 31088 0 0 0 87590 34 0 0 20 0 3 0 276178522 5453721600 1173526 33554432000 4194304 5965102 140735416839152 139908236081464 4404383 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1760.55
Current children cumulated vsize (KiB) 5325900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.1 s]
/proc/loadavg: 2.01 2.56 3.30 3/173 13638
/proc/meminfo: memFree=26516020/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=5354524 CPUtime=1800.11 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 1480652 0 0 0 178578 1433 0 0 20 0 3 0 276178179 5483032576 1177554 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 1338631 1177554 199 433 0 1338195 0
[pid=13602/tid=13604] ppid=13600 vsize=5354524 CPUtime=896.33 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 1371649 0 0 0 88226 1407 0 0 20 0 3 0 276178522 5483032576 1177554 33554432000 4194304 5965102 140735416839152 139908246571416 5123080 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=5354524 CPUtime=895.95 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 31251 0 0 0 89561 34 0 0 20 0 3 0 276178522 5483032576 1177554 33554432000 4194304 5965102 140735416839152 139908236081464 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 5354524
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
############
# WARNING:
# current cumulated CPU time (1798.05 s) is less than in the last sample (1800.11 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (2.05994 s) to the 'lost time'.
[startup+902.1 s]
/proc/loadavg: 2.01 2.56 3.30 3/173 13638
/proc/meminfo: memFree=26516020/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=5354524 CPUtime=1800.11 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) S 13600 13602 11438 0 -1 4202496 1480652 0 0 0 178578 1433 0 0 20 0 3 0 276178179 5483032576 1177554 33554432000 4194304 5965102 140735416839152 140735416838672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 1338631 1177554 199 433 0 1338195 0
[pid=13602/tid=13604] ppid=13600 vsize=5354524 CPUtime=896.33 cores=0,2,4,6
/proc/13602/task/13604/stat : 13604 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 1371649 0 0 0 88226 1407 0 0 20 0 3 0 276178522 5483032576 1177554 33554432000 4194304 5965102 140735416839152 139908246571416 5123080 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=5354524 CPUtime=895.95 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4202560 31251 0 0 0 89561 34 0 0 20 0 3 0 276178522 5483032576 1177554 33554432000 4194304 5965102 140735416839152 139908236081464 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 5354524
[startup+902.211 s]
/proc/loadavg: 2.01 2.56 3.30 2/173 13639
/proc/meminfo: memFree=31093548/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=0 CPUtime=1798.05 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) Z 13600 13602 11438 0 -1 4202508 1480653 0 0 0 178351 1454 0 0 20 0 2 0 276178179 0 0 33554432000 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 0 0 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=0 CPUtime=896.06 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4203588 31251 0 0 0 89561 45 0 0 20 0 2 0 276178522 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+902.211 s]
/proc/loadavg: 2.01 2.56 3.30 2/173 13639
/proc/meminfo: memFree=31093548/32873844 swapFree=7364/7364
[pid=13602] ppid=13600 vsize=0 CPUtime=1798.05 cores=0,2,4,6
/proc/13602/stat : 13602 (pwbo2.0) Z 13600 13602 11438 0 -1 4202508 1480653 0 0 0 178351 1454 0 0 20 0 2 0 276178179 0 0 33554432000 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13602/statm: 0 0 0 0 0 0 0
[pid=13602/tid=13605] ppid=13600 vsize=0 CPUtime=896.06 cores=0,2,4,6
/proc/13602/task/13605/stat : 13605 (pwbo2.0) R 13600 13602 11438 0 -1 4203588 31251 0 0 0 89561 45 0 0 20 0 2 0 276178522 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 0
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13602 and gives
# childrusage.ru_utime.tv_sec=1781
# childrusage.ru_utime.tv_usec=168221
# childrusage.ru_stime.tv_sec=14
# childrusage.ru_stime.tv_usec=684767
# CPU time returned by wait4() is 1795.85
# while last known CPU time is 1798.05
#
# 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): 2.05994
# lost CPU user time (s): 2.27002
# lost CPU system time (s): -0.21
Real time (s): 902.22
CPU time (s): 1800.11
CPU user time (s): 1785.78
CPU system time (s): 14.33
CPU usage (%): 199.52
Max. virtual memory (cumulated for all children) (KiB): 5469360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.17
system time used= 14.6848
maximum resident set size= 4807128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1480653
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= 5979
involuntary context switches= 2103
runsolver used 1.9807 second user time and 4.92625 second system time
The end