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-3736282-1338709016/watcher-3736282-1338709016 -o /tmp/evaluation-result-3736282-1338709016/solver-3736282-1338709016 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736282-1338709016.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: 3.15 2.93 2.37 3/177 10418
/proc/meminfo: memFree=27231708/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=28408 CPUtime=0 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 455 0 0 0 0 0 0 0 20 0 1 0 337026047 29089792 392 33554432000 134512640 135840783 4292275936 4292274656 12829991 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10418/statm: 7102 393 323 325 0 2062 0
[startup+0.0577749 s]
/proc/loadavg: 3.15 2.93 2.37 3/177 10418
/proc/meminfo: memFree=27231708/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=32712 CPUtime=0.05 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 1858 0 0 0 5 0 0 0 20 0 1 0 337026047 33497088 1627 33554432000 134512640 135840783 4292275936 4292274656 12829991 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10418/statm: 8178 1628 480 325 0 3138 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 32712
[startup+0.100259 s]
/proc/loadavg: 3.15 2.93 2.37 3/177 10418
/proc/meminfo: memFree=27231708/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=29952 CPUtime=0.09 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 3415 0 0 0 9 0 0 0 20 0 1 0 337026047 30670848 2930 33554432000 134512640 135840783 4292275936 4292274752 134538701 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10418/statm: 7488 2930 599 325 0 2448 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29952
[startup+0.300249 s]
/proc/loadavg: 3.15 2.93 2.37 3/177 10418
/proc/meminfo: memFree=27231708/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=41336 CPUtime=0.28 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 6620 0 0 0 28 0 0 0 20 0 1 0 337026047 42328064 6333 33554432000 134512640 135840783 4292275936 4292274868 12454655 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10418/statm: 10334 6334 1142 325 0 5294 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 41336
[startup+0.70023 s]
/proc/loadavg: 3.15 2.93 2.37 3/177 10418
/proc/meminfo: memFree=27231708/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=56984 CPUtime=0.68 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 11723 0 0 0 67 1 0 0 20 0 1 0 337026047 58351616 11243 33554432000 134512640 135840783 4292275936 4292275088 134524112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10418/statm: 14246 11243 2130 325 0 9206 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56984
[startup+1.50023 s]
/proc/loadavg: 3.15 2.93 2.37 3/178 10419
/proc/meminfo: memFree=27181920/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=82636 CPUtime=1.48 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 20058 0 0 0 146 2 0 0 20 0 1 0 337026047 84619264 19578 33554432000 134512640 135840783 4292275936 4292275088 134524142 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10418/statm: 20659 19578 4053 325 0 15619 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 82636
[startup+3.10027 s]
/proc/loadavg: 3.15 2.93 2.37 3/177 10419
/proc/meminfo: memFree=27129404/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=108696 CPUtime=3.09 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 29923 0 0 0 300 9 0 0 20 0 1 0 337026047 111304704 25780 33554432000 134512640 135840783 4292275936 4289835596 14160944 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10418/statm: 27174 25780 342 325 0 26110 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108696
[startup+6.30031 s]
/proc/loadavg: 3.06 2.91 2.37 3/177 10419
/proc/meminfo: memFree=27113168/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=134564 CPUtime=6.28 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 37443 0 0 0 598 30 0 0 20 0 1 0 337026047 137793536 32219 33554432000 134512640 135840783 4292275936 4289835420 14160944 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 33641 32219 344 325 0 32577 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 134564
[startup+12.7003 s]
/proc/loadavg: 2.97 2.90 2.36 4/177 10419
/proc/meminfo: memFree=27109828/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=128204 CPUtime=12.69 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 37752 0 0 0 1225 44 0 0 20 0 1 0 337026047 131280896 30654 33554432000 134512640 135840783 4292275936 4292274832 135468248 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 32051 30654 369 325 0 30987 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 128204
[startup+25.5003 s]
/proc/loadavg: 2.76 2.85 2.36 3/177 10419
/proc/meminfo: memFree=27110448/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=128204 CPUtime=25.49 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 37752 0 0 0 2505 44 0 0 20 0 1 0 337026047 131280896 30654 33554432000 134512640 135840783 4292275936 4292274832 135468254 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 32051 30654 369 325 0 30987 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 128204
[startup+51.1003 s]
/proc/loadavg: 2.50 2.78 2.35 3/177 10419
/proc/meminfo: memFree=27110572/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=128204 CPUtime=51.08 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 37752 0 0 0 5064 44 0 0 20 0 1 0 337026047 131280896 30654 33554432000 134512640 135840783 4292275936 4292274832 135468254 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 32051 30654 369 325 0 30987 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 128204
[startup+102.3 s]
/proc/loadavg: 2.21 2.66 2.33 3/177 10419
/proc/meminfo: memFree=27109628/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=128204 CPUtime=102.28 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 37921 0 0 0 10184 44 0 0 20 0 1 0 337026047 131280896 30654 33554432000 134512640 135840783 4292275936 4292274832 135467670 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 32051 30654 369 325 0 30987 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 128204
[startup+162.3 s]
/proc/loadavg: 2.08 2.54 2.30 3/177 10420
/proc/meminfo: memFree=27108788/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=128204 CPUtime=162.25 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 1120981 0 0 0 16001 224 0 0 20 0 1 0 337026047 131280896 30674 33554432000 134512640 135840783 4292275936 4292274832 135468237 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 32051 30674 369 325 0 30987 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 128204
[startup+222.306 s]
/proc/loadavg: 2.03 2.44 2.28 3/178 10423
/proc/meminfo: memFree=27105716/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=131076 CPUtime=222.23 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 4294021 0 0 0 21450 773 0 0 20 0 1 0 337026047 134221824 31626 33554432000 134512640 135840783 4292275936 4292274832 135468091 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 32769 31639 369 325 0 31705 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 131076
[startup+282.3 s]
/proc/loadavg: 2.01 2.35 2.26 3/177 10423
/proc/meminfo: memFree=27105476/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=132604 CPUtime=282.21 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 8748751 0 0 0 26663 1558 0 0 20 0 1 0 337026047 135786496 31527 33554432000 134512640 135840783 4292275936 4292274832 135468086 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 33151 31527 369 325 0 32087 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 132604
[startup+342.3 s]
/proc/loadavg: 2.00 2.29 2.24 3/177 10423
/proc/meminfo: memFree=27105104/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=130264 CPUtime=342.21 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 14274177 0 0 0 31657 2564 0 0 20 0 1 0 337026047 133390336 31598 33554432000 134512640 135840783 4292275936 4292274704 14160944 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 32566 31598 369 325 0 31502 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 130264
[startup+402.3 s]
/proc/loadavg: 2.00 2.23 2.23 3/177 10423
/proc/meminfo: memFree=27104484/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=135236 CPUtime=402.19 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 19840528 0 0 0 36593 3626 0 0 20 0 1 0 337026047 138481664 32819 33554432000 134512640 135840783 4292275936 4292274832 135468086 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 33809 32833 369 325 0 32745 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 135236
[startup+462.3 s]
/proc/loadavg: 2.00 2.19 2.21 3/177 10424
/proc/meminfo: memFree=27101136/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=137040 CPUtime=462.19 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 26329648 0 0 0 41374 4845 0 0 20 0 1 0 337026047 140328960 33242 33554432000 134512640 135840783 4292275936 4292274832 135468091 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 34260 33242 369 325 0 33196 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 137040
[startup+522.3 s]
/proc/loadavg: 2.00 2.15 2.19 3/177 10424
/proc/meminfo: memFree=27103364/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=133068 CPUtime=522.18 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 32533926 0 0 0 46129 6089 0 0 20 0 1 0 337026047 136261632 31908 33554432000 134512640 135840783 4292275936 4292274832 135467363 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 33267 31922 369 325 0 32203 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 133068
[startup+582.3 s]
/proc/loadavg: 2.00 2.12 2.18 3/177 10424
/proc/meminfo: memFree=27100076/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=138016 CPUtime=582.17 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 38744700 0 0 0 50841 7376 0 0 20 0 1 0 337026047 141328384 33370 33554432000 134512640 135840783 4292275936 4292274832 135467970 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 34504 33381 369 325 0 33440 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 138016
[startup+642.3 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 1.99 2.03 2.11 3/177 10695
/proc/meminfo: memFree=27384432/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=143916 CPUtime=882.13 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 73356077 0 0 0 73928 14285 0 0 20 0 1 0 337026047 147369984 33429 33554432000 134512640 135840783 4292275936 4292274832 135467970 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 35979 33429 369 325 0 34915 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 143916
[startup+942.3 s]
/proc/loadavg: 1.99 2.02 2.10 3/177 10695
/proc/meminfo: memFree=27377604/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=138240 CPUtime=942.11 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 81193237 0 0 0 78391 15820 0 0 20 0 1 0 337026047 141557760 33290 33554432000 134512640 135840783 4292275936 4292274832 135467363 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 34560 33296 369 325 0 33496 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 138240
[startup+1002.3 s]
/proc/loadavg: 1.99 2.01 2.09 3/177 10771
/proc/meminfo: memFree=27397468/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=137828 CPUtime=1002.1 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 89883706 0 0 0 82774 17436 0 0 20 0 1 0 337026047 141135872 33388 33554432000 134512640 135840783 4292275936 4292274944 135469048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 34457 33388 369 325 0 33393 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 137828
[startup+1062.3 s]
/proc/loadavg: 1.99 2.01 2.08 3/177 10772
/proc/meminfo: memFree=27391064/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=138604 CPUtime=1062.09 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 98963806 0 0 0 87065 19144 0 0 20 0 1 0 337026047 141930496 33632 33554432000 134512640 135840783 4292275936 4292274928 135469054 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 34651 33632 369 325 0 33587 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 138604
[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 2.08 3/177 10772
/proc/meminfo: memFree=27392800/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=140996 CPUtime=1122.08 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 108567244 0 0 0 91279 20929 0 0 20 0 1 0 337026047 144379904 33944 33554432000 134512640 135840783 4292275936 4292274912 134614777 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 35249 33967 369 325 0 34185 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 140996
[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.07 3/177 10772
/proc/meminfo: memFree=27389820/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=149664 CPUtime=1182.07 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 118505284 0 0 0 95435 22772 0 0 20 0 1 0 337026047 153255936 35895 33554432000 134512640 135840783 4292275936 4292274832 135467842 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 37416 35905 369 325 0 36352 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 149664
[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.07 3/177 10810
/proc/meminfo: memFree=27315492/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=140468 CPUtime=1242.06 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 128691469 0 0 0 99564 24642 0 0 20 0 1 0 337026047 143839232 33742 33554432000 134512640 135840783 4292275936 4292274800 14160944 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 35117 33767 369 325 0 34053 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 140468
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.07 3/177 10810
/proc/meminfo: memFree=27155308/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=152244 CPUtime=1302.05 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 139057224 0 0 0 103702 26503 0 0 20 0 1 0 337026047 155897856 35349 33554432000 134512640 135840783 4292275936 4292274832 135467734 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 38061 35367 369 325 0 36997 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 152244
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.06 3/177 10811
/proc/meminfo: memFree=27061720/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=143120 CPUtime=1362.04 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 150022130 0 0 0 107750 28454 0 0 20 0 1 0 337026047 146554880 34703 33554432000 134512640 135840783 4292275936 4292274896 134614777 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 35780 34730 369 325 0 34716 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 143120
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 10814
/proc/meminfo: memFree=26967556/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=143620 CPUtime=1422.04 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 161150332 0 0 0 111789 30415 0 0 20 0 1 0 337026047 147066880 34863 33554432000 134512640 135840783 4292275936 4292274896 134614777 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 35905 34874 369 325 0 34841 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 143620
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 10837
/proc/meminfo: memFree=26908628/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=145100 CPUtime=1482.02 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 172753714 0 0 0 115768 32434 0 0 20 0 1 0 337026047 148582400 35256 33554432000 134512640 135840783 4292275936 4292274928 135469043 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 36275 35256 369 325 0 35211 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 145100
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 10837
/proc/meminfo: memFree=26842876/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=142668 CPUtime=1542.02 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 184770104 0 0 0 119662 34540 0 0 20 0 1 0 337026047 146092032 34598 33554432000 134512640 135840783 4292275936 4292274928 135469043 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 35667 34598 369 325 0 34603 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 142668
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 10837
/proc/meminfo: memFree=26800068/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=145036 CPUtime=1602.01 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 196674406 0 0 0 123560 36641 0 0 20 0 1 0 337026047 148516864 35289 33554432000 134512640 135840783 4292275936 4292274784 14160944 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 36259 34787 369 325 0 35195 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 145036
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 10838
/proc/meminfo: memFree=26733332/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=156548 CPUtime=1662 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 208559735 0 0 0 127444 38756 0 0 20 0 1 0 337026047 160305152 35929 33554432000 134512640 135840783 4292275936 4292274832 135467970 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 39137 36445 369 325 0 38073 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 156548
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 10838
/proc/meminfo: memFree=26661092/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=145904 CPUtime=1721.99 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 220598067 0 0 0 131325 40874 0 0 20 0 1 0 337026047 149405696 35157 33554432000 134512640 135840783 4292275936 4292274912 134614777 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 36476 35185 369 325 0 35412 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 145904
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 10838
/proc/meminfo: memFree=26608088/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=156776 CPUtime=1781.97 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 232183441 0 0 0 135240 42957 0 0 20 0 1 0 337026047 160538624 35381 33554432000 134512640 135840783 4292275936 4292274832 135467970 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 39194 35381 369 325 0 38130 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 156776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 10838
/proc/meminfo: memFree=26595188/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=152068 CPUtime=1800.08 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 235553743 0 0 0 136426 43582 0 0 20 0 1 0 337026047 155717632 35100 33554432000 134512640 135840783 4292275936 4292274688 14160944 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 38017 35100 369 325 0 36953 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 152068
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 10838
/proc/meminfo: memFree=26595188/32873844 swapFree=7628/7628
[pid=10418] ppid=10416 vsize=152068 CPUtime=1800.08 cores=0,2,4,6
/proc/10418/stat : 10418 (bsolo3.0.17) R 10416 10418 7463 0 -1 4202496 235553743 0 0 0 136426 43582 0 0 20 0 1 0 337026047 155717632 35100 33554432000 134512640 135840783 4292275936 4292274688 14160944 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10418/statm: 38017 35100 369 325 0 36953 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 152068
Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1364.27
CPU system time (s): 435.829
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 160348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1364.27
system time used= 435.829
maximum resident set size= 156468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235553862
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= 66
involuntary context switches= 2012
runsolver used 3.2905 second user time and 9.00463 second system time
The end