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-3468134-1307106945/watcher-3468134-1307106945 -o /tmp/evaluation-result-3468134-1307106945/solver-3468134-1307106945 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468134-1307106945.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.03 2.00 3/453 17664
/proc/meminfo: memFree=31829028/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=12844 CPUtime=0 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 592 0 0 0 0 0 0 0 25 0 1 0 822292378 13152256 525 33554432000 4194304 4933572 140736499819136 18446744073709551615 271550198469 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 3211 526 334 181 0 220 0
[startup+0.116605 s]
/proc/loadavg: 2.00 2.03 2.00 3/453 17664
/proc/meminfo: memFree=31829028/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=13652 CPUtime=0.11 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 862 0 0 0 11 0 0 0 25 0 1 0 822292378 13979648 786 33554432000 4194304 4933572 140736499819136 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 3413 786 386 181 0 422 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13652
[startup+0.200589 s]
/proc/loadavg: 2.00 2.03 2.00 3/453 17664
/proc/meminfo: memFree=31829028/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=13788 CPUtime=0.19 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 883 0 0 0 19 0 0 0 25 0 1 0 822292378 14118912 807 33554432000 4194304 4933572 140736499819136 18446744073709551615 4622637 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 3447 807 386 181 0 456 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13788
[startup+0.300571 s]
/proc/loadavg: 2.00 2.03 2.00 3/453 17664
/proc/meminfo: memFree=31829028/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=13920 CPUtime=0.29 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 921 0 0 0 29 0 0 0 25 0 1 0 822292378 14254080 845 33554432000 4194304 4933572 140736499819136 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 3480 845 386 181 0 489 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13920
[startup+0.700457 s]
/proc/loadavg: 2.00 2.03 2.00 3/453 17664
/proc/meminfo: memFree=31829028/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=14328 CPUtime=0.69 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 1021 0 0 0 69 0 0 0 25 0 1 0 822292378 14671872 945 33554432000 4194304 4933572 140736499819136 18446744073709551615 4637271 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 3582 945 386 181 0 591 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14328
[startup+1.50032 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 17665
/proc/meminfo: memFree=31826040/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=14724 CPUtime=1.49 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 1109 0 0 0 149 0 0 0 25 0 1 0 822292378 15077376 1033 33554432000 4194304 4933572 140736499819136 18446744073709551615 4369056 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 3681 1033 386 181 0 690 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14724
[startup+3.10105 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 17665
/proc/meminfo: memFree=31824552/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=15388 CPUtime=3.09 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 1291 0 0 0 309 0 0 0 25 0 1 0 822292378 15757312 1215 33554432000 4194304 4933572 140736499819136 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 3847 1215 386 181 0 856 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15388
[startup+6.30048 s]
/proc/loadavg: 2.00 2.02 2.00 4/454 17665
/proc/meminfo: memFree=31823064/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=16104 CPUtime=6.29 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 1453 0 0 0 629 0 0 0 25 0 1 0 822292378 16490496 1377 33554432000 4194304 4933572 140736499819136 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 4026 1377 386 181 0 1035 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16104
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 17665
/proc/meminfo: memFree=31820940/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=17340 CPUtime=12.69 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 1763 0 0 0 1269 0 0 0 25 0 1 0 822292378 17756160 1687 33554432000 4194304 4933572 140736499819136 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 4335 1687 386 181 0 1344 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17340
[startup+25.501 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 17665
/proc/meminfo: memFree=31820312/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=18092 CPUtime=25.49 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 1949 0 0 0 2549 0 0 0 25 0 1 0 822292378 18526208 1871 33554432000 4194304 4933572 140736499819136 18446744073709551615 4637327 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 4523 1871 386 181 0 1532 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18092
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 17666
/proc/meminfo: memFree=31819028/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=19420 CPUtime=51.09 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 2289 0 0 0 5109 0 0 0 25 0 1 0 822292378 19886080 2211 33554432000 4194304 4933572 140736499819136 18446744073709551615 4360961 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 4855 2211 386 181 0 1864 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19420
[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 17667
/proc/meminfo: memFree=31816032/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=21164 CPUtime=102.3 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 2706 0 0 0 10230 0 0 0 25 0 1 0 822292378 21671936 2628 33554432000 4194304 4933572 140736499819136 18446744073709551615 4370199 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 5291 2628 386 181 0 2300 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 21164
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 17669
/proc/meminfo: memFree=31814752/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=22844 CPUtime=162.29 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 3119 0 0 0 16229 0 0 0 25 0 1 0 822292378 23392256 3041 33554432000 4194304 4933572 140736499819136 18446744073709551615 4428006 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 5711 3041 386 181 0 2720 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 22844
[startup+222.317 s]
/proc/loadavg: 2.09 2.03 2.01 3/454 17670
/proc/meminfo: memFree=31814724/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=23564 CPUtime=222.31 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 3287 0 0 0 22231 0 0 0 25 0 1 0 822292378 24129536 3209 33554432000 4194304 4933572 140736499819136 18446744073709551615 4664515 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 5891 3209 386 181 0 2900 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 23564
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 17672
/proc/meminfo: memFree=31814428/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=24148 CPUtime=282.29 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 3403 0 0 0 28229 0 0 0 25 0 1 0 822292378 24727552 3325 33554432000 4194304 4933572 140736499819136 18446744073709551615 4428670 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 6037 3325 386 181 0 3046 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 24148
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/454 17674
/proc/meminfo: memFree=31814404/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=25016 CPUtime=342.3 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 3607 0 0 0 34230 0 0 0 25 0 1 0 822292378 25616384 3529 33554432000 4194304 4933572 140736499819136 18446744073709551615 4368938 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 6254 3529 386 181 0 3263 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 25016
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/454 17675
/proc/meminfo: memFree=31812884/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=25312 CPUtime=402.3 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 3685 0 0 0 40230 0 0 0 25 0 1 0 822292378 25919488 3607 33554432000 4194304 4933572 140736499819136 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 6328 3607 386 181 0 3337 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 25312
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 17677
/proc/meminfo: memFree=31812984/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=25632 CPUtime=462.3 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 3764 0 0 0 46230 0 0 0 25 0 1 0 822292378 26247168 3686 33554432000 4194304 4933572 140736499819136 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 6408 3686 386 181 0 3417 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 25632
[startup+522.301 s]
/proc/loadavg: 1.96 2.00 1.99 3/454 17706
/proc/meminfo: memFree=31920612/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=26196 CPUtime=522.3 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 3877 0 0 0 52230 0 0 0 25 0 1 0 822292378 26824704 3799 33554432000 4194304 4933572 140736499819136 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 6549 3799 386 181 0 3558 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 26196
[startup+582.301 s]
/proc/loadavg: 1.98 2.00 1.99 3/454 17708
/proc/meminfo: memFree=31918852/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=26608 CPUtime=582.3 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 3995 0 0 0 58230 0 0 0 25 0 1 0 822292378 27246592 3917 33554432000 4194304 4933572 140736499819136 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 6652 3917 386 181 0 3661 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 26608
[startup+642.301 s]
################
# More data... #
################
[startup+882.317 s]
/proc/loadavg: 2.18 2.07 2.01 3/454 17770
/proc/meminfo: memFree=31917440/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=27808 CPUtime=882.33 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 4255 0 0 0 88233 0 0 0 25 0 1 0 822292378 28475392 4177 33554432000 4194304 4933572 140736499819136 18446744073709551615 4649405 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 6952 4177 386 181 0 3961 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 27808
[startup+942.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/454 17772
/proc/meminfo: memFree=31916912/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=27944 CPUtime=942.31 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 4277 0 0 0 94231 0 0 0 25 0 1 0 822292378 28614656 4199 33554432000 4194304 4933572 140736499819136 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 6986 4199 386 181 0 3995 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 27944
[startup+1002.3 s]
/proc/loadavg: 2.20 2.10 2.02 3/454 17773
/proc/meminfo: memFree=31915628/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=27944 CPUtime=1002.31 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 4285 0 0 0 100231 0 0 0 25 0 1 0 822292378 28614656 4207 33554432000 4194304 4933572 140736499819136 18446744073709551615 4363232 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 6986 4207 386 181 0 3995 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 27944
[startup+1062.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/454 17775
/proc/meminfo: memFree=31916224/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=28080 CPUtime=1062.32 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 4311 0 0 0 106232 0 0 0 25 0 1 0 822292378 28753920 4233 33554432000 4194304 4933572 140736499819136 18446744073709551615 4648528 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7020 4233 386 181 0 4029 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 28080
[startup+1122.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/454 17776
/proc/meminfo: memFree=31915564/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=28368 CPUtime=1122.33 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 4379 0 0 0 112232 1 0 0 25 0 1 0 822292378 29048832 4301 33554432000 4194304 4933572 140736499819136 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7092 4301 386 181 0 4101 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 28368
[startup+1182.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/454 17778
/proc/meminfo: memFree=31914672/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=28772 CPUtime=1182.33 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 4501 0 0 0 118232 1 0 0 25 0 1 0 822292378 29462528 4423 33554432000 4194304 4933572 140736499819136 18446744073709551615 4331712 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7193 4423 386 181 0 4202 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 28772
[startup+1242.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/454 17780
/proc/meminfo: memFree=31913896/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=29076 CPUtime=1242.33 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 4571 0 0 0 124232 1 0 0 25 0 1 0 822292378 29773824 4493 33554432000 4194304 4933572 140736499819136 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7269 4493 386 181 0 4278 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 29076
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 17781
/proc/meminfo: memFree=31914368/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=29528 CPUtime=1302.33 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 4655 0 0 0 130232 1 0 0 25 0 1 0 822292378 30236672 4577 33554432000 4194304 4933572 140736499819136 18446744073709551615 4664539 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7382 4577 386 181 0 4391 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 29528
[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/454 17783
/proc/meminfo: memFree=31913336/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=29680 CPUtime=1362.33 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 4681 0 0 0 136232 1 0 0 25 0 1 0 822292378 30392320 4603 33554432000 4194304 4933572 140736499819136 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7420 4603 386 181 0 4429 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 29680
[startup+1422.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/454 17784
/proc/meminfo: memFree=31913072/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=29976 CPUtime=1422.34 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 4777 0 0 0 142233 1 0 0 25 0 1 0 822292378 30695424 4699 33554432000 4194304 4933572 140736499819136 18446744073709551615 4428566 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7494 4699 386 181 0 4503 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 29976
[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/454 17786
/proc/meminfo: memFree=31913392/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=30292 CPUtime=1482.34 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 4828 0 0 0 148233 1 0 0 25 0 1 0 822292378 31019008 4750 33554432000 4194304 4933572 140736499819136 18446744073709551615 4625222 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7573 4750 386 181 0 4582 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 30292
[startup+1542.32 s]
/proc/loadavg: 2.07 2.05 2.00 3/454 17788
/proc/meminfo: memFree=31913244/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=30444 CPUtime=1542.35 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 4855 0 0 0 154234 1 0 0 25 0 1 0 822292378 31174656 4777 33554432000 4194304 4933572 140736499819136 18446744073709551615 4649747 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7611 4777 386 181 0 4620 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 30444
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 17789
/proc/meminfo: memFree=31914088/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=30584 CPUtime=1602.34 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 4915 0 0 0 160233 1 0 0 25 0 1 0 822292378 31318016 4837 33554432000 4194304 4933572 140736499819136 18446744073709551615 4428384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7646 4837 386 181 0 4655 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 30584
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 17791
/proc/meminfo: memFree=31913940/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=30892 CPUtime=1662.34 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 4974 0 0 0 166233 1 0 0 25 0 1 0 822292378 31633408 4896 33554432000 4194304 4933572 140736499819136 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7723 4896 386 181 0 4732 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 30892
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 17792
/proc/meminfo: memFree=31912924/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=31056 CPUtime=1722.34 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 5013 0 0 0 172233 1 0 0 25 0 1 0 822292378 31801344 4935 33554432000 4194304 4933572 140736499819136 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7764 4935 386 181 0 4773 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 31056
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 17794
/proc/meminfo: memFree=31911920/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=31192 CPUtime=1782.34 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 5054 0 0 0 178233 1 0 0 25 0 1 0 822292378 31940608 4976 33554432000 4194304 4933572 140736499819136 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7798 4976 386 181 0 4807 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 31192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 17795
/proc/meminfo: memFree=31912280/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=31344 CPUtime=1800.05 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 5063 0 0 0 180004 1 0 0 25 0 1 0 822292378 32096256 4985 33554432000 4194304 4933572 140736499819136 18446744073709551615 4429109 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7836 4985 386 181 0 4845 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 31344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 17795
/proc/meminfo: memFree=31912280/32951124 swapFree=55639044/67111528
[pid=17664] ppid=17662 vsize=31344 CPUtime=1800.05 cores=0,2,4,6
/proc/17664/stat : 17664 (clasp) R 17662 17664 16116 0 -1 4202496 5063 0 0 0 180004 1 0 0 25 0 1 0 822292378 32096256 4985 33554432000 4194304 4933572 140736499819136 18446744073709551615 4429109 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17664/statm: 7836 4985 386 181 0 4845 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 31344
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1800.05
CPU system time (s): 0.014997
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 31344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5072
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= 7
involuntary context switches= 2460
runsolver used 8.59369 second user time and 17.3084 second system time
The end