runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3479458-1307450193/watcher-3479458-1307450193 -o /tmp/evaluation-result-3479458-1307450193/solver-3479458-1307450193 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479458-1307450193.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: 1.93 2.01 1.99 3/527 11706
/proc/meminfo: memFree=24363488/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=34640 CPUtime=0.01 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 737 0 0 0 1 0 0 0 23 0 1 0 935250068 35471360 690 33554432000 4194304 5714214 140733383895120 18446744073709551615 4223157 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 8660 690 193 372 0 554 0
[startup+0.0520749 s]
/proc/loadavg: 1.93 2.01 1.99 3/527 11706
/proc/meminfo: memFree=24363488/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=35044 CPUtime=0.05 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 983 0 0 0 5 0 0 0 23 0 1 0 935250068 35885056 936 33554432000 4194304 5714214 140733383895120 18446744073709551615 5136386 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 8761 937 342 372 0 655 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 35044
[startup+0.101091 s]
/proc/loadavg: 1.93 2.01 1.99 3/527 11706
/proc/meminfo: memFree=24363488/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=35572 CPUtime=0.09 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 1283 0 0 0 9 0 0 0 23 0 1 0 935250068 36425728 1236 33554432000 4194304 5714214 140733383895120 18446744073709551615 4223132 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 8893 1236 520 372 0 787 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35572
[startup+0.301057 s]
/proc/loadavg: 1.93 2.01 1.99 3/527 11706
/proc/meminfo: memFree=24363488/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=37568 CPUtime=0.29 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 2493 0 0 0 29 0 0 0 25 0 1 0 935250068 38469632 2446 33554432000 4194304 5714214 140733383895120 18446744073709551615 4990162 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 9392 2446 1249 372 0 1286 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37568
[startup+0.70099 s]
/proc/loadavg: 1.93 2.01 1.99 3/527 11706
/proc/meminfo: memFree=24363488/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=41432 CPUtime=0.69 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 4903 0 0 0 69 0 0 0 25 0 1 0 935250068 42426368 4856 33554432000 4194304 5714214 140733383895120 18446744073709551615 5136386 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 10358 4857 2707 372 0 2252 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41432
[startup+1.50081 s]
/proc/loadavg: 1.93 2.01 1.99 3/528 11707
/proc/meminfo: memFree=24351080/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=49200 CPUtime=1.49 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 9717 0 0 0 148 1 0 0 25 0 1 0 935250068 50380800 9670 33554432000 4194304 5714214 140733383895120 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 12300 9671 5620 372 0 4194 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49200
[startup+3.10056 s]
/proc/loadavg: 1.93 2.01 1.99 3/528 11707
/proc/meminfo: memFree=24340168/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=43572 CPUtime=3.09 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 18789 0 0 0 307 2 0 0 25 0 1 0 935250068 44617728 10411 33554432000 4194304 5714214 140733383895120 18446744073709551615 4356115 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 10893 10411 175 372 0 10518 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43572
[startup+6.30102 s]
/proc/loadavg: 2.02 2.03 2.00 2/522 11725
/proc/meminfo: memFree=24661204/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=46588 CPUtime=6.29 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 20319 0 0 0 627 2 0 0 18 0 1 0 935250068 47706112 11354 33554432000 4194304 5714214 140733383895120 18446744073709551615 4326739 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 11647 11354 180 372 0 11272 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46588
[startup+12.7009 s]
/proc/loadavg: 1.93 2.01 1.99 2/522 11725
/proc/meminfo: memFree=24643376/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=63108 CPUtime=12.69 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 24310 0 0 0 1261 8 0 0 25 0 1 0 935250068 64622592 15345 33554432000 4194304 5714214 140733383895120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 15777 15345 180 372 0 15402 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63108
[startup+25.5006 s]
/proc/loadavg: 1.73 1.96 1.98 2/522 11726
/proc/meminfo: memFree=24638296/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=68884 CPUtime=25.5 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 25755 0 0 0 2535 15 0 0 25 0 1 0 935250068 70537216 16790 33554432000 4194304 5714214 140733383895120 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 17221 16790 180 372 0 16846 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 68884
[startup+51.1012 s]
/proc/loadavg: 1.48 1.88 1.95 2/522 11726
/proc/meminfo: memFree=24584376/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=124608 CPUtime=51.09 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 39636 0 0 0 5085 24 0 0 25 0 1 0 935250068 127598592 30671 33554432000 4194304 5714214 140733383895120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 31152 30671 180 372 0 30777 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 124608
[startup+102.32 s]
/proc/loadavg: 1.21 1.74 1.90 2/522 11728
/proc/meminfo: memFree=24488320/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=219540 CPUtime=102.31 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 63205 0 0 0 10186 45 0 0 25 0 1 0 935250068 224808960 54240 33554432000 4194304 5714214 140733383895120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 54885 54240 180 372 0 54510 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 219540
[startup+162.301 s]
/proc/loadavg: 1.07 1.60 1.84 2/522 11732
/proc/meminfo: memFree=24441100/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=266932 CPUtime=162.3 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 74969 0 0 0 16163 67 0 0 25 0 1 0 935250068 273338368 66004 33554432000 4194304 5714214 140733383895120 18446744073709551615 4322937 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 66733 66004 180 372 0 66358 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 266932
[startup+222.301 s]
/proc/loadavg: 1.14 1.52 1.80 2/522 11734
/proc/meminfo: memFree=24341328/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=366904 CPUtime=222.3 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 99865 0 0 0 22146 84 0 0 25 0 1 0 935250068 375709696 90900 33554432000 4194304 5714214 140733383895120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 91726 90900 180 372 0 91351 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 366904
[startup+282.301 s]
/proc/loadavg: 1.10 1.44 1.75 2/522 11735
/proc/meminfo: memFree=24183196/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=527096 CPUtime=282.3 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 139809 0 0 0 28129 101 0 0 25 0 1 0 935250068 539746304 130844 33554432000 4194304 5714214 140733383895120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 131774 130844 180 372 0 131399 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 527096
[startup+342.301 s]
/proc/loadavg: 1.04 1.36 1.70 2/522 11737
/proc/meminfo: memFree=24026188/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=683088 CPUtime=342.3 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 178530 0 0 0 34110 120 0 0 25 0 1 0 935250068 699482112 169565 33554432000 4194304 5714214 140733383895120 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 170772 169565 180 372 0 170397 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 683088
[startup+402.301 s]
/proc/loadavg: 1.01 1.29 1.65 2/522 11739
/proc/meminfo: memFree=24026296/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=683088 CPUtime=402.3 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 178544 0 0 0 40097 133 0 0 25 0 1 0 935250068 699482112 169579 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 170772 169579 180 372 0 170397 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 683088
[startup+462.301 s]
/proc/loadavg: 1.00 1.23 1.61 2/522 11740
/proc/meminfo: memFree=24026136/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=683088 CPUtime=462.3 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 178556 0 0 0 46088 142 0 0 25 0 1 0 935250068 699482112 169591 33554432000 4194304 5714214 140733383895120 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 170772 169591 180 372 0 170397 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 683088
[startup+522.301 s]
/proc/loadavg: 1.00 1.19 1.57 2/522 11742
/proc/meminfo: memFree=23901976/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=810472 CPUtime=522.31 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 210211 0 0 0 52075 156 0 0 25 0 1 0 935250068 829923328 201246 33554432000 4194304 5714214 140733383895120 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 202618 201246 180 372 0 202243 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 810472
[startup+582.301 s]
/proc/loadavg: 1.00 1.15 1.53 2/522 11743
/proc/meminfo: memFree=23767392/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=943268 CPUtime=582.3 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 243155 0 0 0 58059 171 0 0 25 0 1 0 935250068 965906432 234190 33554432000 4194304 5714214 140733383895120 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 235817 234190 180 372 0 235442 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 943268
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.07 1.08 1.40 2/522 11750
/proc/meminfo: memFree=23494944/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1217824 CPUtime=822.31 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 311482 0 0 0 82021 210 0 0 25 0 1 0 935250068 1247051776 302517 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 304456 302517 180 372 0 304081 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1217824
[startup+882.301 s]
/proc/loadavg: 1.09 1.08 1.38 2/522 11751
/proc/meminfo: memFree=23365440/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1345756 CPUtime=882.32 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 343366 0 0 0 88011 221 0 0 25 0 1 0 935250068 1378054144 334401 33554432000 4194304 5714214 140733383895120 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 336439 334401 180 372 0 336064 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1345756
[startup+942.301 s]
/proc/loadavg: 1.03 1.06 1.35 2/522 11753
/proc/meminfo: memFree=23366032/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1345756 CPUtime=942.31 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 343366 0 0 0 94003 228 0 0 25 0 1 0 935250068 1378054144 334401 33554432000 4194304 5714214 140733383895120 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 336439 334401 180 372 0 336064 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1345756
[startup+1002.3 s]
/proc/loadavg: 1.01 1.05 1.33 2/522 11755
/proc/meminfo: memFree=23366244/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1345756 CPUtime=1002.31 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 343370 0 0 0 99993 238 0 0 25 0 1 0 935250068 1378054144 334405 33554432000 4194304 5714214 140733383895120 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 336439 334405 180 372 0 336064 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1345756
[startup+1062.3 s]
/proc/loadavg: 1.00 1.03 1.31 2/522 11756
/proc/meminfo: memFree=23366092/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1345756 CPUtime=1062.32 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 343375 0 0 0 105987 245 0 0 25 0 1 0 935250068 1378054144 334410 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 336439 334410 180 372 0 336064 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1345756
[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.28 2/522 11758
/proc/meminfo: memFree=23357892/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1354508 CPUtime=1122.31 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 345545 0 0 0 111981 250 0 0 25 0 1 0 935250068 1387016192 336580 33554432000 4194304 5714214 140733383895120 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 338627 336580 180 372 0 338252 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1354508
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/522 11759
/proc/meminfo: memFree=23221468/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1492492 CPUtime=1182.32 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 379992 0 0 0 117973 259 0 0 25 0 1 0 935250068 1528311808 371027 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 373123 371027 180 372 0 372748 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1492492
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/522 11761
/proc/meminfo: memFree=23106504/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1606284 CPUtime=1242.32 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 408251 0 0 0 123966 266 0 0 25 0 1 0 935250068 1644834816 399286 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 401571 399286 180 372 0 401196 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1606284
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.23 2/522 11763
/proc/meminfo: memFree=22946520/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1766992 CPUtime=1302.33 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448086 0 0 0 129957 276 0 0 25 0 1 0 935250068 1809399808 439121 33554432000 4194304 5714214 140733383895120 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 441748 439121 180 372 0 441373 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1766992
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.21 2/522 11764
/proc/meminfo: memFree=22946864/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1766992 CPUtime=1362.32 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448089 0 0 0 135946 286 0 0 25 0 1 0 935250068 1809399808 439124 33554432000 4194304 5714214 140733383895120 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 441748 439124 180 372 0 441373 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1766992
[startup+1422.32 s]
/proc/loadavg: 1.07 1.03 1.20 2/522 11766
/proc/meminfo: memFree=22946956/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1766992 CPUtime=1422.34 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448101 0 0 0 141938 296 0 0 25 0 1 0 935250068 1809399808 439136 33554432000 4194304 5714214 140733383895120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 441748 439136 180 372 0 441373 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1766992
[startup+1482.3 s]
/proc/loadavg: 1.06 1.03 1.19 2/522 11776
/proc/meminfo: memFree=22945436/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1766992 CPUtime=1482.33 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448112 0 0 0 147930 303 0 0 25 0 1 0 935250068 1809399808 439147 33554432000 4194304 5714214 140733383895120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 441748 439147 180 372 0 441373 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1766992
[startup+1542.3 s]
/proc/loadavg: 1.02 1.03 1.18 2/522 11778
/proc/meminfo: memFree=22946028/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1766992 CPUtime=1542.32 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448122 0 0 0 153924 308 0 0 25 0 1 0 935250068 1809399808 439157 33554432000 4194304 5714214 140733383895120 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 441748 439157 180 372 0 441373 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1766992
[startup+1602.3 s]
/proc/loadavg: 1.01 1.02 1.16 2/522 11780
/proc/meminfo: memFree=22945884/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1766992 CPUtime=1602.32 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448138 0 0 0 159917 315 0 0 25 0 1 0 935250068 1809399808 439173 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 441748 439173 180 372 0 441373 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1766992
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/522 11781
/proc/meminfo: memFree=22945612/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1766992 CPUtime=1662.33 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448158 0 0 0 165908 325 0 0 25 0 1 0 935250068 1809399808 439193 33554432000 4194304 5714214 140733383895120 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 441748 439193 180 372 0 441373 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1766992
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.14 2/522 11783
/proc/meminfo: memFree=23046404/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1663916 CPUtime=1722.33 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448168 0 0 0 171897 336 0 0 25 0 1 0 935250068 1703849984 413894 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 415979 413894 180 372 0 415604 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1663916
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/522 11784
/proc/meminfo: memFree=23045256/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1663916 CPUtime=1782.33 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448206 0 0 0 177885 348 0 0 25 0 1 0 935250068 1703849984 413932 33554432000 4194304 5714214 140733383895120 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 415979 413932 180 372 0 415604 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1663916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.12 2/522 11785
/proc/meminfo: memFree=23045984/32951124 swapFree=56241860/67111528
[pid=11706] ppid=11704 vsize=1663916 CPUtime=1800.04 cores=0,2,4,6
/proc/11706/stat : 11706 (wbo1.6) R 11704 11706 11298 0 -1 4202496 448256 0 0 0 179652 352 0 0 25 0 1 0 935250068 1703849984 413982 33554432000 4194304 5714214 140733383895120 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11706/statm: 415979 413982 180 372 0 415604 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1663916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.1
CPU time (s): 1800.14
CPU user time (s): 1796.54
CPU system time (s): 3.60045
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1766992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.54
system time used= 3.60045
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448256
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= 9
involuntary context switches= 2131
runsolver used 10.0165 second user time and 21.1078 second system time
The end