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-3421437-1306635762/watcher-3421437-1306635762 -o /tmp/evaluation-result-3421437-1306635762/solver-3421437-1306635762 -C 5000 -W 5100 -M 15500 qutersat_release HOME/instance-3421437-1306635762.cnf 1033383802
running on 4 cores: 1,3,5,7
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 3/487 28078
/proc/meminfo: memFree=11738012/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=34412 CPUtime=0.01 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 2462 0 0 0 1 0 0 0 25 0 1 0 775175881 35237888 2399 33554432000 4194304 6014671 140736119472064 18446744073709551615 208080232192 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 8603 2399 378 445 0 2148 0
[startup+0.089934 s]
/proc/loadavg: 2.39 2.12 2.03 3/487 28078
/proc/meminfo: memFree=11738012/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=43628 CPUtime=0.08 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 4787 0 0 0 8 0 0 0 25 0 1 0 775175881 44675072 4724 33554432000 4194304 6014671 140736119472064 18446744073709551615 4313890 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 10907 4724 398 445 0 4452 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 43628
[startup+0.100931 s]
/proc/loadavg: 2.39 2.12 2.03 3/487 28078
/proc/meminfo: memFree=11738012/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=43628 CPUtime=0.09 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 4787 0 0 0 9 0 0 0 25 0 1 0 775175881 44675072 4724 33554432000 4194304 6014671 140736119472064 18446744073709551615 4313888 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 10907 4724 398 445 0 4452 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43628
[startup+0.300897 s]
/proc/loadavg: 2.39 2.12 2.03 3/487 28078
/proc/meminfo: memFree=11738012/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=103376 CPUtime=0.29 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 19927 0 0 0 27 2 0 0 25 0 1 0 775175881 105857024 19864 33554432000 4194304 6014671 140736119472064 18446744073709551615 4229918 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 25844 19864 669 445 0 19389 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 103376
[startup+0.700819 s]
/proc/loadavg: 2.39 2.12 2.03 3/487 28078
/proc/meminfo: memFree=11738012/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=122320 CPUtime=0.69 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 24742 0 0 0 66 3 0 0 25 0 1 0 775175881 125255680 24679 33554432000 4194304 6014671 140736119472064 18446744073709551615 4629744 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 30580 24679 720 445 0 24125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 122320
[startup+1.50067 s]
/proc/loadavg: 2.39 2.12 2.03 5/488 29176
/proc/meminfo: memFree=11567636/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=122320 CPUtime=1.49 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 24743 0 0 0 146 3 0 0 25 0 1 0 775175881 125255680 24680 33554432000 4194304 6014671 140736119472064 18446744073709551615 4376474 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 30580 24680 721 445 0 24125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 122320
[startup+3.10036 s]
/proc/loadavg: 2.39 2.12 2.03 4/490 30405
/proc/meminfo: memFree=11564040/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=133264 CPUtime=3.09 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 26053 0 0 0 306 3 0 0 25 0 1 0 775175881 136462336 25990 33554432000 4194304 6014671 140736119472064 18446744073709551615 4386002 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 33316 25990 721 445 0 26861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 133264
[startup+6.30075 s]
/proc/loadavg: 2.44 2.14 2.04 4/488 1517
/proc/meminfo: memFree=11549904/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=133264 CPUtime=6.29 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 26057 0 0 0 626 3 0 0 25 0 1 0 775175881 136462336 25994 33554432000 4194304 6014671 140736119472064 18446744073709551615 4536952 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 33316 25994 725 445 0 26861 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 133264
[startup+12.7005 s]
/proc/loadavg: 2.48 2.15 2.04 4/489 9061
/proc/meminfo: memFree=11542652/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=144808 CPUtime=12.69 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 26268 0 0 0 1266 3 0 0 25 0 1 0 775175881 148283392 26205 33554432000 4194304 6014671 140736119472064 18446744073709551615 4537048 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 36202 26205 725 445 0 29747 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 144808
[startup+25.5001 s]
/proc/loadavg: 2.44 2.16 2.05 3/482 12116
/proc/meminfo: memFree=11532816/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=156976 CPUtime=25.49 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 28738 0 0 0 2546 3 0 0 25 0 1 0 775175881 160743424 28675 33554432000 4194304 6014671 140736119472064 18446744073709551615 4422767 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 39244 28675 725 445 0 32789 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 156976
[startup+51.1002 s]
/proc/loadavg: 2.29 2.15 2.04 3/482 12117
/proc/meminfo: memFree=11492352/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=169332 CPUtime=51.09 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 34747 0 0 0 5105 4 0 0 25 0 1 0 775175881 173395968 34684 33554432000 4194304 6014671 140736119472064 18446744073709551615 4425380 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 42333 34684 725 445 0 35878 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 169332
[startup+102.317 s]
/proc/loadavg: 2.12 2.12 2.04 3/482 12118
/proc/meminfo: memFree=11344664/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=354152 CPUtime=102.31 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 54469 0 0 0 10225 6 0 0 25 0 1 0 775175881 362651648 54406 33554432000 4194304 6014671 140736119472064 18446744073709551615 4424107 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 88538 54406 725 445 0 82083 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 354152
[startup+162.301 s]
/proc/loadavg: 2.04 2.10 2.03 3/482 12120
/proc/meminfo: memFree=11251524/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=354152 CPUtime=162.3 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 72178 0 0 0 16220 10 0 0 25 0 1 0 775175881 362651648 72000 33554432000 4194304 6014671 140736119472064 18446744073709551615 4537068 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 88538 72000 725 445 0 82083 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 354152
[startup+222.301 s]
/proc/loadavg: 2.05 2.09 2.03 3/482 12121
/proc/meminfo: memFree=11194464/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=574168 CPUtime=222.3 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 91979 0 0 0 22217 13 0 0 25 0 1 0 775175881 587948032 78925 33554432000 4194304 6014671 140736119472064 18446744073709551615 4424206 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 143542 78925 725 445 0 137087 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 574168
[startup+282.3 s]
/proc/loadavg: 2.02 2.07 2.03 3/482 12123
/proc/meminfo: memFree=11087064/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=655528 CPUtime=282.3 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 110704 0 0 0 28215 15 0 0 25 0 1 0 775175881 671260672 97650 33554432000 4194304 6014671 140736119472064 18446744073709551615 4380654 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 163882 97650 725 445 0 157427 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 655528
[startup+342.301 s]
/proc/loadavg: 2.15 2.10 2.04 3/482 12124
/proc/meminfo: memFree=10907992/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=655528 CPUtime=342.3 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 131998 0 0 0 34212 18 0 0 25 0 1 0 775175881 671260672 118944 33554432000 4194304 6014671 140736119472064 18446744073709551615 4422600 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 163882 118944 725 445 0 157427 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 655528
[startup+402.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/482 12126
/proc/meminfo: memFree=10903136/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=655528 CPUtime=402.31 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 132441 0 0 0 40212 19 0 0 25 0 1 0 775175881 671260672 119387 33554432000 4194304 6014671 140736119472064 18446744073709551615 4424038 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 163882 119387 725 445 0 157427 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 655528
[startup+462.301 s]
/proc/loadavg: 2.02 2.06 2.03 3/482 12128
/proc/meminfo: memFree=10890968/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=655528 CPUtime=462.31 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 133303 0 0 0 46212 19 0 0 25 0 1 0 775175881 671260672 120249 33554432000 4194304 6014671 140736119472064 18446744073709551615 4424107 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 163882 120249 725 445 0 157427 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 655528
[startup+522.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/482 12129
/proc/meminfo: memFree=10864040/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=655528 CPUtime=522.31 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 135027 0 0 0 52212 19 0 0 25 0 1 0 775175881 671260672 121973 33554432000 4194304 6014671 140736119472064 18446744073709551615 4424090 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 163882 121973 736 445 0 157427 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 655528
[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/482 12131
/proc/meminfo: memFree=10848396/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=655528 CPUtime=582.31 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 135230 0 0 0 58212 19 0 0 25 0 1 0 775175881 671260672 122176 33554432000 4194304 6014671 140736119472064 18446744073709551615 4424035 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 163882 122176 736 445 0 157427 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 655528
[startup+642.301 s]
################
# More data... #
################
[startup+4062.32 s]
/proc/loadavg: 2.05 2.04 2.00 3/482 12236
/proc/meminfo: memFree=9919092/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4062.46 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 264966 0 0 0 406207 39 0 0 25 0 1 0 775175881 1557254144 245224 33554432000 4194304 6014671 140736119472064 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 245224 782 445 0 373734 0
Current children cumulated CPU time (s) 4062.46
Current children cumulated vsize (KiB) 1520756
[startup+4122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 12237
/proc/meminfo: memFree=9864264/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4122.45 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 265233 0 0 0 412205 40 0 0 25 0 1 0 775175881 1557254144 245414 33554432000 4194304 6014671 140736119472064 18446744073709551615 4424107 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 245414 782 445 0 373734 0
Current children cumulated CPU time (s) 4122.45
Current children cumulated vsize (KiB) 1520756
[startup+4182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 12239
/proc/meminfo: memFree=9861888/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4182.45 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 265237 0 0 0 418205 40 0 0 25 0 1 0 775175881 1557254144 245338 33554432000 4194304 6014671 140736119472064 18446744073709551615 4424090 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 245338 782 445 0 373734 0
Current children cumulated CPU time (s) 4182.45
Current children cumulated vsize (KiB) 1520756
[startup+4242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 12240
/proc/meminfo: memFree=9835092/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4242.46 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 265351 0 0 0 424206 40 0 0 25 0 1 0 775175881 1557254144 245452 33554432000 4194304 6014671 140736119472064 18446744073709551615 4422773 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 245452 782 445 0 373734 0
Current children cumulated CPU time (s) 4242.46
Current children cumulated vsize (KiB) 1520756
[startup+4302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 12242
/proc/meminfo: memFree=9825280/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4302.46 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 265353 0 0 0 430206 40 0 0 25 0 1 0 775175881 1557254144 245363 33554432000 4194304 6014671 140736119472064 18446744073709551615 4378967 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 245363 782 445 0 373734 0
Current children cumulated CPU time (s) 4302.46
Current children cumulated vsize (KiB) 1520756
[startup+4362.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/482 12244
/proc/meminfo: memFree=9824020/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4362.46 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 265857 0 0 0 436206 40 0 0 25 0 1 0 775175881 1557254144 245867 33554432000 4194304 6014671 140736119472064 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 245867 782 445 0 373734 0
Current children cumulated CPU time (s) 4362.46
Current children cumulated vsize (KiB) 1520756
[startup+4422.3 s]
/proc/loadavg: 1.91 2.01 2.00 2/476 12262
/proc/meminfo: memFree=10778764/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4422.46 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 265905 0 0 0 442206 40 0 0 25 0 1 0 775175881 1557254144 245915 33554432000 4194304 6014671 140736119472064 18446744073709551615 4424123 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 245915 782 445 0 373734 0
Current children cumulated CPU time (s) 4422.46
Current children cumulated vsize (KiB) 1520756
[startup+4482.3 s]
/proc/loadavg: 1.36 1.84 1.94 2/476 12264
/proc/meminfo: memFree=10775772/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4482.46 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 266688 0 0 0 448206 40 0 0 25 0 1 0 775175881 1557254144 246602 33554432000 4194304 6014671 140736119472064 18446744073709551615 4369612 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 246602 782 445 0 373734 0
Current children cumulated CPU time (s) 4482.46
Current children cumulated vsize (KiB) 1520756
[startup+4542.3 s]
/proc/loadavg: 1.12 1.67 1.87 2/476 12265
/proc/meminfo: memFree=10776112/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4542.46 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 266692 0 0 0 454206 40 0 0 25 0 1 0 775175881 1557254144 246509 33554432000 4194304 6014671 140736119472064 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 246509 782 445 0 373734 0
Current children cumulated CPU time (s) 4542.46
Current children cumulated vsize (KiB) 1520756
[startup+4602.3 s]
/proc/loadavg: 1.04 1.55 1.81 2/476 12267
/proc/meminfo: memFree=10774976/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4602.48 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 266764 0 0 0 460208 40 0 0 25 0 1 0 775175881 1557254144 246581 33554432000 4194304 6014671 140736119472064 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 246581 782 445 0 373734 0
Current children cumulated CPU time (s) 4602.48
Current children cumulated vsize (KiB) 1520756
[startup+4662.3 s]
/proc/loadavg: 1.02 1.45 1.76 2/476 12269
/proc/meminfo: memFree=10775328/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4662.47 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 266764 0 0 0 466207 40 0 0 25 0 1 0 775175881 1557254144 246478 33554432000 4194304 6014671 140736119472064 18446744073709551615 4424118 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 246478 782 445 0 373734 0
Current children cumulated CPU time (s) 4662.47
Current children cumulated vsize (KiB) 1520756
[startup+4722.32 s]
/proc/loadavg: 1.00 1.36 1.71 2/476 12270
/proc/meminfo: memFree=10775180/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4722.48 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 266855 0 0 0 472208 40 0 0 25 0 1 0 775175881 1557254144 246569 33554432000 4194304 6014671 140736119472064 18446744073709551615 4535184 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 246569 782 445 0 373734 0
Current children cumulated CPU time (s) 4722.48
Current children cumulated vsize (KiB) 1520756
[startup+4782.3 s]
/proc/loadavg: 1.00 1.30 1.67 2/476 12272
/proc/meminfo: memFree=10776648/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4782.48 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 266855 0 0 0 478207 41 0 0 25 0 1 0 775175881 1557254144 246465 33554432000 4194304 6014671 140736119472064 18446744073709551615 4424459 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 246465 782 445 0 373734 0
Current children cumulated CPU time (s) 4782.48
Current children cumulated vsize (KiB) 1520756
[startup+4842.3 s]
/proc/loadavg: 1.00 1.24 1.62 2/476 12273
/proc/meminfo: memFree=10776240/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4842.48 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 266856 0 0 0 484207 41 0 0 25 0 1 0 775175881 1557254144 246466 33554432000 4194304 6014671 140736119472064 18446744073709551615 4422683 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 246466 782 445 0 373734 0
Current children cumulated CPU time (s) 4842.48
Current children cumulated vsize (KiB) 1520756
[startup+4902.3 s]
/proc/loadavg: 1.06 1.21 1.58 2/476 12275
/proc/meminfo: memFree=10776596/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4902.48 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 267142 0 0 0 490207 41 0 0 25 0 1 0 775175881 1557254144 246742 33554432000 4194304 6014671 140736119472064 18446744073709551615 4566286 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 246742 891 445 0 373734 0
Current children cumulated CPU time (s) 4902.48
Current children cumulated vsize (KiB) 1520756
[startup+4962.3 s]
/proc/loadavg: 1.02 1.16 1.54 2/476 12277
/proc/meminfo: memFree=10776452/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=4962.48 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 267142 0 0 0 496207 41 0 0 25 0 1 0 775175881 1557254144 246635 33554432000 4194304 6014671 140736119472064 18446744073709551615 4424090 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 246635 891 445 0 373734 0
Current children cumulated CPU time (s) 4962.48
Current children cumulated vsize (KiB) 1520756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 1.01 1.14 1.52 2/476 12278
/proc/meminfo: memFree=10776800/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=5000.1 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 267142 0 0 0 499969 41 0 0 25 0 1 0 775175881 1557254144 246635 33554432000 4194304 6014671 140736119472064 18446744073709551615 4424206 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 246635 891 445 0 373734 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 1520756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+4999.9 s]
/proc/loadavg: 1.01 1.14 1.52 2/476 12278
/proc/meminfo: memFree=10776800/32950928 swapFree=51884240/67111528
[pid=28078] ppid=28075 vsize=1520756 CPUtime=5000.1 cores=1,3,5,7
/proc/28078/stat : 28078 (qutersat_releas) R 28075 28078 4258 0 -1 4202496 267142 0 0 0 499969 41 0 0 25 0 1 0 775175881 1557254144 246635 33554432000 4194304 6014671 140736119472064 18446744073709551615 4424206 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28078/statm: 380189 246635 891 445 0 373734 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 1520756
Child status: 1
Real time (s): 4999.96
CPU time (s): 5000.15
CPU user time (s): 4999.7
CPU system time (s): 0.45393
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1520756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.7
system time used= 0.45393
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267146
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= 8
involuntary context switches= 57969
runsolver used 21.8307 second user time and 55.5066 second system time
The end