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-3469324-1307086485/watcher-3469324-1307086485 -o /tmp/evaluation-result-3469324-1307086485/solver-3469324-1307086485 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469324-1307086485.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: 2.14 2.04 2.14 3/461 12401
/proc/meminfo: memFree=28705368/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=13020 CPUtime=0 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 680 0 0 0 0 0 0 0 25 0 1 0 820246426 13332480 599 33554432000 4194304 4933572 140733196587488 18446744073709551615 4428415 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 3255 599 366 181 0 264 0
[startup+0.072244 s]
/proc/loadavg: 2.14 2.04 2.14 3/461 12401
/proc/meminfo: memFree=28705368/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=13152 CPUtime=0.07 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 707 0 0 0 7 0 0 0 25 0 1 0 820246426 13467648 626 33554432000 4194304 4933572 140733196587488 18446744073709551615 4428006 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 3288 626 373 181 0 297 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13152
[startup+0.100246 s]
/proc/loadavg: 2.14 2.04 2.14 3/461 12401
/proc/meminfo: memFree=28705368/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=13152 CPUtime=0.09 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 722 0 0 0 9 0 0 0 25 0 1 0 820246426 13467648 641 33554432000 4194304 4933572 140733196587488 18446744073709551615 4635474 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 3288 641 373 181 0 297 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13152
[startup+0.300202 s]
/proc/loadavg: 2.14 2.04 2.14 3/461 12401
/proc/meminfo: memFree=28705368/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=13416 CPUtime=0.29 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 776 0 0 0 29 0 0 0 25 0 1 0 820246426 13737984 695 33554432000 4194304 4933572 140733196587488 18446744073709551615 4637050 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 3354 695 373 181 0 363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13416
[startup+0.701137 s]
/proc/loadavg: 2.14 2.04 2.14 3/461 12401
/proc/meminfo: memFree=28705368/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=13548 CPUtime=0.69 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 828 0 0 0 69 0 0 0 25 0 1 0 820246426 13873152 747 33554432000 4194304 4933572 140733196587488 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 3387 747 373 181 0 396 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13548
[startup+1.50099 s]
/proc/loadavg: 2.12 2.04 2.14 3/462 12402
/proc/meminfo: memFree=28702672/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=13820 CPUtime=1.49 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 898 0 0 0 149 0 0 0 25 0 1 0 820246426 14151680 817 33554432000 4194304 4933572 140733196587488 18446744073709551615 4637260 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 3455 817 373 181 0 464 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13820
[startup+3.10069 s]
/proc/loadavg: 2.12 2.04 2.14 3/462 12402
/proc/meminfo: memFree=28701184/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=14232 CPUtime=3.09 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 990 0 0 0 309 0 0 0 25 0 1 0 820246426 14573568 909 33554432000 4194304 4933572 140733196587488 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 3558 909 374 181 0 567 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14232
[startup+6.30111 s]
/proc/loadavg: 2.12 2.04 2.14 3/462 12402
/proc/meminfo: memFree=28700184/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=14516 CPUtime=6.29 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1071 0 0 0 629 0 0 0 25 0 1 0 820246426 14864384 990 33554432000 4194304 4933572 140733196587488 18446744073709551615 4632820 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 3629 990 374 181 0 638 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14516
[startup+12.701 s]
/proc/loadavg: 2.11 2.04 2.14 3/462 12402
/proc/meminfo: memFree=28698204/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=15072 CPUtime=12.69 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1181 0 0 0 1269 0 0 0 25 0 1 0 820246426 15433728 1100 33554432000 4194304 4933572 140733196587488 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 3768 1100 374 181 0 777 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15072
[startup+25.5006 s]
/proc/loadavg: 2.09 2.04 2.14 3/462 12403
/proc/meminfo: memFree=28697208/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=15604 CPUtime=25.49 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1331 0 0 0 2549 0 0 0 25 0 1 0 820246426 15978496 1250 33554432000 4194304 4933572 140733196587488 18446744073709551615 4666856 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 3901 1250 374 181 0 910 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15604
[startup+51.101 s]
/proc/loadavg: 2.06 2.03 2.13 3/462 12403
/proc/meminfo: memFree=28695812/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=16328 CPUtime=51.1 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1482 0 0 0 5110 0 0 0 25 0 1 0 820246426 16719872 1401 33554432000 4194304 4933572 140733196587488 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4082 1401 374 181 0 1091 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 16328
[startup+102.317 s]
/proc/loadavg: 2.06 2.04 2.13 3/462 12405
/proc/meminfo: memFree=28692808/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=17076 CPUtime=102.31 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1661 0 0 0 10231 0 0 0 25 0 1 0 820246426 17485824 1580 33554432000 4194304 4933572 140733196587488 18446744073709551615 4637466 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4269 1580 374 181 0 1278 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17076
[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.12 3/462 12406
/proc/meminfo: memFree=28691924/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=17076 CPUtime=162.3 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1692 0 0 0 16230 0 0 0 25 0 1 0 820246426 17485824 1611 33554432000 4194304 4933572 140733196587488 18446744073709551615 4625192 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4269 1611 374 181 0 1278 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 17076
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.10 3/462 12408
/proc/meminfo: memFree=28692152/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=17380 CPUtime=222.3 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1751 0 0 0 22230 0 0 0 25 0 1 0 820246426 17797120 1670 33554432000 4194304 4933572 140733196587488 18446744073709551615 4637859 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4345 1670 374 181 0 1354 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 17380
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.09 3/462 12409
/proc/meminfo: memFree=28693840/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=17528 CPUtime=282.3 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1767 0 0 0 28230 0 0 0 25 0 1 0 820246426 17948672 1686 33554432000 4194304 4933572 140733196587488 18446744073709551615 4428077 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4382 1686 374 181 0 1391 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 17528
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.09 3/462 12411
/proc/meminfo: memFree=28693688/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=17528 CPUtime=342.3 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1793 0 0 0 34230 0 0 0 25 0 1 0 820246426 17948672 1712 33554432000 4194304 4933572 140733196587488 18446744073709551615 4637192 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4382 1712 374 181 0 1391 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 17528
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.08 3/462 12413
/proc/meminfo: memFree=28693412/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=17680 CPUtime=402.3 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1825 0 0 0 40230 0 0 0 25 0 1 0 820246426 18104320 1744 33554432000 4194304 4933572 140733196587488 18446744073709551615 228122404906 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4420 1744 374 181 0 1429 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 17680
[startup+462.3 s]
/proc/loadavg: 2.09 2.03 2.08 3/462 12414
/proc/meminfo: memFree=28693520/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=17680 CPUtime=462.31 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1827 0 0 0 46231 0 0 0 25 0 1 0 820246426 18104320 1746 33554432000 4194304 4933572 140733196587488 18446744073709551615 4649726 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4420 1746 374 181 0 1429 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 17680
[startup+522.301 s]
/proc/loadavg: 2.03 2.02 2.08 3/462 12416
/proc/meminfo: memFree=28693504/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=17828 CPUtime=522.31 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1844 0 0 0 52231 0 0 0 25 0 1 0 820246426 18255872 1763 33554432000 4194304 4933572 140733196587488 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4457 1763 374 181 0 1466 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 17828
[startup+582.301 s]
/proc/loadavg: 2.12 2.05 2.08 3/462 12417
/proc/meminfo: memFree=28693476/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=17828 CPUtime=582.31 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1844 0 0 0 58231 0 0 0 25 0 1 0 820246426 18255872 1763 33554432000 4194304 4933572 140733196587488 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4457 1763 374 181 0 1466 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 17828
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.07 3/462 12424
/proc/meminfo: memFree=28693904/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18128 CPUtime=822.32 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1912 0 0 0 82232 0 0 0 25 0 1 0 820246426 18563072 1831 33554432000 4194304 4933572 140733196587488 18446744073709551615 4637209 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4532 1831 374 181 0 1541 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 18128
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/462 12425
/proc/meminfo: memFree=28692876/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18128 CPUtime=882.32 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1912 0 0 0 88232 0 0 0 25 0 1 0 820246426 18563072 1831 33554432000 4194304 4933572 140733196587488 18446744073709551615 4631744 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4532 1831 374 181 0 1541 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 18128
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/462 12427
/proc/meminfo: memFree=28693728/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18280 CPUtime=942.32 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1927 0 0 0 94232 0 0 0 25 0 1 0 820246426 18718720 1846 33554432000 4194304 4933572 140733196587488 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4570 1846 374 181 0 1579 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 18280
[startup+1002.3 s]
/proc/loadavg: 2.07 2.04 2.06 3/462 12429
/proc/meminfo: memFree=28693580/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18280 CPUtime=1002.32 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1942 0 0 0 100232 0 0 0 25 0 1 0 820246426 18718720 1861 33554432000 4194304 4933572 140733196587488 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4570 1861 374 181 0 1579 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 18280
[startup+1062.3 s]
/proc/loadavg: 2.06 2.04 2.06 3/462 12430
/proc/meminfo: memFree=28693552/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18280 CPUtime=1062.32 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1949 0 0 0 106232 0 0 0 25 0 1 0 820246426 18718720 1868 33554432000 4194304 4933572 140733196587488 18446744073709551615 4329949 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4570 1868 374 181 0 1579 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 18280
[startup+1122.3 s]
/proc/loadavg: 2.17 2.06 2.06 3/462 12432
/proc/meminfo: memFree=28693784/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18428 CPUtime=1122.32 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1957 0 0 0 112232 0 0 0 25 0 1 0 820246426 18870272 1876 33554432000 4194304 4933572 140733196587488 18446744073709551615 4328704 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4607 1876 374 181 0 1616 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 18428
[startup+1182.3 s]
/proc/loadavg: 2.13 2.06 2.06 3/462 12433
/proc/meminfo: memFree=28692512/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18428 CPUtime=1182.33 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1965 0 0 0 118233 0 0 0 25 0 1 0 820246426 18870272 1884 33554432000 4194304 4933572 140733196587488 18446744073709551615 4428048 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4607 1884 374 181 0 1616 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 18428
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.06 3/462 12435
/proc/meminfo: memFree=28692500/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18428 CPUtime=1242.33 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1981 0 0 0 124233 0 0 0 25 0 1 0 820246426 18870272 1900 33554432000 4194304 4933572 140733196587488 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4607 1900 374 181 0 1616 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 18428
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/462 12437
/proc/meminfo: memFree=28691620/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18428 CPUtime=1302.34 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1981 0 0 0 130234 0 0 0 25 0 1 0 820246426 18870272 1900 33554432000 4194304 4933572 140733196587488 18446744073709551615 4649602 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4607 1900 374 181 0 1616 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 18428
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/462 12438
/proc/meminfo: memFree=28693576/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18580 CPUtime=1362.33 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 1996 0 0 0 136233 0 0 0 25 0 1 0 820246426 19025920 1915 33554432000 4194304 4933572 140733196587488 18446744073709551615 4656536 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4645 1915 374 181 0 1654 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 18580
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.04 3/462 12440
/proc/meminfo: memFree=28693560/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18580 CPUtime=1422.35 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 2008 0 0 0 142235 0 0 0 25 0 1 0 820246426 19025920 1927 33554432000 4194304 4933572 140733196587488 18446744073709551615 228122411578 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4645 1927 378 181 0 1654 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 18580
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/462 12441
/proc/meminfo: memFree=28692532/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18580 CPUtime=1482.33 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 2008 0 0 0 148233 0 0 0 25 0 1 0 820246426 19025920 1927 33554432000 4194304 4933572 140733196587488 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4645 1927 378 181 0 1654 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 18580
[startup+1542.3 s]
/proc/loadavg: 2.10 2.04 2.04 3/462 12443
/proc/meminfo: memFree=28692776/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18580 CPUtime=1542.34 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 2008 0 0 0 154234 0 0 0 25 0 1 0 820246426 19025920 1927 33554432000 4194304 4933572 140733196587488 18446744073709551615 4649379 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4645 1927 378 181 0 1654 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 18580
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.03 3/462 12454
/proc/meminfo: memFree=28691776/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18580 CPUtime=1602.34 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 2015 0 0 0 160234 0 0 0 25 0 1 0 820246426 19025920 1934 33554432000 4194304 4933572 140733196587488 18446744073709551615 4649366 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4645 1934 378 181 0 1654 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 18580
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/462 12455
/proc/meminfo: memFree=28691884/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18728 CPUtime=1662.34 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 2024 0 0 0 166234 0 0 0 25 0 1 0 820246426 19177472 1943 33554432000 4194304 4933572 140733196587488 18446744073709551615 4649555 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4682 1943 378 181 0 1691 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 18728
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.03 3/462 12457
/proc/meminfo: memFree=28691740/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18728 CPUtime=1722.34 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 2032 0 0 0 172234 0 0 0 25 0 1 0 820246426 19177472 1951 33554432000 4194304 4933572 140733196587488 18446744073709551615 4329824 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4682 1951 378 181 0 1691 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 18728
[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.03 3/462 12461
/proc/meminfo: memFree=28689488/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18728 CPUtime=1782.34 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 2033 0 0 0 178234 0 0 0 25 0 1 0 820246426 19177472 1952 33554432000 4194304 4933572 140733196587488 18446744073709551615 4428972 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4682 1952 378 181 0 1691 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 18728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.04 2.02 2/460 12463
/proc/meminfo: memFree=28695024/32951124 swapFree=41830676/67111528
[pid=12401] ppid=12399 vsize=18728 CPUtime=1800.05 cores=0,2,4,6
/proc/12401/stat : 12401 (clasp) R 12399 12401 4773 0 -1 4202496 2033 0 0 0 180005 0 0 0 25 0 1 0 820246426 19177472 1952 33554432000 4194304 4933572 140733196587488 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12401/statm: 4682 1952 378 181 0 1691 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 18728
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.07
CPU user time (s): 1800.06
CPU system time (s): 0.006998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 18728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2044
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= 2720
runsolver used 8.48571 second user time and 16.8254 second system time
The end