runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3421435-1306635762/watcher-3421435-1306635762 -o /tmp/evaluation-result-3421435-1306635762/solver-3421435-1306635762 -C 5000 -W 5100 -M 15500 qutersat_release HOME/instance-3421435-1306635762.cnf 1033383802 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.39 2.12 2.03 6/485 28042
/proc/meminfo: memFree=11749452/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=34412 CPUtime=0.01 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 2462 0 0 0 1 0 0 0 22 0 1 0 775175878 35237888 2398 33554432000 4194304 6014671 140735193059536 18446744073709551615 4795419 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 8603 2398 378 445 0 2148 0

[startup+0.060858 s]
/proc/loadavg: 2.39 2.12 2.03 6/485 28042
/proc/meminfo: memFree=11749452/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=43628 CPUtime=0.05 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 4681 0 0 0 5 0 0 0 22 0 1 0 775175878 44675072 4617 33554432000 4194304 6014671 140735193059536 18446744073709551615 4281183 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 10907 4617 382 445 0 4452 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 43628

[startup+0.100854 s]
/proc/loadavg: 2.39 2.12 2.03 6/485 28042
/proc/meminfo: memFree=11749452/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=47724 CPUtime=0.09 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 5468 0 0 0 9 0 0 0 23 0 1 0 775175878 48869376 5404 33554432000 4194304 6014671 140735193059536 18446744073709551615 4314320 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 11931 5404 398 445 0 5476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47724

[startup+0.300812 s]
/proc/loadavg: 2.39 2.12 2.03 6/485 28042
/proc/meminfo: memFree=11749452/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=93472 CPUtime=0.29 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 17296 0 0 0 27 2 0 0 23 0 1 0 775175878 95715328 17232 33554432000 4194304 6014671 140735193059536 18446744073709551615 4778066 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 23368 17233 670 445 0 16913 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 93472

[startup+0.700735 s]
/proc/loadavg: 2.39 2.12 2.03 6/485 28042
/proc/meminfo: memFree=11749452/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=111008 CPUtime=0.69 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 21482 0 0 0 67 2 0 0 25 0 1 0 775175878 113672192 21418 33554432000 4194304 6014671 140735193059536 18446744073709551615 4422563 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 27752 21418 720 445 0 21297 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 111008

[startup+1.50058 s]
/proc/loadavg: 2.39 2.12 2.03 4/488 29143
/proc/meminfo: memFree=11568504/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=111008 CPUtime=1.49 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 21483 0 0 0 147 2 0 0 25 0 1 0 775175878 113672192 21419 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424123 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 27752 21419 721 445 0 21297 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 111008

[startup+3.10028 s]
/proc/loadavg: 2.39 2.12 2.03 4/488 30373
/proc/meminfo: memFree=11564644/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=133516 CPUtime=3.09 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 24151 0 0 0 307 2 0 0 25 0 1 0 775175878 136720384 24087 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424109 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 33379 24087 721 445 0 26924 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 133516

[startup+6.30067 s]
/proc/loadavg: 2.44 2.14 2.04 4/488 1483
/proc/meminfo: memFree=11550300/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=133516 CPUtime=6.29 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 24176 0 0 0 627 2 0 0 25 0 1 0 775175878 136720384 24112 33554432000 4194304 6014671 140735193059536 18446744073709551615 4537064 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 33379 24112 725 445 0 26924 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 133516

[startup+12.7004 s]
/proc/loadavg: 2.48 2.15 2.04 4/488 9030
/proc/meminfo: memFree=11543636/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=145372 CPUtime=12.68 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 26064 0 0 0 1266 2 0 0 25 0 1 0 775175878 148860928 26000 33554432000 4194304 6014671 140735193059536 18446744073709551615 4536548 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 36343 26000 725 445 0 29888 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 145372

