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-3491929-1307777784/watcher-3491929-1307777784 -o /tmp/evaluation-result-3491929-1307777784/solver-3491929-1307777784 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491929-1307777784.opb --solu --heu=VSIDS
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 29593
/proc/meminfo: memFree=31760348/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=3276 CPUtime=0 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 630 0 0 0 0 0 0 0 25 0 1 0 889375489 3354624 485 33554432000 4194304 6245536 140734149124032 18446744073709551615 4612224 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 819 485 204 501 0 315 0
[startup+0.08234 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 29593
/proc/meminfo: memFree=31760348/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=6576 CPUtime=0.08 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 1461 0 0 0 8 0 0 0 25 0 1 0 889375489 6733824 1316 33554432000 4194304 6245536 140734149124032 18446744073709551615 4325158 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 1644 1316 228 501 0 1140 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6576
[startup+0.100329 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 29593
/proc/meminfo: memFree=31760348/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=6840 CPUtime=0.09 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 1529 0 0 0 9 0 0 0 25 0 1 0 889375489 7004160 1384 33554432000 4194304 6245536 140734149124032 18446744073709551615 4629234 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 1710 1384 228 501 0 1206 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6840
[startup+0.300291 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 29593
/proc/meminfo: memFree=31760348/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=8164 CPUtime=0.29 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 1858 0 0 0 29 0 0 0 25 0 1 0 889375489 8359936 1713 33554432000 4194304 6245536 140734149124032 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 2041 1713 228 501 0 1537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8164
[startup+0.70022 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 29593
/proc/meminfo: memFree=31760348/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=9524 CPUtime=0.69 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 2187 0 0 0 69 0 0 0 25 0 1 0 889375489 9752576 2042 33554432000 4194304 6245536 140734149124032 18446744073709551615 4324709 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 2381 2042 229 501 0 1877 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9524
[startup+1.50107 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 29594
/proc/meminfo: memFree=31751076/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=10844 CPUtime=1.49 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 2514 0 0 0 149 0 0 0 25 0 1 0 889375489 11104256 2369 33554432000 4194304 6245536 140734149124032 18446744073709551615 4633950 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 2711 2369 229 501 0 2207 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10844
[startup+3.10076 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 29594
/proc/meminfo: memFree=31748844/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=12296 CPUtime=3.09 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 2879 0 0 0 309 0 0 0 25 0 1 0 889375489 12591104 2734 33554432000 4194304 6245536 140734149124032 18446744073709551615 4628072 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 3074 2734 229 501 0 2570 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12296
[startup+6.30115 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 29594
/proc/meminfo: memFree=31741720/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=15124 CPUtime=6.29 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 3593 0 0 0 629 0 0 0 25 0 1 0 889375489 15486976 3448 33554432000 4194304 6245536 140734149124032 18446744073709551615 4397834 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 3781 3448 229 501 0 3277 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15124
[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 29594
/proc/meminfo: memFree=31734920/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=17852 CPUtime=12.69 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 4301 0 0 0 1269 0 0 0 25 0 1 0 889375489 18280448 4129 33554432000 4194304 6245536 140734149124032 18446744073709551615 4635135 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 4463 4129 229 501 0 3959 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17852
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 29595
/proc/meminfo: memFree=31725484/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=21240 CPUtime=25.49 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 5145 0 0 0 2549 0 0 0 25 0 1 0 889375489 21749760 4946 33554432000 4194304 6245536 140734149124032 18446744073709551615 4323544 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 5310 4946 229 501 0 4806 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21240
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 29596
/proc/meminfo: memFree=31712684/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=26024 CPUtime=51.09 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 6337 0 0 0 5109 0 0 0 25 0 1 0 889375489 26648576 6138 33554432000 4194304 6245536 140734149124032 18446744073709551615 4325148 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 6506 6138 229 501 0 6002 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26024
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 29597
/proc/meminfo: memFree=31699764/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=31000 CPUtime=102.3 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 7746 0 0 0 10229 1 0 0 25 0 1 0 889375489 31744000 7410 33554432000 4194304 6245536 140734149124032 18446744073709551615 4315360 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 7750 7410 229 501 0 7246 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 31000
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/178 29598
/proc/meminfo: memFree=31689552/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=34488 CPUtime=162.3 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 8745 0 0 0 16229 1 0 0 25 0 1 0 889375489 35315712 8274 33554432000 4194304 6245536 140734149124032 18446744073709551615 4608168 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 8622 8274 229 501 0 8118 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 34488
[startup+222.301 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 29600
/proc/meminfo: memFree=31682440/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=35668 CPUtime=222.3 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 9169 0 0 0 22229 1 0 0 25 0 1 0 889375489 36524032 8545 33554432000 4194304 6245536 140734149124032 18446744073709551615 4317344 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 8917 8545 229 501 0 8413 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 35668
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/178 29602
/proc/meminfo: memFree=31677200/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=39784 CPUtime=282.3 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 10326 0 0 0 28229 1 0 0 25 0 1 0 889375489 40738816 9579 33554432000 4194304 6245536 140734149124032 18446744073709551615 4637521 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 9946 9579 229 501 0 9442 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 39784
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29603
/proc/meminfo: memFree=31668968/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=40608 CPUtime=342.3 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 10864 0 0 0 34229 1 0 0 25 0 1 0 889375489 41582592 9799 33554432000 4194304 6245536 140734149124032 18446744073709551615 4344694 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 10152 9799 229 501 0 9648 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 40608
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29605
/proc/meminfo: memFree=31663236/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=45708 CPUtime=402.3 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 12405 0 0 0 40229 1 0 0 25 0 1 0 889375489 46804992 11061 33554432000 4194304 6245536 140734149124032 18446744073709551615 4634497 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 11427 11061 229 501 0 10923 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 45708
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29606
/proc/meminfo: memFree=31661584/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=46124 CPUtime=462.31 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 12819 0 0 0 46229 2 0 0 25 0 1 0 889375489 47230976 11160 33554432000 4194304 6245536 140734149124032 18446744073709551615 4610909 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 11531 11160 229 501 0 11027 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 46124
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29608
/proc/meminfo: memFree=31654864/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=46520 CPUtime=522.31 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 12935 0 0 0 52229 2 0 0 25 0 1 0 889375489 47636480 11255 33554432000 4194304 6245536 140734149124032 18446744073709551615 4628576 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 11630 11255 229 501 0 11126 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 46520
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29610
/proc/meminfo: memFree=31652848/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=48320 CPUtime=582.32 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 13478 0 0 0 58230 2 0 0 25 0 1 0 889375489 49479680 11708 33554432000 4194304 6245536 140734149124032 18446744073709551615 4324746 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 12080 11708 229 501 0 11576 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 48320
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29616
/proc/meminfo: memFree=31641200/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=51224 CPUtime=822.32 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 14407 0 0 0 82230 2 0 0 25 0 1 0 889375489 52453376 12317 33554432000 4194304 6245536 140734149124032 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 12806 12317 229 501 0 12302 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 51224
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29618
/proc/meminfo: memFree=31639440/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=52192 CPUtime=882.32 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 14699 0 0 0 88230 2 0 0 25 0 1 0 889375489 53444608 12545 33554432000 4194304 6245536 140734149124032 18446744073709551615 4317344 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 13048 12545 229 501 0 12544 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 52192
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29619
/proc/meminfo: memFree=31638536/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=52496 CPUtime=942.33 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 15062 0 0 0 94231 2 0 0 25 0 1 0 889375489 53755904 12619 33554432000 4194304 6245536 140734149124032 18446744073709551615 4323540 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 13124 12619 229 501 0 12620 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 52496
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29621
/proc/meminfo: memFree=31637520/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=52932 CPUtime=1002.33 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 15213 0 0 0 100231 2 0 0 25 0 1 0 889375489 54202368 12734 33554432000 4194304 6245536 140734149124032 18446744073709551615 4317344 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 13233 12734 229 501 0 12729 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 52932
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29622
/proc/meminfo: memFree=31637480/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=53152 CPUtime=1062.33 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 15350 0 0 0 106231 2 0 0 25 0 1 0 889375489 54427648 12793 33554432000 4194304 6245536 140734149124032 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 13288 12793 229 501 0 12784 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 53152
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29624
/proc/meminfo: memFree=31630516/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=53236 CPUtime=1122.33 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 15379 0 0 0 112231 2 0 0 25 0 1 0 889375489 54513664 12809 33554432000 4194304 6245536 140734149124032 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 13309 12809 229 501 0 12805 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 53236
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29626
/proc/meminfo: memFree=31628632/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=53524 CPUtime=1182.33 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 15448 0 0 0 118231 2 0 0 25 0 1 0 889375489 54808576 12878 33554432000 4194304 6245536 140734149124032 18446744073709551615 4608182 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 13381 12878 229 501 0 12877 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 53524
[startup+1242.3 s]
/proc/loadavg: 2.14 2.03 1.99 3/178 29627
/proc/meminfo: memFree=31625616/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=54292 CPUtime=1242.34 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 15777 0 0 0 124232 2 0 0 25 0 1 0 889375489 55595008 13061 33554432000 4194304 6245536 140734149124032 18446744073709551615 4315376 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 13573 13061 229 501 0 13069 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 54292
[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 1.99 3/178 29629
/proc/meminfo: memFree=31623984/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=54816 CPUtime=1302.34 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 15992 0 0 0 130232 2 0 0 25 0 1 0 889375489 56131584 13191 33554432000 4194304 6245536 140734149124032 18446744073709551615 4324221 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 13704 13191 229 501 0 13200 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 54816
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/178 29630
/proc/meminfo: memFree=31623436/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=55068 CPUtime=1362.34 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 16253 0 0 0 136232 2 0 0 25 0 1 0 889375489 56389632 13236 33554432000 4194304 6245536 140734149124032 18446744073709551615 4633939 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 13767 13236 229 501 0 13263 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 55068
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.99 3/178 29632
/proc/meminfo: memFree=31622788/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=55204 CPUtime=1422.35 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 16291 0 0 0 142233 2 0 0 25 0 1 0 889375489 56528896 13274 33554432000 4194304 6245536 140734149124032 18446744073709551615 4635082 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 13801 13274 229 501 0 13297 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 55204
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/178 29643
/proc/meminfo: memFree=31621512/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=55468 CPUtime=1482.34 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 16344 0 0 0 148232 2 0 0 25 0 1 0 889375489 56799232 13327 33554432000 4194304 6245536 140734149124032 18446744073709551615 4325123 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 13867 13327 229 501 0 13363 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 55468
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 29644
/proc/meminfo: memFree=31621992/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=55468 CPUtime=1542.35 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 16362 0 0 0 154233 2 0 0 25 0 1 0 889375489 56799232 13345 33554432000 4194304 6245536 140734149124032 18446744073709551615 4408684 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 13867 13345 229 501 0 13363 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 55468
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 29646
/proc/meminfo: memFree=31620588/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=56068 CPUtime=1602.35 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 16475 0 0 0 160233 2 0 0 25 0 1 0 889375489 57413632 13458 33554432000 4194304 6245536 140734149124032 18446744073709551615 4397807 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 14017 13458 229 501 0 13513 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 56068
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 29647
/proc/meminfo: memFree=31619820/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=56404 CPUtime=1662.35 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 16522 0 0 0 166233 2 0 0 25 0 1 0 889375489 57757696 13505 33554432000 4194304 6245536 140734149124032 18446744073709551615 4325084 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 14101 13505 229 501 0 13597 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 56404
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 29652
/proc/meminfo: memFree=31613756/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=56572 CPUtime=1722.35 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 16556 0 0 0 172233 2 0 0 25 0 1 0 889375489 57929728 13539 33554432000 4194304 6245536 140734149124032 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 14143 13539 229 501 0 13639 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 56572
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 29654
/proc/meminfo: memFree=31611252/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=56744 CPUtime=1782.36 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 16606 0 0 0 178234 2 0 0 25 0 1 0 889375489 58105856 13589 33554432000 4194304 6245536 140734149124032 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 14186 13589 229 501 0 13682 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 56744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 29693
/proc/meminfo: memFree=31699984/32950928 swapFree=67055428/67111528
[pid=29593] ppid=29591 vsize=56744 CPUtime=1800.07 cores=0,2,4,6
/proc/29593/stat : 29593 (clasp) R 29591 29593 26980 0 -1 4202496 16606 0 0 0 180004 3 0 0 25 0 1 0 889375489 58105856 13589 33554432000 4194304 6245536 140734149124032 18446744073709551615 4635718 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/29593/statm: 14186 13589 229 501 0 13682 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 56744
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.05
CPU system time (s): 0.032994
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 56744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16617
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= 4269
runsolver used 2.73658 second user time and 5.45517 second system time
The end