runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491816-1307767682/watcher-3491816-1307767682 -o /tmp/evaluation-result-3491816-1307767682/solver-3491816-1307767682 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491816-1307767682.opb --solu --heu=VSIDS
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.01 1.89 1.74 2/177 11379
/proc/meminfo: memFree=31616024/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=3672 CPUtime=0 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 653 0 0 0 0 0 0 0 25 0 1 0 966998910 3760128 563 33554432000 4194304 6245536 140734002296224 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 918 563 201 501 0 414 0
[startup+0.021362 s]
/proc/loadavg: 2.01 1.89 1.74 2/177 11379
/proc/meminfo: memFree=31616024/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=3804 CPUtime=0.02 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 711 0 0 0 2 0 0 0 25 0 1 0 966998910 3895296 621 33554432000 4194304 6245536 140734002296224 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11379/statm: 951 621 228 501 0 447 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3804
[startup+0.100365 s]
/proc/loadavg: 2.01 1.89 1.74 2/177 11379
/proc/meminfo: memFree=31616024/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=4068 CPUtime=0.09 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 776 0 0 0 9 0 0 0 25 0 1 0 966998910 4165632 686 33554432000 4194304 6245536 140734002296224 18446744073709551615 4304800 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11379/statm: 1017 686 229 501 0 513 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4068
[startup+0.300328 s]
/proc/loadavg: 2.01 1.89 1.74 2/177 11379
/proc/meminfo: memFree=31616024/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=4476 CPUtime=0.29 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 872 0 0 0 29 0 0 0 25 0 1 0 966998910 4583424 782 33554432000 4194304 6245536 140734002296224 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11379/statm: 1119 782 229 501 0 615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4476
[startup+0.700247 s]
/proc/loadavg: 2.01 1.89 1.74 2/177 11379
/proc/meminfo: memFree=31616024/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=4880 CPUtime=0.69 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 988 0 0 0 69 0 0 0 25 0 1 0 966998910 4997120 898 33554432000 4194304 6245536 140734002296224 18446744073709551615 4635751 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11379/statm: 1220 898 229 501 0 716 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4880
[startup+1.5011 s]
/proc/loadavg: 2.01 1.89 1.74 3/178 11380
/proc/meminfo: memFree=31613340/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=5548 CPUtime=1.49 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 1141 0 0 0 149 0 0 0 25 0 1 0 966998910 5681152 1051 33554432000 4194304 6245536 140734002296224 18446744073709551615 4635125 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11379/statm: 1387 1051 229 501 0 883 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5548
[startup+3.10081 s]
/proc/loadavg: 2.01 1.89 1.74 3/178 11380
/proc/meminfo: memFree=31612100/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=6224 CPUtime=3.09 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 1321 0 0 0 309 0 0 0 25 0 1 0 966998910 6373376 1231 33554432000 4194304 6245536 140734002296224 18446744073709551615 4629415 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11379/statm: 1556 1231 229 501 0 1052 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6224
[startup+6.30021 s]
/proc/loadavg: 2.01 1.89 1.74 3/178 11380
/proc/meminfo: memFree=31611200/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=7032 CPUtime=6.29 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 1500 0 0 0 629 0 0 0 25 0 1 0 966998910 7200768 1410 33554432000 4194304 6245536 140734002296224 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11379/statm: 1758 1410 229 501 0 1254 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7032
[startup+12.701 s]
/proc/loadavg: 2.01 1.89 1.74 3/178 11380
/proc/meminfo: memFree=31609472/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=8116 CPUtime=12.69 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 1792 0 0 0 1269 0 0 0 25 0 1 0 966998910 8310784 1702 33554432000 4194304 6245536 140734002296224 18446744073709551615 4304794 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11379/statm: 2029 1702 229 501 0 1525 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8116
[startup+25.5007 s]
/proc/loadavg: 2.01 1.90 1.74 3/178 11380
/proc/meminfo: memFree=31607452/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=9584 CPUtime=25.49 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 2136 0 0 0 2549 0 0 0 25 0 1 0 966998910 9814016 2046 33554432000 4194304 6245536 140734002296224 18446744073709551615 4409672 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11379/statm: 2396 2046 229 501 0 1892 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9584
[startup+51.1009 s]
/proc/loadavg: 2.00 1.91 1.75 3/178 11381
/proc/meminfo: memFree=31605168/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=11188 CPUtime=51.09 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 2508 0 0 0 5109 0 0 0 25 0 1 0 966998910 11456512 2418 33554432000 4194304 6245536 140734002296224 18446744073709551615 4397820 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11379/statm: 2797 2418 229 501 0 2293 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11188
[startup+102.306 s]
/proc/loadavg: 2.00 1.92 1.76 3/178 11382
/proc/meminfo: memFree=31602172/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=13504 CPUtime=102.3 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 3051 0 0 0 10230 0 0 0 25 0 1 0 966998910 13828096 2961 33554432000 4194304 6245536 140734002296224 18446744073709551615 4361731 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11379/statm: 3376 2961 229 501 0 2872 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 13504
[startup+162.3 s]
/proc/loadavg: 2.00 1.93 1.77 3/178 11384
/proc/meminfo: memFree=31600512/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=15356 CPUtime=162.29 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 3474 0 0 0 16229 0 0 0 25 0 1 0 966998910 15724544 3384 33554432000 4194304 6245536 140734002296224 18446744073709551615 4408684 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 3839 3384 229 501 0 3335 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15356
[startup+222.3 s]
/proc/loadavg: 2.06 1.96 1.79 3/178 11386
/proc/meminfo: memFree=31599108/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=16412 CPUtime=222.29 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 3735 0 0 0 22229 0 0 0 25 0 1 0 966998910 16805888 3645 33554432000 4194304 6245536 140734002296224 18446744073709551615 4397840 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 4103 3645 229 501 0 3599 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 16412
[startup+282.301 s]
/proc/loadavg: 2.02 1.96 1.80 3/178 11387
/proc/meminfo: memFree=31598448/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=17056 CPUtime=282.3 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 3899 0 0 0 28230 0 0 0 25 0 1 0 966998910 17465344 3802 33554432000 4194304 6245536 140734002296224 18446744073709551615 4628998 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 4264 3802 229 501 0 3760 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 17056
[startup+342.301 s]
/proc/loadavg: 2.00 1.97 1.81 3/178 11389
/proc/meminfo: memFree=31598044/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=17544 CPUtime=342.3 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4000 0 0 0 34230 0 0 0 25 0 1 0 966998910 17965056 3903 33554432000 4194304 6245536 140734002296224 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 4386 3903 229 501 0 3882 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 17544
[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.82 3/178 11390
/proc/meminfo: memFree=31597376/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=18372 CPUtime=402.3 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4177 0 0 0 40230 0 0 0 25 0 1 0 966998910 18812928 4080 33554432000 4194304 6245536 140734002296224 18446744073709551615 4316352 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 4593 4080 229 501 0 4089 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 18372
[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.83 3/178 11392
/proc/meminfo: memFree=31597204/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=18372 CPUtime=462.3 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4203 0 0 0 46230 0 0 0 25 0 1 0 966998910 18812928 4106 33554432000 4194304 6245536 140734002296224 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 4593 4106 229 501 0 4089 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 18372
[startup+522.301 s]
/proc/loadavg: 2.07 1.99 1.84 3/178 11393
/proc/meminfo: memFree=31596916/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=18708 CPUtime=522.3 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4267 0 0 0 52230 0 0 0 25 0 1 0 966998910 19156992 4170 33554432000 4194304 6245536 140734002296224 18446744073709551615 4637480 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 4677 4170 229 501 0 4173 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 18708
[startup+582.3 s]
/proc/loadavg: 2.02 1.99 1.84 3/178 11395
/proc/meminfo: memFree=31596760/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=18876 CPUtime=582.3 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4320 0 0 0 58230 0 0 0 25 0 1 0 966998910 19329024 4223 33554432000 4194304 6245536 140734002296224 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 4719 4223 229 501 0 4215 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 18876
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 11410
/proc/meminfo: memFree=31594532/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=19720 CPUtime=822.31 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4499 0 0 0 82231 0 0 0 25 0 1 0 966998910 20193280 4402 33554432000 4194304 6245536 140734002296224 18446744073709551615 4408684 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 4930 4402 229 501 0 4426 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 19720
[startup+882.301 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 11412
/proc/meminfo: memFree=31594372/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=19888 CPUtime=882.31 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4527 0 0 0 88231 0 0 0 25 0 1 0 966998910 20365312 4430 33554432000 4194304 6245536 140734002296224 18446744073709551615 4304745 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 4972 4430 229 501 0 4468 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 19888
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.88 3/178 11414
/proc/meminfo: memFree=31594212/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=19888 CPUtime=942.32 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4538 0 0 0 94232 0 0 0 25 0 1 0 966998910 20365312 4441 33554432000 4194304 6245536 140734002296224 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 4972 4441 229 501 0 4468 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 19888
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/178 11415
/proc/meminfo: memFree=31594048/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=20056 CPUtime=1002.32 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4578 0 0 0 100232 0 0 0 25 0 1 0 966998910 20537344 4481 33554432000 4194304 6245536 140734002296224 18446744073709551615 4408778 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5014 4481 229 501 0 4510 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 20056
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/178 11417
/proc/meminfo: memFree=31593760/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=20224 CPUtime=1062.32 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4608 0 0 0 106232 0 0 0 25 0 1 0 966998910 20709376 4511 33554432000 4194304 6245536 140734002296224 18446744073709551615 4628998 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5056 4511 229 501 0 4552 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 20224
[startup+1122.3 s]
/proc/loadavg: 2.04 2.00 1.90 3/178 11419
/proc/meminfo: memFree=31593480/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=20396 CPUtime=1122.32 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4663 0 0 0 112232 0 0 0 25 0 1 0 966998910 20885504 4566 33554432000 4194304 6245536 140734002296224 18446744073709551615 4629358 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5099 4566 229 501 0 4595 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 20396
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 11420
/proc/meminfo: memFree=31593200/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=20396 CPUtime=1182.32 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4684 0 0 0 118232 0 0 0 25 0 1 0 966998910 20885504 4587 33554432000 4194304 6245536 140734002296224 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5099 4587 229 501 0 4595 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 20396
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11422
/proc/meminfo: memFree=31592916/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=20564 CPUtime=1242.33 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4714 0 0 0 124233 0 0 0 25 0 1 0 966998910 21057536 4617 33554432000 4194304 6245536 140734002296224 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5141 4617 229 501 0 4637 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 20564
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11423
/proc/meminfo: memFree=31592628/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=20732 CPUtime=1302.33 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4743 0 0 0 130233 0 0 0 25 0 1 0 966998910 21229568 4646 33554432000 4194304 6245536 140734002296224 18446744073709551615 4344266 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5183 4646 229 501 0 4679 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 20732
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11425
/proc/meminfo: memFree=31592588/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=20732 CPUtime=1362.33 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4756 0 0 0 136233 0 0 0 25 0 1 0 966998910 21229568 4659 33554432000 4194304 6245536 140734002296224 18446744073709551615 4635082 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5183 4659 229 501 0 4679 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 20732
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11427
/proc/meminfo: memFree=31592544/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=20900 CPUtime=1422.34 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4772 0 0 0 142234 0 0 0 25 0 1 0 966998910 21401600 4675 33554432000 4194304 6245536 140734002296224 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5225 4675 229 501 0 4721 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 20900
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11428
/proc/meminfo: memFree=31592496/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=20900 CPUtime=1482.33 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4779 0 0 0 148233 0 0 0 25 0 1 0 966998910 21401600 4682 33554432000 4194304 6245536 140734002296224 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5225 4682 229 501 0 4721 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 20900
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11430
/proc/meminfo: memFree=31592700/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=20900 CPUtime=1542.34 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4791 0 0 0 154234 0 0 0 25 0 1 0 966998910 21401600 4694 33554432000 4194304 6245536 140734002296224 18446744073709551615 4629037 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5225 4694 229 501 0 4721 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 20900
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11431
/proc/meminfo: memFree=31592164/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=20900 CPUtime=1602.34 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4810 0 0 0 160234 0 0 0 25 0 1 0 966998910 21401600 4713 33554432000 4194304 6245536 140734002296224 18446744073709551615 4408698 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5225 4713 229 501 0 4721 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 20900
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11433
/proc/meminfo: memFree=31592252/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=20900 CPUtime=1662.34 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4815 0 0 0 166234 0 0 0 25 0 1 0 966998910 21401600 4718 33554432000 4194304 6245536 140734002296224 18446744073709551615 4304840 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5225 4718 229 501 0 4721 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 20900
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11434
/proc/meminfo: memFree=31591844/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=21240 CPUtime=1722.34 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4913 0 0 0 172234 0 0 0 25 0 1 0 966998910 21749760 4784 33554432000 4194304 6245536 140734002296224 18446744073709551615 4628913 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5310 4784 229 501 0 4806 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 21240
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11436
/proc/meminfo: memFree=31591808/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=21416 CPUtime=1782.34 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4941 0 0 0 178234 0 0 0 25 0 1 0 966998910 21929984 4812 33554432000 4194304 6245536 140734002296224 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5354 4812 229 501 0 4850 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 21416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11514
/proc/meminfo: memFree=31564048/32950928 swapFree=67051096/67111528
[pid=11379] ppid=11377 vsize=21416 CPUtime=1800.05 cores=1,3,5,7
/proc/11379/stat : 11379 (clasp) R 11377 11379 6496 0 -1 4202496 4941 0 0 0 180005 0 0 0 25 0 1 0 966998910 21929984 4812 33554432000 4194304 6245536 140734002296224 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/11379/statm: 5354 4812 229 501 0 4850 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 21416
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.01
CPU time (s): 1800.06
CPU user time (s): 1800.05
CPU system time (s): 0.009998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 21416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4953
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= 3
involuntary context switches= 2797
runsolver used 2.6336 second user time and 5.55616 second system time
The end