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-3468786-1307097345/watcher-3468786-1307097345 -o /tmp/evaluation-result-3468786-1307097345/solver-3468786-1307097345 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468786-1307097345.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 1,3,5,7
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.00 2.00 2.00 1/478 12397
/proc/meminfo: memFree=24933044/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=12712 CPUtime=0 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 615 0 0 0 0 0 0 0 23 0 1 0 899965166 13017088 541 33554432000 4194304 4933572 140736608324800 18446744073709551615 4360926 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 3178 541 377 181 0 187 0
[startup+0.032533 s]
/proc/loadavg: 2.00 2.00 2.00 1/478 12397
/proc/meminfo: memFree=24933044/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=13236 CPUtime=0.03 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 738 0 0 0 3 0 0 0 23 0 1 0 899965166 13553664 664 33554432000 4194304 4933572 140736608324800 18446744073709551615 4368901 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 3309 664 384 181 0 318 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13236
[startup+0.100522 s]
/proc/loadavg: 2.00 2.00 2.00 1/478 12397
/proc/meminfo: memFree=24933044/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=13768 CPUtime=0.09 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 872 0 0 0 9 0 0 0 23 0 1 0 899965166 14098432 798 33554432000 4194304 4933572 140736608324800 18446744073709551615 4632085 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 3442 798 386 181 0 451 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13768
[startup+0.300484 s]
/proc/loadavg: 2.00 2.00 2.00 1/478 12397
/proc/meminfo: memFree=24933044/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=13768 CPUtime=0.29 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 888 0 0 0 29 0 0 0 25 0 1 0 899965166 14098432 814 33554432000 4194304 4933572 140736608324800 18446744073709551615 4330095 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 3442 814 386 181 0 451 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13768
[startup+0.70047 s]
/proc/loadavg: 2.00 2.00 2.00 1/478 12397
/proc/meminfo: memFree=24933044/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=14692 CPUtime=0.69 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 1106 0 0 0 69 0 0 0 25 0 1 0 899965166 15044608 1032 33554432000 4194304 4933572 140736608324800 18446744073709551615 4428066 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 3673 1032 386 181 0 682 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14692
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 12408
/proc/meminfo: memFree=24917696/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=14956 CPUtime=1.49 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 1162 0 0 0 149 0 0 0 25 0 1 0 899965166 15314944 1088 33554432000 4194304 4933572 140736608324800 18446744073709551615 4712981 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 3739 1088 386 181 0 748 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14956
[startup+3.10104 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 12408
/proc/meminfo: memFree=24911000/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=15484 CPUtime=3.09 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 1292 0 0 0 309 0 0 0 25 0 1 0 899965166 15855616 1218 33554432000 4194304 4933572 140736608324800 18446744073709551615 4428510 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 3871 1218 386 181 0 880 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15484
[startup+6.30045 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 12408
/proc/meminfo: memFree=24908644/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=15996 CPUtime=6.29 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 1445 0 0 0 629 0 0 0 25 0 1 0 899965166 16379904 1371 33554432000 4194304 4933572 140736608324800 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 3999 1371 386 181 0 1008 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15996
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 12408
/proc/meminfo: memFree=24902216/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=16516 CPUtime=12.69 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 1575 0 0 0 1269 0 0 0 25 0 1 0 899965166 16912384 1501 33554432000 4194304 4933572 140736608324800 18446744073709551615 4331682 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 4129 1501 386 181 0 1138 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16516
[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 12408
/proc/meminfo: memFree=24898892/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=17468 CPUtime=25.49 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 1792 0 0 0 2549 0 0 0 25 0 1 0 899965166 17887232 1718 33554432000 4194304 4933572 140736608324800 18446744073709551615 4414911 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 4367 1718 386 181 0 1376 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17468
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 12409
/proc/meminfo: memFree=24890688/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=18928 CPUtime=51.09 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 2152 0 0 0 5109 0 0 0 25 0 1 0 899965166 19382272 2078 33554432000 4194304 4933572 140736608324800 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 4732 2078 386 181 0 1741 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 18928
[startup+102.318 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 12410
/proc/meminfo: memFree=24885920/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=20416 CPUtime=102.31 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 2505 0 0 0 10231 0 0 0 25 0 1 0 899965166 20905984 2431 33554432000 4194304 4933572 140736608324800 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5104 2431 386 181 0 2113 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 20416
[startup+162.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/484 12412
/proc/meminfo: memFree=24882528/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=21244 CPUtime=162.3 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 2721 0 0 0 16230 0 0 0 25 0 1 0 899965166 21753856 2647 33554432000 4194304 4933572 140736608324800 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5311 2647 386 181 0 2320 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 21244
[startup+222.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/484 12417
/proc/meminfo: memFree=24881836/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=21688 CPUtime=222.3 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 2803 0 0 0 22230 0 0 0 25 0 1 0 899965166 22208512 2729 33554432000 4194304 4933572 140736608324800 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5422 2729 386 181 0 2431 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 21688
[startup+282.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/484 12418
/proc/meminfo: memFree=24873940/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=21976 CPUtime=282.3 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 2890 0 0 0 28230 0 0 0 25 0 1 0 899965166 22503424 2816 33554432000 4194304 4933572 140736608324800 18446744073709551615 4637248 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5494 2816 386 181 0 2503 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 21976
[startup+342.301 s]
/proc/loadavg: 2.15 2.05 2.01 3/484 12420
/proc/meminfo: memFree=24873152/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=22120 CPUtime=342.3 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 2930 0 0 0 34230 0 0 0 25 0 1 0 899965166 22650880 2856 33554432000 4194304 4933572 140736608324800 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5530 2856 386 181 0 2539 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 22120
[startup+402.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/484 12421
/proc/meminfo: memFree=24871500/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=22260 CPUtime=402.3 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 2968 0 0 0 40230 0 0 0 25 0 1 0 899965166 22794240 2894 33554432000 4194304 4933572 140736608324800 18446744073709551615 4635249 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5565 2894 386 181 0 2574 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 22260
[startup+462.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/484 12423
/proc/meminfo: memFree=24871204/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=22424 CPUtime=462.31 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 2983 0 0 0 46231 0 0 0 25 0 1 0 899965166 22962176 2909 33554432000 4194304 4933572 140736608324800 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5606 2909 386 181 0 2615 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 22424
[startup+522.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/484 12425
/proc/meminfo: memFree=24870920/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=22588 CPUtime=522.31 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3011 0 0 0 52231 0 0 0 25 0 1 0 899965166 23130112 2937 33554432000 4194304 4933572 140736608324800 18446744073709551615 4712996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5647 2937 386 181 0 2656 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 22588
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12426
/proc/meminfo: memFree=24867900/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=22724 CPUtime=582.31 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3058 0 0 0 58231 0 0 0 25 0 1 0 899965166 23269376 2984 33554432000 4194304 4933572 140736608324800 18446744073709551615 4368973 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5681 2984 386 181 0 2690 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 22724
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/484 12433
/proc/meminfo: memFree=24867340/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=22860 CPUtime=822.32 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3100 0 0 0 82232 0 0 0 25 0 1 0 899965166 23408640 3026 33554432000 4194304 4933572 140736608324800 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5715 3026 386 181 0 2724 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 22860
[startup+882.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 12434
/proc/meminfo: memFree=24865940/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=23000 CPUtime=882.32 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3106 0 0 0 88232 0 0 0 25 0 1 0 899965166 23552000 3032 33554432000 4194304 4933572 140736608324800 18446744073709551615 4360903 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5750 3032 386 181 0 2759 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 23000
[startup+942.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/484 12436
/proc/meminfo: memFree=24865768/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=23000 CPUtime=942.32 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3125 0 0 0 94232 0 0 0 25 0 1 0 899965166 23552000 3051 33554432000 4194304 4933572 140736608324800 18446744073709551615 4363216 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5750 3051 386 181 0 2759 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 23000
[startup+1002.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/484 12437
/proc/meminfo: memFree=24865480/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=23160 CPUtime=1002.32 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3150 0 0 0 100232 0 0 0 25 0 1 0 899965166 23715840 3076 33554432000 4194304 4933572 140736608324800 18446744073709551615 4637443 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5790 3076 386 181 0 2799 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 23160
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 12439
/proc/meminfo: memFree=24865680/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=23160 CPUtime=1062.32 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3164 0 0 0 106232 0 0 0 25 0 1 0 899965166 23715840 3090 33554432000 4194304 4933572 140736608324800 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5790 3090 386 181 0 2799 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 23160
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12441
/proc/meminfo: memFree=24865512/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=23300 CPUtime=1122.33 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3191 0 0 0 112233 0 0 0 25 0 1 0 899965166 23859200 3117 33554432000 4194304 4933572 140736608324800 18446744073709551615 4635664 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5825 3117 386 181 0 2834 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 23300
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12442
/proc/meminfo: memFree=24864600/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=23464 CPUtime=1182.33 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3238 0 0 0 118233 0 0 0 25 0 1 0 899965166 24027136 3164 33554432000 4194304 4933572 140736608324800 18446744073709551615 4428010 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5866 3164 386 181 0 2875 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 23464
[startup+1242.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/484 12444
/proc/meminfo: memFree=24864424/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=23616 CPUtime=1242.33 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3276 0 0 0 124233 0 0 0 25 0 1 0 899965166 24182784 3202 33554432000 4194304 4933572 140736608324800 18446744073709551615 4648318 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5904 3202 386 181 0 2913 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 23616
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 5/484 12445
/proc/meminfo: memFree=24861772/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=23736 CPUtime=1302.34 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3293 0 0 0 130234 0 0 0 25 0 1 0 899965166 24305664 3219 33554432000 4194304 4933572 140736608324800 18446744073709551615 4332794 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5934 3219 386 181 0 2943 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 23736
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 12447
/proc/meminfo: memFree=24862220/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=23868 CPUtime=1362.33 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3324 0 0 0 136233 0 0 0 25 0 1 0 899965166 24440832 3250 33554432000 4194304 4933572 140736608324800 18446744073709551615 4428061 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5967 3250 386 181 0 2976 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 23868
[startup+1422.32 s]
/proc/loadavg: 2.12 2.05 2.01 3/484 12449
/proc/meminfo: memFree=24861924/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=23960 CPUtime=1422.35 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3354 0 0 0 142235 0 0 0 25 0 1 0 899965166 24535040 3280 33554432000 4194304 4933572 140736608324800 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5990 3280 386 181 0 2999 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 23960
[startup+1482.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/484 12450
/proc/meminfo: memFree=24861388/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=23960 CPUtime=1482.34 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3363 0 0 0 148234 0 0 0 25 0 1 0 899965166 24535040 3289 33554432000 4194304 4933572 140736608324800 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 5990 3289 386 181 0 2999 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 23960
[startup+1542.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/484 12461
/proc/meminfo: memFree=24861700/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=24088 CPUtime=1542.34 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3375 0 0 0 154234 0 0 0 25 0 1 0 899965166 24666112 3301 33554432000 4194304 4933572 140736608324800 18446744073709551615 4649854 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 6022 3301 386 181 0 3031 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 24088
[startup+1602.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/484 12462
/proc/meminfo: memFree=24861384/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=24088 CPUtime=1602.34 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3382 0 0 0 160234 0 0 0 25 0 1 0 899965166 24666112 3308 33554432000 4194304 4933572 140736608324800 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 6022 3308 386 181 0 3031 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 24088
[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/484 12464
/proc/meminfo: memFree=24861104/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=24240 CPUtime=1662.34 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3405 0 0 0 166234 0 0 0 25 0 1 0 899965166 24821760 3331 33554432000 4194304 4933572 140736608324800 18446744073709551615 4649834 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 6060 3331 386 181 0 3069 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 24240
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/484 12466
/proc/meminfo: memFree=24860700/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=24376 CPUtime=1722.34 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3436 0 0 0 172234 0 0 0 25 0 1 0 899965166 24961024 3362 33554432000 4194304 4933572 140736608324800 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 6094 3362 386 181 0 3103 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 24376
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 12467
/proc/meminfo: memFree=24858652/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=24376 CPUtime=1782.34 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3451 0 0 0 178234 0 0 0 25 0 1 0 899965166 24961024 3377 33554432000 4194304 4933572 140736608324800 18446744073709551615 4631799 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 6094 3377 386 181 0 3103 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 24376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.04 2.00 3/484 12468
/proc/meminfo: memFree=24860012/32950928 swapFree=61542356/67111528
[pid=12397] ppid=12395 vsize=24376 CPUtime=1800.05 cores=1,3,5,7
/proc/12397/stat : 12397 (clasp) R 12395 12397 12040 0 -1 4202496 3454 0 0 0 180005 0 0 0 25 0 1 0 899965166 24961024 3380 33554432000 4194304 4933572 140736608324800 18446744073709551615 4378906 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/12397/statm: 6094 3380 386 181 0 3103 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 24376
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.07
CPU system time (s): 0.006998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 24376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
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= 3462
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= 10
involuntary context switches= 22413
runsolver used 8.13776 second user time and 19.686 second system time
The end