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-3742685-1338773759/watcher-3742685-1338773759 -o /tmp/evaluation-result-3742685-1338773759/solver-3742685-1338773759 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742685-1338773759.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.00 2.00 2.00 3/177 23407
/proc/meminfo: memFree=25954460/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=12732 CPUtime=0 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 490 0 0 0 0 0 0 0 20 0 1 0 343502720 13037568 426 33554432000 134512640 135840783 4290862656 4290861376 1582375 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 3183 427 329 325 0 2063 0
[startup+0.103397 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23407
/proc/meminfo: memFree=25954460/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=5908 CPUtime=0.09 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 854 0 0 0 9 0 0 0 20 0 1 0 343502720 6049792 734 33554432000 134512640 135840783 4290862656 4290817516 15504432 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 1477 734 344 325 0 413 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5908
[startup+0.200256 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23407
/proc/meminfo: memFree=25954460/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=5908 CPUtime=0.19 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 855 0 0 0 19 0 0 0 20 0 1 0 343502720 6049792 735 33554432000 134512640 135840783 4290862656 4290817516 15504432 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 1477 735 344 325 0 413 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5908
[startup+0.300252 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23407
/proc/meminfo: memFree=25954460/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=5908 CPUtime=0.29 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 855 0 0 0 29 0 0 0 20 0 1 0 343502720 6049792 735 33554432000 134512640 135840783 4290862656 4290817516 15504432 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 1477 735 344 325 0 413 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5908
[startup+0.700224 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23407
/proc/meminfo: memFree=25954460/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=8580 CPUtime=0.69 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 1539 0 0 0 69 0 0 0 20 0 1 0 343502720 8785920 1401 33554432000 134512640 135840783 4290862656 4290862016 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 2145 1401 349 325 0 1081 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8580
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23408
/proc/meminfo: memFree=25946260/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=15788 CPUtime=1.49 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 3348 0 0 0 149 0 0 0 20 0 1 0 343502720 16166912 3210 33554432000 134512640 135840783 4290862656 4290862016 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 3947 3210 349 325 0 2883 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15788
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23416
/proc/meminfo: memFree=25933184/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=28432 CPUtime=3.09 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 6525 0 0 0 308 1 0 0 20 0 1 0 343502720 29114368 6387 33554432000 134512640 135840783 4290862656 4290862016 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 7108 6387 349 325 0 6044 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28432
[startup+6.30028 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 23610
/proc/meminfo: memFree=25906560/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=45848 CPUtime=6.29 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 10851 0 0 0 628 1 0 0 20 0 1 0 343502720 46948352 10713 33554432000 134512640 135840783 4290862656 4290862016 134551058 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 11462 10713 349 325 0 10398 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45848
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 23610
/proc/meminfo: memFree=25872168/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=77432 CPUtime=12.69 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 18777 0 0 0 1266 3 0 0 20 0 1 0 343502720 79290368 18639 33554432000 134512640 135840783 4290862656 4290862016 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 19358 18639 349 325 0 18294 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77432
[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 23611
/proc/meminfo: memFree=25807140/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=135976 CPUtime=25.48 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 33412 0 0 0 2542 6 0 0 20 0 1 0 343502720 139239424 33274 33554432000 134512640 135840783 4290862656 4290862016 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 33994 33274 349 325 0 32930 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 135976
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 23611
/proc/meminfo: memFree=25716468/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=208768 CPUtime=51.08 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 51603 0 0 0 5097 11 0 0 20 0 1 0 343502720 213778432 51465 33554432000 134512640 135840783 4290862656 4290861936 1584793 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 52192 51465 349 325 0 51128 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 208768
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23611
/proc/meminfo: memFree=25588304/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=306248 CPUtime=102.27 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 75969 0 0 0 10211 16 0 0 20 0 1 0 343502720 313597952 75831 33554432000 134512640 135840783 4290862656 4290862016 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 76562 75831 349 325 0 75498 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 306248
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23611
/proc/meminfo: memFree=25476112/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=389284 CPUtime=162.26 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 96728 0 0 0 16203 23 0 0 20 0 1 0 343502720 398626816 96590 33554432000 134512640 135840783 4290862656 4290861968 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 97321 96590 349 325 0 96257 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 389284
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23612
/proc/meminfo: memFree=25353624/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=467376 CPUtime=222.26 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 116241 0 0 0 22198 28 0 0 20 0 1 0 343502720 478593024 116103 33554432000 134512640 135840783 4290862656 4290862016 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 116844 116103 349 325 0 115780 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 467376
[startup+282.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/178 23653
/proc/meminfo: memFree=27244316/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=522488 CPUtime=282.22 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 130060 0 0 0 28190 32 0 0 20 0 1 0 343502720 535027712 129884 33554432000 134512640 135840783 4290862656 4290862016 134551018 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 130622 129884 349 325 0 129558 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 522488
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 23654
/proc/meminfo: memFree=27099896/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=580740 CPUtime=342.18 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 144693 0 0 0 34183 35 0 0 20 0 1 0 343502720 594677760 144471 33554432000 134512640 135840783 4290862656 4290862016 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 145185 144471 349 325 0 144121 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 580740
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 23654
/proc/meminfo: memFree=26982496/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=621612 CPUtime=402.14 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 154954 0 0 0 40175 39 0 0 20 0 1 0 343502720 636530688 154684 33554432000 134512640 135840783 4290862656 4290862016 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 155403 154684 349 325 0 154339 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 621612
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 23654
/proc/meminfo: memFree=26881588/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=664196 CPUtime=462.11 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 165623 0 0 0 46168 43 0 0 20 0 1 0 343502720 680136704 165306 33554432000 134512640 135840783 4290862656 4290862016 134551324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 166049 165306 349 325 0 164985 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 664196
[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 23654
/proc/meminfo: memFree=26784028/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=711508 CPUtime=522.07 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 177519 0 0 0 52161 46 0 0 20 0 1 0 343502720 728584192 177159 33554432000 134512640 135840783 4290862656 4290862016 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 177877 177159 349 325 0 176813 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 711508
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 23654
/proc/meminfo: memFree=26692172/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=750196 CPUtime=582.04 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 187212 0 0 0 58156 48 0 0 20 0 1 0 343502720 768200704 186806 33554432000 134512640 135840783 4290862656 4290862016 134550878 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 187549 186806 349 325 0 186485 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 750196
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 23655
/proc/meminfo: memFree=26345744/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=943676 CPUtime=821.95 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 235729 0 0 0 82132 63 0 0 20 0 1 0 343502720 966324224 235177 33554432000 134512640 135840783 4290862656 4290862016 134551324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 235919 235177 349 325 0 234855 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 943676
[startup+882.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 23658
/proc/meminfo: memFree=26267028/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=988044 CPUtime=881.95 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 246831 0 0 0 88129 66 0 0 20 0 1 0 343502720 1011757056 246279 33554432000 134512640 135840783 4290862656 4290862008 3143888 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 247011 246279 349 325 0 245947 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 988044
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23659
/proc/meminfo: memFree=26200848/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1022976 CPUtime=941.94 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 255579 0 0 0 94125 69 0 0 20 0 1 0 343502720 1047527424 255027 33554432000 134512640 135840783 4290862656 4290862016 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 255744 255027 349 325 0 254680 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 1022976
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23659
/proc/meminfo: memFree=26129576/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1066544 CPUtime=1001.92 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 266457 0 0 0 100120 72 0 0 20 0 1 0 343502720 1092141056 265905 33554432000 134512640 135840783 4290862656 4290862016 134551081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 266636 265905 349 325 0 265572 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 1066544
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23659
/proc/meminfo: memFree=26060784/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1103040 CPUtime=1061.92 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 275593 0 0 0 106116 76 0 0 20 0 1 0 343502720 1129512960 275041 33554432000 134512640 135840783 4290862656 4290862016 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 275760 275041 349 325 0 274696 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1103040
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23659
/proc/meminfo: memFree=26003280/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1131704 CPUtime=1121.9 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 282763 0 0 0 112112 78 0 0 20 0 1 0 343502720 1158864896 282211 33554432000 134512640 135840783 4290862656 4290862016 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 282926 282211 349 325 0 281862 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1131704
[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 23659
/proc/meminfo: memFree=25941060/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1167216 CPUtime=1181.9 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 291627 0 0 0 118109 81 0 0 20 0 1 0 343502720 1195229184 291075 33554432000 134512640 135840783 4290862656 4290862016 134551052 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 291804 291075 349 325 0 290740 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1167216
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23660
/proc/meminfo: memFree=25877724/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1201740 CPUtime=1241.89 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 300243 0 0 0 124106 83 0 0 20 0 1 0 343502720 1230581760 299691 33554432000 134512640 135840783 4290862656 4290862016 134551312 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 300435 299691 349 325 0 299371 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1201740
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23660
/proc/meminfo: memFree=25816000/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1233080 CPUtime=1301.88 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 308081 0 0 0 130103 85 0 0 20 0 1 0 343502720 1262673920 307529 33554432000 134512640 135840783 4290862656 4290862016 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 308270 307529 349 325 0 307206 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1233080
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23660
/proc/meminfo: memFree=25760344/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1262372 CPUtime=1361.87 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 315407 0 0 0 136099 88 0 0 20 0 1 0 343502720 1292668928 314855 33554432000 134512640 135840783 4290862656 4290862016 134551076 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 315593 314855 349 325 0 314529 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1262372
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23660
/proc/meminfo: memFree=25715208/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1281928 CPUtime=1421.87 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 320319 0 0 0 142096 91 0 0 20 0 1 0 343502720 1312694272 319767 33554432000 134512640 135840783 4290862656 4290862016 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 320482 319767 349 325 0 319418 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1281928
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23663
/proc/meminfo: memFree=25671660/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1304576 CPUtime=1481.86 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 325982 0 0 0 148093 93 0 0 20 0 1 0 343502720 1335885824 325430 33554432000 134512640 135840783 4290862656 4290862016 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 326144 325430 349 325 0 325080 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1304576
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23687
/proc/meminfo: memFree=25626200/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1326936 CPUtime=1541.85 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 331561 0 0 0 154090 95 0 0 20 0 1 0 343502720 1358782464 331009 33554432000 134512640 135840783 4290862656 4290862016 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 331734 331009 349 325 0 330670 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1326936
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23687
/proc/meminfo: memFree=25581932/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1348476 CPUtime=1601.83 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 336949 0 0 0 160086 97 0 0 20 0 1 0 343502720 1380839424 336397 33554432000 134512640 135840783 4290862656 4290850576 134586540 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 337119 336397 349 325 0 336055 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1348476
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 23687
/proc/meminfo: memFree=25537044/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1367676 CPUtime=1661.82 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 341750 0 0 0 166084 98 0 0 20 0 1 0 343502720 1400500224 341198 33554432000 134512640 135840783 4290862656 4290862016 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 341919 341198 349 325 0 340855 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1367676
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23687
/proc/meminfo: memFree=25484716/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1392484 CPUtime=1721.81 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 347940 0 0 0 172081 100 0 0 20 0 1 0 343502720 1425903616 347388 33554432000 134512640 135840783 4290862656 4290862016 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 348121 347388 349 325 0 347057 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1392484
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23687
/proc/meminfo: memFree=25434992/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1413076 CPUtime=1781.8 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 353088 0 0 0 178078 102 0 0 20 0 1 0 343502720 1446989824 352536 33554432000 134512640 135840783 4290862656 4290862016 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 353269 352536 349 325 0 352205 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1413076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23687
/proc/meminfo: memFree=25424452/32873648 swapFree=6864/6864
[pid=23407] ppid=23405 vsize=1418644 CPUtime=1800.01 cores=1,3,5,7
/proc/23407/stat : 23407 (bsolo3.0.17) R 23405 23407 20253 0 -1 4202496 354495 0 0 0 179898 103 0 0 20 0 1 0 343502720 1452691456 353943 33554432000 134512640 135840783 4290862656 4290862016 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23407/statm: 354661 353943 349 325 0 353597 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1418644
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.54
CPU time (s): 1800.06
CPU user time (s): 1798.99
CPU system time (s): 1.07084
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 1418644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.07084
maximum resident set size= 1415772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354498
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= 434
involuntary context switches= 1959
runsolver used 3.36049 second user time and 9.81451 second system time
The end