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-3712718-1338198534/watcher-3712718-1338198534 -o /tmp/evaluation-result-3712718-1338198534/solver-3712718-1338198534 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712718-1338198534.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: 4.03 4.02 3.90 4/178 15573
/proc/meminfo: memFree=30312956/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=5304 CPUtime=0 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) R 15571 15573 14514 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 285978839 5431296 559 33554432000 4194304 5964478 140733507470800 140733368164440 4363022 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 1326 559 167 433 0 877 0
[startup+0.0606761 s]
/proc/loadavg: 4.03 4.02 3.90 4/178 15573
/proc/meminfo: memFree=30312956/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=163940 CPUtime=0.1 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 2030 0 0 0 10 0 0 0 20 0 3 0 285978839 167874560 1966 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 40985 1966 198 433 0 40549 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 163940
[startup+0.100181 s]
/proc/loadavg: 4.03 4.02 3.90 4/178 15573
/proc/meminfo: memFree=30312956/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=163940 CPUtime=0.17 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 2218 0 0 0 17 0 0 0 20 0 3 0 285978839 167874560 2154 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 40985 2154 198 433 0 40549 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163940
[startup+0.300118 s]
/proc/loadavg: 4.03 4.02 3.90 4/178 15573
/proc/meminfo: memFree=30312956/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=163940 CPUtime=0.57 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 3150 0 0 0 56 1 0 0 20 0 3 0 285978839 167874560 3086 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 40985 3086 198 433 0 40549 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163940
[startup+0.700133 s]
/proc/loadavg: 4.03 4.02 3.90 4/178 15573
/proc/meminfo: memFree=30312956/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=163940 CPUtime=1.38 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 4899 0 0 0 134 4 0 0 20 0 3 0 285978839 167874560 4835 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 40985 4836 198 433 0 40549 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163940
[startup+1.50028 s]
/proc/loadavg: 4.03 4.02 3.90 5/181 15576
/proc/meminfo: memFree=30289496/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=163940 CPUtime=2.97 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 7683 0 0 0 290 7 0 0 20 0 3 0 285978839 167874560 7619 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 40985 7619 198 433 0 40549 0
[pid=15573/tid=15575] ppid=15571 vsize=163940 CPUtime=1.47 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 3412 0 0 0 141 6 0 0 20 0 3 0 285978840 167874560 7619 33554432000 4194304 5964478 140733507470800 140156413618216 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=163940 CPUtime=1.47 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 3118 0 0 0 146 1 0 0 20 0 3 0 285978840 167874560 7619 33554432000 4194304 5964478 140733507470800 140156403128632 4381992 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) 163940
[startup+3.10023 s]
/proc/loadavg: 4.03 4.02 3.90 5/181 15576
/proc/meminfo: memFree=30279692/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=164228 CPUtime=6.17 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 10546 0 0 0 609 8 0 0 20 0 3 0 285978839 168169472 10482 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 41057 10482 198 433 0 40621 0
[pid=15573/tid=15575] ppid=15571 vsize=164228 CPUtime=3.07 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 4527 0 0 0 301 6 0 0 20 0 3 0 285978840 168169472 10482 33554432000 4194304 5964478 140733507470800 140156413618168 4400002 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=164228 CPUtime=3.06 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 4866 0 0 0 304 2 0 0 20 0 3 0 285978840 168169472 10482 33554432000 4194304 5964478 140733507470800 140156403128440 4382724 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164228
[startup+6.30027 s]
/proc/loadavg: 4.03 4.02 3.90 5/181 15576
/proc/meminfo: memFree=30264688/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=164372 CPUtime=12.57 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 14617 0 0 0 1248 9 0 0 20 0 3 0 285978839 168316928 14553 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 41093 14553 198 433 0 40657 0
[pid=15573/tid=15575] ppid=15571 vsize=164372 CPUtime=6.26 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 6732 0 0 0 620 6 0 0 20 0 3 0 285978840 168316928 14553 33554432000 4194304 5964478 140733507470800 140156413618168 4373001 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=164372 CPUtime=6.25 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 6732 0 0 0 623 2 0 0 20 0 3 0 285978840 168316928 14553 33554432000 4194304 5964478 140733507470800 140156403128632 4221984 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) 164372
[startup+12.7002 s]
/proc/loadavg: 4.02 4.01 3.90 5/181 15576
/proc/meminfo: memFree=30231792/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=164508 CPUtime=25.36 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 21685 0 0 0 2524 12 0 0 20 0 3 0 285978839 168456192 21621 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 41127 21621 198 433 0 40691 0
[pid=15573/tid=15575] ppid=15571 vsize=164508 CPUtime=12.64 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 10494 0 0 0 1256 8 0 0 20 0 3 0 285978840 168456192 21621 33554432000 4194304 5964478 140733507470800 140156413618168 4400815 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=164508 CPUtime=12.63 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 10038 0 0 0 1260 3 0 0 20 0 3 0 285978840 168456192 21621 33554432000 4194304 5964478 140733507470800 140156403128632 4400099 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) 164508
[startup+25.5003 s]
/proc/loadavg: 4.02 4.01 3.90 5/181 15576
/proc/meminfo: memFree=30197124/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=164992 CPUtime=50.96 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 30669 0 0 0 5081 15 0 0 20 0 3 0 285978839 168951808 30605 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 41248 30605 198 433 0 40812 0
[pid=15573/tid=15575] ppid=15571 vsize=164992 CPUtime=25.41 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 14557 0 0 0 2532 9 0 0 20 0 3 0 285978840 168951808 30605 33554432000 4194304 5964478 140733507470800 140156413617976 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=164992 CPUtime=25.4 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 14959 0 0 0 2535 5 0 0 20 0 3 0 285978840 168951808 30605 33554432000 4194304 5964478 140733507470800 140156403128632 4399990 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 164992
[startup+51.1003 s]
/proc/loadavg: 4.01 4.01 3.90 5/181 15576
/proc/meminfo: memFree=30124184/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=296648 CPUtime=102.15 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 49045 0 0 0 10190 25 0 0 20 0 3 0 285978839 303767552 48981 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 74162 48981 198 433 0 73726 0
[pid=15573/tid=15575] ppid=15571 vsize=296648 CPUtime=50.94 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 24295 0 0 0 5080 14 0 0 20 0 3 0 285978840 303767552 48981 33554432000 4194304 5964478 140733507470800 140156413618168 4381739 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=296648 CPUtime=50.93 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 23597 0 0 0 5083 10 0 0 20 0 3 0 285978840 303767552 48981 33554432000 4194304 5964478 140733507470800 140156403128632 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 296648
[startup+102.307 s]
/proc/loadavg: 4.00 4.01 3.91 5/182 15579
/proc/meminfo: memFree=30036508/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=363360 CPUtime=204.54 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 69747 0 0 0 20415 39 0 0 20 0 3 0 285978839 372080640 69683 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 90840 69683 198 433 0 90404 0
[pid=15573/tid=15575] ppid=15571 vsize=363360 CPUtime=102.01 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 37827 0 0 0 10175 26 0 0 20 0 3 0 285978840 372080640 69683 33554432000 4194304 5964478 140733507470800 140156413618168 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=363360 CPUtime=102.01 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 30767 0 0 0 10186 15 0 0 20 0 3 0 285978840 372080640 69683 33554432000 4194304 5964478 140733507470800 140156403128392 4399959 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 363360
[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 15580
/proc/meminfo: memFree=29871624/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=494716 CPUtime=324.51 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 100861 0 0 0 32385 66 0 0 20 0 3 0 285978839 506589184 100640 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 123679 100640 198 433 0 123243 0
[pid=15573/tid=15575] ppid=15571 vsize=494716 CPUtime=161.85 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 57554 0 0 0 16139 46 0 0 20 0 3 0 285978840 506589184 100640 33554432000 4194304 5964478 140733507470800 140156413618168 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=494716 CPUtime=161.85 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 42154 0 0 0 16162 23 0 0 20 0 3 0 285978840 506589184 100640 33554432000 4194304 5964478 140733507470800 140156403128392 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 494716
[startup+222.3 s]
/proc/loadavg: 4.08 4.02 3.91 5/181 15580
/proc/meminfo: memFree=29741892/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=562280 CPUtime=444.49 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 116252 0 0 0 44371 78 0 0 20 0 3 0 285978839 575774720 116031 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 140570 116031 198 433 0 140134 0
[pid=15573/tid=15575] ppid=15571 vsize=562280 CPUtime=221.69 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 61728 0 0 0 22118 51 0 0 20 0 3 0 285978840 575774720 116031 33554432000 4194304 5964478 140733507470800 140156413617976 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=562280 CPUtime=221.7 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 53371 0 0 0 22137 33 0 0 20 0 3 0 285978840 575774720 116031 33554432000 4194304 5964478 140733507470800 140156403128392 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 562280
[startup+282.3 s]
/proc/loadavg: 3.93 3.98 3.91 5/181 15621
/proc/meminfo: memFree=30795780/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=563504 CPUtime=564.46 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 119964 0 0 0 56364 82 0 0 20 0 3 0 285978839 577028096 120182 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 140876 120182 198 433 0 140440 0
[pid=15573/tid=15575] ppid=15571 vsize=563504 CPUtime=281.52 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 65396 0 0 0 28097 55 0 0 20 0 3 0 285978840 577028096 120182 33554432000 4194304 5964478 140733507470800 140156413618216 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=563504 CPUtime=281.54 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 53415 0 0 0 28120 34 0 0 20 0 3 0 285978840 577028096 120182 33554432000 4194304 5964478 140733507470800 140156403128392 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.46
Current children cumulated vsize (KiB) 563504
[startup+342.3 s]
/proc/loadavg: 3.97 3.98 3.91 5/181 15621
/proc/meminfo: memFree=30458280/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=696016 CPUtime=684.41 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 154444 0 0 0 68335 106 0 0 20 0 3 0 285978839 712720384 154745 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 174004 154745 198 433 0 173568 0
################
# More data... #
################
[pid=15573/tid=15576] ppid=15571 vsize=696016 CPUtime=341.38 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 73044 0 0 0 34091 47 0 0 20 0 3 0 285978840 712720384 154745 33554432000 4194304 5964478 140733507470800 140156403128392 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 696016
[startup+402.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 15621
/proc/meminfo: memFree=30276776/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=828516 CPUtime=804.36 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 182943 0 0 0 80306 130 0 0 20 0 3 0 285978839 848400384 183273 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 207129 183273 198 433 0 206693 0
[pid=15573/tid=15575] ppid=15571 vsize=828516 CPUtime=401.18 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 108626 0 0 0 40024 94 0 0 20 0 3 0 285978840 848400384 183273 33554432000 4194304 5964478 140733507470800 140156413618168 4400073 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=828516 CPUtime=401.2 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 73164 0 0 0 40072 48 0 0 20 0 3 0 285978840 848400384 183273 33554432000 4194304 5964478 140733507470800 140156403128664 4400093 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 828516
[startup+462.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 15622
/proc/meminfo: memFree=30215364/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=828672 CPUtime=924.33 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 184899 0 0 0 92301 132 0 0 20 0 3 0 285978839 848560128 185335 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 207168 185335 198 433 0 206732 0
[pid=15573/tid=15575] ppid=15571 vsize=828672 CPUtime=461.01 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 110533 0 0 0 46006 95 0 0 20 0 3 0 285978840 848560128 185335 33554432000 4194304 5964478 140733507470800 140156413618216 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=828672 CPUtime=461.04 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 73213 0 0 0 46055 49 0 0 20 0 3 0 285978840 848560128 185335 33554432000 4194304 5964478 140733507470800 140156403128392 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.33
Current children cumulated vsize (KiB) 828672
[startup+522.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 15622
/proc/meminfo: memFree=30090772/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=894352 CPUtime=1044.28 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 197373 0 0 0 104289 139 0 0 20 0 3 0 285978839 915816448 197821 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 223588 197821 198 433 0 223152 0
[pid=15573/tid=15575] ppid=15571 vsize=894352 CPUtime=520.84 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 110565 0 0 0 51988 96 0 0 20 0 3 0 285978840 915816448 197821 33554432000 4194304 5964478 140733507470800 140156413618216 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=894352 CPUtime=520.87 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 85655 0 0 0 52031 56 0 0 20 0 3 0 285978840 915816448 197821 33554432000 4194304 5964478 140733507470800 140156403128632 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 894352
[startup+582.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 15622
/proc/meminfo: memFree=29930796/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=960032 CPUtime=1164.24 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 213352 0 0 0 116275 149 0 0 20 0 3 0 285978839 983072768 213600 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 240008 213600 198 433 0 239572 0
[pid=15573/tid=15575] ppid=15571 vsize=960032 CPUtime=580.68 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 110570 0 0 0 57971 97 0 0 20 0 3 0 285978840 983072768 213600 33554432000 4194304 5964478 140733507470800 140156413618200 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=960032 CPUtime=580.7 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 101629 0 0 0 58003 67 0 0 20 0 3 0 285978840 983072768 213600 33554432000 4194304 5964478 140733507470800 140156403128632 4400099 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.24
Current children cumulated vsize (KiB) 960032
[startup+642.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 15622
/proc/meminfo: memFree=29761148/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=960032 CPUtime=1284.23 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 213364 0 0 0 128274 149 0 0 20 0 3 0 285978839 983072768 215322 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 240008 215322 198 433 0 239572 0
[pid=15573/tid=15575] ppid=15571 vsize=960032 CPUtime=640.53 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 110572 0 0 0 63955 98 0 0 20 0 3 0 285978840 983072768 215322 33554432000 4194304 5964478 140733507470800 140156413618200 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=960032 CPUtime=640.55 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 101639 0 0 0 63987 68 0 0 20 0 3 0 285978840 983072768 215322 33554432000 4194304 5964478 140733507470800 140156403128632 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.23
Current children cumulated vsize (KiB) 960032
[startup+702.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/182 15625
/proc/meminfo: memFree=29616488/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=960032 CPUtime=1404.2 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 213385 0 0 0 140271 149 0 0 20 0 3 0 285978839 983072768 215343 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 240008 215343 198 433 0 239572 0
[pid=15573/tid=15575] ppid=15571 vsize=960032 CPUtime=700.36 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 110593 0 0 0 69937 99 0 0 20 0 3 0 285978840 983072768 215343 33554432000 4194304 5964478 140733507470800 140156413618200 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=960032 CPUtime=700.39 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 101639 0 0 0 69970 69 0 0 20 0 3 0 285978840 983072768 215343 33554432000 4194304 5964478 140733507470800 140156403128632 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.2
Current children cumulated vsize (KiB) 960032
[startup+762.307 s]
/proc/loadavg: 4.05 4.00 3.91 5/182 15649
/proc/meminfo: memFree=29585812/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=960032 CPUtime=1524.19 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 213391 0 0 0 152270 149 0 0 20 0 3 0 285978839 983072768 215349 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 240008 215349 198 433 0 239572 0
[pid=15573/tid=15575] ppid=15571 vsize=960032 CPUtime=760.21 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 110599 0 0 0 75921 100 0 0 20 0 3 0 285978840 983072768 215349 33554432000 4194304 5964478 140733507470800 140156413618200 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=960032 CPUtime=760.24 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 101639 0 0 0 75954 70 0 0 20 0 3 0 285978840 983072768 215349 33554432000 4194304 5964478 140733507470800 140156403128632 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.19
Current children cumulated vsize (KiB) 960032
[startup+822.3 s]
/proc/loadavg: 4.07 4.01 3.92 5/181 15649
/proc/meminfo: memFree=29584192/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=960032 CPUtime=1644.17 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 213392 0 0 0 164267 150 0 0 20 0 3 0 285978839 983072768 215350 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 240008 215350 198 433 0 239572 0
[pid=15573/tid=15575] ppid=15571 vsize=960032 CPUtime=820.05 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 110599 0 0 0 81904 101 0 0 20 0 3 0 285978840 983072768 215350 33554432000 4194304 5964478 140733507470800 140156413618200 4400416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=960032 CPUtime=820.08 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 101640 0 0 0 81937 71 0 0 20 0 3 0 285978840 983072768 215350 33554432000 4194304 5964478 140733507470800 140156403128632 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.17
Current children cumulated vsize (KiB) 960032
[startup+882.3 s]
/proc/loadavg: 4.02 4.01 3.92 5/181 15649
/proc/meminfo: memFree=29583352/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=960032 CPUtime=1764.15 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 213398 0 0 0 176265 150 0 0 20 0 3 0 285978839 983072768 215356 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 240008 215356 198 433 0 239572 0
[pid=15573/tid=15575] ppid=15571 vsize=960032 CPUtime=879.89 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 110599 0 0 0 87887 102 0 0 20 0 3 0 285978840 983072768 215356 33554432000 4194304 5964478 140733507470800 140156413618200 4400093 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=960032 CPUtime=879.93 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 101646 0 0 0 87921 72 0 0 20 0 3 0 285978840 983072768 215356 33554432000 4194304 5964478 140733507470800 140156403128632 4400002 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.15
Current children cumulated vsize (KiB) 960032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.02 4.00 3.92 5/181 15649
/proc/meminfo: memFree=29582824/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=960032 CPUtime=1800.16 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 213398 0 0 0 179866 150 0 0 20 0 3 0 285978839 983072768 215356 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 240008 215356 198 433 0 239572 0
[pid=15573/tid=15575] ppid=15571 vsize=960032 CPUtime=897.85 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 110599 0 0 0 89683 102 0 0 20 0 3 0 285978840 983072768 215356 33554432000 4194304 5964478 140733507470800 140156413618200 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=960032 CPUtime=897.89 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 101646 0 0 0 89717 72 0 0 20 0 3 0 285978840 983072768 215356 33554432000 4194304 5964478 140733507470800 140156403128632 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 960032
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.02 4.00 3.92 5/181 15649
/proc/meminfo: memFree=29582824/32873648 swapFree=7116/7116
[pid=15573] ppid=15571 vsize=960032 CPUtime=1800.16 cores=0,2,4,6
/proc/15573/stat : 15573 (pwbo2.01) S 15571 15573 14514 0 -1 4202496 213398 0 0 0 179866 150 0 0 20 0 3 0 285978839 983072768 215356 33554432000 4194304 5964478 140733507470800 140733507470320 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15573/statm: 240008 215356 198 433 0 239572 0
[pid=15573/tid=15575] ppid=15571 vsize=960032 CPUtime=897.85 cores=0,2,4,6
/proc/15573/task/15575/stat : 15575 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 110599 0 0 0 89683 102 0 0 20 0 3 0 285978840 983072768 215356 33554432000 4194304 5964478 140733507470800 140156413618200 4400099 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=15573/tid=15576] ppid=15571 vsize=960032 CPUtime=897.89 cores=0,2,4,6
/proc/15573/task/15576/stat : 15576 (pwbo2.01) R 15571 15573 14514 0 -1 4202560 101646 0 0 0 89717 72 0 0 20 0 3 0 285978840 983072768 215356 33554432000 4194304 5964478 140733507470800 140156403128632 4400081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 960032
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15573 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=32265
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=785728
# CPU time returned by wait4() is 1795.82
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.335
CPU time (s): 1800.16
CPU user time (s): 1798.66
CPU system time (s): 1.5
CPU usage (%): 199.943
Max. virtual memory (cumulated for all children) (KiB): 960032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.03
system time used= 1.78573
maximum resident set size= 861432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213400
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= 677
involuntary context switches= 2011
runsolver used 1.93271 second user time and 4.99324 second system time
The end