[startup+25.5011 s]
/proc/loadavg: 2.44 2.16 2.05 3/482 12116
/proc/meminfo: memFree=11532940/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=157300 CPUtime=25.49 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 27764 0 0 0 2546 3 0 0 25 0 1 0 775175878 161075200 27700 33554432000 4194304 6014671 140735193059536 18446744073709551615 4422695 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 39325 27700 725 445 0 32870 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 157300

[startup+51.1001 s]
/proc/loadavg: 2.29 2.15 2.04 3/482 12117
/proc/meminfo: memFree=11492476/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=157300 CPUtime=51.09 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 32783 0 0 0 5105 4 0 0 25 0 1 0 775175878 161075200 32719 33554432000 4194304 6014671 140735193059536 18446744073709551615 4535268 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 39325 32719 725 445 0 32870 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 157300

[startup+102.318 s]
/proc/loadavg: 2.12 2.12 2.04 3/482 12118
/proc/meminfo: memFree=11344664/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=323476 CPUtime=102.31 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 49449 0 0 0 10224 7 0 0 25 0 1 0 775175878 331239424 49385 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424123 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 80869 49385 725 445 0 74414 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 323476

[startup+162.301 s]
/proc/loadavg: 2.04 2.10 2.03 3/482 12120
/proc/meminfo: memFree=11251524/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=323476 CPUtime=162.29 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 58244 0 0 0 16221 8 0 0 25 0 1 0 775175878 331239424 54376 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424090 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 80869 54376 725 445 0 74414 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 323476

[startup+222.301 s]
/proc/loadavg: 2.05 2.09 2.03 3/482 12121
/proc/meminfo: memFree=11194464/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=466960 CPUtime=222.29 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 65862 0 0 0 22220 9 0 0 25 0 1 0 775175878 478167040 61994 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424090 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 116740 61994 725 445 0 110285 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 466960

[startup+282.301 s]
/proc/loadavg: 2.02 2.07 2.03 3/482 12123
/proc/meminfo: memFree=11087064/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=543192 CPUtime=282.3 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 74074 0 0 0 28220 10 0 0 25 0 1 0 775175878 556228608 70206 33554432000 4194304 6014671 140735193059536 18446744073709551615 4535264 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 135798 70206 725 445 0 129343 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 543192

[startup+342.301 s]
/proc/loadavg: 2.15 2.10 2.04 3/482 12124
/proc/meminfo: memFree=10907992/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=543192 CPUtime=342.3 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 97466 0 0 0 34217 13 0 0 25 0 1 0 775175878 556228608 93598 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424128 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 135798 93598 725 445 0 129343 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 543192

