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-3468560-1307072642/watcher-3468560-1307072642 -o /tmp/evaluation-result-3468560-1307072642/solver-3468560-1307072642 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468560-1307072642.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.01 1.98 2/572 19026
/proc/meminfo: memFree=31953732/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=14304 CPUtime=0.01 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 1152 0 0 0 1 0 0 0 25 0 1 0 818863019 14647296 928 33554432000 4194304 4933572 140736875032544 18446744073709551615 268272349893 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 3576 928 367 181 0 585 0
[startup+0.100612 s]
/proc/loadavg: 1.92 2.01 1.98 2/572 19026
/proc/meminfo: memFree=31953732/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=15908 CPUtime=0.09 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 1550 0 0 0 9 0 0 0 25 0 1 0 818863019 16289792 1326 33554432000 4194304 4933572 140736875032544 18446744073709551615 4319360 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 3977 1327 374 181 0 986 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15908
[startup+0.200598 s]
/proc/loadavg: 1.92 2.01 1.98 2/572 19026
/proc/meminfo: memFree=31953732/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=16444 CPUtime=0.19 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 1685 0 0 0 19 0 0 0 25 0 1 0 818863019 16838656 1461 33554432000 4194304 4933572 140736875032544 18446744073709551615 268272349893 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 4111 1461 374 181 0 1120 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16444
[startup+0.300577 s]
/proc/loadavg: 1.92 2.01 1.98 2/572 19026
/proc/meminfo: memFree=31953732/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=16708 CPUtime=0.29 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 1751 0 0 0 29 0 0 0 25 0 1 0 818863019 17108992 1527 33554432000 4194304 4933572 140736875032544 18446744073709551615 4717565 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 4177 1527 374 181 0 1186 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16708
[startup+0.700443 s]
/proc/loadavg: 1.92 2.01 1.98 2/572 19026
/proc/meminfo: memFree=31953732/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=18428 CPUtime=0.69 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 2171 0 0 0 69 0 0 0 25 0 1 0 818863019 18870272 1947 33554432000 4194304 4933572 140736875032544 18446744073709551615 4329744 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 4607 1947 374 181 0 1616 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18428
[startup+1.50036 s]
/proc/loadavg: 1.92 2.01 1.98 3/573 19027
/proc/meminfo: memFree=31945672/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=19352 CPUtime=1.49 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 2416 0 0 0 149 0 0 0 25 0 1 0 818863019 19816448 2192 33554432000 4194304 4933572 140736875032544 18446744073709551615 4717653 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 4838 2192 374 181 0 1847 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19352
[startup+3.10108 s]
/proc/loadavg: 1.92 2.01 1.98 3/573 19027
/proc/meminfo: memFree=31943084/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=20672 CPUtime=3.09 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 2752 0 0 0 309 0 0 0 25 0 1 0 818863019 21168128 2528 33554432000 4194304 4933572 140736875032544 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 5168 2528 374 181 0 2177 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20672
[startup+6.30051 s]
/proc/loadavg: 1.93 2.01 1.98 4/573 19027
/proc/meminfo: memFree=31941204/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=23148 CPUtime=6.29 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 3331 0 0 0 629 0 0 0 25 0 1 0 818863019 23703552 3107 33554432000 4194304 4933572 140736875032544 18446744073709551615 4319466 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 5787 3107 374 181 0 2796 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23148
[startup+12.7004 s]
/proc/loadavg: 1.93 2.01 1.98 3/573 19027
/proc/meminfo: memFree=31938268/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=25128 CPUtime=12.69 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 3823 0 0 0 1269 0 0 0 25 0 1 0 818863019 25731072 3599 33554432000 4194304 4933572 140736875032544 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 6282 3599 374 181 0 3291 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25128
[startup+25.5011 s]
/proc/loadavg: 1.95 2.01 1.98 3/573 19028
/proc/meminfo: memFree=31934056/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=27012 CPUtime=25.49 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 4324 0 0 0 2549 0 0 0 25 0 1 0 818863019 27660288 4100 33554432000 4194304 4933572 140736875032544 18446744073709551615 4649644 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 6753 4100 374 181 0 3762 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27012
[startup+51.1005 s]
/proc/loadavg: 1.96 2.01 1.98 3/573 19028
/proc/meminfo: memFree=31931304/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=29928 CPUtime=51.09 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 5032 0 0 0 5109 0 0 0 25 0 1 0 818863019 30646272 4808 33554432000 4194304 4933572 140736875032544 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 7482 4808 374 181 0 4491 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 29928
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 1.98 3/573 19030
/proc/meminfo: memFree=31926560/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=34172 CPUtime=102.3 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 6089 0 0 0 10230 0 0 0 25 0 1 0 818863019 34992128 5865 33554432000 4194304 4933572 140736875032544 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 8543 5865 374 181 0 5552 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 34172
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.98 3/573 19031
/proc/meminfo: memFree=31923284/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=35756 CPUtime=162.29 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 6491 0 0 0 16229 0 0 0 25 0 1 0 818863019 36614144 6267 33554432000 4194304 4933572 140736875032544 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 8939 6267 374 181 0 5948 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 35756
[startup+222.322 s]
/proc/loadavg: 1.99 2.00 1.98 3/573 19033
/proc/meminfo: memFree=31920372/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=38792 CPUtime=222.31 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 7241 0 0 0 22231 0 0 0 25 0 1 0 818863019 39723008 7017 33554432000 4194304 4933572 140736875032544 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 9698 7017 374 181 0 6707 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 38792
[startup+282.3 s]
/proc/loadavg: 2.19 2.06 2.00 3/573 19034
/proc/meminfo: memFree=31917840/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=40916 CPUtime=282.3 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 7783 0 0 0 28229 1 0 0 25 0 1 0 818863019 41897984 7559 33554432000 4194304 4933572 140736875032544 18446744073709551615 4319328 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 10229 7559 374 181 0 7238 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 40916
[startup+342.301 s]
/proc/loadavg: 2.16 2.07 2.01 4/573 19036
/proc/meminfo: memFree=31916676/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=41312 CPUtime=342.3 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 7875 0 0 0 34229 1 0 0 25 0 1 0 818863019 42303488 7651 33554432000 4194304 4933572 140736875032544 18446744073709551615 4319305 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 10328 7651 374 181 0 7337 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 41312
[startup+402.301 s]
/proc/loadavg: 2.06 2.06 2.00 4/573 19038
/proc/meminfo: memFree=31913760/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=43292 CPUtime=402.3 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 8370 0 0 0 40229 1 0 0 25 0 1 0 818863019 44331008 8146 33554432000 4194304 4933572 140736875032544 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 10823 8146 374 181 0 7832 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 43292
[startup+462.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/573 19039
/proc/meminfo: memFree=31912472/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=44476 CPUtime=462.3 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 8863 0 0 0 46229 1 0 0 25 0 1 0 818863019 45543424 8456 33554432000 4194304 4933572 140736875032544 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 11119 8456 375 181 0 8128 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 44476
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19041
/proc/meminfo: memFree=31911432/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=45752 CPUtime=522.3 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 9365 0 0 0 52229 1 0 0 25 0 1 0 818863019 46850048 8782 33554432000 4194304 4933572 140736875032544 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 11438 8782 375 181 0 8447 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 45752
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19042
/proc/meminfo: memFree=31908528/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=48348 CPUtime=582.3 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 10217 0 0 0 58229 1 0 0 25 0 1 0 818863019 49508352 9417 33554432000 4194304 4933572 140736875032544 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 12087 9417 375 181 0 9096 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 48348
[startup+642.301 s]
################
# More data... #
################
[startup+882.321 s]
/proc/loadavg: 2.12 2.05 2.01 3/573 19078
/proc/meminfo: memFree=31934968/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=55252 CPUtime=882.33 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 12489 0 0 0 88231 2 0 0 25 0 1 0 818863019 56578048 10962 33554432000 4194304 4933572 140736875032544 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 13813 10962 375 181 0 10822 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 55252
[startup+942.301 s]
/proc/loadavg: 2.04 2.04 2.01 3/573 19080
/proc/meminfo: memFree=31934048/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=55780 CPUtime=942.32 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 12614 0 0 0 94230 2 0 0 25 0 1 0 818863019 57118720 11087 33554432000 4194304 4933572 140736875032544 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 13945 11087 377 181 0 10954 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 55780
[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/573 19082
/proc/meminfo: memFree=31930132/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=58552 CPUtime=1002.32 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 13298 0 0 0 100230 2 0 0 25 0 1 0 818863019 59957248 11771 33554432000 4194304 4933572 140736875032544 18446744073709551615 4342096 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 14638 11771 377 181 0 11647 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 58552
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19092
/proc/meminfo: memFree=31929620/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=59640 CPUtime=1062.32 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 14021 0 0 0 106230 2 0 0 25 0 1 0 818863019 61071360 12061 33554432000 4194304 4933572 140736875032544 18446744073709551615 4330263 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 14910 12061 377 181 0 11919 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 59640
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19094
/proc/meminfo: memFree=31928704/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=59720 CPUtime=1122.32 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 14306 0 0 0 112230 2 0 0 25 0 1 0 818863019 61153280 12090 33554432000 4194304 4933572 140736875032544 18446744073709551615 4319426 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 14930 12090 377 181 0 11939 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 59720
[startup+1182.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/573 19095
/proc/meminfo: memFree=31927788/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=60248 CPUtime=1182.32 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 14431 0 0 0 118230 2 0 0 25 0 1 0 818863019 61693952 12215 33554432000 4194304 4933572 140736875032544 18446744073709551615 4341896 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 15062 12215 377 181 0 12071 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 60248
[startup+1242.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/573 19100
/proc/meminfo: memFree=31927760/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=60248 CPUtime=1242.32 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 14433 0 0 0 124230 2 0 0 25 0 1 0 818863019 61693952 12217 33554432000 4194304 4933572 140736875032544 18446744073709551615 4330235 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 15062 12217 377 181 0 12071 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 60248
[startup+1302.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/573 19102
/proc/meminfo: memFree=31925828/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=60248 CPUtime=1302.32 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 14433 0 0 0 130230 2 0 0 25 0 1 0 818863019 61693952 12217 33554432000 4194304 4933572 140736875032544 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 15062 12217 377 181 0 12071 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 60248
[startup+1362.3 s]
/proc/loadavg: 2.18 2.07 2.01 3/573 19103
/proc/meminfo: memFree=31925772/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=60728 CPUtime=1362.32 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 14775 0 0 0 136230 2 0 0 25 0 1 0 818863019 62185472 12344 33554432000 4194304 4933572 140736875032544 18446744073709551615 4637187 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 15182 12344 377 181 0 12191 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 60728
[startup+1422.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/573 19105
/proc/meminfo: memFree=31926716/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=61556 CPUtime=1422.34 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 15037 0 0 0 142232 2 0 0 25 0 1 0 818863019 63033344 12530 33554432000 4194304 4933572 140736875032544 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 15389 12530 377 181 0 12398 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 61556
[startup+1482.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/573 19106
/proc/meminfo: memFree=31923068/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=63404 CPUtime=1482.32 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 15541 0 0 0 148230 2 0 0 25 0 1 0 818863019 64925696 13034 33554432000 4194304 4933572 140736875032544 18446744073709551615 4649391 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 15851 13034 377 181 0 12860 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 63404
[startup+1542.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 19108
/proc/meminfo: memFree=31923780/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=63404 CPUtime=1542.35 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 15542 0 0 0 154233 2 0 0 25 0 1 0 818863019 64925696 13035 33554432000 4194304 4933572 140736875032544 18446744073709551615 4717548 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 15851 13035 377 181 0 12860 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 63404
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19110
/proc/meminfo: memFree=31922108/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=64812 CPUtime=1602.33 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 15994 0 0 0 160231 2 0 0 25 0 1 0 818863019 66367488 13397 33554432000 4194304 4933572 140736875032544 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 16203 13397 377 181 0 13212 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 64812
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19111
/proc/meminfo: memFree=31923304/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=63784 CPUtime=1662.33 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 16074 0 0 0 166231 2 0 0 25 0 1 0 818863019 65314816 13121 33554432000 4194304 4933572 140736875032544 18446744073709551615 4631976 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 15946 13121 377 181 0 12955 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 63784
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19113
/proc/meminfo: memFree=31919536/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=67744 CPUtime=1722.34 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 17055 0 0 0 172231 3 0 0 25 0 1 0 818863019 69369856 14102 33554432000 4194304 4933572 140736875032544 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 16936 14102 377 181 0 13945 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 67744
[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/573 19114
/proc/meminfo: memFree=31919740/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=65348 CPUtime=1782.34 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 17370 0 0 0 178231 3 0 0 25 0 1 0 818863019 66916352 13528 33554432000 4194304 4933572 140736875032544 18446744073709551615 4632971 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 16337 13528 377 181 0 13346 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 65348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.13 2.06 2.01 3/573 19115
/proc/meminfo: memFree=31919836/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=65348 CPUtime=1800.06 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 17370 0 0 0 180003 3 0 0 25 0 1 0 818863019 66916352 13528 33554432000 4194304 4933572 140736875032544 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 16337 13528 377 181 0 13346 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 65348
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.13 2.06 2.01 3/573 19115
/proc/meminfo: memFree=31919836/32950928 swapFree=43925852/67111528
[pid=19026] ppid=19024 vsize=65348 CPUtime=1800.06 cores=1,3,5,7
/proc/19026/stat : 19026 (clasp) R 19024 19026 17441 0 -1 4202496 17370 0 0 0 180003 3 0 0 25 0 1 0 818863019 66916352 13528 33554432000 4194304 4933572 140736875032544 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19026/statm: 16337 13528 377 181 0 13346 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 65348
Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1800.04
CPU system time (s): 0.033994
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 67744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17382
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= 11
involuntary context switches= 21274
runsolver used 9.8925 second user time and 24.4443 second system time
The end