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-3491994-1307782153/watcher-3491994-1307782153 -o /tmp/evaluation-result-3491994-1307782153/solver-3491994-1307782153 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491994-1307782153.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: 1.24 1.70 1.85 3/176 8979
/proc/meminfo: memFree=31547196/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=4192 CPUtime=0 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 774 0 0 0 0 0 0 0 19 0 1 0 968445992 4292608 677 33554432000 4194304 6245536 140736382141648 18446744073709551615 4581955 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 1048 677 202 501 0 544 0
[startup+0.0629199 s]
/proc/loadavg: 1.24 1.70 1.85 3/176 8979
/proc/meminfo: memFree=31547196/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=4192 CPUtime=0.06 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 829 0 0 0 6 0 0 0 19 0 1 0 968445992 4292608 732 33554432000 4194304 6245536 140736382141648 18446744073709551615 4696436 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 1048 732 228 501 0 544 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4192
[startup+0.100903 s]
/proc/loadavg: 1.24 1.70 1.85 3/176 8979
/proc/meminfo: memFree=31547196/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=4192 CPUtime=0.1 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 831 0 0 0 10 0 0 0 19 0 1 0 968445992 4292608 734 33554432000 4194304 6245536 140736382141648 18446744073709551615 4629489 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 1048 734 228 501 0 544 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4192
[startup+0.300865 s]
/proc/loadavg: 1.24 1.70 1.85 3/176 8979
/proc/meminfo: memFree=31547196/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=4192 CPUtime=0.3 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 837 0 0 0 30 0 0 0 20 0 1 0 968445992 4292608 740 33554432000 4194304 6245536 140736382141648 18446744073709551615 4628264 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 1048 740 229 501 0 544 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 4192
[startup+0.70081 s]
/proc/loadavg: 1.24 1.70 1.85 3/176 8979
/proc/meminfo: memFree=31547196/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=4464 CPUtime=0.7 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 880 0 0 0 70 0 0 0 21 0 1 0 968445992 4571136 783 33554432000 4194304 6245536 140736382141648 18446744073709551615 4304840 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 1116 783 229 501 0 612 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 4464
[startup+1.50066 s]
/proc/loadavg: 1.24 1.70 1.85 4/178 8981
/proc/meminfo: memFree=31542392/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=4728 CPUtime=1.49 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 962 0 0 0 149 0 0 0 23 0 1 0 968445992 4841472 865 33554432000 4194304 6245536 140736382141648 18446744073709551615 4629462 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 1182 865 232 501 0 678 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4728
[startup+3.10035 s]
/proc/loadavg: 1.24 1.70 1.85 3/178 8981
/proc/meminfo: memFree=31540652/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=5420 CPUtime=3.09 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 1115 0 0 0 309 0 0 0 25 0 1 0 968445992 5550080 1018 33554432000 4194304 6245536 140736382141648 18446744073709551615 4701920 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 1355 1018 232 501 0 851 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5420
[startup+6.30075 s]
/proc/loadavg: 1.30 1.71 1.85 3/178 8981
/proc/meminfo: memFree=31538688/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=6092 CPUtime=6.3 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 1305 0 0 0 630 0 0 0 25 0 1 0 968445992 6238208 1208 33554432000 4194304 6245536 140736382141648 18446744073709551615 4701929 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 1523 1208 232 501 0 1019 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 6092
[startup+12.7005 s]
/proc/loadavg: 1.35 1.71 1.85 3/178 8981
/proc/meminfo: memFree=31537452/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=6940 CPUtime=12.69 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 1496 0 0 0 1269 0 0 0 25 0 1 0 968445992 7106560 1399 33554432000 4194304 6245536 140736382141648 18446744073709551615 4628286 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 1735 1399 232 501 0 1231 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6940
[startup+25.5011 s]
/proc/loadavg: 1.50 1.73 1.85 3/178 8981
/proc/meminfo: memFree=31535704/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=7656 CPUtime=25.5 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 1685 0 0 0 2550 0 0 0 25 0 1 0 968445992 7839744 1588 33554432000 4194304 6245536 140736382141648 18446744073709551615 4696350 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 1914 1588 232 501 0 1410 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 7656
[startup+51.1003 s]
/proc/loadavg: 1.67 1.75 1.85 3/178 8982
/proc/meminfo: memFree=31533820/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=8760 CPUtime=51.09 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 1938 0 0 0 5109 0 0 0 25 0 1 0 968445992 8970240 1841 33554432000 4194304 6245536 140736382141648 18446744073709551615 4696350 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 2190 1841 232 501 0 1686 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 8760
[startup+102.307 s]
/proc/loadavg: 1.85 1.78 1.86 3/178 8983
/proc/meminfo: memFree=31531188/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=9960 CPUtime=102.3 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 2215 0 0 0 10230 0 0 0 25 0 1 0 968445992 10199040 2118 33554432000 4194304 6245536 140736382141648 18446744073709551615 4701658 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 2490 2118 232 501 0 1986 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 9960
[startup+162.3 s]
/proc/loadavg: 1.94 1.82 1.86 3/178 8985
/proc/meminfo: memFree=31528796/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=11240 CPUtime=162.3 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 2516 0 0 0 16230 0 0 0 25 0 1 0 968445992 11509760 2419 33554432000 4194304 6245536 140736382141648 18446744073709551615 4304771 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 2810 2419 232 501 0 2306 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 11240
[startup+222.301 s]
/proc/loadavg: 1.98 1.85 1.87 3/178 8987
/proc/meminfo: memFree=31527520/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=11800 CPUtime=222.3 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 2646 0 0 0 22230 0 0 0 25 0 1 0 968445992 12083200 2549 33554432000 4194304 6245536 140736382141648 18446744073709551615 4629125 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 2950 2549 232 501 0 2446 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 11800
[startup+282.301 s]
/proc/loadavg: 1.99 1.87 1.87 3/178 8988
/proc/meminfo: memFree=31525508/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=12340 CPUtime=282.3 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 2807 0 0 0 28230 0 0 0 25 0 1 0 968445992 12636160 2710 33554432000 4194304 6245536 140736382141648 18446744073709551615 4701940 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 3085 2710 232 501 0 2581 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 12340
[startup+342.301 s]
/proc/loadavg: 1.99 1.89 1.88 3/178 8990
/proc/meminfo: memFree=31523852/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=12928 CPUtime=342.3 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 2947 0 0 0 34230 0 0 0 25 0 1 0 968445992 13238272 2850 33554432000 4194304 6245536 140736382141648 18446744073709551615 4613437 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 3232 2850 232 501 0 2728 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 12928
[startup+402.301 s]
/proc/loadavg: 1.99 1.91 1.88 3/178 8991
/proc/meminfo: memFree=31523072/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=13360 CPUtime=402.31 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 3033 0 0 0 40231 0 0 0 25 0 1 0 968445992 13680640 2936 33554432000 4194304 6245536 140736382141648 18446744073709551615 4701934 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 3340 2936 232 501 0 2836 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 13360
[startup+462.3 s]
/proc/loadavg: 1.99 1.92 1.89 3/178 8993
/proc/meminfo: memFree=31522048/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=14108 CPUtime=462.31 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 3196 0 0 0 46231 0 0 0 25 0 1 0 968445992 14446592 3099 33554432000 4194304 6245536 140736382141648 18446744073709551615 4635675 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 3527 3099 232 501 0 3023 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 14108
[startup+522.301 s]
/proc/loadavg: 1.99 1.94 1.90 3/178 8995
/proc/meminfo: memFree=31521512/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=14464 CPUtime=522.31 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 3280 0 0 0 52231 0 0 0 25 0 1 0 968445992 14811136 3183 33554432000 4194304 6245536 140736382141648 18446744073709551615 4700402 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 3616 3183 232 501 0 3112 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 14464
[startup+582.301 s]
/proc/loadavg: 1.99 1.94 1.90 3/178 8996
/proc/meminfo: memFree=31520356/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=14632 CPUtime=582.31 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 3352 0 0 0 58231 0 0 0 25 0 1 0 968445992 14983168 3255 33554432000 4194304 6245536 140736382141648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 3658 3255 232 501 0 3154 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 14632
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 1.99 1.92 3/178 9012
/proc/meminfo: memFree=31515212/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=17616 CPUtime=822.32 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4032 0 0 0 82232 0 0 0 25 0 1 0 968445992 18038784 3935 33554432000 4194304 6245536 140736382141648 18446744073709551615 4701536 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 4404 3935 232 501 0 3900 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 17616
[startup+882.301 s]
/proc/loadavg: 2.00 1.99 1.92 4/178 9013
/proc/meminfo: memFree=31514428/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=18076 CPUtime=882.32 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4170 0 0 0 88232 0 0 0 25 0 1 0 968445992 18509824 4073 33554432000 4194304 6245536 140736382141648 18446744073709551615 4304740 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 4519 4073 232 501 0 4015 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 18076
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 9015
/proc/meminfo: memFree=31514268/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=18384 CPUtime=942.32 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4245 0 0 0 94232 0 0 0 25 0 1 0 968445992 18825216 4148 33554432000 4194304 6245536 140736382141648 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 4596 4148 232 501 0 4092 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 18384
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 9016
/proc/meminfo: memFree=31513616/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=19048 CPUtime=1002.32 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4397 0 0 0 100232 0 0 0 25 0 1 0 968445992 19505152 4300 33554432000 4194304 6245536 140736382141648 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 4762 4300 232 501 0 4258 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 19048
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.92 4/178 9018
/proc/meminfo: memFree=31512972/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=19400 CPUtime=1062.33 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4465 0 0 0 106233 0 0 0 25 0 1 0 968445992 19865600 4368 33554432000 4194304 6245536 140736382141648 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 4850 4368 232 501 0 4346 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 19400
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 9020
/proc/meminfo: memFree=31511208/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=20620 CPUtime=1122.34 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4768 0 0 0 112233 1 0 0 25 0 1 0 968445992 21114880 4671 33554432000 4194304 6245536 140736382141648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 5155 4671 232 501 0 4651 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 20620
[startup+1182.3 s]
/proc/loadavg: 2.07 2.00 1.93 3/178 9021
/proc/meminfo: memFree=31510812/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=20620 CPUtime=1182.34 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4768 0 0 0 118233 1 0 0 25 0 1 0 968445992 21114880 4671 33554432000 4194304 6245536 140736382141648 18446744073709551615 4304696 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 5155 4671 232 501 0 4651 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 20620
[startup+1242.3 s]
/proc/loadavg: 2.02 2.00 1.93 4/178 9023
/proc/meminfo: memFree=31510260/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=20620 CPUtime=1242.34 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4768 0 0 0 124233 1 0 0 25 0 1 0 968445992 21114880 4671 33554432000 4194304 6245536 140736382141648 18446744073709551615 4696335 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 5155 4671 232 501 0 4651 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 20620
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 9024
/proc/meminfo: memFree=31509960/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=20620 CPUtime=1302.35 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4769 0 0 0 130234 1 0 0 25 0 1 0 968445992 21114880 4672 33554432000 4194304 6245536 140736382141648 18446744073709551615 4637477 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 5155 4672 232 501 0 4651 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 20620
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9026
/proc/meminfo: memFree=31509920/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=20620 CPUtime=1362.34 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4769 0 0 0 136233 1 0 0 25 0 1 0 968445992 21114880 4672 33554432000 4194304 6245536 140736382141648 18446744073709551615 4629462 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 5155 4672 232 501 0 4651 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 20620
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 9028
/proc/meminfo: memFree=31509872/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=20620 CPUtime=1422.35 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4769 0 0 0 142234 1 0 0 25 0 1 0 968445992 21114880 4672 33554432000 4194304 6245536 140736382141648 18446744073709551615 4701979 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 5155 4672 232 501 0 4651 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 20620
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9029
/proc/meminfo: memFree=31509708/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=20620 CPUtime=1482.35 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4769 0 0 0 148234 1 0 0 25 0 1 0 968445992 21114880 4672 33554432000 4194304 6245536 140736382141648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 5155 4672 232 501 0 4651 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 20620
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9031
/proc/meminfo: memFree=31509764/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=20620 CPUtime=1542.35 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4771 0 0 0 154234 1 0 0 25 0 1 0 968445992 21114880 4674 33554432000 4194304 6245536 140736382141648 18446744073709551615 4628952 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 5155 4674 232 501 0 4651 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 20620
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9032
/proc/meminfo: memFree=31509960/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=20620 CPUtime=1602.35 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4774 0 0 0 160234 1 0 0 25 0 1 0 968445992 21114880 4677 33554432000 4194304 6245536 140736382141648 18446744073709551615 4694560 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 5155 4677 232 501 0 4651 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 20620
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9034
/proc/meminfo: memFree=31509800/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=20620 CPUtime=1662.36 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4774 0 0 0 166235 1 0 0 25 0 1 0 968445992 21114880 4677 33554432000 4194304 6245536 140736382141648 18446744073709551615 4702880 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 5155 4677 232 501 0 4651 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 20620
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9036
/proc/meminfo: memFree=31510136/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=20620 CPUtime=1722.36 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4774 0 0 0 172235 1 0 0 25 0 1 0 968445992 21114880 4677 33554432000 4194304 6245536 140736382141648 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 5155 4677 232 501 0 4651 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 20620
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 9037
/proc/meminfo: memFree=31509596/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=20928 CPUtime=1782.36 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4813 0 0 0 178235 1 0 0 25 0 1 0 968445992 21430272 4716 33554432000 4194304 6245536 140736382141648 18446744073709551615 4701823 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 5232 4716 232 501 0 4728 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 20928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 1.93 4/178 9038
/proc/meminfo: memFree=31509452/32950928 swapFree=67056212/67111528
[pid=8979] ppid=8975 vsize=20928 CPUtime=1800.07 cores=1,3,5,7
/proc/8979/stat : 8979 (clasp) R 8975 8979 2370 0 -1 4202496 4813 0 0 0 180006 1 0 0 25 0 1 0 968445992 21430272 4716 33554432000 4194304 6245536 140736382141648 18446744073709551615 4701908 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8979/statm: 5232 4716 232 501 0 4728 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 20928
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.08
CPU user time (s): 1800.06
CPU system time (s): 0.012998
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 20928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4825
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= 6
involuntary context switches= 22285
runsolver used 2.6006 second user time and 6.29704 second system time
The end