runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491922-1307777444/watcher-3491922-1307777444 -o /tmp/evaluation-result-3491922-1307777444/solver-3491922-1307777444 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491922-1307777444.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.97 1.52 1.30 3/177 18048
/proc/meminfo: memFree=31953076/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=2804 CPUtime=0 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 435 0 0 0 0 0 0 0 25 0 1 0 967975208 2871296 366 33554432000 4194304 6245536 140736476003344 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 701 367 221 501 0 197 0
[startup+0.079128 s]
/proc/loadavg: 1.97 1.52 1.30 3/177 18048
/proc/meminfo: memFree=31953076/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=3340 CPUtime=0.07 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 572 0 0 0 7 0 0 0 25 0 1 0 967975208 3420160 503 33554432000 4194304 6245536 140736476003344 18446744073709551615 4397820 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 835 503 228 501 0 331 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3340
[startup+0.101131 s]
/proc/loadavg: 1.97 1.52 1.30 3/177 18048
/proc/meminfo: memFree=31953076/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=3340 CPUtime=0.09 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 589 0 0 0 9 0 0 0 25 0 1 0 967975208 3420160 520 33554432000 4194304 6245536 140736476003344 18446744073709551615 4635718 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 835 520 228 501 0 331 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3340
[startup+0.301089 s]
/proc/loadavg: 1.97 1.52 1.30 3/177 18048
/proc/meminfo: memFree=31953076/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=3848 CPUtime=0.29 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 700 0 0 0 29 0 0 0 25 0 1 0 967975208 3940352 631 33554432000 4194304 6245536 140736476003344 18446744073709551615 4316693 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 962 631 229 501 0 458 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3848
[startup+0.700977 s]
/proc/loadavg: 1.97 1.52 1.30 3/177 18048
/proc/meminfo: memFree=31953076/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=4220 CPUtime=0.69 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 798 0 0 0 69 0 0 0 25 0 1 0 967975208 4321280 729 33554432000 4194304 6245536 140736476003344 18446744073709551615 4635135 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 1055 729 229 501 0 551 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4220
[startup+1.50088 s]
/proc/loadavg: 1.97 1.52 1.30 3/178 18049
/proc/meminfo: memFree=31950984/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=4744 CPUtime=1.49 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 922 0 0 0 149 0 0 0 25 0 1 0 967975208 4857856 853 33554432000 4194304 6245536 140736476003344 18446744073709551615 4633892 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 1186 853 229 501 0 682 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4744
[startup+3.10059 s]
/proc/loadavg: 1.98 1.53 1.31 3/178 18049
/proc/meminfo: memFree=31950116/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=5256 CPUtime=3.09 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 1052 0 0 0 309 0 0 0 25 0 1 0 967975208 5382144 983 33554432000 4194304 6245536 140736476003344 18446744073709551615 4608208 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 1314 983 229 501 0 810 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5256
[startup+6.30104 s]
/proc/loadavg: 1.98 1.53 1.31 3/178 18049
/proc/meminfo: memFree=31949324/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=5776 CPUtime=6.3 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 1198 0 0 0 630 0 0 0 25 0 1 0 967975208 5914624 1129 33554432000 4194304 6245536 140736476003344 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 1444 1129 229 501 0 940 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 5776
[startup+12.7009 s]
/proc/loadavg: 1.98 1.54 1.31 3/178 18049
/proc/meminfo: memFree=31948096/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=6648 CPUtime=12.7 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 1400 0 0 0 1270 0 0 0 25 0 1 0 967975208 6807552 1331 33554432000 4194304 6245536 140736476003344 18446744073709551615 4316703 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 1662 1331 229 501 0 1158 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 6648
[startup+25.5006 s]
/proc/loadavg: 2.05 1.57 1.33 3/178 18049
/proc/meminfo: memFree=31947228/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=7416 CPUtime=25.5 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 1588 0 0 0 2550 0 0 0 25 0 1 0 967975208 7593984 1519 33554432000 4194304 6245536 140736476003344 18446744073709551615 4637487 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 1854 1519 229 501 0 1350 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 7416
[startup+51.1001 s]
/proc/loadavg: 2.03 1.61 1.34 3/178 18050
/proc/meminfo: memFree=31944940/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=8740 CPUtime=51.09 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 1900 0 0 0 5109 0 0 0 25 0 1 0 967975208 8949760 1831 33554432000 4194304 6245536 140736476003344 18446744073709551615 4408765 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 2185 1831 229 501 0 1681 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 8740
[startup+102.306 s]
/proc/loadavg: 2.01 1.67 1.38 3/178 18051
/proc/meminfo: memFree=31943276/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=9536 CPUtime=102.3 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2100 0 0 0 10230 0 0 0 25 0 1 0 967975208 9764864 2031 33554432000 4194304 6245536 140736476003344 18446744073709551615 4635108 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 2384 2031 229 501 0 1880 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 9536
[startup+162.301 s]
/proc/loadavg: 2.00 1.72 1.41 3/178 18053
/proc/meminfo: memFree=31941720/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=10588 CPUtime=162.29 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2334 0 0 0 16229 0 0 0 25 0 1 0 967975208 10842112 2265 33554432000 4194304 6245536 140736476003344 18446744073709551615 4304847 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 2647 2265 229 501 0 2143 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 10588
[startup+222.3 s]
/proc/loadavg: 2.00 1.77 1.45 3/178 18055
/proc/meminfo: memFree=31940256/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=10888 CPUtime=222.29 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2413 0 0 0 22229 0 0 0 25 0 1 0 967975208 11149312 2344 33554432000 4194304 6245536 140736476003344 18446744073709551615 4635144 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 2722 2344 229 501 0 2218 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 10888
[startup+282.301 s]
/proc/loadavg: 2.00 1.81 1.48 3/178 18056
/proc/meminfo: memFree=31939704/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=11152 CPUtime=282.29 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2473 0 0 0 28229 0 0 0 25 0 1 0 967975208 11419648 2404 33554432000 4194304 6245536 140736476003344 18446744073709551615 4304672 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 2788 2404 229 501 0 2284 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 11152
[startup+342.3 s]
/proc/loadavg: 2.00 1.84 1.51 3/178 18058
/proc/meminfo: memFree=31939492/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=11304 CPUtime=342.29 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2504 0 0 0 34229 0 0 0 25 0 1 0 967975208 11575296 2435 33554432000 4194304 6245536 140736476003344 18446744073709551615 4635049 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 2826 2435 229 501 0 2322 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 11304
[startup+402.301 s]
/proc/loadavg: 2.00 1.87 1.54 3/178 18059
/proc/meminfo: memFree=31938904/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=11660 CPUtime=402.3 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2567 0 0 0 40230 0 0 0 25 0 1 0 967975208 11939840 2498 33554432000 4194304 6245536 140736476003344 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 2915 2498 229 501 0 2411 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 11660
[startup+462.3 s]
/proc/loadavg: 2.00 1.89 1.56 3/178 18061
/proc/meminfo: memFree=31938328/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=11808 CPUtime=462.3 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2620 0 0 0 46230 0 0 0 25 0 1 0 967975208 12091392 2551 33554432000 4194304 6245536 140736476003344 18446744073709551615 4637720 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 2952 2551 229 501 0 2448 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 11808
[startup+522.301 s]
/proc/loadavg: 2.00 1.91 1.58 3/178 18066
/proc/meminfo: memFree=31936468/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=11996 CPUtime=522.3 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2666 0 0 0 52230 0 0 0 25 0 1 0 967975208 12283904 2597 33554432000 4194304 6245536 140736476003344 18446744073709551615 4344840 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 2999 2597 229 501 0 2495 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 11996
[startup+582.3 s]
/proc/loadavg: 2.00 1.92 1.61 3/178 18067
/proc/meminfo: memFree=31936748/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12304 CPUtime=582.3 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2705 0 0 0 58230 0 0 0 25 0 1 0 967975208 12599296 2636 33554432000 4194304 6245536 140736476003344 18446744073709551615 4316693 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3076 2636 229 501 0 2572 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 12304
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.95 1.69 3/178 18074
/proc/meminfo: memFree=31935848/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12604 CPUtime=822.3 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2769 0 0 0 82230 0 0 0 25 0 1 0 967975208 12906496 2700 33554432000 4194304 6245536 140736476003344 18446744073709551615 4635135 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3151 2700 229 501 0 2647 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 12604
[startup+882.301 s]
/proc/loadavg: 2.00 1.96 1.70 3/178 18075
/proc/meminfo: memFree=31935764/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12604 CPUtime=882.31 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2770 0 0 0 88230 1 0 0 25 0 1 0 967975208 12906496 2701 33554432000 4194304 6245536 140736476003344 18446744073709551615 4316676 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3151 2701 229 501 0 2647 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 12604
[startup+942.301 s]
/proc/loadavg: 2.00 1.97 1.72 3/178 18077
/proc/meminfo: memFree=31935660/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12604 CPUtime=942.32 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2791 0 0 0 94231 1 0 0 25 0 1 0 967975208 12906496 2722 33554432000 4194304 6245536 140736476003344 18446744073709551615 4315322 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3151 2722 229 501 0 2647 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 12604
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/178 18078
/proc/meminfo: memFree=31935312/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12604 CPUtime=1002.32 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2794 0 0 0 100231 1 0 0 25 0 1 0 967975208 12906496 2725 33554432000 4194304 6245536 140736476003344 18446744073709551615 4646512 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3151 2725 229 501 0 2647 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 12604
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/178 18080
/proc/meminfo: memFree=31935224/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12752 CPUtime=1062.32 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2811 0 0 0 106231 1 0 0 25 0 1 0 967975208 13058048 2742 33554432000 4194304 6245536 140736476003344 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3188 2742 229 501 0 2684 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 12752
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/178 18082
/proc/meminfo: memFree=31935276/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12752 CPUtime=1122.32 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2811 0 0 0 112231 1 0 0 25 0 1 0 967975208 13058048 2742 33554432000 4194304 6245536 140736476003344 18446744073709551615 4633927 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3188 2742 229 501 0 2684 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 12752
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/178 18083
/proc/meminfo: memFree=31935216/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12752 CPUtime=1182.32 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2827 0 0 0 118231 1 0 0 25 0 1 0 967975208 13058048 2758 33554432000 4194304 6245536 140736476003344 18446744073709551615 4344641 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3188 2758 229 501 0 2684 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 12752
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.78 3/178 18085
/proc/meminfo: memFree=31934524/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12892 CPUtime=1242.32 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2834 0 0 0 124231 1 0 0 25 0 1 0 967975208 13201408 2765 33554432000 4194304 6245536 140736476003344 18446744073709551615 4635052 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3223 2765 229 501 0 2719 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 12892
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.79 3/178 18086
/proc/meminfo: memFree=31934080/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12892 CPUtime=1302.33 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2859 0 0 0 130232 1 0 0 25 0 1 0 967975208 13201408 2790 33554432000 4194304 6245536 140736476003344 18446744073709551615 4304672 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3223 2790 229 501 0 2719 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 12892
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.81 3/178 18088
/proc/meminfo: memFree=31934236/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12892 CPUtime=1362.32 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2860 0 0 0 136231 1 0 0 25 0 1 0 967975208 13201408 2791 33554432000 4194304 6245536 140736476003344 18446744073709551615 4316676 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3223 2791 229 501 0 2719 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 12892
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.82 3/178 18090
/proc/meminfo: memFree=31934156/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12892 CPUtime=1422.33 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2860 0 0 0 142232 1 0 0 25 0 1 0 967975208 13201408 2791 33554432000 4194304 6245536 140736476003344 18446744073709551615 4635684 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3223 2791 229 501 0 2719 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 12892
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.82 3/178 18091
/proc/meminfo: memFree=31934204/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12892 CPUtime=1482.33 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2860 0 0 0 148232 1 0 0 25 0 1 0 967975208 13201408 2791 33554432000 4194304 6245536 140736476003344 18446744073709551615 4316411 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3223 2791 229 501 0 2719 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 12892
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/178 18093
/proc/meminfo: memFree=31934016/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12892 CPUtime=1542.33 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2865 0 0 0 154232 1 0 0 25 0 1 0 967975208 13201408 2796 33554432000 4194304 6245536 140736476003344 18446744073709551615 4316770 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3223 2796 229 501 0 2719 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 12892
[startup+1602.3 s]
/proc/loadavg: 1.94 1.96 1.83 3/178 18133
/proc/meminfo: memFree=31935068/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12892 CPUtime=1602.33 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2865 0 0 0 160232 1 0 0 25 0 1 0 967975208 13201408 2796 33554432000 4194304 6245536 140736476003344 18446744073709551615 4304921 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3223 2796 229 501 0 2719 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 12892
[startup+1662.3 s]
/proc/loadavg: 1.98 1.96 1.84 3/178 18135
/proc/meminfo: memFree=31927260/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12892 CPUtime=1662.33 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2866 0 0 0 166232 1 0 0 25 0 1 0 967975208 13201408 2797 33554432000 4194304 6245536 140736476003344 18446744073709551615 4316693 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3223 2797 229 501 0 2719 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 12892
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.84 3/178 18137
/proc/meminfo: memFree=31906604/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=12892 CPUtime=1722.33 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2866 0 0 0 172232 1 0 0 25 0 1 0 967975208 13201408 2797 33554432000 4194304 6245536 140736476003344 18446744073709551615 4315322 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3223 2797 229 501 0 2719 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 12892
[startup+1782.3 s]
/proc/loadavg: 2.04 1.99 1.85 3/178 18138
/proc/meminfo: memFree=31906648/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=13032 CPUtime=1782.33 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2868 0 0 0 178232 1 0 0 25 0 1 0 967975208 13344768 2799 33554432000 4194304 6245536 140736476003344 18446744073709551615 4316512 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3258 2799 229 501 0 2754 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 13032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 1.99 1.85 3/178 18139
/proc/meminfo: memFree=31906644/32950940 swapFree=67074964/67111528
[pid=18048] ppid=18046 vsize=13032 CPUtime=1800.03 cores=0,2,4,6
/proc/18048/stat : 18048 (clasp) R 18046 18048 13240 0 -1 4202496 2868 0 0 0 180002 1 0 0 25 0 1 0 967975208 13344768 2799 33554432000 4194304 6245536 140736476003344 18446744073709551615 4316377 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/18048/statm: 3258 2799 229 501 0 2754 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13032
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.01
CPU time (s): 1800.05
CPU user time (s): 1800.03
CPU system time (s): 0.017997
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 13032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2878
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= 4
involuntary context switches= 2661
runsolver used 2.75258 second user time and 5.44017 second system time
The end