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-3737573-1338722924/watcher-3737573-1338722924 -o /tmp/evaluation-result-3737573-1338722924/solver-3737573-1338722924 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737573-1338722924.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.05 2.01 3/176 9326
/proc/meminfo: memFree=23848760/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=2776 CPUtime=0 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 338419681 2842624 48 33554432000 134512640 135840783 4286769088 4286767072 11493623 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 694 51 39 325 0 32 0
[startup+0.00999594 s]
/proc/loadavg: 2.07 2.05 2.01 3/176 9326
/proc/meminfo: memFree=23848760/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=5000 CPUtime=0 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 338419681 5120000 479 33554432000 134512640 135840783 4286769088 4286767696 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 1250 480 334 325 0 177 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5000
[startup+0.100255 s]
/proc/loadavg: 2.07 2.05 2.01 3/176 9326
/proc/meminfo: memFree=23848760/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=6172 CPUtime=0.09 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 873 0 0 0 9 0 0 0 20 0 1 0 338419681 6320128 800 33554432000 134512640 135840783 4286769088 4286731680 134550797 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 1543 800 345 325 0 479 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6172
[startup+0.300223 s]
/proc/loadavg: 2.07 2.05 2.01 3/176 9326
/proc/meminfo: memFree=23848760/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=6172 CPUtime=0.29 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 873 0 0 0 29 0 0 0 20 0 1 0 338419681 6320128 800 33554432000 134512640 135840783 4286769088 4286731680 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 1543 800 345 325 0 479 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6172
[startup+0.700225 s]
/proc/loadavg: 2.07 2.05 2.01 3/176 9326
/proc/meminfo: memFree=23848760/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=6172 CPUtime=0.69 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 873 0 0 0 69 0 0 0 20 0 1 0 338419681 6320128 800 33554432000 134512640 135840783 4286769088 4286731624 1584837 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 1543 800 345 325 0 479 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6172
[startup+1.50023 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 9327
/proc/meminfo: memFree=23846628/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=6172 CPUtime=1.49 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 873 0 0 0 149 0 0 0 20 0 1 0 338419681 6320128 800 33554432000 134512640 135840783 4286769088 4286731680 134551285 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 1543 800 345 325 0 479 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6172
[startup+3.10023 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 9327
/proc/meminfo: memFree=23846380/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=10828 CPUtime=3.08 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 2091 0 0 0 308 0 0 0 20 0 1 0 338419681 11087872 1969 33554432000 134512640 135840783 4286769088 4286766784 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 2707 1969 351 325 0 1643 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10828
[startup+6.30026 s]
/proc/loadavg: 2.07 2.04 2.01 3/177 9327
/proc/meminfo: memFree=23829052/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=26280 CPUtime=6.29 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 5959 0 0 0 628 1 0 0 20 0 1 0 338419681 26910720 5837 33554432000 134512640 135840783 4286769088 4286767312 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 6570 5837 351 325 0 5506 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26280
[startup+12.7002 s]
/proc/loadavg: 2.06 2.04 2.01 3/177 9327
/proc/meminfo: memFree=23810624/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=42612 CPUtime=12.69 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 10036 0 0 0 1266 3 0 0 20 0 1 0 338419681 43634688 9914 33554432000 134512640 135840783 4286769088 4286767120 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 10653 9914 351 325 0 9589 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42612
[startup+25.5003 s]
/proc/loadavg: 2.05 2.04 2.01 3/177 9327
/proc/meminfo: memFree=23789024/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=63660 CPUtime=25.48 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 15293 0 0 0 2544 4 0 0 20 0 1 0 338419681 65187840 15171 33554432000 134512640 135840783 4286769088 4286768400 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 15915 15171 351 325 0 14851 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63660
[startup+51.1003 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 9327
/proc/meminfo: memFree=23764812/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=88516 CPUtime=51.08 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 21519 0 0 0 5101 7 0 0 20 0 1 0 338419681 90640384 21397 33554432000 134512640 135840783 4286769088 4286768400 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 22129 21397 351 325 0 21065 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88516
[startup+102.306 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 9330
/proc/meminfo: memFree=23740032/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=112852 CPUtime=102.27 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 27605 0 0 0 10216 11 0 0 20 0 1 0 338419681 115560448 27483 33554432000 134512640 135840783 4286769088 4286768448 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 28213 27483 351 325 0 27149 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 112852
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9330
/proc/meminfo: memFree=23734488/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=117508 CPUtime=162.27 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 28890 0 0 0 16214 13 0 0 20 0 1 0 338419681 120328192 28652 33554432000 134512640 135840783 4286769088 4286768448 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 29377 28652 351 325 0 28313 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 117508
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9331
/proc/meminfo: memFree=23734408/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=117508 CPUtime=222.25 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 28896 0 0 0 22212 13 0 0 20 0 1 0 338419681 120328192 28652 33554432000 134512640 135840783 4286769088 4286768448 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 29377 28652 351 325 0 28313 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 117508
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 9332
/proc/meminfo: memFree=23709756/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=142568 CPUtime=282.19 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 35198 0 0 0 28203 16 0 0 20 0 1 0 338419681 145989632 34907 33554432000 134512640 135840783 4286769088 4286768224 1579690 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 35642 34907 351 325 0 34578 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 142568
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9332
/proc/meminfo: memFree=23688676/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=164172 CPUtime=342.17 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 40612 0 0 0 34197 20 0 0 20 0 1 0 338419681 168112128 40306 33554432000 134512640 135840783 4286769088 4286768448 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 41043 40306 351 325 0 39979 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 164172
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9332
/proc/meminfo: memFree=23686444/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=165628 CPUtime=402.16 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 41137 0 0 0 40195 21 0 0 20 0 1 0 338419681 169603072 40664 33554432000 134512640 135840783 4286769088 4286768448 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 41407 40664 351 325 0 40343 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 165628
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9332
/proc/meminfo: memFree=23686820/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=165936 CPUtime=462.15 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 41209 0 0 0 46194 21 0 0 20 0 1 0 338419681 169918464 40736 33554432000 134512640 135840783 4286769088 4286768448 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 41484 40736 351 325 0 40420 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 165936
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9333
/proc/meminfo: memFree=23686696/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=165936 CPUtime=522.14 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 41209 0 0 0 52193 21 0 0 20 0 1 0 338419681 169918464 40736 33554432000 134512640 135840783 4286769088 4286768448 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 41484 40736 351 325 0 40420 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 165936
[startup+582.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 9333
/proc/meminfo: memFree=23686944/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=165936 CPUtime=582.13 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 41209 0 0 0 58192 21 0 0 20 0 1 0 338419681 169918464 40736 33554432000 134512640 135840783 4286769088 4286768400 134551646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 41484 40736 351 325 0 40420 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 165936
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9337
/proc/meminfo: memFree=23687052/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=165936 CPUtime=822.1 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 41377 0 0 0 82189 21 0 0 20 0 1 0 338419681 169918464 40736 33554432000 134512640 135840783 4286769088 4286768400 134551318 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 41484 40736 351 325 0 40420 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 165936
[startup+882.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 9376
/proc/meminfo: memFree=25324460/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=165936 CPUtime=882.09 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 41377 0 0 0 88188 21 0 0 20 0 1 0 338419681 169918464 40736 33554432000 134512640 135840783 4286769088 4286768448 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 41484 40736 351 325 0 40420 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 165936
[startup+942.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9376
/proc/meminfo: memFree=25182116/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=179320 CPUtime=942.07 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 44729 0 0 0 94184 23 0 0 20 0 1 0 338419681 183623680 44088 33554432000 134512640 135840783 4286769088 4286768448 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 44830 44088 351 325 0 43766 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 179320
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 9376
/proc/meminfo: memFree=25010700/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=198536 CPUtime=1002.05 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 49565 0 0 0 100178 27 0 0 20 0 1 0 338419681 203300864 48901 33554432000 134512640 135840783 4286769088 4286768400 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 49634 48901 351 325 0 48570 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 198536
[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 9376
/proc/meminfo: memFree=24836504/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=201188 CPUtime=1062.04 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 50439 0 0 0 106176 28 0 0 20 0 1 0 338419681 206016512 49573 33554432000 134512640 135840783 4286769088 4286768448 134551383 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 50297 49573 351 325 0 49233 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 201188
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 9376
/proc/meminfo: memFree=24651780/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=201188 CPUtime=1122.04 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 50439 0 0 0 112176 28 0 0 20 0 1 0 338419681 206016512 49573 33554432000 134512640 135840783 4286769088 4286768448 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 50297 49573 351 325 0 49233 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 201188
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9377
/proc/meminfo: memFree=24432944/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=201188 CPUtime=1182.03 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 50439 0 0 0 118175 28 0 0 20 0 1 0 338419681 206016512 49573 33554432000 134512640 135840783 4286769088 4286768400 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 50297 49573 351 325 0 49233 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 201188
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9377
/proc/meminfo: memFree=24278468/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=201188 CPUtime=1242.02 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 50439 0 0 0 124174 28 0 0 20 0 1 0 338419681 206016512 49573 33554432000 134512640 135840783 4286769088 4286768448 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 50297 49573 351 325 0 49233 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 201188
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9380
/proc/meminfo: memFree=24213392/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=201188 CPUtime=1302.01 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 50439 0 0 0 130173 28 0 0 20 0 1 0 338419681 206016512 49573 33554432000 134512640 135840783 4286769088 4286768448 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 50297 49573 351 325 0 49233 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 201188
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9380
/proc/meminfo: memFree=24136300/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=201188 CPUtime=1362 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 50439 0 0 0 136172 28 0 0 20 0 1 0 338419681 206016512 49573 33554432000 134512640 135840783 4286769088 4286768448 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 50297 49573 351 325 0 49233 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 201188
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9380
/proc/meminfo: memFree=24065276/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=201188 CPUtime=1422 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 50439 0 0 0 142172 28 0 0 20 0 1 0 338419681 206016512 49573 33554432000 134512640 135840783 4286769088 4286768448 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 50297 49573 351 325 0 49233 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 201188
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9381
/proc/meminfo: memFree=23979496/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=208992 CPUtime=1481.98 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 52386 0 0 0 148168 30 0 0 20 0 1 0 338419681 214007808 51520 33554432000 134512640 135840783 4286769088 4286768448 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 52248 51520 351 325 0 51184 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 208992
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9381
/proc/meminfo: memFree=23859988/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=222244 CPUtime=1541.97 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 55682 0 0 0 154164 33 0 0 20 0 1 0 338419681 227577856 54816 33554432000 134512640 135840783 4286769088 4286768400 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 55561 54816 351 325 0 54497 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 222244
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9381
/proc/meminfo: memFree=23737256/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=225292 CPUtime=1601.96 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 56686 0 0 0 160163 33 0 0 20 0 1 0 338419681 230699008 55598 33554432000 134512640 135840783 4286769088 4286768512 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 56323 55598 351 325 0 55259 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 225292
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9381
/proc/meminfo: memFree=23603116/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=225292 CPUtime=1661.95 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 56686 0 0 0 166162 33 0 0 20 0 1 0 338419681 230699008 55598 33554432000 134512640 135840783 4286769088 4286768400 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 56323 55598 351 325 0 55259 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 225292
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9381
/proc/meminfo: memFree=23443184/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=225292 CPUtime=1721.94 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 56686 0 0 0 172161 33 0 0 20 0 1 0 338419681 230699008 55598 33554432000 134512640 135840783 4286769088 4286768448 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 56323 55598 351 325 0 55259 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 225292
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9382
/proc/meminfo: memFree=23225716/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=225292 CPUtime=1781.93 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 56686 0 0 0 178160 33 0 0 20 0 1 0 338419681 230699008 55598 33554432000 134512640 135840783 4286769088 4286768448 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 56323 55598 351 325 0 55259 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 225292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9382
/proc/meminfo: memFree=23149424/32873648 swapFree=6852/6852
[pid=9326] ppid=9324 vsize=225292 CPUtime=1800.04 cores=1,3,5,7
/proc/9326/stat : 9326 (bsolo3.0.17) R 9324 9326 8706 0 -1 4202496 56686 0 0 0 179971 33 0 0 20 0 1 0 338419681 230699008 55598 33554432000 134512640 135840783 4286769088 4286768400 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9326/statm: 56323 55598 351 325 0 55259 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 225292
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.41
CPU time (s): 1800.05
CPU user time (s): 1799.71
CPU system time (s): 0.336948
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 226180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.336948
maximum resident set size= 223280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56689
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= 105
involuntary context switches= 1852
runsolver used 3.36349 second user time and 9.29259 second system time
The end