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-3421343-1306630806/watcher-3421343-1306630806 -o /tmp/evaluation-result-3421343-1306630806/solver-3421343-1306630806 -C 5000 -W 5100 -M 15500 qutersat_release HOME/instance-3421343-1306630806.cnf 980792148
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.02 2.02 1.93 2/515 1412
/proc/meminfo: memFree=10985724/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=28644 CPUtime=0 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 874 0 0 0 0 0 0 0 22 0 1 0 853311412 29331456 810 33554432000 4194304 6014671 140735269021248 18446744073709551615 256415085627 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1412/statm: 7161 824 290 445 0 706 0
[startup+0.071841 s]
/proc/loadavg: 2.02 2.02 1.93 2/515 1412
/proc/meminfo: memFree=10985724/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=44652 CPUtime=0.06 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 4986 0 0 0 6 0 0 0 22 0 1 0 853311412 45723648 4922 33554432000 4194304 6014671 140735269021248 18446744073709551615 4277980 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 11163 4923 378 445 0 4708 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 44652
[startup+0.100841 s]
/proc/loadavg: 2.02 2.02 1.93 2/515 1412
/proc/meminfo: memFree=10985724/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=56940 CPUtime=0.09 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 7643 0 0 0 8 1 0 0 22 0 1 0 853311412 58306560 7579 33554432000 4194304 6014671 140735269021248 18446744073709551615 256415391488 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 14235 7579 378 445 0 7780 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56940
[startup+0.3008 s]
/proc/loadavg: 2.02 2.02 1.93 2/515 1412
/proc/meminfo: memFree=10985724/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=81644 CPUtime=0.29 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 13900 0 0 0 27 2 0 0 23 0 1 0 853311412 83603456 13836 33554432000 4194304 6014671 140735269021248 18446744073709551615 4277980 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 20411 13836 378 445 0 13956 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81644
[startup+0.700724 s]
/proc/loadavg: 2.02 2.02 1.93 2/515 1412
/proc/meminfo: memFree=10985724/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=130924 CPUtime=0.69 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 25853 0 0 0 65 4 0 0 25 0 1 0 853311412 134066176 25789 33554432000 4194304 6014671 140735269021248 18446744073709551615 4280408 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 32731 25789 382 445 0 26276 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 130924
[startup+1.50057 s]
/proc/loadavg: 2.02 2.02 1.93 3/516 1413
/proc/meminfo: memFree=10883048/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=205164 CPUtime=1.49 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 44440 0 0 0 144 5 0 0 18 0 1 0 853311412 210087936 44376 33554432000 4194304 6014671 140735269021248 18446744073709551615 4313888 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 51291 44376 398 445 0 44836 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 205164
[startup+3.10027 s]
/proc/loadavg: 2.02 2.02 1.93 3/516 1413
/proc/meminfo: memFree=10644968/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=514340 CPUtime=3.09 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 122748 0 0 0 293 16 0 0 21 0 1 0 853311412 526684160 122684 33554432000 4194304 6014671 140735269021248 18446744073709551615 4225917 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 128585 122684 670 445 0 122130 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 514340
[startup+6.30067 s]
/proc/loadavg: 2.01 2.02 1.93 3/516 1413
/proc/meminfo: memFree=10361016/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=660132 CPUtime=6.29 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 156918 0 0 0 609 20 0 0 25 0 1 0 853311412 675975168 156171 33554432000 4194304 6014671 140735269021248 18446744073709551615 4622589 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 165033 156171 715 445 0 158578 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 660132
[startup+12.7005 s]
/proc/loadavg: 2.01 2.02 1.93 3/516 1413
/proc/meminfo: memFree=10360676/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=660132 CPUtime=12.69 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 156927 0 0 0 1249 20 0 0 25 0 1 0 853311412 675975168 156180 33554432000 4194304 6014671 140735269021248 18446744073709551615 4422808 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 165033 156180 724 445 0 158578 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 660132
[startup+25.501 s]
/proc/loadavg: 2.01 2.02 1.93 3/516 1414
/proc/meminfo: memFree=10360296/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=660132 CPUtime=25.49 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 156931 0 0 0 2529 20 0 0 25 0 1 0 853311412 675975168 156184 33554432000 4194304 6014671 140735269021248 18446744073709551615 4545958 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 165033 156184 728 445 0 158578 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 660132
[startup+51.1012 s]
/proc/loadavg: 2.00 2.02 1.93 3/516 1414
/proc/meminfo: memFree=10360548/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=660132 CPUtime=51.09 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 156931 0 0 0 5089 20 0 0 25 0 1 0 853311412 675975168 156184 33554432000 4194304 6014671 140735269021248 18446744073709551615 4423940 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 165033 156184 728 445 0 158578 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 660132
[startup+102.319 s]
/proc/loadavg: 2.00 2.01 1.93 3/516 1425
/proc/meminfo: memFree=10359348/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=660132 CPUtime=102.31 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 156940 0 0 0 10211 20 0 0 25 0 1 0 853311412 675975168 156193 33554432000 4194304 6014671 140735269021248 18446744073709551615 4423940 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 165033 156193 728 445 0 158578 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 660132
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/516 1426
/proc/meminfo: memFree=10359188/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=660260 CPUtime=162.29 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 156973 0 0 0 16209 20 0 0 25 0 1 0 853311412 676106240 156226 33554432000 4194304 6014671 140735269021248 18446744073709551615 4422724 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 165065 156226 728 445 0 158610 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 660260
[startup+222.301 s]
/proc/loadavg: 2.11 2.04 1.94 3/516 1428
/proc/meminfo: memFree=10359000/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=660388 CPUtime=222.3 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 156989 0 0 0 22210 20 0 0 25 0 1 0 853311412 676237312 156242 33554432000 4194304 6014671 140735269021248 18446744073709551615 4424123 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 165097 156242 728 445 0 158642 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 660388
[startup+282.3 s]
/proc/loadavg: 2.14 2.06 1.95 3/516 1429
/proc/meminfo: memFree=10350636/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=660388 CPUtime=282.3 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 156994 0 0 0 28210 20 0 0 25 0 1 0 853311412 676237312 156247 33554432000 4194304 6014671 140735269021248 18446744073709551615 4424169 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 165097 156247 728 445 0 158642 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 660388
[startup+342.301 s]
/proc/loadavg: 2.10 2.06 1.95 3/516 1431
/proc/meminfo: memFree=10349572/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=660388 CPUtime=342.3 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 157005 0 0 0 34210 20 0 0 25 0 1 0 853311412 676237312 156258 33554432000 4194304 6014671 140735269021248 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 165097 156258 728 445 0 158642 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 660388
[startup+402.301 s]
/proc/loadavg: 2.04 2.05 1.95 3/516 1433
/proc/meminfo: memFree=10349380/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=660388 CPUtime=402.3 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 157005 0 0 0 40210 20 0 0 25 0 1 0 853311412 676237312 156258 33554432000 4194304 6014671 140735269021248 18446744073709551615 4422751 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 165097 156258 728 445 0 158642 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 660388
[startup+462.301 s]
/proc/loadavg: 2.01 2.03 1.95 3/516 1434
/proc/meminfo: memFree=10337404/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=660516 CPUtime=462.3 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 157019 0 0 0 46210 20 0 0 25 0 1 0 853311412 676368384 156272 33554432000 4194304 6014671 140735269021248 18446744073709551615 4424065 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 165129 156272 728 445 0 158674 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 660516
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 1.95 3/516 1436
/proc/meminfo: memFree=10335096/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=660516 CPUtime=522.31 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 157019 0 0 0 52211 20 0 0 25 0 1 0 853311412 676368384 156272 33554432000 4194304 6014671 140735269021248 18446744073709551615 4424571 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 165129 156272 728 445 0 158674 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 660516
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/516 1437
/proc/meminfo: memFree=10336016/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=660516 CPUtime=582.31 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 157019 0 0 0 58211 20 0 0 25 0 1 0 853311412 676368384 156272 33554432000 4194304 6014671 140735269021248 18446744073709551615 4423613 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 165129 156272 728 445 0 158674 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 660516
[startup+642.301 s]
################
# More data... #
################
[startup+4062.32 s]
/proc/loadavg: 2.10 2.06 2.01 3/516 2079
/proc/meminfo: memFree=9561292/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4062.46 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 230958 0 0 0 406202 44 0 0 25 0 1 0 853311412 1179230208 216374 33554432000 4194304 6014671 140735269021248 18446744073709551615 4424080 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 216374 728 445 0 281443 0
Current children cumulated CPU time (s) 4062.46
Current children cumulated vsize (KiB) 1151592
[startup+4122.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/516 2081
/proc/meminfo: memFree=9586552/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4122.44 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 231305 0 0 0 412200 44 0 0 25 0 1 0 853311412 1179230208 216721 33554432000 4194304 6014671 140735269021248 18446744073709551615 4423856 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 216721 728 445 0 281443 0
Current children cumulated CPU time (s) 4122.44
Current children cumulated vsize (KiB) 1151592
[startup+4182.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/516 2082
/proc/meminfo: memFree=9512476/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4182.45 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 231305 0 0 0 418201 44 0 0 25 0 1 0 853311412 1179230208 216721 33554432000 4194304 6014671 140735269021248 18446744073709551615 4423853 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 216721 728 445 0 281443 0
Current children cumulated CPU time (s) 4182.45
Current children cumulated vsize (KiB) 1151592
[startup+4242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 2084
/proc/meminfo: memFree=9407280/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4242.45 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 235394 0 0 0 424200 45 0 0 25 0 1 0 853311412 1179230208 220810 33554432000 4194304 6014671 140735269021248 18446744073709551615 4423940 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 220810 728 445 0 281443 0
Current children cumulated CPU time (s) 4242.45
Current children cumulated vsize (KiB) 1151592
[startup+4302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 2086
/proc/meminfo: memFree=9392112/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4302.45 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 236946 0 0 0 430199 46 0 0 25 0 1 0 853311412 1179230208 222362 33554432000 4194304 6014671 140735269021248 18446744073709551615 4425380 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 222362 728 445 0 281443 0
Current children cumulated CPU time (s) 4302.45
Current children cumulated vsize (KiB) 1151592
[startup+4362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 2087
/proc/meminfo: memFree=9348424/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4362.45 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 241031 0 0 0 436198 47 0 0 25 0 1 0 853311412 1179230208 226447 33554432000 4194304 6014671 140735269021248 18446744073709551615 4424304 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 226447 728 445 0 281443 0
Current children cumulated CPU time (s) 4362.45
Current children cumulated vsize (KiB) 1151592
[startup+4422.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/516 2090
/proc/meminfo: memFree=9260340/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4422.46 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 242625 0 0 0 442198 48 0 0 25 0 1 0 853311412 1179230208 228041 33554432000 4194304 6014671 140735269021248 18446744073709551615 4424128 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 228041 728 445 0 281443 0
Current children cumulated CPU time (s) 4422.46
Current children cumulated vsize (KiB) 1151592
[startup+4482.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/516 2091
/proc/meminfo: memFree=9209704/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4482.46 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 246436 0 0 0 448197 49 0 0 25 0 1 0 853311412 1179230208 231852 33554432000 4194304 6014671 140735269021248 18446744073709551615 4424012 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 231852 728 445 0 281443 0
Current children cumulated CPU time (s) 4482.46
Current children cumulated vsize (KiB) 1151592
[startup+4542.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/516 2093
/proc/meminfo: memFree=9184736/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4542.46 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 248346 0 0 0 454197 49 0 0 25 0 1 0 853311412 1179230208 233762 33554432000 4194304 6014671 140735269021248 18446744073709551615 4422798 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 233762 728 445 0 281443 0
Current children cumulated CPU time (s) 4542.46
Current children cumulated vsize (KiB) 1151592
[startup+4602.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/516 2095
/proc/meminfo: memFree=9175632/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4602.46 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 248346 0 0 0 460197 49 0 0 25 0 1 0 853311412 1179230208 233762 33554432000 4194304 6014671 140735269021248 18446744073709551615 4423990 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 233762 728 445 0 281443 0
Current children cumulated CPU time (s) 4602.46
Current children cumulated vsize (KiB) 1151592
[startup+4662.3 s]
/proc/loadavg: 2.04 2.05 2.00 4/516 2097
/proc/meminfo: memFree=9167648/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4662.47 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 248911 0 0 0 466197 50 0 0 25 0 1 0 853311412 1179230208 234327 33554432000 4194304 6014671 140735269021248 18446744073709551615 4424128 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 234327 728 445 0 281443 0
Current children cumulated CPU time (s) 4662.47
Current children cumulated vsize (KiB) 1151592
[startup+4722.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 2099
/proc/meminfo: memFree=9166348/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4722.49 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 249153 0 0 0 472199 50 0 0 25 0 1 0 853311412 1179230208 234569 33554432000 4194304 6014671 140735269021248 18446744073709551615 4423250 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 234569 728 445 0 281443 0
Current children cumulated CPU time (s) 4722.49
Current children cumulated vsize (KiB) 1151592
[startup+4782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 2100
/proc/meminfo: memFree=9123760/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4782.47 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 254018 0 0 0 478196 51 0 0 25 0 1 0 853311412 1179230208 239434 33554432000 4194304 6014671 140735269021248 18446744073709551615 4424288 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 239434 728 445 0 281443 0
Current children cumulated CPU time (s) 4782.47
Current children cumulated vsize (KiB) 1151592
[startup+4842.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 2102
/proc/meminfo: memFree=9118604/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4842.47 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 255114 0 0 0 484196 51 0 0 25 0 1 0 853311412 1179230208 240530 33554432000 4194304 6014671 140735269021248 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 240530 728 445 0 281443 0
Current children cumulated CPU time (s) 4842.47
Current children cumulated vsize (KiB) 1151592
[startup+4902.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 2104
/proc/meminfo: memFree=9118804/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4902.47 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 258190 0 0 0 490196 51 0 0 25 0 1 0 853311412 1179230208 243606 33554432000 4194304 6014671 140735269021248 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 243606 728 445 0 281443 0
Current children cumulated CPU time (s) 4902.47
Current children cumulated vsize (KiB) 1151592
[startup+4962.3 s]
/proc/loadavg: 2.75 2.23 2.07 3/516 8288
/proc/meminfo: memFree=9076308/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=4962.47 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 260297 0 0 0 496192 55 0 0 25 0 1 0 853311412 1179230208 245713 33554432000 4194304 6014671 140735269021248 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 245713 728 445 0 281443 0
Current children cumulated CPU time (s) 4962.47
Current children cumulated vsize (KiB) 1151592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.38 2.20 2.07 3/516 8289
/proc/meminfo: memFree=9077424/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=5000.07 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 260886 0 0 0 499952 55 0 0 25 0 1 0 853311412 1179230208 246302 33554432000 4194304 6014671 140735269021248 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 246302 728 445 0 281443 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 1151592
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: 2.38 2.20 2.07 3/516 8289
/proc/meminfo: memFree=9077424/32950928 swapFree=67074476/67111528
[pid=1412] ppid=1410 vsize=1151592 CPUtime=5000.07 cores=0,2,4,6
/proc/1412/stat : 1412 (qutersat_releas) R 1410 1412 396 0 -1 4202496 260886 0 0 0 499952 55 0 0 25 0 1 0 853311412 1179230208 246302 33554432000 4194304 6014671 140735269021248 18446744073709551615 4423994 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1412/statm: 287898 246302 728 445 0 281443 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 1151592
Child status: 1
Real time (s): 4999.97
CPU time (s): 5000.15
CPU user time (s): 4999.55
CPU system time (s): 0.603908
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1151592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.55
system time used= 0.603908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260890
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= 6366
runsolver used 27.0159 second user time and 58.7901 second system time
The end