runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3469429-1307097940/watcher-3469429-1307097940 -o /tmp/evaluation-result-3469429-1307097940/solver-3469429-1307097940 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469429-1307097940.opb --solu --heu=VSIDS
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 1.92 1.99 1.99 3/437 2862
/proc/meminfo: memFree=24754064/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=12772 CPUtime=0 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 617 0 0 0 0 0 0 0 25 0 1 0 802209601 13078528 535 33554432000 4194304 4933572 140737169836848 18446744073709551615 270338044613 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2862/statm: 3193 535 365 181 0 202 0
[startup+0.095011 s]
/proc/loadavg: 1.92 1.99 1.99 3/437 2862
/proc/meminfo: memFree=24754064/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=13304 CPUtime=0.09 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 756 0 0 0 9 0 0 0 25 0 1 0 802209601 13623296 674 33554432000 4194304 4933572 140737169836848 18446744073709551615 4330162 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2862/statm: 3326 674 374 181 0 335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13304
[startup+0.101024 s]
/proc/loadavg: 1.92 1.99 1.99 3/437 2862
/proc/meminfo: memFree=24754064/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=13304 CPUtime=0.09 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 757 0 0 0 9 0 0 0 25 0 1 0 802209601 13623296 675 33554432000 4194304 4933572 140737169836848 18446744073709551615 4648408 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2862/statm: 3326 675 374 181 0 335 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13304
[startup+0.30097 s]
/proc/loadavg: 1.92 1.99 1.99 3/437 2862
/proc/meminfo: memFree=24754064/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=13832 CPUtime=0.29 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 874 0 0 0 29 0 0 0 25 0 1 0 802209601 14163968 792 33554432000 4194304 4933572 140737169836848 18446744073709551615 4319445 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2862/statm: 3458 792 374 181 0 467 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13832
[startup+0.700891 s]
/proc/loadavg: 1.92 1.99 1.99 3/437 2862
/proc/meminfo: memFree=24754064/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=14176 CPUtime=0.69 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 973 0 0 0 69 0 0 0 25 0 1 0 802209601 14516224 891 33554432000 4194304 4933572 140737169836848 18446744073709551615 4637187 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2862/statm: 3544 891 375 181 0 553 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14176
[startup+1.50073 s]
/proc/loadavg: 1.93 1.99 1.99 3/438 2863
/proc/meminfo: memFree=24745384/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=14572 CPUtime=1.49 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 1084 0 0 0 149 0 0 0 25 0 1 0 802209601 14921728 1002 33554432000 4194304 4933572 140737169836848 18446744073709551615 4663961 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2862/statm: 3643 1002 375 181 0 652 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14572
[startup+3.10041 s]
/proc/loadavg: 1.93 1.99 1.99 3/438 2863
/proc/meminfo: memFree=24740672/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=15080 CPUtime=3.09 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 1201 0 0 0 309 0 0 0 25 0 1 0 802209601 15441920 1119 33554432000 4194304 4933572 140737169836848 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2862/statm: 3770 1119 375 181 0 779 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15080
[startup+6.30079 s]
/proc/loadavg: 1.93 1.99 1.99 3/438 2863
/proc/meminfo: memFree=24735248/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=15828 CPUtime=6.3 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 1379 0 0 0 630 0 0 0 25 0 1 0 802209601 16207872 1297 33554432000 4194304 4933572 140737169836848 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2862/statm: 3957 1297 375 181 0 966 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 15828
[startup+12.7005 s]
/proc/loadavg: 1.94 1.99 1.99 3/438 2863
/proc/meminfo: memFree=24722764/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=16696 CPUtime=12.69 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 1590 0 0 0 1269 0 0 0 25 0 1 0 802209601 17096704 1508 33554432000 4194304 4933572 140737169836848 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2862/statm: 4174 1508 375 181 0 1183 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16696
[startup+25.501 s]
/proc/loadavg: 1.95 1.99 1.99 3/438 2864
/proc/meminfo: memFree=24706004/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=17364 CPUtime=25.49 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 1755 0 0 0 2549 0 0 0 25 0 1 0 802209601 17780736 1673 33554432000 4194304 4933572 140737169836848 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/2862/statm: 4341 1673 375 181 0 1350 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17364
[startup+51.1009 s]
/proc/loadavg: 1.96 1.99 1.99 3/438 2864
/proc/meminfo: memFree=24695320/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=18584 CPUtime=51.08 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 2075 0 0 0 5108 0 0 0 25 0 1 0 802209601 19030016 1993 33554432000 4194304 4933572 140737169836848 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 4646 1993 375 181 0 1655 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18584
[startup+102.316 s]
/proc/loadavg: 1.98 1.99 1.99 3/438 2866
/proc/meminfo: memFree=24672488/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=19708 CPUtime=102.29 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 2347 0 0 0 10229 0 0 0 25 0 1 0 802209601 20180992 2265 33554432000 4194304 4933572 140737169836848 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 4927 2265 375 181 0 1936 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 19708
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/438 2868
/proc/meminfo: memFree=24657592/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=20528 CPUtime=162.28 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 2527 0 0 0 16228 0 0 0 25 0 1 0 802209601 21020672 2445 33554432000 4194304 4933572 140737169836848 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5132 2445 375 181 0 2141 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 20528
[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/438 2870
/proc/meminfo: memFree=24646276/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=20820 CPUtime=222.28 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 2595 0 0 0 22228 0 0 0 25 0 1 0 802209601 21319680 2513 33554432000 4194304 4933572 140737169836848 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5205 2513 375 181 0 2214 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 20820
[startup+282.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/438 2872
/proc/meminfo: memFree=24640180/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=21196 CPUtime=282.29 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 2678 0 0 0 28229 0 0 0 25 0 1 0 802209601 21704704 2596 33554432000 4194304 4933572 140737169836848 18446744073709551615 4330068 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5299 2596 375 181 0 2308 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 21196
[startup+342.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/438 2873
/proc/meminfo: memFree=24628864/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=21352 CPUtime=342.29 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 2713 0 0 0 34229 0 0 0 25 0 1 0 802209601 21864448 2631 33554432000 4194304 4933572 140737169836848 18446744073709551615 4632840 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5338 2631 375 181 0 2347 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 21352
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 2875
/proc/meminfo: memFree=24622520/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=21660 CPUtime=402.29 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 2780 0 0 0 40228 1 0 0 25 0 1 0 802209601 22179840 2698 33554432000 4194304 4933572 140737169836848 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5415 2698 375 181 0 2424 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 21660
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2876
/proc/meminfo: memFree=24620756/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=21808 CPUtime=462.3 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 2834 0 0 0 46229 1 0 0 25 0 1 0 802209601 22331392 2752 33554432000 4194304 4933572 140737169836848 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5452 2752 375 181 0 2461 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 21808
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2878
/proc/meminfo: memFree=24605356/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=22108 CPUtime=522.3 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 2880 0 0 0 52229 1 0 0 25 0 1 0 802209601 22638592 2798 33554432000 4194304 4933572 140737169836848 18446744073709551615 4635396 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5527 2798 375 181 0 2536 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 22108
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2880
/proc/meminfo: memFree=24600980/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=22108 CPUtime=582.3 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 2895 0 0 0 58229 1 0 0 25 0 1 0 802209601 22638592 2813 33554432000 4194304 4933572 140737169836848 18446744073709551615 4319368 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5527 2813 375 181 0 2536 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 22108
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.06 2.03 2.01 3/438 2886
/proc/meminfo: memFree=24578548/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=22556 CPUtime=822.31 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 2987 0 0 0 82230 1 0 0 25 0 1 0 802209601 23097344 2905 33554432000 4194304 4933572 140737169836848 18446744073709551615 4635418 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5639 2905 375 181 0 2648 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 22556
[startup+882.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 2888
/proc/meminfo: memFree=24576548/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=22708 CPUtime=882.31 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 2994 0 0 0 88230 1 0 0 25 0 1 0 802209601 23252992 2912 33554432000 4194304 4933572 140737169836848 18446744073709551615 4631807 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5677 2912 375 181 0 2686 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 22708
[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 2898
/proc/meminfo: memFree=24574292/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=22708 CPUtime=942.32 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3016 0 0 0 94231 1 0 0 25 0 1 0 802209601 23252992 2934 33554432000 4194304 4933572 140737169836848 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5677 2934 375 181 0 2686 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 22708
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2901
/proc/meminfo: memFree=24573656/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=22856 CPUtime=1002.32 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3038 0 0 0 100230 2 0 0 25 0 1 0 802209601 23404544 2956 33554432000 4194304 4933572 140737169836848 18446744073709551615 4632720 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5714 2956 375 181 0 2723 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 22856
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2902
/proc/meminfo: memFree=24573380/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=22856 CPUtime=1062.32 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3045 0 0 0 106230 2 0 0 25 0 1 0 802209601 23404544 2963 33554432000 4194304 4933572 140737169836848 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5714 2963 375 181 0 2723 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 22856
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2904
/proc/meminfo: memFree=24571256/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=23008 CPUtime=1122.33 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3070 0 0 0 112231 2 0 0 25 0 1 0 802209601 23560192 2988 33554432000 4194304 4933572 140737169836848 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5752 2988 375 181 0 2761 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 23008
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2905
/proc/meminfo: memFree=24571100/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=23156 CPUtime=1182.33 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3092 0 0 0 118231 2 0 0 25 0 1 0 802209601 23711744 3010 33554432000 4194304 4933572 140737169836848 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5789 3010 375 181 0 2798 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 23156
[startup+1242.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/438 2907
/proc/meminfo: memFree=24555208/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=23156 CPUtime=1242.33 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3092 0 0 0 124231 2 0 0 25 0 1 0 802209601 23711744 3010 33554432000 4194304 4933572 140737169836848 18446744073709551615 4664026 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5789 3010 375 181 0 2798 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 23156
[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/438 2909
/proc/meminfo: memFree=24552080/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=23308 CPUtime=1302.34 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3118 0 0 0 130232 2 0 0 25 0 1 0 802209601 23867392 3036 33554432000 4194304 4933572 140737169836848 18446744073709551615 4632260 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5827 3036 375 181 0 2836 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 23308
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/438 2910
/proc/meminfo: memFree=24552172/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=23308 CPUtime=1362.34 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3119 0 0 0 136232 2 0 0 25 0 1 0 802209601 23867392 3037 33554432000 4194304 4933572 140737169836848 18446744073709551615 4631815 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5827 3037 375 181 0 2836 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 23308
[startup+1422.32 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 2912
/proc/meminfo: memFree=24550292/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=23308 CPUtime=1422.35 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3119 0 0 0 142233 2 0 0 25 0 1 0 802209601 23867392 3037 33554432000 4194304 4933572 140737169836848 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5827 3037 375 181 0 2836 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 23308
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 2914
/proc/meminfo: memFree=24549032/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=23308 CPUtime=1482.34 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3119 0 0 0 148232 2 0 0 25 0 1 0 802209601 23867392 3037 33554432000 4194304 4933572 140737169836848 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5827 3037 375 181 0 2836 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 23308
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2915
/proc/meminfo: memFree=24550120/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=23308 CPUtime=1542.34 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3119 0 0 0 154232 2 0 0 25 0 1 0 802209601 23867392 3037 33554432000 4194304 4933572 140737169836848 18446744073709551615 4330162 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5827 3037 375 181 0 2836 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 23308
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2917
/proc/meminfo: memFree=24549360/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=23308 CPUtime=1602.34 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3119 0 0 0 160232 2 0 0 25 0 1 0 802209601 23867392 3037 33554432000 4194304 4933572 140737169836848 18446744073709551615 4632788 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5827 3037 375 181 0 2836 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 23308
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2918
/proc/meminfo: memFree=24548104/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=23308 CPUtime=1662.34 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3119 0 0 0 166232 2 0 0 25 0 1 0 802209601 23867392 3037 33554432000 4194304 4933572 140737169836848 18446744073709551615 4319248 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5827 3037 375 181 0 2836 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 23308
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 2920
/proc/meminfo: memFree=24547940/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=23308 CPUtime=1722.35 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3120 0 0 0 172233 2 0 0 25 0 1 0 802209601 23867392 3038 33554432000 4194304 4933572 140737169836848 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5827 3038 375 181 0 2836 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 23308
[startup+1782.3 s]
/proc/loadavg: 2.19 2.06 2.02 3/438 2924
/proc/meminfo: memFree=24545564/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=23308 CPUtime=1782.35 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3120 0 0 0 178233 2 0 0 25 0 1 0 802209601 23867392 3038 33554432000 4194304 4933572 140737169836848 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5827 3038 375 181 0 2836 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 23308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.15 2.05 2.02 3/435 2928
/proc/meminfo: memFree=24778432/32951124 swapFree=50923800/67111528
[pid=2862] ppid=2860 vsize=23308 CPUtime=1800.06 cores=0,2,4,6
/proc/2862/stat : 2862 (clasp) R 2860 2862 2319 0 -1 4202496 3120 0 0 0 180004 2 0 0 25 0 1 0 802209601 23867392 3038 33554432000 4194304 4933572 140737169836848 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/2862/statm: 5827 3038 375 181 0 2836 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 23308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.08
CPU user time (s): 1800.05
CPU system time (s): 0.028995
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 23308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3130
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= 21666
runsolver used 7.99278 second user time and 16.5765 second system time
The end