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-3733395-1338695522/watcher-3733395-1338695522 -o /tmp/evaluation-result-3733395-1338695522/solver-3733395-1338695522 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733395-1338695522.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 1.99 1.99 3/178 29650
/proc/meminfo: memFree=25290708/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=14556 CPUtime=0 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 479 0 0 0 0 0 0 0 20 0 1 0 335677624 14905344 416 33554432000 134512640 135840783 4293357136 4293355840 8762663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 3639 417 331 325 0 2063 0
[startup+0.00829301 s]
/proc/loadavg: 1.93 1.99 1.99 3/178 29650
/proc/meminfo: memFree=25290708/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=14704 CPUtime=0 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 335677624 15056896 454 33554432000 134512640 135840783 4293357136 4293355932 5387312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 3676 456 341 325 0 2100 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14704
[startup+0.100289 s]
/proc/loadavg: 1.93 1.99 1.99 3/178 29650
/proc/meminfo: memFree=25290708/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=11556 CPUtime=0.09 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 2084 0 0 0 9 0 0 0 20 0 1 0 335677624 11833344 1903 33554432000 134512640 135840783 4293357136 4293354432 8762663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 2889 1903 671 325 0 1313 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11556
[startup+0.300295 s]
/proc/loadavg: 1.93 1.99 1.99 3/178 29650
/proc/meminfo: memFree=25290708/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=18824 CPUtime=0.29 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 5022 0 0 0 27 2 0 0 20 0 1 0 335677624 19275776 3794 33554432000 134512640 135840783 4293357136 4292724156 5387312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 4706 3794 345 325 0 3642 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18824
[startup+0.700254 s]
/proc/loadavg: 1.93 1.99 1.99 3/178 29650
/proc/meminfo: memFree=25290708/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=18824 CPUtime=0.69 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 5022 0 0 0 66 3 0 0 20 0 1 0 335677624 19275776 3794 33554432000 134512640 135840783 4293357136 4292724156 5387312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 4706 3794 345 325 0 3642 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18824
[startup+1.50028 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 29651
/proc/meminfo: memFree=25276780/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=23060 CPUtime=1.49 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 6083 0 0 0 146 3 0 0 20 0 1 0 335677624 23613440 4855 33554432000 134512640 135840783 4293357136 4293355476 8757418 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 5765 4855 348 325 0 4701 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23060
[startup+3.10029 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 29651
/proc/meminfo: memFree=25267604/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=33628 CPUtime=3.09 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 8727 0 0 0 305 4 0 0 20 0 1 0 335677624 34435072 7499 33554432000 134512640 135840783 4293357136 4293356224 8762663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 8407 7499 348 325 0 7343 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33628
[startup+6.30028 s]
/proc/loadavg: 1.94 1.99 1.99 3/179 29651
/proc/meminfo: memFree=25247516/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=50180 CPUtime=6.29 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 12882 0 0 0 625 4 0 0 20 0 1 0 335677624 51384320 11654 33554432000 134512640 135840783 4293357136 4293356416 8765024 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 12545 11654 348 325 0 11481 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50180
[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 3/179 29651
/proc/meminfo: memFree=25230064/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=67000 CPUtime=12.68 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 17075 0 0 0 1263 5 0 0 20 0 1 0 335677624 68608000 15847 33554432000 134512640 135840783 4293357136 4293356436 8768033 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 16750 15847 348 325 0 15686 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 67000
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 29651
/proc/meminfo: memFree=25189036/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=106752 CPUtime=25.48 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 27017 0 0 0 2540 8 0 0 20 0 1 0 335677624 109314048 25789 33554432000 134512640 135840783 4293357136 4293354704 8759950 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 26688 25789 348 325 0 25624 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 106752
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 29651
/proc/meminfo: memFree=25120540/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=176884 CPUtime=51.08 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 44571 0 0 0 5096 12 0 0 20 0 1 0 335677624 181129216 43343 33554432000 134512640 135840783 4293357136 4293356496 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 44221 43343 348 325 0 43157 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 176884
[startup+102.307 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 29651
/proc/meminfo: memFree=24748832/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=545600 CPUtime=102.28 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 136749 0 0 0 10199 29 0 0 20 0 1 0 335677624 558694400 135521 33554432000 134512640 135840783 4293357136 4293349456 134586540 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 136400 135521 348 325 0 135336 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 545600
[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 29651
/proc/meminfo: memFree=24569184/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=725504 CPUtime=162.27 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 181717 0 0 0 16186 41 0 0 20 0 1 0 335677624 742916096 180489 33554432000 134512640 135840783 4293357136 4293356496 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 181376 180489 348 325 0 180312 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 725504
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 2/177 29653
/proc/meminfo: memFree=27387096/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=788656 CPUtime=222.26 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 197510 0 0 0 22180 46 0 0 20 0 1 0 335677624 807583744 196282 33554432000 134512640 135840783 4293357136 4293351888 8762663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 197164 196282 348 325 0 196100 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 788656
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29691
/proc/meminfo: memFree=27308448/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=825252 CPUtime=282.22 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 206666 0 0 0 28172 50 0 0 20 0 1 0 335677624 845058048 205422 33554432000 134512640 135840783 4293357136 4293356496 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 206313 205422 348 325 0 205249 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 825252
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29691
/proc/meminfo: memFree=27253544/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=862508 CPUtime=342.21 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 215995 0 0 0 34167 54 0 0 20 0 1 0 335677624 883208192 214748 33554432000 134512640 135840783 4293357136 4293356448 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 215627 214748 348 325 0 214563 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 862508
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29691
/proc/meminfo: memFree=27211536/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=889856 CPUtime=402.19 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 222811 0 0 0 40163 56 0 0 20 0 1 0 335677624 911212544 221563 33554432000 134512640 135840783 4293357136 4293356448 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 222464 221563 348 325 0 221400 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 889856
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29691
/proc/meminfo: memFree=27178456/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=914296 CPUtime=462.18 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 228921 0 0 0 46159 59 0 0 20 0 1 0 335677624 936239104 227673 33554432000 134512640 135840783 4293357136 4293356448 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 228574 227674 348 325 0 227510 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 914296
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29695
/proc/meminfo: memFree=27150576/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=935172 CPUtime=522.18 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 234164 0 0 0 52156 62 0 0 20 0 1 0 335677624 957616128 232916 33554432000 134512640 135840783 4293357136 4293356448 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 233793 232916 348 325 0 232729 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 935172
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29717
/proc/meminfo: memFree=27124812/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=954724 CPUtime=582.16 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 239054 0 0 0 58152 64 0 0 20 0 1 0 335677624 977637376 237806 33554432000 134512640 135840783 4293357136 4293356448 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 238681 237806 348 325 0 237617 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 954724
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29718
/proc/meminfo: memFree=26986096/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1047732 CPUtime=882.02 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 262411 0 0 0 88127 75 0 0 20 0 1 0 335677624 1072877568 261089 33554432000 134512640 135840783 4293357136 4293356448 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 261933 261089 348 325 0 260869 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 1047732
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29718
/proc/meminfo: memFree=26936776/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1091332 CPUtime=942.01 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 273334 0 0 0 94121 80 0 0 20 0 1 0 335677624 1117523968 272012 33554432000 134512640 135840783 4293357136 4293356448 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 272833 272012 348 325 0 271769 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 1091332
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29718
/proc/meminfo: memFree=26890896/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1130964 CPUtime=1002.01 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 283247 0 0 0 100116 85 0 0 20 0 1 0 335677624 1158107136 281925 33554432000 134512640 135840783 4293357136 4293351808 8762663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 282741 281925 348 325 0 281677 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1130964
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29718
/proc/meminfo: memFree=26739120/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1259000 CPUtime=1062 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 315249 0 0 0 106106 94 0 0 20 0 1 0 335677624 1289216000 313927 33554432000 134512640 135840783 4293357136 4293356324 8757321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 314750 313927 348 325 0 313686 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1259000
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29722
/proc/meminfo: memFree=26654668/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1336092 CPUtime=1121.99 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 334519 0 0 0 112100 99 0 0 20 0 1 0 335677624 1368158208 333197 33554432000 134512640 135840783 4293357136 4293356448 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 334023 333197 348 325 0 332959 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1336092
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29722
/proc/meminfo: memFree=26460368/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1523832 CPUtime=1181.98 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 381961 0 0 0 118090 108 0 0 20 0 1 0 335677624 1560403968 380141 33554432000 134512640 135840783 4293357136 4293356560 134546114 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 380958 380141 348 325 0 379894 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1523832
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29722
/proc/meminfo: memFree=26455656/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1523832 CPUtime=1241.97 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 381961 0 0 0 124089 108 0 0 20 0 1 0 335677624 1560403968 380141 33554432000 134512640 135840783 4293357136 4293356560 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 380958 380141 348 325 0 379894 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1523832
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29722
/proc/meminfo: memFree=26451564/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1523832 CPUtime=1301.97 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 381961 0 0 0 130089 108 0 0 20 0 1 0 335677624 1560403968 380141 33554432000 134512640 135840783 4293357136 4293356560 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 380958 380141 348 325 0 379894 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1523832
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29722
/proc/meminfo: memFree=26448216/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1523832 CPUtime=1361.95 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 381961 0 0 0 136087 108 0 0 20 0 1 0 335677624 1560403968 380141 33554432000 134512640 135840783 4293357136 4293356448 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 380958 380141 348 325 0 379894 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1523832
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29723
/proc/meminfo: memFree=26444248/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1523832 CPUtime=1421.95 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 381961 0 0 0 142087 108 0 0 20 0 1 0 335677624 1560403968 380141 33554432000 134512640 135840783 4293357136 4293356496 134550913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 380958 380141 348 325 0 379894 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1523832
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29723
/proc/meminfo: memFree=26439660/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1523832 CPUtime=1481.93 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 381961 0 0 0 148085 108 0 0 20 0 1 0 335677624 1560403968 380141 33554432000 134512640 135840783 4293357136 4293356448 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 380958 380141 348 325 0 379894 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1523832
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29723
/proc/meminfo: memFree=26432964/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1523832 CPUtime=1541.92 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 381961 0 0 0 154084 108 0 0 20 0 1 0 335677624 1560403968 380141 33554432000 134512640 135840783 4293357136 4293356448 134551071 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 380958 380141 348 325 0 379894 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1523832
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29723
/proc/meminfo: memFree=26424160/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1523832 CPUtime=1601.91 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 381970 0 0 0 160083 108 0 0 20 0 1 0 335677624 1560403968 380141 33554432000 134512640 135840783 4293357136 4293356448 134551009 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 380958 380141 348 325 0 379894 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1523832
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 29723
/proc/meminfo: memFree=26411168/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1523832 CPUtime=1661.89 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 381979 0 0 0 166081 108 0 0 20 0 1 0 335677624 1560403968 380141 33554432000 134512640 135840783 4293357136 4293356496 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 380958 380141 348 325 0 379894 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1523832
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 29727
/proc/meminfo: memFree=26402012/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1523832 CPUtime=1721.88 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 381980 0 0 0 172080 108 0 0 20 0 1 0 335677624 1560403968 380141 33554432000 134512640 135840783 4293357136 4293356448 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 380958 380141 348 325 0 379894 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1523832
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29727
/proc/meminfo: memFree=26386424/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1523832 CPUtime=1781.87 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 381988 0 0 0 178079 108 0 0 20 0 1 0 335677624 1560403968 380141 33554432000 134512640 135840783 4293357136 4293356496 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 380958 380141 348 325 0 379894 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1523832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29727
/proc/meminfo: memFree=26382936/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1523832 CPUtime=1800.07 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 381988 0 0 0 179899 108 0 0 20 0 1 0 335677624 1560403968 380141 33554432000 134512640 135840783 4293357136 4293356496 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 380958 380141 348 325 0 379894 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1523832
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29727
/proc/meminfo: memFree=26382936/32873844 swapFree=7124/7124
[pid=29650] ppid=29648 vsize=1523832 CPUtime=1800.07 cores=0,2,4,6
/proc/29650/stat : 29650 (bsolo3.0.17) R 29648 29650 27204 0 -1 4202496 381988 0 0 0 179899 108 0 0 20 0 1 0 335677624 1560403968 380141 33554432000 134512640 135840783 4293357136 4293356496 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29650/statm: 380958 380141 348 325 0 379894 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1523832
Child status: 15
Real time (s): 1800.52
CPU time (s): 1800.09
CPU user time (s): 1799
CPU system time (s): 1.09483
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 1525824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.09483
maximum resident set size= 1522556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381991
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= 220
involuntary context switches= 1839
runsolver used 3.42048 second user time and 9.13561 second system time
The end