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-3500043-1307985928/watcher-3500043-1307985928 -o /tmp/evaluation-result-3500043-1307985928/solver-3500043-1307985928 -C 5000 -W 5100 -M 15500 sattime+ HOME/instance-3500043-1307985928.cnf 169223616
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.05 2.05 2.00 2/178 815
/proc/meminfo: memFree=9269992/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=880896 CPUtime=0 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4194304 244 0 0 0 0 0 0 0 22 0 1 0 910191029 902037504 187 33554432000 4194304 4228340 140736968158528 18446744073709551615 232335892224 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/815/statm: 220224 188 102 9 0 217381 0
[startup+0.00659894 s]
/proc/loadavg: 2.05 2.05 2.00 2/178 815
/proc/meminfo: memFree=9269992/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=881160 CPUtime=0 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4194304 365 0 0 0 0 0 0 0 22 0 1 0 910191029 902307840 308 33554432000 4194304 4228340 140736968158528 18446744073709551615 232335438523 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/815/statm: 220290 308 102 9 0 217447 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 881160
[startup+0.100613 s]
/proc/loadavg: 2.05 2.05 2.00 2/178 815
/proc/meminfo: memFree=9269992/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=888552 CPUtime=0.09 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4194304 3137 0 0 0 9 0 0 0 22 0 1 0 910191029 909877248 3080 33554432000 4194304 4228340 140736968158528 18446744073709551615 232335553221 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/815/statm: 222138 3080 102 9 0 219295 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 888552
[startup+0.300573 s]
/proc/loadavg: 2.05 2.05 2.00 2/178 815
/proc/meminfo: memFree=9269992/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=925112 CPUtime=0.29 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 14633 0 0 0 27 2 0 0 23 0 1 0 910191029 947314688 14575 33554432000 4194304 4228340 140736968158528 18446744073709551615 4206765 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/815/statm: 231278 14575 104 9 0 228435 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 925112
[startup+0.700519 s]
/proc/loadavg: 2.05 2.05 2.00 2/178 815
/proc/meminfo: memFree=9269992/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=925112 CPUtime=0.69 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 14633 0 0 0 67 2 0 0 25 0 1 0 910191029 947314688 14575 33554432000 4194304 4228340 140736968158528 18446744073709551615 4206941 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 231278 14575 104 9 0 228435 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 925112
[startup+1.50042 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 816
/proc/meminfo: memFree=9212304/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=925112 CPUtime=1.49 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 14633 0 0 0 147 2 0 0 25 0 1 0 910191029 947314688 14575 33554432000 4194304 4228340 140736968158528 18446744073709551615 4206801 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 231278 14575 104 9 0 228435 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 925112
[startup+3.10109 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 816
/proc/meminfo: memFree=9205484/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=925112 CPUtime=3.09 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 14633 0 0 0 307 2 0 0 25 0 1 0 910191029 947314688 14575 33554432000 4194304 4228340 140736968158528 18446744073709551615 4206687 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 231278 14575 104 9 0 228435 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 925112
[startup+6.30056 s]
/proc/loadavg: 2.13 2.06 2.01 3/179 816
/proc/meminfo: memFree=9205748/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=925112 CPUtime=6.29 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 14633 0 0 0 627 2 0 0 25 0 1 0 910191029 947314688 14575 33554432000 4194304 4228340 140736968158528 18446744073709551615 4206759 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 231278 14575 104 9 0 228435 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 925112
[startup+12.7004 s]
/proc/loadavg: 2.12 2.06 2.01 3/179 816
/proc/meminfo: memFree=9191488/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=12.69 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 1267 2 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 929604
[startup+25.5011 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 816
/proc/meminfo: memFree=9192272/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=25.49 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 2547 2 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4216907 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 929604
[startup+51.1006 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 817
/proc/meminfo: memFree=9191744/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=51.08 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 5106 2 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4216907 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 929604
[startup+102.306 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 818
/proc/meminfo: memFree=9191508/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=102.28 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 10226 2 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 929604
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 820
/proc/meminfo: memFree=9191588/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=162.28 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 16226 2 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218730 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 929604
[startup+222.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 821
/proc/meminfo: memFree=9191548/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=222.28 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 22226 2 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4217653 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 929604
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 823
/proc/meminfo: memFree=9191636/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=282.28 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 28226 2 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 929604
[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 825
/proc/meminfo: memFree=9191604/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=342.28 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 34226 2 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4216907 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 929604
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 826
/proc/meminfo: memFree=9191812/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=402.29 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 40227 2 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4217520 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 929604
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 828
/proc/meminfo: memFree=9191768/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=462.29 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 46227 2 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 929604
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 829
/proc/meminfo: memFree=9191856/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=522.29 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 52226 3 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218287 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 929604
[startup+582.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 831
/proc/meminfo: memFree=9191808/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=582.29 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 58226 3 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 929604
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=9191756/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=1362.32 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 136228 4 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4217708 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 929604
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 870
/proc/meminfo: memFree=9191584/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=1422.32 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 142228 4 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4216907 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 929604
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 872
/proc/meminfo: memFree=9191680/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=1482.32 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 148228 4 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218738 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 929604
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 874
/proc/meminfo: memFree=9191640/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=1542.32 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 154228 4 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4216907 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 929604
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 875
/proc/meminfo: memFree=9191596/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=1602.32 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 160228 4 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4217653 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 929604
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 877
/proc/meminfo: memFree=9191672/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=1662.33 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 166229 4 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4217653 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 929604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 878
/proc/meminfo: memFree=9191768/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=1722.32 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 172228 4 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 929604
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 880
/proc/meminfo: memFree=9191356/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=1782.32 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 178228 4 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218940 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 929604
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 882
/proc/meminfo: memFree=9191320/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=1842.32 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 184228 4 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218666 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 1842.32
Current children cumulated vsize (KiB) 929604
[startup+1902.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 883
/proc/meminfo: memFree=9191284/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=1902.32 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 190228 4 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218738 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 1902.32
Current children cumulated vsize (KiB) 929604
[startup+1962.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/179 885
/proc/meminfo: memFree=9191248/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=1962.33 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 196229 4 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4217694 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 1962.33
Current children cumulated vsize (KiB) 929604
[startup+2022.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 887
/proc/meminfo: memFree=9191336/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=2022.33 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 202229 4 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218738 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 2022.33
Current children cumulated vsize (KiB) 929604
[startup+2082.31 s]
/proc/loadavg: 2.11 2.06 2.01 3/179 889
/proc/meminfo: memFree=9191296/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=2082.33 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 208229 4 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4217653 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 2082.33
Current children cumulated vsize (KiB) 929604
[startup+2142.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 900
/proc/meminfo: memFree=9190484/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=2142.33 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 214229 4 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 2142.33
Current children cumulated vsize (KiB) 929604
[startup+2202.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 901
/proc/meminfo: memFree=9191112/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=2202.34 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 220229 5 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218915 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 2202.34
Current children cumulated vsize (KiB) 929604
Solver just ended. Dumping a history of the last processes samples
[startup+2204.7 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 901
/proc/meminfo: memFree=9191112/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=2204.74 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 220469 5 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 2204.74
Current children cumulated vsize (KiB) 929604
[startup+2205.51 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 901
/proc/meminfo: memFree=9191112/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=2205.55 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 220550 5 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 2205.55
Current children cumulated vsize (KiB) 929604
[startup+2206.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 901
/proc/meminfo: memFree=9191112/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929604 CPUtime=2206.34 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18186 0 0 0 220629 5 0 0 25 0 1 0 910191029 951914496 18127 33554432000 4194304 4228340 140736968158528 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/815/statm: 232401 18127 116 9 0 229558 0
Current children cumulated CPU time (s) 2206.34
Current children cumulated vsize (KiB) 929604
[startup+2206.5 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 901
/proc/meminfo: memFree=9191112/32951124 swapFree=67063272/67111528
[pid=815] ppid=813 vsize=929608 CPUtime=2206.54 cores=0,2,4,6
/proc/815/stat : 815 (sattime+) R 813 815 768 0 -1 4202496 18187 0 0 0 220649 5 0 0 25 0 1 0 910191029 951918592 18128 33554432000 4194304 4228340 140736968158528 18446744073709551615 232335892224 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/815/statm: 232402 18128 116 9 0 229559 0
Current children cumulated CPU time (s) 2206.54
Current children cumulated vsize (KiB) 929608
Child status: 10
Real time (s): 2206.61
CPU time (s): 2206.65
CPU user time (s): 2206.59
CPU system time (s): 0.058991
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 929608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2206.59
system time used= 0.058991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18190
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= 5
involuntary context switches= 4904
runsolver used 3.90241 second user time and 8.09877 second system time
The end