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-3468180-1307097743/watcher-3468180-1307097743 -o /tmp/evaluation-result-3468180-1307097743/solver-3468180-1307097743 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468180-1307097743.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: 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.00 2.00 2.00 2/524 19617
/proc/meminfo: memFree=23380180/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=15496 CPUtime=0 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 1308 0 0 0 0 0 0 0 25 0 1 0 821372018 15867904 1184 33554432000 4194304 4933572 140734057116016 18446744073709551615 218905391813 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 3874 1184 335 181 0 883 0
[startup+0.089856 s]
/proc/loadavg: 2.00 2.00 2.00 2/524 19617
/proc/meminfo: memFree=23380180/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=16980 CPUtime=0.08 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 1882 0 0 0 8 0 0 0 25 0 1 0 821372018 17387520 1593 33554432000 4194304 4933572 140734057116016 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 4245 1593 375 181 0 1254 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16980
[startup+0.100854 s]
/proc/loadavg: 2.00 2.00 2.00 2/524 19617
/proc/meminfo: memFree=23380180/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=17112 CPUtime=0.09 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 1916 0 0 0 9 0 0 0 25 0 1 0 821372018 17522688 1627 33554432000 4194304 4933572 140734057116016 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 4278 1627 375 181 0 1287 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17112
[startup+0.300829 s]
/proc/loadavg: 2.00 2.00 2.00 2/524 19617
/proc/meminfo: memFree=23380180/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=20812 CPUtime=0.29 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 2854 0 0 0 29 0 0 0 25 0 1 0 821372018 21311488 2565 33554432000 4194304 4933572 140734057116016 18446744073709551615 4649475 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 5203 2565 382 181 0 2212 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20812
[startup+0.700754 s]
/proc/loadavg: 2.00 2.00 2.00 2/524 19617
/proc/meminfo: memFree=23380180/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=26120 CPUtime=0.69 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 4163 0 0 0 69 0 0 0 25 0 1 0 821372018 26746880 3874 33554432000 4194304 4933572 140734057116016 18446744073709551615 4368896 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 6530 3874 382 181 0 3539 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26120
[startup+1.50062 s]
/proc/loadavg: 2.00 2.00 2.00 3/525 19618
/proc/meminfo: memFree=23364060/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=30648 CPUtime=1.49 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 5259 0 0 0 149 0 0 0 25 0 1 0 821372018 31383552 4970 33554432000 4194304 4933572 140734057116016 18446744073709551615 4319739 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 7662 4970 382 181 0 4671 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30648
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/525 19618
/proc/meminfo: memFree=23356496/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=35224 CPUtime=3.09 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 6435 0 0 0 309 0 0 0 25 0 1 0 821372018 36069376 6146 33554432000 4194304 4933572 140734057116016 18446744073709551615 4717059 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 8806 6146 382 181 0 5815 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35224
[startup+6.30074 s]
/proc/loadavg: 2.00 2.00 2.00 2/523 19619
/proc/meminfo: memFree=23942916/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=37600 CPUtime=6.29 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 7037 0 0 0 629 0 0 0 25 0 1 0 821372018 38502400 6748 33554432000 4194304 4933572 140734057116016 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 9400 6748 382 181 0 6409 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37600
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/525 19646
/proc/meminfo: memFree=23920808/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=44684 CPUtime=12.69 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 8676 0 0 0 1268 1 0 0 25 0 1 0 821372018 45756416 8387 33554432000 4194304 4933572 140734057116016 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 11171 8387 382 181 0 8180 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44684
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/525 19646
/proc/meminfo: memFree=23909148/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=48828 CPUtime=25.49 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 9843 0 0 0 2548 1 0 0 25 0 1 0 821372018 49999872 9554 33554432000 4194304 4933572 140734057116016 18446744073709551615 4632203 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 12207 9554 382 181 0 9216 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48828
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/525 19647
/proc/meminfo: memFree=23904752/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=51864 CPUtime=51.09 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 10591 0 0 0 5108 1 0 0 25 0 1 0 821372018 53108736 10302 33554432000 4194304 4933572 140734057116016 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 12966 10302 382 181 0 9975 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 51864
[startup+102.319 s]
/proc/loadavg: 2.00 2.00 2.00 3/525 19648
/proc/meminfo: memFree=23891356/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=64340 CPUtime=102.31 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 13582 0 0 0 10230 1 0 0 25 0 1 0 821372018 65884160 13293 33554432000 4194304 4933572 140734057116016 18446744073709551615 4717062 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 16085 13293 382 181 0 13094 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 64340
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/525 19650
/proc/meminfo: memFree=23884624/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=69128 CPUtime=162.3 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 14835 0 0 0 16228 2 0 0 25 0 1 0 821372018 70787072 14546 33554432000 4194304 4933572 140734057116016 18446744073709551615 4363216 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 17282 14546 382 181 0 14291 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 69128
[startup+222.301 s]
/proc/loadavg: 2.12 2.03 2.01 3/525 19652
/proc/meminfo: memFree=23882220/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=73088 CPUtime=222.3 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 15825 0 0 0 22228 2 0 0 25 0 1 0 821372018 74842112 15536 33554432000 4194304 4933572 140734057116016 18446744073709551615 4717240 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 18272 15536 382 181 0 15281 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 73088
[startup+282.301 s]
/proc/loadavg: 2.24 2.07 2.02 3/525 19653
/proc/meminfo: memFree=23877608/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=77548 CPUtime=282.3 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 16926 0 0 0 28228 2 0 0 25 0 1 0 821372018 79409152 16637 33554432000 4194304 4933572 140734057116016 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 19387 16637 382 181 0 16396 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 77548
[startup+342.301 s]
/proc/loadavg: 2.15 2.07 2.02 3/525 19655
/proc/meminfo: memFree=23876080/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=78868 CPUtime=342.3 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 17256 0 0 0 34228 2 0 0 25 0 1 0 821372018 80760832 16967 33554432000 4194304 4933572 140734057116016 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 19717 16967 382 181 0 16726 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 78868
[startup+402.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/525 19656
/proc/meminfo: memFree=23874920/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=79924 CPUtime=402.3 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 17520 0 0 0 40228 2 0 0 25 0 1 0 821372018 81842176 17231 33554432000 4194304 4933572 140734057116016 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 19981 17231 382 181 0 16990 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 79924
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/525 19658
/proc/meminfo: memFree=23863236/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=93652 CPUtime=462.3 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 20648 0 0 0 46227 3 0 0 25 0 1 0 821372018 95899648 20359 33554432000 4194304 4933572 140734057116016 18446744073709551615 4319300 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 23413 20359 382 181 0 20422 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 93652
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 19660
/proc/meminfo: memFree=23862604/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=93976 CPUtime=522.31 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 20919 0 0 0 52228 3 0 0 25 0 1 0 821372018 96231424 20472 33554432000 4194304 4933572 140734057116016 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 23494 20472 382 181 0 20503 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 93976
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 19661
/proc/meminfo: memFree=23861588/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=95080 CPUtime=582.31 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 21169 0 0 0 58228 3 0 0 25 0 1 0 821372018 97361920 20722 33554432000 4194304 4933572 140734057116016 18446744073709551615 4330301 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 23770 20722 382 181 0 20779 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 95080
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/525 19668
/proc/meminfo: memFree=23853620/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=103264 CPUtime=822.31 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 23213 0 0 0 82228 3 0 0 25 0 1 0 821372018 105742336 22766 33554432000 4194304 4933572 140734057116016 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 25816 22766 382 181 0 22825 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 103264
[startup+882.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/525 19669
/proc/meminfo: memFree=23852592/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=103792 CPUtime=882.31 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 23350 0 0 0 88228 3 0 0 25 0 1 0 821372018 106283008 22903 33554432000 4194304 4933572 140734057116016 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 25948 22903 382 181 0 22957 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 103792
[startup+942.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/525 19671
/proc/meminfo: memFree=23848984/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=107700 CPUtime=942.31 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 24459 0 0 0 94228 3 0 0 25 0 1 0 821372018 110284800 23890 33554432000 4194304 4933572 140734057116016 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 26925 23890 384 181 0 23934 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 107700
[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/525 19672
/proc/meminfo: memFree=23847320/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=109812 CPUtime=1002.31 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 24980 0 0 0 100228 3 0 0 25 0 1 0 821372018 112447488 24411 33554432000 4194304 4933572 140734057116016 18446744073709551615 4632099 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 27453 24411 384 181 0 24462 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 109812
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/525 19674
/proc/meminfo: memFree=23846676/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=109532 CPUtime=1062.31 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 25022 0 0 0 106228 3 0 0 25 0 1 0 821372018 112160768 24344 33554432000 4194304 4933572 140734057116016 18446744073709551615 4341568 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 27383 24344 384 181 0 24392 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 109532
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 19685
/proc/meminfo: memFree=23845072/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=110588 CPUtime=1122.32 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 25284 0 0 0 112228 4 0 0 25 0 1 0 821372018 113242112 24606 33554432000 4194304 4933572 140734057116016 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 27647 24606 384 181 0 24656 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 110588
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 19686
/proc/meminfo: memFree=23844024/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=111116 CPUtime=1182.32 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 25424 0 0 0 118228 4 0 0 25 0 1 0 821372018 113782784 24746 33554432000 4194304 4933572 140734057116016 18446744073709551615 4323813 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19617/statm: 27779 24746 384 181 0 24788 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 111116
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 19688
/proc/meminfo: memFree=23842368/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=111084 CPUtime=1242.29 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 25541 0 0 0 124225 4 0 0 25 0 1 0 821372018 113750016 24741 33554432000 4194304 4933572 140734057116016 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19617/statm: 27771 24741 384 181 0 24780 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 111084
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 19689
/proc/meminfo: memFree=23841452/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=111744 CPUtime=1302.3 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 25715 0 0 0 130226 4 0 0 25 0 1 0 821372018 114425856 24915 33554432000 4194304 4933572 140734057116016 18446744073709551615 4328785 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19617/statm: 27936 24915 384 181 0 24945 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 111744
[startup+1362.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/525 19694
/proc/meminfo: memFree=23842324/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=112404 CPUtime=1362.29 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 25861 0 0 0 136225 4 0 0 25 0 1 0 821372018 115101696 25061 33554432000 4194304 4933572 140734057116016 18446744073709551615 4632115 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19617/statm: 28101 25061 384 181 0 25110 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 112404
[startup+1422.32 s]
/proc/loadavg: 2.13 2.06 2.02 3/525 19696
/proc/meminfo: memFree=23821784/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=133048 CPUtime=1422.31 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 30933 0 0 0 142226 5 0 0 25 0 1 0 821372018 136241152 30133 33554432000 4194304 4933572 140734057116016 18446744073709551615 4361256 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19617/statm: 33262 30133 384 181 0 30271 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 133048
[startup+1482.3 s]
/proc/loadavg: 2.09 2.06 2.02 3/525 19697
/proc/meminfo: memFree=23820624/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=134104 CPUtime=1482.29 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 31193 0 0 0 148224 5 0 0 25 0 1 0 821372018 137322496 30393 33554432000 4194304 4933572 140734057116016 18446744073709551615 4411081 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19617/statm: 33526 30393 384 181 0 30535 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 134104
[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/525 19699
/proc/meminfo: memFree=23821528/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=134368 CPUtime=1542.29 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 31264 0 0 0 154224 5 0 0 25 0 1 0 821372018 137592832 30464 33554432000 4194304 4933572 140734057116016 18446744073709551615 4368063 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19617/statm: 33592 30464 384 181 0 30601 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 134368
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/525 19700
/proc/meminfo: memFree=23819624/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=135952 CPUtime=1602.29 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 31653 0 0 0 160224 5 0 0 25 0 1 0 821372018 139214848 30853 33554432000 4194304 4933572 140734057116016 18446744073709551615 4631838 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19617/statm: 33988 30853 384 181 0 30997 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 135952
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 19702
/proc/meminfo: memFree=23820040/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=136368 CPUtime=1662.29 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 31743 0 0 0 166224 5 0 0 25 0 1 0 821372018 139640832 30943 33554432000 4194304 4933572 140734057116016 18446744073709551615 4361233 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19617/statm: 34092 30943 384 181 0 31101 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 136368
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 19704
/proc/meminfo: memFree=23818272/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=137160 CPUtime=1722.3 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 31962 0 0 0 172225 5 0 0 25 0 1 0 821372018 140451840 31162 33554432000 4194304 4933572 140734057116016 18446744073709551615 4632847 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19617/statm: 34290 31162 384 181 0 31299 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 137160
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 19705
/proc/meminfo: memFree=23815484/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=137688 CPUtime=1782.3 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 32078 0 0 0 178225 5 0 0 25 0 1 0 821372018 140992512 31278 33554432000 4194304 4933572 140734057116016 18446744073709551615 4330230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19617/statm: 34422 31278 384 181 0 31431 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 137688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 19706
/proc/meminfo: memFree=23816220/32951124 swapFree=56930356/67111528
[pid=19617] ppid=19615 vsize=137688 CPUtime=1800.01 cores=0,2,4,6
/proc/19617/stat : 19617 (clasp) R 19615 19617 18788 0 -1 4202496 32078 0 0 0 179996 5 0 0 25 0 1 0 821372018 140992512 31278 33554432000 4194304 4933572 140734057116016 18446744073709551615 4330232 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/19617/statm: 34422 31278 384 181 0 31431 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 137688
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.03
CPU user time (s): 1799.97
CPU system time (s): 0.06199
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 137688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.06199
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32091
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= 4285
runsolver used 10.0385 second user time and 21.0708 second system time
The end