runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3275918-1303660204/watcher-3275918-1303660204 -o /tmp/evaluation-result-3275918-1303660204/solver-3275918-1303660204 -C 5000 -W 5100 -M 15500 HOME/clasp --file=HOME/instance-3275918-1303660204.cnf --dimacs --number=1 --sat-p=20,25,150 --hParam=0,512
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 2.00 2/177 4090
/proc/meminfo: memFree=13274520/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=2452 CPUtime=0 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 477620839 2510848 319 33554432000 134512640 136057169 4294420688 18446744073709551615 135502702 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 613 319 145 378 0 233 0
[startup+0.055928 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 4090
/proc/meminfo: memFree=13274520/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=4520 CPUtime=0.05 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 955 0 0 0 5 0 0 0 25 0 1 0 477620839 4628480 864 33554432000 134512640 136057169 4294420688 18446744073709551615 134774448 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 1130 864 166 378 0 750 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4520
[startup+0.100909 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 4090
/proc/meminfo: memFree=13274520/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=4520 CPUtime=0.09 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 955 0 0 0 9 0 0 0 25 0 1 0 477620839 4628480 864 33554432000 134512640 136057169 4294420688 18446744073709551615 134774448 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 1130 864 166 378 0 750 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4520
[startup+0.30087 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 4090
/proc/meminfo: memFree=13274520/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=4916 CPUtime=0.29 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 1063 0 0 0 29 0 0 0 25 0 1 0 477620839 5033984 972 33554432000 134512640 136057169 4294420688 18446744073709551615 134765714 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 1229 972 168 378 0 849 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4916
[startup+0.700799 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 4090
/proc/meminfo: memFree=13274520/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=7624 CPUtime=0.69 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 1877 0 0 0 69 0 0 0 25 0 1 0 477620839 7806976 1674 33554432000 134512640 136057169 4294420688 18446744073709551615 134819879 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 1906 1674 183 378 0 1526 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7624
[startup+1.50068 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4091
/proc/meminfo: memFree=13265336/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=14504 CPUtime=1.49 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 3600 0 0 0 149 0 0 0 25 0 1 0 477620839 14852096 3397 33554432000 134512640 136057169 4294420688 18446744073709551615 134819954 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 3626 3397 183 378 0 3246 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14504
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4091
/proc/meminfo: memFree=13260996/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=17704 CPUtime=3.09 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 4389 0 0 0 309 0 0 0 25 0 1 0 477620839 18128896 4186 33554432000 134512640 136057169 4294420688 18446744073709551615 134618262 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 4426 4186 183 378 0 4046 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17704
[startup+6.30081 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4091
/proc/meminfo: memFree=13253544/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=21872 CPUtime=6.3 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 5420 0 0 0 629 1 0 0 25 0 1 0 477620839 22396928 5217 33554432000 134512640 136057169 4294420688 18446744073709551615 134823838 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 5468 5217 183 378 0 5088 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 21872
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4091
/proc/meminfo: memFree=13246592/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=31808 CPUtime=12.69 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 7859 0 0 0 1268 1 0 0 25 0 1 0 477620839 32571392 7656 33554432000 134512640 136057169 4294420688 18446744073709551615 134618473 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 7952 7657 183 378 0 7572 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31808
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4091
/proc/meminfo: memFree=13241380/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=34020 CPUtime=25.49 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 8396 0 0 0 2548 1 0 0 25 0 1 0 477620839 34836480 8193 33554432000 134512640 136057169 4294420688 18446744073709551615 134823794 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 8505 8193 183 378 0 8125 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34020
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4092
/proc/meminfo: memFree=13233544/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=41880 CPUtime=51.09 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 10328 0 0 0 5108 1 0 0 25 0 1 0 477620839 42885120 10125 33554432000 134512640 136057169 4294420688 18446744073709551615 134618356 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 10470 10125 183 378 0 10090 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41880
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4094
/proc/meminfo: memFree=13222248/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=52676 CPUtime=102.3 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 12979 0 0 0 10228 2 0 0 25 0 1 0 477620839 53940224 12776 33554432000 134512640 136057169 4294420688 18446744073709551615 134618267 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 13169 12776 183 378 0 12789 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 52676
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4095
/proc/meminfo: memFree=13210692/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=64552 CPUtime=162.3 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 15845 0 0 0 16228 2 0 0 25 0 1 0 477620839 66101248 15642 33554432000 134512640 136057169 4294420688 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 16138 15642 183 378 0 15758 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 64552
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4097
/proc/meminfo: memFree=13209052/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=66696 CPUtime=222.3 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 16316 0 0 0 22228 2 0 0 25 0 1 0 477620839 68296704 16113 33554432000 134512640 136057169 4294420688 18446744073709551615 134823886 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 16674 16113 183 378 0 16294 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 66696
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 4098
/proc/meminfo: memFree=13206432/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=69516 CPUtime=282.3 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 16945 0 0 0 28228 2 0 0 25 0 1 0 477620839 71184384 16742 33554432000 134512640 136057169 4294420688 18446744073709551615 134618243 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 17379 16742 183 378 0 16999 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 69516
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 4100
/proc/meminfo: memFree=13205172/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=71012 CPUtime=342.3 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 17280 0 0 0 34228 2 0 0 25 0 1 0 477620839 72716288 17077 33554432000 134512640 136057169 4294420688 18446744073709551615 134823867 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 17753 17077 183 378 0 17373 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 71012
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4102
/proc/meminfo: memFree=13196344/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=79964 CPUtime=402.31 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 19452 0 0 0 40228 3 0 0 25 0 1 0 477620839 81883136 19249 33554432000 134512640 136057169 4294420688 18446744073709551615 134637470 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 19991 19249 183 378 0 19611 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 79964
[startup+462.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 4103
/proc/meminfo: memFree=13193220/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=83332 CPUtime=462.31 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 20241 0 0 0 46228 3 0 0 25 0 1 0 477620839 85331968 20038 33554432000 134512640 136057169 4294420688 18446744073709551615 134819855 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 20833 20038 183 378 0 20453 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 83332
[startup+522.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 4105
/proc/meminfo: memFree=13192208/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=84184 CPUtime=522.31 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 20447 0 0 0 52228 3 0 0 25 0 1 0 477620839 86204416 20244 33554432000 134512640 136057169 4294420688 18446744073709551615 134615587 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 21046 20244 183 378 0 20666 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 84184
[startup+582.301 s]
/proc/loadavg: 1.95 1.99 1.99 3/178 4134
/proc/meminfo: memFree=13215216/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=85688 CPUtime=582.31 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 20839 0 0 0 58228 3 0 0 25 0 1 0 477620839 87744512 20636 33554432000 134512640 136057169 4294420688 18446744073709551615 134618253 0 0 4096 16386 0 0 0 17 2 0 0 0
/proc/4090/statm: 21422 20636 183 378 0 21042 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 85688
[startup+642.301 s]
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4239
/proc/meminfo: memFree=13163276/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=136352 CPUtime=4062.42 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 33065 0 0 0 406232 10 0 0 25 0 1 0 477620839 139624448 32771 33554432000 134512640 136057169 4294420688 18446744073709551615 134823838 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 34088 32771 183 378 0 33708 0
Current children cumulated CPU time (s) 4062.42
Current children cumulated vsize (KiB) 136352
[startup+4122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4241
/proc/meminfo: memFree=13163384/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=136352 CPUtime=4122.42 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 33066 0 0 0 412232 10 0 0 25 0 1 0 477620839 139624448 32772 33554432000 134512640 136057169 4294420688 18446744073709551615 134618380 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 34088 32772 183 378 0 33708 0
Current children cumulated CPU time (s) 4122.42
Current children cumulated vsize (KiB) 136352
[startup+4182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4242
/proc/meminfo: memFree=13163232/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=136352 CPUtime=4182.42 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 33072 0 0 0 418232 10 0 0 25 0 1 0 477620839 139624448 32778 33554432000 134512640 136057169 4294420688 18446744073709551615 134618185 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 34088 32778 183 378 0 33708 0
Current children cumulated CPU time (s) 4182.42
Current children cumulated vsize (KiB) 136352
[startup+4242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4244
/proc/meminfo: memFree=13163072/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=136352 CPUtime=4242.42 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 33093 0 0 0 424232 10 0 0 25 0 1 0 477620839 139624448 32799 33554432000 134512640 136057169 4294420688 18446744073709551615 134618304 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 34088 32799 183 378 0 33708 0
Current children cumulated CPU time (s) 4242.42
Current children cumulated vsize (KiB) 136352
[startup+4302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4255
/proc/meminfo: memFree=13161152/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=138484 CPUtime=4302.42 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 33653 0 0 0 430232 10 0 0 25 0 1 0 477620839 141807616 33359 33554432000 134512640 136057169 4294420688 18446744073709551615 134618304 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 34621 33359 183 378 0 34241 0
Current children cumulated CPU time (s) 4302.42
Current children cumulated vsize (KiB) 138484
[startup+4362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 4256
/proc/meminfo: memFree=13157292/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=142580 CPUtime=4362.42 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 34594 0 0 0 436231 11 0 0 25 0 1 0 477620839 146001920 34300 33554432000 134512640 136057169 4294420688 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 35645 34300 183 378 0 35265 0
Current children cumulated CPU time (s) 4362.42
Current children cumulated vsize (KiB) 142580
[startup+4422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 4258
/proc/meminfo: memFree=13157264/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=142792 CPUtime=4422.42 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 34634 0 0 0 442231 11 0 0 25 0 1 0 477620839 146219008 34340 33554432000 134512640 136057169 4294420688 18446744073709551615 134618256 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 35698 34340 183 378 0 35318 0
Current children cumulated CPU time (s) 4422.42
Current children cumulated vsize (KiB) 142792
[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4262
/proc/meminfo: memFree=13156976/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=142792 CPUtime=4482.43 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 34648 0 0 0 448232 11 0 0 25 0 1 0 477620839 146219008 34354 33554432000 134512640 136057169 4294420688 18446744073709551615 134615973 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 35698 34354 183 378 0 35318 0
Current children cumulated CPU time (s) 4482.43
Current children cumulated vsize (KiB) 142792
[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4264
/proc/meminfo: memFree=13157084/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=142792 CPUtime=4542.43 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 34649 0 0 0 454232 11 0 0 25 0 1 0 477620839 146219008 34355 33554432000 134512640 136057169 4294420688 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 35698 34355 183 378 0 35318 0
Current children cumulated CPU time (s) 4542.43
Current children cumulated vsize (KiB) 142792
[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4266
/proc/meminfo: memFree=13156688/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=142792 CPUtime=4602.43 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 34661 0 0 0 460232 11 0 0 25 0 1 0 477620839 146219008 34367 33554432000 134512640 136057169 4294420688 18446744073709551615 134618141 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 35698 34367 183 378 0 35318 0
Current children cumulated CPU time (s) 4602.43
Current children cumulated vsize (KiB) 142792
[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4267
/proc/meminfo: memFree=13156416/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=143112 CPUtime=4662.43 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 34733 0 0 0 466232 11 0 0 25 0 1 0 477620839 146546688 34439 33554432000 134512640 136057169 4294420688 18446744073709551615 134618250 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 35778 34439 183 378 0 35398 0
Current children cumulated CPU time (s) 4662.43
Current children cumulated vsize (KiB) 143112
[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4269
/proc/meminfo: memFree=13156028/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=143112 CPUtime=4722.44 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 34836 0 0 0 472233 11 0 0 25 0 1 0 477620839 146546688 34458 33554432000 134512640 136057169 4294420688 18446744073709551615 134618371 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 35778 34458 183 378 0 35398 0
Current children cumulated CPU time (s) 4722.44
Current children cumulated vsize (KiB) 143112
[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4270
/proc/meminfo: memFree=13156128/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=143112 CPUtime=4782.43 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 34842 0 0 0 478232 11 0 0 25 0 1 0 477620839 146546688 34464 33554432000 134512640 136057169 4294420688 18446744073709551615 134618132 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 35778 34464 183 378 0 35398 0
Current children cumulated CPU time (s) 4782.43
Current children cumulated vsize (KiB) 143112
[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4272
/proc/meminfo: memFree=13154364/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=145180 CPUtime=4842.43 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 35344 0 0 0 484232 11 0 0 25 0 1 0 477620839 148664320 34966 33554432000 134512640 136057169 4294420688 18446744073709551615 134618430 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 36295 34966 183 378 0 35915 0
Current children cumulated CPU time (s) 4842.43
Current children cumulated vsize (KiB) 145180
[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4274
/proc/meminfo: memFree=13154092/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=145500 CPUtime=4902.44 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 35411 0 0 0 490233 11 0 0 25 0 1 0 477620839 148992000 35033 33554432000 134512640 136057169 4294420688 18446744073709551615 134618307 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 36375 35033 183 378 0 35995 0
Current children cumulated CPU time (s) 4902.44
Current children cumulated vsize (KiB) 145500
[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4275
/proc/meminfo: memFree=13154316/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=145500 CPUtime=4962.44 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 35411 0 0 0 496232 12 0 0 25 0 1 0 477620839 148992000 35033 33554432000 134512640 136057169 4294420688 18446744073709551615 134823934 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 36375 35033 183 378 0 35995 0
Current children cumulated CPU time (s) 4962.44
Current children cumulated vsize (KiB) 145500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4276
/proc/meminfo: memFree=13154428/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=145500 CPUtime=5000.05 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 35411 0 0 0 499993 12 0 0 25 0 1 0 477620839 148992000 35033 33554432000 134512640 136057169 4294420688 18446744073709551615 134823898 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 36375 35033 183 378 0 35995 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 145500
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.00 2.00 2.00 3/178 4276
/proc/meminfo: memFree=13154428/32951124 swapFree=67111528/67111528
[pid=4090] ppid=4088 vsize=145500 CPUtime=5000.05 cores=0,2,4,6
/proc/4090/stat : 4090 (clasp) R 4088 4090 2670 0 -1 4202496 35411 0 0 0 499993 12 0 0 25 0 1 0 477620839 148992000 35033 33554432000 134512640 136057169 4294420688 18446744073709551615 134823898 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/4090/statm: 36375 35033 183 378 0 35995 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 145500
Child status: 0
Real time (s): 4999.91
CPU time (s): 5000.06
CPU user time (s): 4999.93
CPU system time (s): 0.132979
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 145500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.93
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35413
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= 10708
runsolver used 7.31389 second user time and 15.4586 second system time
The end