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-3705667-1338109699/watcher-3705667-1338109699 -o /tmp/evaluation-result-3705667-1338109699/solver-3705667-1338109699 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705667-1338109699.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4467
/proc/meminfo: memFree=27882184/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=84092 CPUtime=0 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 923 0 0 0 0 0 0 0 20 0 2 0 277095848 86110208 862 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 21023 864 183 432 0 20588 0
[pid=4467/tid=4468] ppid=4465 vsize=84092 CPUtime=0 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 101 0 0 0 0 0 0 0 20 0 2 0 277095849 86110208 867 33554432000 4194304 5963574 140736666921248 140733507469144 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.1045 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4467
/proc/meminfo: memFree=27882184/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=84092 CPUtime=0.1 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 1217 0 0 0 10 0 0 0 20 0 2 0 277095848 86110208 1156 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 21023 1156 194 432 0 20588 0
[pid=4467/tid=4468] ppid=4465 vsize=84092 CPUtime=0.08 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 390 0 0 0 8 0 0 0 20 0 2 0 277095849 86110208 1156 33554432000 4194304 5963574 140736666921248 140733507469144 4403204 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 84092
[startup+0.200251 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4467
/proc/meminfo: memFree=27882184/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=84092 CPUtime=0.19 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 1407 0 0 0 19 0 0 0 20 0 2 0 277095848 86110208 1346 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 21023 1346 194 432 0 20588 0
[pid=4467/tid=4468] ppid=4465 vsize=84092 CPUtime=0.18 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 580 0 0 0 18 0 0 0 20 0 2 0 277095849 86110208 1346 33554432000 4194304 5963574 140736666921248 140733507469144 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 84092
[startup+0.300185 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4467
/proc/meminfo: memFree=27882184/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=84092 CPUtime=0.29 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 1582 0 0 0 29 0 0 0 20 0 2 0 277095848 86110208 1521 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 21023 1521 194 432 0 20588 0
[pid=4467/tid=4468] ppid=4465 vsize=84092 CPUtime=0.28 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 755 0 0 0 28 0 0 0 20 0 2 0 277095849 86110208 1521 33554432000 4194304 5963574 140736666921248 140466223527448 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84092
[startup+0.700139 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4467
/proc/meminfo: memFree=27882184/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=84092 CPUtime=0.69 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 1952 0 0 0 69 0 0 0 20 0 2 0 277095848 86110208 1891 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 21023 1891 194 432 0 20588 0
[pid=4467/tid=4468] ppid=4465 vsize=84092 CPUtime=0.68 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 1125 0 0 0 68 0 0 0 20 0 2 0 277095849 86110208 1891 33554432000 4194304 5963574 140736666921248 140466223527448 4400168 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84092
[startup+1.50014 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 4469
/proc/meminfo: memFree=27875032/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=84236 CPUtime=1.49 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 2278 0 0 0 149 0 0 0 20 0 2 0 277095848 86257664 2217 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 21059 2217 194 432 0 20624 0
[pid=4467/tid=4468] ppid=4465 vsize=84236 CPUtime=1.48 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 1451 0 0 0 148 0 0 0 20 0 2 0 277095849 86257664 2217 33554432000 4194304 5963574 140736666921248 140466223527928 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84236
[startup+3.10014 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 4469
/proc/meminfo: memFree=27871792/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=84308 CPUtime=3.09 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 3173 0 0 0 309 0 0 0 20 0 2 0 277095848 86331392 3112 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 21077 3112 194 432 0 20642 0
[pid=4467/tid=4468] ppid=4465 vsize=84308 CPUtime=3.08 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 2346 0 0 0 308 0 0 0 20 0 2 0 277095849 86331392 3112 33554432000 4194304 5963574 140736666921248 140466223527736 4387764 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84308
[startup+6.30013 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 4469
/proc/meminfo: memFree=27864876/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=84416 CPUtime=6.29 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 4967 0 0 0 628 1 0 0 20 0 2 0 277095848 86441984 4906 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 21104 4906 194 432 0 20669 0
[pid=4467/tid=4468] ppid=4465 vsize=84416 CPUtime=6.28 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 4140 0 0 0 627 1 0 0 20 0 2 0 277095849 86441984 4906 33554432000 4194304 5963574 140736666921248 140466223527976 4388700 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84416
[startup+12.7003 s]
/proc/loadavg: 2.13 2.03 2.01 3/179 4469
/proc/meminfo: memFree=27851292/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=85008 CPUtime=12.69 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 7763 0 0 0 1267 2 0 0 20 0 2 0 277095848 87048192 7702 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 21252 7702 194 432 0 20817 0
[pid=4467/tid=4468] ppid=4465 vsize=85008 CPUtime=12.68 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 6936 0 0 0 1265 3 0 0 20 0 2 0 277095849 87048192 7702 33554432000 4194304 5963574 140736666921248 140466223527928 4399619 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85008
[startup+25.5003 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 4469
/proc/meminfo: memFree=27851060/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=84092 CPUtime=25.48 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 7862 0 0 0 2546 2 0 0 20 0 2 0 277095848 86110208 7624 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 21023 7624 194 432 0 20588 0
[pid=4467/tid=4468] ppid=4465 vsize=84092 CPUtime=25.48 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 7035 0 0 0 2545 3 0 0 20 0 2 0 277095849 86110208 7624 33554432000 4194304 5963574 140736666921248 140466223528888 4399537 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84092
[startup+51.1002 s]
/proc/loadavg: 2.07 2.03 2.01 3/179 4469
/proc/meminfo: memFree=27834036/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=84092 CPUtime=51.08 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 12423 0 0 0 5103 5 0 0 20 0 2 0 277095848 86110208 12185 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 21023 12185 194 432 0 20588 0
[pid=4467/tid=4468] ppid=4465 vsize=84092 CPUtime=51.08 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 11596 0 0 0 5102 6 0 0 20 0 2 0 277095849 86110208 12185 33554432000 4194304 5963574 140736666921248 140466223527448 4399477 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84092
[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/182 4472
/proc/meminfo: memFree=27794872/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=150352 CPUtime=102.28 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 21719 0 0 0 10217 11 0 0 20 0 2 0 277095848 153960448 21481 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 37588 21481 194 432 0 37153 0
[pid=4467/tid=4468] ppid=4465 vsize=150352 CPUtime=102.28 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 20892 0 0 0 10215 13 0 0 20 0 2 0 277095849 153960448 21481 33554432000 4194304 5963574 140736666921248 140466223527736 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 150352
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 4472
/proc/meminfo: memFree=27748180/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=150712 CPUtime=162.27 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 30047 0 0 0 16211 16 0 0 20 0 2 0 277095848 154329088 29808 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 37678 29808 194 432 0 37243 0
[pid=4467/tid=4468] ppid=4465 vsize=150712 CPUtime=162.28 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 29220 0 0 0 16209 19 0 0 20 0 2 0 277095849 154329088 29808 33554432000 4194304 5963574 140736666921248 140466223527448 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 150712
[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 4473
/proc/meminfo: memFree=27589968/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=216248 CPUtime=222.26 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 38305 0 0 0 22203 23 0 0 20 0 2 0 277095848 221437952 38065 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 54062 38065 194 432 0 53627 0
[pid=4467/tid=4468] ppid=4465 vsize=216248 CPUtime=222.28 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 37478 0 0 0 22201 27 0 0 20 0 2 0 277095849 221437952 38065 33554432000 4194304 5963574 140736666921248 140466223527448 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 216248
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4473
/proc/meminfo: memFree=27519220/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=216248 CPUtime=282.22 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 44348 0 0 0 28191 31 0 0 20 0 2 0 277095848 221437952 44347 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 54062 44347 194 432 0 53627 0
[pid=4467/tid=4468] ppid=4465 vsize=216248 CPUtime=282.25 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 43521 0 0 0 28189 36 0 0 20 0 2 0 277095849 221437952 44347 33554432000 4194304 5963574 140736666921248 140466223527976 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 216248
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4473
/proc/meminfo: memFree=27491092/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=282324 CPUtime=342.17 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 50822 0 0 0 34178 39 0 0 20 0 2 0 277095848 289099776 50949 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 70581 50949 194 432 0 70146 0
[pid=4467/tid=4468] ppid=4465 vsize=282324 CPUtime=342.21 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 49995 0 0 0 34176 45 0 0 20 0 2 0 277095849 289099776 50949 33554432000 4194304 5963574 140736666921248 140466223527736 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 282324
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4473
/proc/meminfo: memFree=27370012/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=282324 CPUtime=402.15 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 54619 0 0 0 40172 43 0 0 20 0 2 0 277095848 289099776 55733 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
/proc/4467/statm: 102943 95829 194 432 0 102508 0
[pid=4467/tid=4468] ppid=4465 vsize=411772 CPUtime=1242.16 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 94162 0 0 0 124116 100 0 0 20 0 2 0 277095849 421654528 95829 33554432000 4194304 5963574 140736666921248 140466223527928 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 411772
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4481
/proc/meminfo: memFree=26294352/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=477308 CPUtime=1301.99 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 104210 0 0 0 130107 92 0 0 20 0 2 0 277095848 488763392 105050 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 119327 105050 194 432 0 118892 0
[pid=4467/tid=4468] ppid=4465 vsize=477308 CPUtime=1302.16 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 103383 0 0 0 130104 112 0 0 20 0 2 0 277095849 488763392 105050 33554432000 4194304 5963574 140736666921248 140466223527928 4402906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 477308
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 4484
/proc/meminfo: memFree=26268832/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=477308 CPUtime=1361.98 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 105320 0 0 0 136104 94 0 0 20 0 2 0 277095848 488763392 106158 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 119327 106158 194 432 0 118892 0
[pid=4467/tid=4468] ppid=4465 vsize=477308 CPUtime=1362.16 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 104493 0 0 0 136101 115 0 0 20 0 2 0 277095849 488763392 106158 33554432000 4194304 5963574 140736666921248 140466223527736 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 477308
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4485
/proc/meminfo: memFree=26080620/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=477308 CPUtime=1421.98 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 110493 0 0 0 142098 100 0 0 20 0 2 0 277095848 488763392 111331 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 119327 111331 194 432 0 118892 0
[pid=4467/tid=4468] ppid=4465 vsize=477308 CPUtime=1422.16 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 109666 0 0 0 142094 122 0 0 20 0 2 0 277095849 488763392 111331 33554432000 4194304 5963574 140736666921248 140466223527736 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 477308
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4485
/proc/meminfo: memFree=25904708/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=477308 CPUtime=1481.96 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 112582 0 0 0 148094 102 0 0 20 0 2 0 277095848 488763392 113418 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 119327 113418 194 432 0 118892 0
[pid=4467/tid=4468] ppid=4465 vsize=477308 CPUtime=1482.15 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 111755 0 0 0 148090 125 0 0 20 0 2 0 277095849 488763392 113418 33554432000 4194304 5963574 140736666921248 140466223527928 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 477308
[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 4485
/proc/meminfo: memFree=25759476/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=545276 CPUtime=1541.96 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 116337 0 0 0 154090 106 0 0 20 0 2 0 277095848 558362624 117684 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 136319 117684 194 432 0 135884 0
[pid=4467/tid=4468] ppid=4465 vsize=545276 CPUtime=1542.16 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 115510 0 0 0 154086 130 0 0 20 0 2 0 277095849 558362624 117684 33554432000 4194304 5963574 140736666921248 140466223527736 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 545276
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/179 4689
/proc/meminfo: memFree=27671672/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=545276 CPUtime=1601.92 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 116711 0 0 0 160085 107 0 0 20 0 2 0 277095848 558362624 118150 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 136319 118150 194 432 0 135884 0
[pid=4467/tid=4468] ppid=4465 vsize=545276 CPUtime=1602.12 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 115884 0 0 0 160081 131 0 0 20 0 2 0 277095849 558362624 118150 33554432000 4194304 5963574 140736666921248 140466223527736 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 545276
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 4689
/proc/meminfo: memFree=27574584/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=545276 CPUtime=1661.88 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 121127 0 0 0 166076 112 0 0 20 0 2 0 277095848 558362624 122971 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 136319 122971 194 432 0 135884 0
[pid=4467/tid=4468] ppid=4465 vsize=545276 CPUtime=1662.09 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 120300 0 0 0 166071 138 0 0 20 0 2 0 277095849 558362624 122971 33554432000 4194304 5963574 140736666921248 140466223527800 4387781 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 545276
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 4690
/proc/meminfo: memFree=27536352/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=545276 CPUtime=1721.84 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 125188 0 0 0 172067 117 0 0 20 0 2 0 277095848 558362624 127352 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 136319 127352 194 432 0 135884 0
[pid=4467/tid=4468] ppid=4465 vsize=545276 CPUtime=1722.06 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 124361 0 0 0 172062 144 0 0 20 0 2 0 277095849 558362624 127352 33554432000 4194304 5963574 140736666921248 140466223527976 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 545276
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 4690
/proc/meminfo: memFree=27471620/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=545276 CPUtime=1781.83 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 129604 0 0 0 178060 123 0 0 20 0 2 0 277095848 558362624 131768 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 136319 131768 194 432 0 135884 0
[pid=4467/tid=4468] ppid=4465 vsize=545276 CPUtime=1782.06 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 128777 0 0 0 178055 151 0 0 20 0 2 0 277095849 558362624 131768 33554432000 4194304 5963574 140736666921248 140466223527976 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 545276
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 4690
/proc/meminfo: memFree=27432436/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=545276 CPUtime=1791.54 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 130418 0 0 0 179030 124 0 0 20 0 2 0 277095848 558362624 132582 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 136319 132582 194 432 0 135884 0
[pid=4467/tid=4468] ppid=4465 vsize=545276 CPUtime=1791.77 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 129591 0 0 0 179025 152 0 0 20 0 2 0 277095849 558362624 132582 33554432000 4194304 5963574 140736666921248 140466223527736 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 545276
[startup+1795.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 4690
/proc/meminfo: memFree=27412720/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=545276 CPUtime=1794.73 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 130559 0 0 0 179349 124 0 0 20 0 2 0 277095848 558362624 132723 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 136319 132723 194 432 0 135884 0
[pid=4467/tid=4468] ppid=4465 vsize=545276 CPUtime=1794.97 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 129732 0 0 0 179345 152 0 0 20 0 2 0 277095849 558362624 132723 33554432000 4194304 5963574 140736666921248 140466223527928 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 545276
[startup+1798.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 4690
/proc/meminfo: memFree=27411852/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=545276 CPUtime=1797.92 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 130730 0 0 0 179668 124 0 0 20 0 2 0 277095848 558362624 132894 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 136319 132894 194 432 0 135884 0
[pid=4467/tid=4468] ppid=4465 vsize=545276 CPUtime=1798.16 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 129903 0 0 0 179664 152 0 0 20 0 2 0 277095849 558362624 132894 33554432000 4194304 5963574 140736666921248 140466223527928 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 545276
[startup+1799.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 4690
/proc/meminfo: memFree=27411728/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=545276 CPUtime=1798.72 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 130783 0 0 0 179748 124 0 0 20 0 2 0 277095848 558362624 132947 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 136319 132947 194 432 0 135884 0
[pid=4467/tid=4468] ppid=4465 vsize=545276 CPUtime=1798.96 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 129956 0 0 0 179744 152 0 0 20 0 2 0 277095849 558362624 132947 33554432000 4194304 5963574 140736666921248 140466223527928 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.72
Current children cumulated vsize (KiB) 545276
[startup+1799.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 4690
/proc/meminfo: memFree=27411356/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=545276 CPUtime=1799.14 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) S 4465 4467 2447 0 -1 4202496 130812 0 0 0 179789 125 0 0 20 0 2 0 277095848 558362624 132976 33554432000 4194304 5963574 140736666921248 140736666920768 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 136319 132976 194 432 0 135884 0
[pid=4467/tid=4468] ppid=4465 vsize=545276 CPUtime=1799.37 cores=1,3,5,7
/proc/4467/task/4468/stat : 4468 (wbo1.7) R 4465 4467 2447 0 -1 4202560 129985 0 0 0 179784 153 0 0 20 0 2 0 277095849 558362624 132976 33554432000 4194304 5963574 140736666921248 140466223527928 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 545276
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 4690
/proc/meminfo: memFree=27411356/32873648 swapFree=6864/6864
[pid=4467] ppid=4465 vsize=0 CPUtime=1799.78 cores=1,3,5,7
/proc/4467/stat : 4467 (wbo1.7) R 4465 4467 2447 0 -1 4203524 130844 0 0 0 179824 154 0 0 20 0 1 0 277095848 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4467/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.78
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.79
CPU user time (s): 1798.24
CPU system time (s): 1.54676
CPU usage (%): 99.9879
Max. virtual memory (cumulated for all children) (KiB): 545276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.24
system time used= 1.54676
maximum resident set size= 532032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130844
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= 215
involuntary context switches= 2337
runsolver used 3.2655 second user time and 8.81066 second system time
The end