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-3478751-1307436783/watcher-3478751-1307436783 -o /tmp/evaluation-result-3478751-1307436783/solver-3478751-1307436783 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478751-1307436783.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: 0.79 0.18 0.06 2/437 695
/proc/meminfo: memFree=23685872/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=682464 CPUtime=0 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 285 0 0 0 0 0 0 0 21 0 1 0 836095479 698843136 238 33554432000 4194304 5714214 140736075856512 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 170616 238 170 372 0 118 0
[startup+0.0769781 s]
/proc/loadavg: 0.79 0.18 0.06 2/437 695
/proc/meminfo: memFree=23685872/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=686260 CPUtime=0.07 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1482 0 0 0 7 0 0 0 21 0 1 0 836095479 702730240 1435 33554432000 4194304 5714214 140736075856512 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 171565 1437 460 372 0 1067 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 686260
[startup+0.100984 s]
/proc/loadavg: 0.79 0.18 0.06 2/437 695
/proc/meminfo: memFree=23685872/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=687500 CPUtime=0.09 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1914 0 0 0 9 0 0 0 21 0 1 0 836095479 704000000 1834 33554432000 4194304 5714214 140736075856512 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 171875 1834 560 372 0 1377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 687500
[startup+0.300934 s]
/proc/loadavg: 0.79 0.18 0.06 2/437 695
/proc/meminfo: memFree=23685872/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=696704 CPUtime=0.29 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 5064 0 0 0 28 1 0 0 22 0 1 0 836095479 713424896 4919 33554432000 4194304 5714214 140736075856512 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 174176 4919 1348 372 0 3678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 696704
[startup+0.700855 s]
/proc/loadavg: 0.79 0.18 0.06 2/437 695
/proc/meminfo: memFree=23685872/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=716268 CPUtime=0.68 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 11615 0 0 0 67 1 0 0 23 0 1 0 836095479 733458432 11084 33554432000 4194304 5714214 140736075856512 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 179067 11085 2944 372 0 8569 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 716268
[startup+1.5007 s]
/proc/loadavg: 0.79 0.18 0.06 3/438 696
/proc/meminfo: memFree=23644944/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=753624 CPUtime=1.49 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 24213 0 0 0 146 3 0 0 25 0 1 0 836095479 771710976 23169 33554432000 4194304 5714214 140736075856512 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 188406 23169 6222 372 0 17908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 753624
[startup+3.10038 s]
/proc/loadavg: 0.79 0.18 0.06 3/438 696
/proc/meminfo: memFree=23594864/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=826536 CPUtime=3.09 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 48310 0 0 0 303 6 0 0 25 0 1 0 836095479 846372864 46241 33554432000 4194304 5714214 140736075856512 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 206634 46241 12533 372 0 36136 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 826536
[startup+6.30074 s]
/proc/loadavg: 0.89 0.21 0.07 3/438 696
/proc/meminfo: memFree=23455744/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=961364 CPUtime=6.29 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 95765 0 0 0 618 11 0 0 25 0 1 0 836095479 984436736 91647 33554432000 4194304 5714214 140736075856512 18446744073709551615 4948377 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 240341 91649 24956 372 0 69843 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 961364
[startup+12.7005 s]
/proc/loadavg: 0.97 0.24 0.08 3/438 697
/proc/meminfo: memFree=23183416/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=1238368 CPUtime=12.69 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 190609 0 0 0 1248 21 0 0 25 0 1 0 836095479 1268088832 182394 33554432000 4194304 5714214 140736075856512 18446744073709551615 4907952 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 309592 182394 51113 372 0 139094 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1238368
[startup+25.5009 s]
/proc/loadavg: 1.20 0.32 0.11 3/438 697
/proc/meminfo: memFree=22704692/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=1701948 CPUtime=25.49 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 348851 0 0 0 2509 40 0 0 25 0 1 0 836095479 1742794752 340636 33554432000 4194304 5714214 140736075856512 18446744073709551615 4234219 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 425487 340636 97163 372 0 254989 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1701948
[startup+51.1008 s]
/proc/loadavg: 1.47 0.46 0.16 3/438 698
/proc/meminfo: memFree=20493468/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3415480 CPUtime=51.09 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1011057 0 0 0 4998 111 0 0 25 0 1 0 836095479 3497451520 824526 33554432000 4194304 5714214 140736075856512 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 853870 824530 173 372 0 853495 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3415480
[startup+102.317 s]
/proc/loadavg: 1.77 0.69 0.25 3/438 699
/proc/meminfo: memFree=19976956/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=102.31 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1128255 0 0 0 10093 138 0 0 25 0 1 0 836095479 3807649792 904779 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319955 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 904779 180 372 0 929227 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 3718408
[startup+162.301 s]
/proc/loadavg: 1.91 0.93 0.36 3/438 702
/proc/meminfo: memFree=19950328/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=162.3 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1128286 0 0 0 16083 147 0 0 25 0 1 0 836095479 3807649792 904810 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 904810 180 372 0 929227 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 3718408
[startup+222.301 s]
/proc/loadavg: 1.97 1.12 0.46 3/438 703
/proc/meminfo: memFree=19936952/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=222.3 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1128289 0 0 0 22076 154 0 0 25 0 1 0 836095479 3807649792 904813 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 904813 180 372 0 929227 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 3718408
[startup+282.301 s]
/proc/loadavg: 1.99 1.28 0.55 3/438 705
/proc/meminfo: memFree=19900244/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=282.31 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1128309 0 0 0 28068 163 0 0 25 0 1 0 836095479 3807649792 904833 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 904833 180 372 0 929227 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 3718408
[startup+342.301 s]
/proc/loadavg: 2.08 1.43 0.65 3/438 706
/proc/meminfo: memFree=19879372/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=342.3 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1128320 0 0 0 34061 169 0 0 25 0 1 0 836095479 3807649792 904844 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 904844 180 372 0 929227 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 3718408
[startup+402.301 s]
/proc/loadavg: 2.21 1.58 0.75 3/438 708
/proc/meminfo: memFree=19853616/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=402.31 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1128324 0 0 0 40052 179 0 0 25 0 1 0 836095479 3807649792 904848 33554432000 4194304 5714214 140736075856512 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 904848 180 372 0 929227 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 3718408
[startup+462.3 s]
/proc/loadavg: 2.14 1.67 0.83 3/438 710
/proc/meminfo: memFree=19847636/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=462.31 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1128341 0 0 0 46042 189 0 0 25 0 1 0 836095479 3807649792 904865 33554432000 4194304 5714214 140736075856512 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 904865 180 372 0 929227 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 3718408
[startup+522.3 s]
/proc/loadavg: 2.05 1.73 0.90 3/438 720
/proc/meminfo: memFree=19847280/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=522.31 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1128485 0 0 0 52034 197 0 0 25 0 1 0 836095479 3807649792 905009 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 905009 180 372 0 929227 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 3718408
[startup+582.3 s]
/proc/loadavg: 2.02 1.77 0.96 3/438 722
/proc/meminfo: memFree=19815032/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=582.32 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1128518 0 0 0 58027 205 0 0 25 0 1 0 836095479 3807649792 905042 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319915 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 905042 180 372 0 929227 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 3718408
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.08 1.94 1.25 3/438 731
/proc/meminfo: memFree=19735784/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=882.34 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1129198 0 0 0 87990 244 0 0 25 0 1 0 836095479 3807649792 905722 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 905722 180 372 0 929227 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 3718408
[startup+942.301 s]
/proc/loadavg: 2.11 1.97 1.30 3/438 732
/proc/meminfo: memFree=19733516/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=942.34 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1129292 0 0 0 93985 249 0 0 25 0 1 0 836095479 3807649792 905816 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 905816 180 372 0 929227 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 3718408
[startup+1002.3 s]
/proc/loadavg: 2.08 1.99 1.35 3/438 734
/proc/meminfo: memFree=19727400/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=1002.33 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1129439 0 0 0 99976 257 0 0 25 0 1 0 836095479 3807649792 905963 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 905963 180 372 0 929227 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 3718408
[startup+1062.3 s]
/proc/loadavg: 2.03 1.99 1.39 3/438 736
/proc/meminfo: memFree=19723888/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=1062.34 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1129522 0 0 0 105969 265 0 0 25 0 1 0 836095479 3807649792 906046 33554432000 4194304 5714214 140736075856512 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 906046 180 372 0 929227 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 3718408
[startup+1122.3 s]
/proc/loadavg: 2.01 1.99 1.42 3/438 737
/proc/meminfo: memFree=19703620/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=1122.34 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1129585 0 0 0 111962 272 0 0 25 0 1 0 836095479 3807649792 906109 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 906109 180 372 0 929227 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 3718408
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.46 3/438 739
/proc/meminfo: memFree=19682112/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=1182.35 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1129688 0 0 0 117955 280 0 0 25 0 1 0 836095479 3807649792 906212 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 906212 180 372 0 929227 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 3718408
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.49 3/438 740
/proc/meminfo: memFree=19662252/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=1242.34 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1129742 0 0 0 123950 284 0 0 25 0 1 0 836095479 3807649792 906266 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 906266 180 372 0 929227 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 3718408
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.51 3/438 742
/proc/meminfo: memFree=19644852/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=1302.35 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1129995 0 0 0 129943 292 0 0 25 0 1 0 836095479 3807649792 906519 33554432000 4194304 5714214 140736075856512 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 906519 180 372 0 929227 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 3718408
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.55 3/438 744
/proc/meminfo: memFree=19640600/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=1362.35 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1130680 0 0 0 135939 296 0 0 25 0 1 0 836095479 3807649792 907204 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 907204 180 372 0 929227 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 3718408
[startup+1422.32 s]
/proc/loadavg: 2.12 2.04 1.59 3/438 745
/proc/meminfo: memFree=19636828/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=1422.37 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1131597 0 0 0 141935 302 0 0 25 0 1 0 836095479 3807649792 908121 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 908121 180 372 0 929227 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 3718408
[startup+1482.3 s]
/proc/loadavg: 2.10 2.05 1.62 3/438 747
/proc/meminfo: memFree=19631588/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718408 CPUtime=1482.36 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1132678 0 0 0 147928 308 0 0 25 0 1 0 836095479 3807649792 909202 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929602 909202 180 372 0 929227 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 3718408
[startup+1542.3 s]
/proc/loadavg: 2.03 2.04 1.64 3/438 748
/proc/meminfo: memFree=19626848/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3718804 CPUtime=1542.36 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1133730 0 0 0 153921 315 0 0 25 0 1 0 836095479 3808055296 910254 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 929701 910254 180 372 0 929326 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 3718804
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 1.66 3/438 750
/proc/meminfo: memFree=19568280/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3753008 CPUtime=1602.36 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1141845 0 0 0 159912 324 0 0 25 0 1 0 836095479 3843080192 918369 33554432000 4194304 5714214 140736075856512 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 938252 918369 180 372 0 937877 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 3753008
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.67 3/438 752
/proc/meminfo: memFree=19522608/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3779240 CPUtime=1662.37 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1148102 0 0 0 165903 334 0 0 25 0 1 0 836095479 3869941760 924626 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 944810 924626 180 372 0 944435 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 3779240
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.69 3/438 753
/proc/meminfo: memFree=19496176/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3806800 CPUtime=1722.37 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1154627 0 0 0 171894 343 0 0 25 0 1 0 836095479 3898163200 931151 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 951700 931151 180 372 0 951325 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 3806800
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.71 3/438 756
/proc/meminfo: memFree=19468612/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3833048 CPUtime=1782.38 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1160930 0 0 0 177886 352 0 0 25 0 1 0 836095479 3925041152 937454 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 958262 937454 180 372 0 957887 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 3833048
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.94 1.99 1.71 3/438 785
/proc/meminfo: memFree=19940348/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=3840856 CPUtime=1800.07 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4202496 1162774 0 0 0 179652 355 0 0 25 0 1 0 836095479 3933036544 939298 33554432000 4194304 5714214 140736075856512 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/695/statm: 960214 939298 180 372 0 959839 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3840856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.12 s]
/proc/loadavg: 1.94 1.99 1.71 3/438 785
/proc/meminfo: memFree=19940348/32951124 swapFree=50923800/67111528
[pid=695] ppid=693 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/695/stat : 695 (wbo1.6) R 693 695 656 0 -1 4203524 1162774 0 0 0 179654 365 0 0 25 0 1 0 836095479 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/695/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.16
CPU time (s): 1800.24
CPU user time (s): 1796.54
CPU system time (s): 3.70044
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 3888984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.54
system time used= 3.70044
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1162774
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= 5
involuntary context switches= 1991
runsolver used 7.8928 second user time and 17.9233 second system time
The end