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-3499949-1307980302/watcher-3499949-1307980302 -o /tmp/evaluation-result-3499949-1307980302/solver-3499949-1307980302 -C 5000 -W 5100 -M 15500 sattime+ HOME/instance-3499949-1307980302.cnf 2100620049
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.00 2.00 1.94 4/177 12785
/proc/meminfo: memFree=32202512/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=880896 CPUtime=0 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4194304 238 0 0 0 0 0 0 0 25 0 1 0 909632597 902037504 181 33554432000 4194304 4228340 140735418079328 18446744073709551615 212435677893 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 220224 181 102 9 0 217381 0
[startup+0.073111 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 12785
/proc/meminfo: memFree=32202512/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=883140 CPUtime=0.07 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4194304 937 0 0 0 7 0 0 0 25 0 1 0 909632597 904335360 880 33554432000 4194304 4228340 140735418079328 18446744073709551615 212435565943 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 220785 881 102 9 0 217942 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 883140
[startup+0.101106 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 12785
/proc/meminfo: memFree=32202512/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=884064 CPUtime=0.09 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4194304 1222 0 0 0 9 0 0 0 25 0 1 0 909632597 905281536 1165 33554432000 4194304 4228340 140735418079328 18446744073709551615 212435677893 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 221016 1165 102 9 0 218173 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 884064
[startup+0.301061 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 12785
/proc/meminfo: memFree=32202512/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894400 CPUtime=0.29 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3689 0 0 0 29 0 0 0 25 0 1 0 909632597 915865600 3631 33554432000 4194304 4228340 140735418079328 18446744073709551615 4206697 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223600 3631 104 9 0 220757 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 894400
[startup+0.700982 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 12785
/proc/meminfo: memFree=32202512/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894400 CPUtime=0.69 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3689 0 0 0 69 0 0 0 25 0 1 0 909632597 915865600 3631 33554432000 4194304 4228340 140735418079328 18446744073709551615 4206785 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223600 3631 104 9 0 220757 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 894400
[startup+1.5008 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12786
/proc/meminfo: memFree=32186904/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894400 CPUtime=1.49 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3689 0 0 0 149 0 0 0 25 0 1 0 909632597 915865600 3631 33554432000 4194304 4228340 140735418079328 18446744073709551615 4206785 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223600 3631 104 9 0 220757 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 894400
[startup+3.10054 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12786
/proc/meminfo: memFree=32186656/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894400 CPUtime=3.09 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3689 0 0 0 309 0 0 0 25 0 1 0 909632597 915865600 3631 33554432000 4194304 4228340 140735418079328 18446744073709551615 4206890 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223600 3631 104 9 0 220757 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 894400
[startup+6.30093 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12786
/proc/meminfo: memFree=32185940/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894400 CPUtime=6.29 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3689 0 0 0 629 0 0 0 25 0 1 0 909632597 915865600 3631 33554432000 4194304 4228340 140735418079328 18446744073709551615 4206744 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223600 3631 104 9 0 220757 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 894400
[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12786
/proc/meminfo: memFree=32185848/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894400 CPUtime=12.69 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3689 0 0 0 1269 0 0 0 25 0 1 0 909632597 915865600 3631 33554432000 4194304 4228340 140735418079328 18446744073709551615 4206714 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223600 3631 104 9 0 220757 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 894400
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12787
/proc/meminfo: memFree=32186080/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894400 CPUtime=25.49 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3689 0 0 0 2549 0 0 0 25 0 1 0 909632597 915865600 3631 33554432000 4194304 4228340 140735418079328 18446744073709551615 4206724 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223600 3631 104 9 0 220757 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 894400
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12787
/proc/meminfo: memFree=32184648/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=51.08 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 5108 0 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218840 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 894404
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12789
/proc/meminfo: memFree=32184376/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=102.29 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 10229 0 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218730 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 894404
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/178 12790
/proc/meminfo: memFree=32184452/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=162.29 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 16228 1 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218680 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 894404
[startup+222.301 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 12792
/proc/meminfo: memFree=32184524/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=222.29 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 22228 1 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4216907 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 894404
[startup+282.301 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 12793
/proc/meminfo: memFree=32184472/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=282.29 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 28228 1 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218719 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 894404
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12795
/proc/meminfo: memFree=32184424/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=342.3 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 34229 1 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4216907 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 894404
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12797
/proc/meminfo: memFree=32184364/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=402.3 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 40229 1 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4216888 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 894404
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12798
/proc/meminfo: memFree=32184444/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=462.3 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 46229 1 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218680 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 894404
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12800
/proc/meminfo: memFree=32184652/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=522.3 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 52229 1 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4217565 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 894404
[startup+582.301 s]
/proc/loadavg: 2.06 2.02 1.95 3/178 12810
/proc/meminfo: memFree=32183040/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=582.3 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 58229 1 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 894404
[startup+642.301 s]
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 12906
/proc/meminfo: memFree=32182568/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4062.43 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 406238 5 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218915 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4062.43
Current children cumulated vsize (KiB) 894404
[startup+4122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 12908
/proc/meminfo: memFree=32182392/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4122.43 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 412238 5 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218738 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4122.43
Current children cumulated vsize (KiB) 894404
[startup+4182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 12918
/proc/meminfo: memFree=32182204/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4182.43 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 418238 5 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4216907 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4182.43
Current children cumulated vsize (KiB) 894404
[startup+4242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 12920
/proc/meminfo: memFree=32182172/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4242.43 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 424238 5 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4242.43
Current children cumulated vsize (KiB) 894404
[startup+4302.3 s]
/proc/loadavg: 2.04 2.01 1.99 3/178 12922
/proc/meminfo: memFree=32182128/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4302.43 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 430238 5 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4217122 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4302.43
Current children cumulated vsize (KiB) 894404
[startup+4362.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/178 12926
/proc/meminfo: memFree=32181644/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4362.44 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 436238 6 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218730 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4362.44
Current children cumulated vsize (KiB) 894404
[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 12928
/proc/meminfo: memFree=32181864/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4422.44 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 442238 6 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218523 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4422.44
Current children cumulated vsize (KiB) 894404
[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.99 4/178 12929
/proc/meminfo: memFree=32181820/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4482.44 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 448238 6 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218504 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4482.44
Current children cumulated vsize (KiB) 894404
[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 12931
/proc/meminfo: memFree=32182032/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4542.45 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 454239 6 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218515 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4542.45
Current children cumulated vsize (KiB) 894404
[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 12933
/proc/meminfo: memFree=32181620/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4602.45 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 460239 6 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4217086 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4602.45
Current children cumulated vsize (KiB) 894404
[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 12934
/proc/meminfo: memFree=32181592/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4662.45 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 466239 6 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4217114 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4662.45
Current children cumulated vsize (KiB) 894404
[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 12936
/proc/meminfo: memFree=32181676/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4722.46 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 472240 6 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4217520 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4722.46
Current children cumulated vsize (KiB) 894404
[startup+4782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 12937
/proc/meminfo: memFree=32181764/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4782.45 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 478239 6 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4217651 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4782.45
Current children cumulated vsize (KiB) 894404
[startup+4842.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12939
/proc/meminfo: memFree=32181856/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4842.46 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 484240 6 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4219020 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4842.46
Current children cumulated vsize (KiB) 894404
[startup+4902.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 12941
/proc/meminfo: memFree=32181688/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4902.46 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 490240 6 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218738 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4902.46
Current children cumulated vsize (KiB) 894404
[startup+4962.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 12942
/proc/meminfo: memFree=32181644/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=4962.46 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 496239 7 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4217114 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 4962.46
Current children cumulated vsize (KiB) 894404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.02 2.01 2.00 2/176 12944
/proc/meminfo: memFree=32187836/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=5000.07 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 500000 7 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218858 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 894404
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.02 2.01 2.00 2/176 12944
/proc/meminfo: memFree=32187836/32951124 swapFree=67050540/67111528
[pid=12785] ppid=12783 vsize=894404 CPUtime=5000.07 cores=0,2,4,6
/proc/12785/stat : 12785 (sattime+) R 12783 12785 11136 0 -1 4202496 3977 0 0 0 500000 7 0 0 25 0 1 0 909632597 915869696 3918 33554432000 4194304 4228340 140735418079328 18446744073709551615 4218858 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/12785/statm: 223601 3918 116 9 0 220758 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 894404
Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.91
CPU time (s): 5000.08
CPU user time (s): 5000.01
CPU system time (s): 0.072988
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 894404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5000.01
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3977
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= 3
involuntary context switches= 13094
runsolver used 7.33188 second user time and 15.4217 second system time
The end