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-3491832-1307769570/watcher-3491832-1307769570 -o /tmp/evaluation-result-3491832-1307769570/solver-3491832-1307769570 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491832-1307769570.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: 3.07 3.00 2.92 4/178 21004
/proc/meminfo: memFree=31677292/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=4356 CPUtime=0 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 808 0 0 0 0 0 0 0 25 0 1 0 888555841 4460544 709 33554432000 4194304 6245536 140736548683264 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21004/statm: 1125 717 183 501 0 621 0
[startup+0.0086341 s]
/proc/loadavg: 3.07 3.00 2.92 4/178 21004
/proc/meminfo: memFree=31677292/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=5596 CPUtime=0 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 1207 0 0 0 0 0 0 0 25 0 1 0 888555841 5730304 1006 33554432000 4194304 6245536 140736548683264 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21004/statm: 1399 1007 197 501 0 895 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5596
[startup+0.100618 s]
/proc/loadavg: 3.07 3.00 2.92 4/178 21004
/proc/meminfo: memFree=31677292/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=6832 CPUtime=0.09 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 1673 0 0 0 9 0 0 0 25 0 1 0 888555841 6995968 1367 33554432000 4194304 6245536 140736548683264 18446744073709551615 4304775 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21004/statm: 1708 1367 228 501 0 1204 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6832
[startup+0.300582 s]
/proc/loadavg: 3.07 3.00 2.92 4/178 21004
/proc/meminfo: memFree=31677292/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=7888 CPUtime=0.29 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 1938 0 0 0 29 0 0 0 25 0 1 0 888555841 8077312 1632 33554432000 4194304 6245536 140736548683264 18446744073709551615 4304785 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21004/statm: 1972 1632 229 501 0 1468 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7888
[startup+0.700509 s]
/proc/loadavg: 3.07 3.00 2.92 4/178 21004
/proc/meminfo: memFree=31677292/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=8684 CPUtime=0.69 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 2152 0 0 0 69 0 0 0 25 0 1 0 888555841 8892416 1846 33554432000 4194304 6245536 140736548683264 18446744073709551615 4408684 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21004/statm: 2171 1846 229 501 0 1667 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8684
[startup+1.50037 s]
/proc/loadavg: 3.07 3.00 2.92 4/179 21005
/proc/meminfo: memFree=31670732/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=10048 CPUtime=1.49 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 2477 0 0 0 149 0 0 0 25 0 1 0 888555841 10289152 2171 33554432000 4194304 6245536 140736548683264 18446744073709551615 4304779 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21004/statm: 2512 2171 229 501 0 2008 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10048
[startup+3.10014 s]
/proc/loadavg: 3.07 3.00 2.92 4/179 21005
/proc/meminfo: memFree=31669244/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=11656 CPUtime=3.09 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 2884 0 0 0 309 0 0 0 25 0 1 0 888555841 11935744 2578 33554432000 4194304 6245536 140736548683264 18446744073709551615 4344924 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21004/statm: 2914 2578 229 501 0 2410 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11656
[startup+6.30051 s]
/proc/loadavg: 3.07 3.00 2.92 4/179 21005
/proc/meminfo: memFree=31667136/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=14164 CPUtime=6.29 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 3518 0 0 0 629 0 0 0 25 0 1 0 888555841 14503936 3212 33554432000 4194304 6245536 140736548683264 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21004/statm: 3541 3212 229 501 0 3037 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14164
[startup+12.7004 s]
/proc/loadavg: 3.06 3.00 2.92 4/179 21005
/proc/meminfo: memFree=31664028/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=15140 CPUtime=12.69 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 3741 0 0 0 1269 0 0 0 25 0 1 0 888555841 15503360 3435 33554432000 4194304 6245536 140736548683264 18446744073709551615 5418759 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21004/statm: 3785 3435 229 501 0 3281 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15140
[startup+25.5001 s]
/proc/loadavg: 3.05 3.00 2.92 4/179 21005
/proc/meminfo: memFree=31660564/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=18364 CPUtime=25.49 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 4559 0 0 0 2549 0 0 0 25 0 1 0 888555841 18804736 4253 33554432000 4194304 6245536 140736548683264 18446744073709551615 4304926 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21004/statm: 4591 4253 229 501 0 4087 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18364
[startup+51.1006 s]
/proc/loadavg: 3.03 3.00 2.92 4/179 21006
/proc/meminfo: memFree=31654540/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=24264 CPUtime=51.09 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 5976 0 0 0 5109 0 0 0 25 0 1 0 888555841 24846336 5670 33554432000 4194304 6245536 140736548683264 18446744073709551615 4608172 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21004/statm: 6066 5670 229 501 0 5562 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24264
[startup+102.306 s]
/proc/loadavg: 3.01 3.00 2.92 4/179 21007
/proc/meminfo: memFree=31650276/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=27500 CPUtime=102.3 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 6758 0 0 0 10230 0 0 0 25 0 1 0 888555841 28160000 6452 33554432000 4194304 6245536 140736548683264 18446744073709551615 4408736 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/21004/statm: 6875 6452 229 501 0 6371 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27500
[startup+162.301 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21086
/proc/meminfo: memFree=31706172/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=32376 CPUtime=162.29 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 8283 0 0 0 16229 0 0 0 25 0 1 0 888555841 33153024 7683 33554432000 4194304 6245536 140736548683264 18446744073709551615 4408754 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 8094 7683 229 501 0 7590 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 32376
[startup+222.301 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21088
/proc/meminfo: memFree=31681516/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=35492 CPUtime=222.3 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 9000 0 0 0 22229 1 0 0 25 0 1 0 888555841 36343808 8400 33554432000 4194304 6245536 140736548683264 18446744073709551615 4635718 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 8873 8400 229 501 0 8369 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 35492
[startup+282.3 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21089
/proc/meminfo: memFree=31666460/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=40756 CPUtime=282.3 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 10302 0 0 0 28229 1 0 0 25 0 1 0 888555841 41734144 9702 33554432000 4194304 6245536 140736548683264 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 10189 9702 229 501 0 9685 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 40756
[startup+342.301 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21091
/proc/meminfo: memFree=31654116/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=41820 CPUtime=342.3 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 10766 0 0 0 34229 1 0 0 25 0 1 0 888555841 42823680 9984 33554432000 4194304 6245536 140736548683264 18446744073709551615 4646378 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 10455 9984 229 501 0 9951 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 41820
[startup+402.301 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21092
/proc/meminfo: memFree=31648840/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=43348 CPUtime=402.3 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 11113 0 0 0 40229 1 0 0 25 0 1 0 888555841 44388352 10331 33554432000 4194304 6245536 140736548683264 18446744073709551615 4408704 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 10837 10331 229 501 0 10333 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 43348
[startup+462.3 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21094
/proc/meminfo: memFree=31637744/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=45896 CPUtime=462.3 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 11711 0 0 0 46229 1 0 0 25 0 1 0 888555841 46997504 10929 33554432000 4194304 6245536 140736548683264 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 11474 10929 229 501 0 10970 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 45896
[startup+522.301 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21095
/proc/meminfo: memFree=31633700/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=46372 CPUtime=522.31 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 11817 0 0 0 52230 1 0 0 25 0 1 0 888555841 47484928 11035 33554432000 4194304 6245536 140736548683264 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 11593 11035 229 501 0 11089 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 46372
[startup+582.301 s]
/proc/loadavg: 3.00 3.00 2.92 4/179 21097
/proc/meminfo: memFree=31630796/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=47004 CPUtime=582.31 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 11937 0 0 0 58230 1 0 0 25 0 1 0 888555841 48132096 11155 33554432000 4194304 6245536 140736548683264 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 11751 11155 229 501 0 11247 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 47004
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 3.01 3.01 2.93 4/179 21103
/proc/meminfo: memFree=31607492/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=53876 CPUtime=822.31 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 14042 0 0 0 82230 1 0 0 25 0 1 0 888555841 55169024 12864 33554432000 4194304 6245536 140736548683264 18446744073709551615 4397856 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 13469 12864 229 501 0 12965 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 53876
[startup+882.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21105
/proc/meminfo: memFree=31601120/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=53944 CPUtime=882.31 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 14213 0 0 0 88230 1 0 0 25 0 1 0 888555841 55238656 12888 33554432000 4194304 6245536 140736548683264 18446744073709551615 4629009 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 13486 12888 229 501 0 12982 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 53944
[startup+942.301 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21107
/proc/meminfo: memFree=31595836/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=55232 CPUtime=942.31 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 15025 0 0 0 94230 1 0 0 25 0 1 0 888555841 56557568 13210 33554432000 4194304 6245536 140736548683264 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 13808 13210 229 501 0 13304 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 55232
[startup+1002.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21108
/proc/meminfo: memFree=31591924/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=56152 CPUtime=1002.31 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 15234 0 0 0 100230 1 0 0 25 0 1 0 888555841 57499648 13419 33554432000 4194304 6245536 140736548683264 18446744073709551615 4629026 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 14038 13419 229 501 0 13534 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 56152
[startup+1062.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21110
/proc/meminfo: memFree=31589508/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=57016 CPUtime=1062.32 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 15410 0 0 0 106231 1 0 0 25 0 1 0 888555841 58384384 13595 33554432000 4194304 6245536 140736548683264 18446744073709551615 4635025 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 14254 13595 229 501 0 13750 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 57016
[startup+1122.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21111
/proc/meminfo: memFree=31587576/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=57924 CPUtime=1122.32 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 15608 0 0 0 112231 1 0 0 25 0 1 0 888555841 59314176 13793 33554432000 4194304 6245536 140736548683264 18446744073709551615 5419316 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 14481 13793 229 501 0 13977 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 57924
[startup+1182.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21113
/proc/meminfo: memFree=31585908/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=58176 CPUtime=1182.32 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 15693 0 0 0 118231 1 0 0 25 0 1 0 888555841 59572224 13878 33554432000 4194304 6245536 140736548683264 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 14544 13878 229 501 0 14040 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 58176
[startup+1242.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21115
/proc/meminfo: memFree=31584348/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=58768 CPUtime=1242.32 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 15814 0 0 0 124231 1 0 0 25 0 1 0 888555841 60178432 13999 33554432000 4194304 6245536 140736548683264 18446744073709551615 4397834 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 14692 13999 229 501 0 14188 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 58768
[startup+1302.3 s]
/proc/loadavg: 3.05 3.01 2.93 4/179 21116
/proc/meminfo: memFree=31577212/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=59020 CPUtime=1302.33 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 15855 0 0 0 130232 1 0 0 25 0 1 0 888555841 60436480 14040 33554432000 4194304 6245536 140736548683264 18446744073709551615 4640101 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 14755 14040 229 501 0 14251 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 59020
[startup+1362.3 s]
/proc/loadavg: 3.02 3.01 2.93 4/179 21118
/proc/meminfo: memFree=31573308/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=59020 CPUtime=1362.32 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 15855 0 0 0 136231 1 0 0 25 0 1 0 888555841 60436480 14040 33554432000 4194304 6245536 140736548683264 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 14755 14040 229 501 0 14251 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 59020
[startup+1422.31 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21120
/proc/meminfo: memFree=31570148/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=59228 CPUtime=1422.33 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 15895 0 0 0 142232 1 0 0 25 0 1 0 888555841 60649472 14080 33554432000 4194304 6245536 140736548683264 18446744073709551615 4635955 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 14807 14080 229 501 0 14303 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 59228
[startup+1482.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21121
/proc/meminfo: memFree=31566352/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=59608 CPUtime=1482.33 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 16009 0 0 0 148232 1 0 0 25 0 1 0 888555841 61038592 14194 33554432000 4194304 6245536 140736548683264 18446744073709551615 4608178 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 14902 14194 229 501 0 14398 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 59608
[startup+1542.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21123
/proc/meminfo: memFree=31560720/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=64620 CPUtime=1542.33 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 17196 0 0 0 154232 1 0 0 25 0 1 0 888555841 66170880 15381 33554432000 4194304 6245536 140736548683264 18446744073709551615 4316553 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 16155 15381 229 501 0 15651 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 64620
[startup+1602.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21124
/proc/meminfo: memFree=31558668/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=64884 CPUtime=1602.33 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 17283 0 0 0 160232 1 0 0 25 0 1 0 888555841 66441216 15468 33554432000 4194304 6245536 140736548683264 18446744073709551615 4408754 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 16221 15468 229 501 0 15717 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 64884
[startup+1662.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21126
/proc/meminfo: memFree=31557132/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=65128 CPUtime=1662.33 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 17344 0 0 0 166232 1 0 0 25 0 1 0 888555841 66691072 15529 33554432000 4194304 6245536 140736548683264 18446744073709551615 4633919 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 16282 15529 229 501 0 15778 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 65128
[startup+1722.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21127
/proc/meminfo: memFree=31554460/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=66580 CPUtime=1722.34 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 17717 0 0 0 172232 2 0 0 25 0 1 0 888555841 68177920 15902 33554432000 4194304 6245536 140736548683264 18446744073709551615 4304768 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 16645 15902 229 501 0 16141 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 66580
[startup+1782.3 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21129
/proc/meminfo: memFree=31552172/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=65720 CPUtime=1782.34 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 17965 0 0 0 178232 2 0 0 25 0 1 0 888555841 67297280 15727 33554432000 4194304 6245536 140736548683264 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 16430 15727 229 501 0 15926 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 65720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 3.00 3.00 2.93 4/179 21130
/proc/meminfo: memFree=31551532/32950928 swapFree=67048868/67111528
[pid=21004] ppid=21002 vsize=65720 CPUtime=1800.05 cores=1,3,5,7
/proc/21004/stat : 21004 (clasp) R 21002 21004 17848 0 -1 4202496 17967 0 0 0 180003 2 0 0 25 0 1 0 888555841 67297280 15729 33554432000 4194304 6245536 140736548683264 18446744073709551615 4315289 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/21004/statm: 16430 15729 229 501 0 15926 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 65720
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.03
CPU system time (s): 0.023996
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 66580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17977
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= 5
involuntary context switches= 2950
runsolver used 2.31665 second user time and 5.87711 second system time
The end