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-3468071-1307651361/watcher-3468071-1307651361 -o /tmp/evaluation-result-3468071-1307651361/solver-3468071-1307651361 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468071-1307651361.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: 1.92 1.98 1.92 3/177 27280
/proc/meminfo: memFree=32070116/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=14828 CPUtime=0 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 960 0 0 0 0 0 0 0 25 0 1 0 955366838 15183872 872 33554432000 4194304 4933572 140736468502128 18446744073709551615 4659471 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 3707 876 320 181 0 716 0
[startup+0.0195781 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 27280
/proc/meminfo: memFree=32070116/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=18020 CPUtime=0.01 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 1946 0 0 0 1 0 0 0 25 0 1 0 955366838 18452480 1782 33554432000 4194304 4933572 140736468502128 18446744073709551615 231895490304 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 4505 1782 329 181 0 1514 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18020
[startup+0.100546 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 27280
/proc/meminfo: memFree=32070116/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=37820 CPUtime=0.09 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 6659 0 0 0 8 1 0 0 25 0 1 0 955366838 38727680 6495 33554432000 4194304 4933572 140736468502128 18446744073709551615 4720831 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 9455 6495 329 181 0 6464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37820
[startup+0.300505 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 27280
/proc/meminfo: memFree=32070116/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=54292 CPUtime=0.29 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 10815 0 0 0 28 1 0 0 25 0 1 0 955366838 55595008 10345 33554432000 4194304 4933572 140736468502128 18446744073709551615 4710942 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 13573 10345 365 181 0 10582 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54292
[startup+0.70043 s]
/proc/loadavg: 1.92 1.98 1.92 3/177 27280
/proc/meminfo: memFree=32070116/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=57008 CPUtime=0.69 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 11425 0 0 0 68 1 0 0 25 0 1 0 955366838 58376192 10955 33554432000 4194304 4933572 140736468502128 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 14252 10955 365 181 0 11261 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57008
[startup+1.50028 s]
/proc/loadavg: 1.92 1.98 1.92 3/178 27281
/proc/meminfo: memFree=32025368/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=60716 CPUtime=1.49 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 12293 0 0 0 148 1 0 0 25 0 1 0 955366838 62173184 11823 33554432000 4194304 4933572 140736468502128 18446744073709551615 4718196 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 15179 11823 366 181 0 12188 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60716
[startup+3.10098 s]
/proc/loadavg: 1.92 1.98 1.92 3/178 27281
/proc/meminfo: memFree=32022516/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=63000 CPUtime=3.09 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 12804 0 0 0 308 1 0 0 25 0 1 0 955366838 64512000 12334 33554432000 4194304 4933572 140736468502128 18446744073709551615 4711010 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 15750 12334 373 181 0 12759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63000
[startup+6.30038 s]
/proc/loadavg: 1.93 1.98 1.92 3/178 27281
/proc/meminfo: memFree=32020796/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=63612 CPUtime=6.29 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 12970 0 0 0 628 1 0 0 25 0 1 0 955366838 65138688 12500 33554432000 4194304 4933572 140736468502128 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 15903 12500 374 181 0 12912 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63612
[startup+12.7012 s]
/proc/loadavg: 1.93 1.98 1.92 3/178 27281
/proc/meminfo: memFree=32019452/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=64432 CPUtime=12.69 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 13198 0 0 0 1268 1 0 0 25 0 1 0 955366838 65978368 12728 33554432000 4194304 4933572 140736468502128 18446744073709551615 4718393 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 16108 12728 374 181 0 13117 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64432
[startup+25.5008 s]
/proc/loadavg: 1.95 1.98 1.92 3/178 27321
/proc/meminfo: memFree=32041064/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=65660 CPUtime=25.49 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 13483 0 0 0 2548 1 0 0 25 0 1 0 955366838 67235840 13013 33554432000 4194304 4933572 140736468502128 18446744073709551615 4711299 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 16415 13013 374 181 0 13424 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65660
[startup+51.101 s]
/proc/loadavg: 1.96 1.98 1.92 3/178 27321
/proc/meminfo: memFree=32038136/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=67804 CPUtime=51.09 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 13907 0 0 0 5108 1 0 0 25 0 1 0 955366838 69431296 13437 33554432000 4194304 4933572 140736468502128 18446744073709551615 4712973 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 16951 13437 374 181 0 13960 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 67804
[startup+102.306 s]
/proc/loadavg: 2.02 2.00 1.93 3/178 27323
/proc/meminfo: memFree=32036296/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=68544 CPUtime=102.29 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 14087 0 0 0 10228 1 0 0 25 0 1 0 955366838 70189056 13617 33554432000 4194304 4933572 140736468502128 18446744073709551615 4712896 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 17136 13617 374 181 0 14145 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 68544
[startup+162.301 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 27324
/proc/meminfo: memFree=32035208/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=68852 CPUtime=162.29 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 14208 0 0 0 16228 1 0 0 25 0 1 0 955366838 70504448 13738 33554432000 4194304 4933572 140736468502128 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 17213 13738 374 181 0 14222 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 68852
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27326
/proc/meminfo: memFree=32034508/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=68852 CPUtime=222.3 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 14237 0 0 0 22228 2 0 0 25 0 1 0 955366838 70504448 13767 33554432000 4194304 4933572 140736468502128 18446744073709551615 4629757 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 17213 13767 374 181 0 14222 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 68852
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27327
/proc/meminfo: memFree=32032728/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=70636 CPUtime=282.3 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 14564 0 0 0 28228 2 0 0 25 0 1 0 955366838 72331264 14094 33554432000 4194304 4933572 140736468502128 18446744073709551615 4713033 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 17659 14094 374 181 0 14668 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 70636
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27329
/proc/meminfo: memFree=32031676/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=71556 CPUtime=342.3 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 14765 0 0 0 34228 2 0 0 25 0 1 0 955366838 73273344 14295 33554432000 4194304 4933572 140736468502128 18446744073709551615 4719451 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 17889 14295 374 181 0 14898 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 71556
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27331
/proc/meminfo: memFree=32030392/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=72780 CPUtime=402.3 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 14985 0 0 0 40228 2 0 0 25 0 1 0 955366838 74526720 14515 33554432000 4194304 4933572 140736468502128 18446744073709551615 4713033 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 18195 14515 374 181 0 15204 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 72780
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27332
/proc/meminfo: memFree=32029952/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=73088 CPUtime=462.31 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 15054 0 0 0 46229 2 0 0 25 0 1 0 955366838 74842112 14584 33554432000 4194304 4933572 140736468502128 18446744073709551615 4711184 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 18272 14584 374 181 0 15281 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 73088
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27334
/proc/meminfo: memFree=32029652/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=73088 CPUtime=522.31 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 15085 0 0 0 52229 2 0 0 25 0 1 0 955366838 74842112 14615 33554432000 4194304 4933572 140736468502128 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 18272 14615 374 181 0 15281 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 73088
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27338
/proc/meminfo: memFree=32029336/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=73088 CPUtime=582.31 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 15088 0 0 0 58229 2 0 0 25 0 1 0 955366838 74842112 14618 33554432000 4194304 4933572 140736468502128 18446744073709551615 4649834 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 18272 14618 374 181 0 15281 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 73088
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27345
/proc/meminfo: memFree=32027412/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=74292 CPUtime=822.32 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 15361 0 0 0 82230 2 0 0 25 0 1 0 955366838 76075008 14891 33554432000 4194304 4933572 140736468502128 18446744073709551615 4711184 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 18573 14891 374 181 0 15582 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 74292
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27346
/proc/meminfo: memFree=32027112/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=74500 CPUtime=882.32 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 15402 0 0 0 88230 2 0 0 25 0 1 0 955366838 76288000 14932 33554432000 4194304 4933572 140736468502128 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 18625 14932 374 181 0 15634 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 74500
[startup+942.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 27348
/proc/meminfo: memFree=32025940/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=75668 CPUtime=942.32 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 15636 0 0 0 94230 2 0 0 25 0 1 0 955366838 77484032 15166 33554432000 4194304 4933572 140736468502128 18446744073709551615 4711285 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 18917 15166 374 181 0 15926 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 75668
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 27350
/proc/meminfo: memFree=32023780/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=78324 CPUtime=1002.32 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16170 0 0 0 100230 2 0 0 25 0 1 0 955366838 80203776 15700 33554432000 4194304 4933572 140736468502128 18446744073709551615 4713033 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 19581 15700 374 181 0 16590 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 78324
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27351
/proc/meminfo: memFree=32023720/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=78324 CPUtime=1062.32 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16174 0 0 0 106230 2 0 0 25 0 1 0 955366838 80203776 15704 33554432000 4194304 4933572 140736468502128 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 19581 15704 374 181 0 16590 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 78324
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 1.94 3/178 27353
/proc/meminfo: memFree=32023792/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=78324 CPUtime=1122.33 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16174 0 0 0 112231 2 0 0 25 0 1 0 955366838 80203776 15704 33554432000 4194304 4933572 140736468502128 18446744073709551615 4718269 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 19581 15704 374 181 0 16590 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 78324
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 27354
/proc/meminfo: memFree=32023872/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=78324 CPUtime=1182.33 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16180 0 0 0 118231 2 0 0 25 0 1 0 955366838 80203776 15710 33554432000 4194304 4933572 140736468502128 18446744073709551615 4712973 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 19581 15710 374 181 0 16590 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 78324
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 27356
/proc/meminfo: memFree=32023576/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=78324 CPUtime=1242.33 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16184 0 0 0 124231 2 0 0 25 0 1 0 955366838 80203776 15714 33554432000 4194304 4933572 140736468502128 18446744073709551615 4713033 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 19581 15714 374 181 0 16590 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 78324
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27358
/proc/meminfo: memFree=32023404/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=78324 CPUtime=1302.34 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16185 0 0 0 130232 2 0 0 25 0 1 0 955366838 80203776 15715 33554432000 4194304 4933572 140736468502128 18446744073709551615 4340878 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 19581 15715 374 181 0 16590 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 78324
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27359
/proc/meminfo: memFree=32023572/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=78324 CPUtime=1362.33 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16191 0 0 0 136231 2 0 0 25 0 1 0 955366838 80203776 15721 33554432000 4194304 4933572 140736468502128 18446744073709551615 4711010 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 19581 15721 374 181 0 16590 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 78324
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27361
/proc/meminfo: memFree=32023500/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=78492 CPUtime=1422.34 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16234 0 0 0 142232 2 0 0 25 0 1 0 955366838 80375808 15764 33554432000 4194304 4933572 140736468502128 18446744073709551615 4711010 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 19623 15764 374 181 0 16632 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 78492
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27362
/proc/meminfo: memFree=32023332/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=78492 CPUtime=1482.34 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16236 0 0 0 148232 2 0 0 25 0 1 0 955366838 80375808 15766 33554432000 4194304 4933572 140736468502128 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 19623 15766 374 181 0 16632 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 78492
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27364
/proc/meminfo: memFree=32023404/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=78492 CPUtime=1542.34 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16254 0 0 0 154232 2 0 0 25 0 1 0 955366838 80375808 15784 33554432000 4194304 4933572 140736468502128 18446744073709551615 4711064 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 19623 15784 374 181 0 16632 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 78492
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27366
/proc/meminfo: memFree=32022856/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=78996 CPUtime=1602.34 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16346 0 0 0 160232 2 0 0 25 0 1 0 955366838 80891904 15876 33554432000 4194304 4933572 140736468502128 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 19749 15876 376 181 0 16758 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 78996
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27367
/proc/meminfo: memFree=32022436/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=79472 CPUtime=1662.34 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16441 0 0 0 166232 2 0 0 25 0 1 0 955366838 81379328 15971 33554432000 4194304 4933572 140736468502128 18446744073709551615 4719460 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 19868 15971 376 181 0 16877 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 79472
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27369
/proc/meminfo: memFree=32022148/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=79684 CPUtime=1722.35 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16503 0 0 0 172233 2 0 0 25 0 1 0 955366838 81596416 16033 33554432000 4194304 4933572 140736468502128 18446744073709551615 4319354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 19921 16033 376 181 0 16930 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 79684
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27370
/proc/meminfo: memFree=32021248/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=80856 CPUtime=1782.35 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16701 0 0 0 178233 2 0 0 25 0 1 0 955366838 82796544 16231 33554432000 4194304 4933572 140736468502128 18446744073709551615 4713033 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 20214 16231 376 181 0 17223 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 80856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27371
/proc/meminfo: memFree=32020860/32950928 swapFree=67054844/67111528
[pid=27280] ppid=27278 vsize=81160 CPUtime=1800.05 cores=0,2,4,6
/proc/27280/stat : 27280 (clasp) R 27278 27280 25448 0 -1 4202496 16753 0 0 0 180003 2 0 0 25 0 1 0 955366838 83107840 16283 33554432000 4194304 4933572 140736468502128 18446744073709551615 4713033 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27280/statm: 20290 16283 376 181 0 17299 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 81160
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.01
CPU time (s): 1800.07
CPU user time (s): 1800.04
CPU system time (s): 0.032994
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 81160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16766
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= 2570
runsolver used 3.39448 second user time and 6.22705 second system time
The end