[startup+402.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/482 12126
/proc/meminfo: memFree=10903136/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=543192 CPUtime=402.3 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 98195 0 0 0 40217 13 0 0 25 0 1 0 775175878 556228608 94327 33554432000 4194304 6014671 140735193059536 18446744073709551615 4535376 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 135798 94327 725 445 0 129343 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 543192

[startup+462.301 s]
/proc/loadavg: 2.02 2.06 2.03 3/482 12128
/proc/meminfo: memFree=10890968/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=543192 CPUtime=462.3 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 100409 0 0 0 46217 13 0 0 25 0 1 0 775175878 556228608 96541 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424094 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 135798 96541 725 445 0 129343 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 543192

[startup+522.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/482 12129
/proc/meminfo: memFree=10864040/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=722588 CPUtime=522.31 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 105678 0 0 0 52217 14 0 0 25 0 1 0 775175878 739930112 101810 33554432000 4194304 6014671 140735193059536 18446744073709551615 4511668 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 180647 101810 725 445 0 174192 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 722588

[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/482 12131
/proc/meminfo: memFree=10848644/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=722588 CPUtime=582.31 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 109352 0 0 0 58216 15 0 0 25 0 1 0 775175878 739930112 105483 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424169 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 180647 105483 725 445 0 174192 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 722588

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=9975008/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=3762.43 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 224689 0 0 0 376211 32 0 0 25 0 1 0 775175878 1161236480 211787 33554432000 4194304 6014671 140735193059536 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 211787 725 445 0 277050 0
Current children cumulated CPU time (s) 3762.43
Current children cumulated vsize (KiB) 1134020

[startup+3822.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/482 12229
/proc/meminfo: memFree=9934436/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=3822.43 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 225771 0 0 0 382211 32 0 0 25 0 1 0 775175878 1161236480 212869 33554432000 4194304 6014671 140735193059536 18446744073709551615 4566286 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 212869 725 445 0 277050 0
Current children cumulated CPU time (s) 3822.43
Current children cumulated vsize (KiB) 1134020

[startup+3882.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/482 12231
/proc/meminfo: memFree=9934912/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=3882.43 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 225771 0 0 0 388211 32 0 0 25 0 1 0 775175878 1161236480 212869 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424109 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 212869 725 445 0 277050 0
Current children cumulated CPU time (s) 3882.43
Current children cumulated vsize (KiB) 1134020

[startup+3942.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 12232
/proc/meminfo: memFree=9919512/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=3942.45 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 227288 0 0 0 394212 33 0 0 25 0 1 0 775175878 1161236480 214353 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424165 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 214353 725 445 0 277050 0
Current children cumulated CPU time (s) 3942.45
Current children cumulated vsize (KiB) 1134020

[startup+4002.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/482 12234
/proc/meminfo: memFree=9919608/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=4002.44 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 227315 0 0 0 400211 33 0 0 25 0 1 0 775175878 1161236480 214336 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424090 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 214336 725 445 0 277050 0
Current children cumulated CPU time (s) 4002.44
Current children cumulated vsize (KiB) 1134020

[startup+4062.32 s]
/proc/loadavg: 2.05 2.04 2.00 3/482 12236
/proc/meminfo: memFree=9919092/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=4062.46 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 227372 0 0 0 406213 33 0 0 25 0 1 0 775175878 1161236480 214340 33554432000 4194304 6014671 140735193059536 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 214340 725 445 0 277050 0
Current children cumulated CPU time (s) 4062.46
Current children cumulated vsize (KiB) 1134020

[startup+4122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 12237
/proc/meminfo: memFree=9864016/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=4122.44 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 240921 0 0 0 412209 35 0 0 25 0 1 0 775175878 1161236480 227833 33554432000 4194304 6014671 140735193059536 18446744073709551615 4535248 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 227833 725 445 0 277050 0
Current children cumulated CPU time (s) 4122.44
Current children cumulated vsize (KiB) 1134020

[startup+4182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 12239
/proc/meminfo: memFree=9861888/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=4182.44 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 241509 0 0 0 418209 35 0 0 25 0 1 0 775175878 1161236480 228421 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424105 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 228421 725 445 0 277050 0
Current children cumulated CPU time (s) 4182.44
Current children cumulated vsize (KiB) 1134020

[startup+4242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 12240
/proc/meminfo: memFree=9835092/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=4242.44 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 248530 0 0 0 424207 37 0 0 25 0 1 0 775175878 1161236480 235384 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424112 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 235384 725 445 0 277050 0
Current children cumulated CPU time (s) 4242.44
Current children cumulated vsize (KiB) 1134020

[startup+4302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 12242
/proc/meminfo: memFree=9825280/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=4302.44 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 250590 0 0 0 430207 37 0 0 25 0 1 0 775175878 1161236480 237444 33554432000 4194304 6014671 140735193059536 18446744073709551615 4422808 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 237444 725 445 0 277050 0
Current children cumulated CPU time (s) 4302.44
Current children cumulated vsize (KiB) 1134020

[startup+4362.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/482 12244
/proc/meminfo: memFree=9824020/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=4362.45 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 250661 0 0 0 436207 38 0 0 25 0 1 0 775175878 1161236480 237451 33554432000 4194304 6014671 140735193059536 18446744073709551615 4566281 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 237451 725 445 0 277050 0
Current children cumulated CPU time (s) 4362.45
Current children cumulated vsize (KiB) 1134020

Solver just ended. Dumping a history of the last processes samples

[startup+4377.5 s]
/proc/loadavg: 2.07 2.03 2.01 3/482 12244
/proc/meminfo: memFree=9823516/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=4377.65 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 250661 0 0 0 437727 38 0 0 25 0 1 0 775175878 1161236480 237451 33554432000 4194304 6014671 140735193059536 18446744073709551615 4566286 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 237451 725 445 0 277050 0
Current children cumulated CPU time (s) 4377.65
Current children cumulated vsize (KiB) 1134020

[startup+4390.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/482 12244
/proc/meminfo: memFree=9823888/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=4390.45 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 250661 0 0 0 439007 38 0 0 25 0 1 0 775175878 1161236480 237451 33554432000 4194304 6014671 140735193059536 18446744073709551615 4535385 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 237451 725 445 0 277050 0
Current children cumulated CPU time (s) 4390.45
Current children cumulated vsize (KiB) 1134020

[startup+4403.1 s]
/proc/loadavg: 2.09 2.04 2.01 3/482 12245
/proc/meminfo: memFree=9823136/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=4403.25 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 250661 0 0 0 440287 38 0 0 25 0 1 0 775175878 1161236480 237451 33554432000 4194304 6014671 140735193059536 18446744073709551615 4633324 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 237451 725 445 0 277050 0
Current children cumulated CPU time (s) 4403.25
Current children cumulated vsize (KiB) 1134020

[startup+4406.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/482 12245
/proc/meminfo: memFree=9823880/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=4406.45 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 250666 0 0 0 440607 38 0 0 25 0 1 0 775175878 1161236480 237456 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424109 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 237456 725 445 0 277050 0
Current children cumulated CPU time (s) 4406.45
Current children cumulated vsize (KiB) 1134020

[startup+4409.5 s]
/proc/loadavg: 2.08 2.04 2.01 3/482 12245
/proc/meminfo: memFree=9823880/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=4409.65 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 250672 0 0 0 440927 38 0 0 25 0 1 0 775175878 1161236480 237462 33554432000 4194304 6014671 140735193059536 18446744073709551615 4424118 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 237462 725 445 0 277050 0
Current children cumulated CPU time (s) 4409.65
Current children cumulated vsize (KiB) 1134020

[startup+4411.1 s]
/proc/loadavg: 2.08 2.04 2.01 3/482 12245
/proc/meminfo: memFree=9823880/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=4411.25 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 250674 0 0 0 441087 38 0 0 25 0 1 0 775175878 1161236480 237464 33554432000 4194304 6014671 140735193059536 18446744073709551615 4376945 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 237464 725 445 0 277050 0
Current children cumulated CPU time (s) 4411.25
Current children cumulated vsize (KiB) 1134020

[startup+4411.9 s]
/proc/loadavg: 2.08 2.04 2.01 3/482 12245
/proc/meminfo: memFree=9823880/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=1134020 CPUtime=4412.05 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202496 250675 0 0 0 441167 38 0 0 25 0 1 0 775175878 1161236480 237465 33554432000 4194304 6014671 140735193059536 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/28042/statm: 283505 237465 725 445 0 277050 0
Current children cumulated CPU time (s) 4412.05
Current children cumulated vsize (KiB) 1134020

[startup+4412.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/482 12245
/proc/meminfo: memFree=9823880/32950928 swapFree=51884240/67111528
[pid=28042] ppid=28037 vsize=0 CPUtime=4412.45 cores=0,2,4,6
/proc/28042/stat : 28042 (qutersat_releas) R 28037 28042 4258 0 -1 4202500 250698 0 0 0 441204 41 0 0 25 0 1 0 775175878 0 0 33554432000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 2 0 0 0
/proc/28042/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4412.45
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 4412.31
CPU time (s): 4412.47
CPU user time (s): 4412.05
CPU system time (s): 0.420936
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1134020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4412.05
system time used= 0.420936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250698
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= 14
involuntary context switches= 7557

runsolver used 20.5639 second user time and 47.9327 second system time

The end