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-3491888-1307775549/watcher-3491888-1307775549 -o /tmp/evaluation-result-3491888-1307775549/solver-3491888-1307775549 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491888-1307775549.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.09 1.62 1.85 3/177 9849
/proc/meminfo: memFree=31707560/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=6648 CPUtime=0 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 1411 0 0 0 0 0 0 0 25 0 1 0 889154585 6807552 1216 33554432000 4194304 6245536 140733712152848 18446744073709551615 5418137 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 1662 1217 179 501 0 1158 0
[startup+0.0722099 s]
/proc/loadavg: 1.09 1.62 1.85 3/177 9849
/proc/meminfo: memFree=31707560/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=8712 CPUtime=0.06 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 2487 0 0 0 6 0 0 0 25 0 1 0 889154585 8921088 1825 33554432000 4194304 6245536 140733712152848 18446744073709551615 4633892 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 2178 1826 221 501 0 1674 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8712
[startup+0.100204 s]
/proc/loadavg: 1.09 1.62 1.85 3/177 9849
/proc/meminfo: memFree=31707560/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=9900 CPUtime=0.09 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 2811 0 0 0 9 0 0 0 25 0 1 0 889154585 10137600 2149 33554432000 4194304 6245536 140733712152848 18446744073709551615 4633856 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 2475 2150 227 501 0 1971 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9900
[startup+0.30017 s]
/proc/loadavg: 1.09 1.62 1.85 3/177 9849
/proc/meminfo: memFree=31707560/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=18656 CPUtime=0.29 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 4988 0 0 0 29 0 0 0 25 0 1 0 889154585 19103744 4326 33554432000 4194304 6245536 140733712152848 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 4664 4326 227 501 0 4160 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18656
[startup+0.700101 s]
/proc/loadavg: 1.09 1.62 1.85 3/177 9849
/proc/meminfo: memFree=31707560/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=24268 CPUtime=0.69 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 6392 0 0 0 68 1 0 0 25 0 1 0 889154585 24850432 5730 33554432000 4194304 6245536 140733712152848 18446744073709551615 4325148 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 6067 5730 229 501 0 5563 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24268
[startup+1.50103 s]
/proc/loadavg: 1.09 1.62 1.85 3/178 9850
/proc/meminfo: memFree=31667524/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=29208 CPUtime=1.49 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 7614 0 0 0 148 1 0 0 25 0 1 0 889154585 29908992 6952 33554432000 4194304 6245536 140733712152848 18446744073709551615 4323180 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 7302 6952 229 501 0 6798 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29208
[startup+3.10068 s]
/proc/loadavg: 1.09 1.62 1.85 3/178 9850
/proc/meminfo: memFree=31656644/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=32552 CPUtime=3.09 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 8452 0 0 0 308 1 0 0 25 0 1 0 889154585 33333248 7790 33554432000 4194304 6245536 140733712152848 18446744073709551615 4320357 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 8138 7790 229 501 0 7634 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32552
[startup+6.30018 s]
/proc/loadavg: 1.17 1.63 1.86 3/178 9850
/proc/meminfo: memFree=31635320/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=37204 CPUtime=6.29 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 9542 0 0 0 628 1 0 0 25 0 1 0 889154585 38096896 8880 33554432000 4194304 6245536 140733712152848 18446744073709551615 4629009 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 9301 8880 229 501 0 8797 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37204
[startup+12.701 s]
/proc/loadavg: 1.23 1.63 1.86 3/178 9850
/proc/meminfo: memFree=31614752/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=44676 CPUtime=12.69 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 11395 0 0 0 1267 2 0 0 25 0 1 0 889154585 45748224 10733 33554432000 4194304 6245536 140733712152848 18446744073709551615 4344660 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 11169 10733 229 501 0 10665 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44676
[startup+25.5007 s]
/proc/loadavg: 1.40 1.65 1.86 3/178 9851
/proc/meminfo: memFree=31595184/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=54644 CPUtime=25.49 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 13884 0 0 0 2547 2 0 0 25 0 1 0 889154585 55955456 13222 33554432000 4194304 6245536 140733712152848 18446744073709551615 4315391 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 13661 13222 229 501 0 13157 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54644
[startup+51.1002 s]
/proc/loadavg: 1.61 1.68 1.86 3/178 9851
/proc/meminfo: memFree=31568708/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=65608 CPUtime=51.09 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 16626 0 0 0 5107 2 0 0 25 0 1 0 889154585 67182592 15964 33554432000 4194304 6245536 140733712152848 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 16402 15964 229 501 0 15898 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 65608
[startup+102.306 s]
/proc/loadavg: 1.88 1.74 1.87 3/178 9853
/proc/meminfo: memFree=31534204/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=76672 CPUtime=102.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 19402 0 0 0 10227 3 0 0 25 0 1 0 889154585 78512128 18740 33554432000 4194304 6245536 140733712152848 18446744073709551615 4408754 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 19168 18740 229 501 0 18664 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 76672
[startup+162.301 s]
/proc/loadavg: 1.95 1.78 1.88 3/178 9863
/proc/meminfo: memFree=31508584/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=85332 CPUtime=162.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 21591 0 0 0 16226 4 0 0 25 0 1 0 889154585 87379968 20929 33554432000 4194304 6245536 140733712152848 18446744073709551615 4304688 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 21333 20929 229 501 0 20829 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 85332
[startup+222.3 s]
/proc/loadavg: 1.98 1.82 1.88 3/178 9865
/proc/meminfo: memFree=31496016/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=95964 CPUtime=222.29 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 24105 0 0 0 22225 4 0 0 25 0 1 0 889154585 98267136 23443 33554432000 4194304 6245536 140733712152848 18446744073709551615 4635039 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 23991 23443 229 501 0 23487 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 95964
[startup+282.301 s]
/proc/loadavg: 1.99 1.85 1.89 3/178 9867
/proc/meminfo: memFree=31480104/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=96888 CPUtime=282.29 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 24330 0 0 0 28225 4 0 0 25 0 1 0 889154585 99213312 23668 33554432000 4194304 6245536 140733712152848 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 24222 23668 229 501 0 23718 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 96888
[startup+342.301 s]
/proc/loadavg: 1.99 1.87 1.89 3/178 9871
/proc/meminfo: memFree=31468456/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=106848 CPUtime=342.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 26842 0 0 0 34226 4 0 0 25 0 1 0 889154585 109412352 26180 33554432000 4194304 6245536 140733712152848 18446744073709551615 4637467 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 26712 26180 229 501 0 26208 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 106848
[startup+402.3 s]
/proc/loadavg: 1.99 1.89 1.90 3/178 9873
/proc/meminfo: memFree=31454048/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=107264 CPUtime=402.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 26943 0 0 0 40226 4 0 0 25 0 1 0 889154585 109838336 26281 33554432000 4194304 6245536 140733712152848 18446744073709551615 4317344 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 26816 26281 229 501 0 26312 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 107264
[startup+462.301 s]
/proc/loadavg: 1.99 1.91 1.91 3/178 9874
/proc/meminfo: memFree=31441116/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=117192 CPUtime=462.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 29430 0 0 0 46225 5 0 0 25 0 1 0 889154585 120004608 28768 33554432000 4194304 6245536 140733712152848 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 29298 28768 229 501 0 28794 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 117192
[startup+522.3 s]
/proc/loadavg: 2.05 1.94 1.91 3/178 9876
/proc/meminfo: memFree=31436732/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=120060 CPUtime=522.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 30138 0 0 0 52225 5 0 0 25 0 1 0 889154585 122941440 29476 33554432000 4194304 6245536 140733712152848 18446744073709551615 4304878 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/9849/statm: 30015 29476 229 501 0 29511 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 120060
[startup+582.301 s]
/proc/loadavg: 2.02 1.95 1.91 3/178 9878
/proc/meminfo: memFree=31420824/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=121408 CPUtime=582.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 30433 0 0 0 58225 5 0 0 25 0 1 0 889154585 124321792 29771 33554432000 4194304 6245536 140733712152848 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 30352 29771 229 501 0 29848 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 121408
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.97 1.92 3/178 9884
/proc/meminfo: memFree=31399568/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=135404 CPUtime=822.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 33964 0 0 0 82225 5 0 0 25 0 1 0 889154585 138653696 33302 33554432000 4194304 6245536 140733712152848 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 33851 33302 229 501 0 33347 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 135404
[startup+882.301 s]
/proc/loadavg: 2.00 1.97 1.92 3/178 9886
/proc/meminfo: memFree=31381048/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=135800 CPUtime=882.3 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 34078 0 0 0 88225 5 0 0 25 0 1 0 889154585 139059200 33416 33554432000 4194304 6245536 140733712152848 18446744073709551615 4608172 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 33950 33416 229 501 0 33446 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 135800
[startup+942.3 s]
/proc/loadavg: 2.00 1.97 1.92 3/178 9887
/proc/meminfo: memFree=31377528/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=137116 CPUtime=942.31 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 34383 0 0 0 94225 6 0 0 25 0 1 0 889154585 140406784 33721 33554432000 4194304 6245536 140733712152848 18446744073709551615 4304733 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 34279 33721 229 501 0 33775 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 137116
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.92 3/178 9889
/proc/meminfo: memFree=31375756/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=137116 CPUtime=1002.32 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 34403 0 0 0 100226 6 0 0 25 0 1 0 889154585 140406784 33741 33554432000 4194304 6245536 140733712152848 18446744073709551615 4304688 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 34279 33741 229 501 0 33775 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 137116
[startup+1062.3 s]
/proc/loadavg: 2.12 2.00 1.93 3/178 9890
/proc/meminfo: memFree=31374476/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=137380 CPUtime=1062.32 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 34481 0 0 0 106226 6 0 0 25 0 1 0 889154585 140677120 33819 33554432000 4194304 6245536 140733712152848 18446744073709551615 4397820 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 34345 33819 229 501 0 33841 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 137380
[startup+1122.3 s]
/proc/loadavg: 2.04 2.00 1.93 3/178 9892
/proc/meminfo: memFree=31373448/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=137596 CPUtime=1122.32 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 34512 0 0 0 112226 6 0 0 25 0 1 0 889154585 140898304 33850 33554432000 4194304 6245536 140733712152848 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 34399 33850 229 501 0 33895 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 137596
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 9894
/proc/meminfo: memFree=31372788/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=138188 CPUtime=1182.32 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 34610 0 0 0 118226 6 0 0 25 0 1 0 889154585 141504512 33948 33554432000 4194304 6245536 140733712152848 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 34547 33948 229 501 0 34043 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 138188
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9895
/proc/meminfo: memFree=31361196/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=149552 CPUtime=1242.31 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 37390 0 0 0 124225 6 0 0 25 0 1 0 889154585 153141248 36728 33554432000 4194304 6245536 140733712152848 18446744073709551615 4397820 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 37388 36728 229 501 0 36884 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 149552
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9897
/proc/meminfo: memFree=31338340/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=149552 CPUtime=1302.32 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 37399 0 0 0 130226 6 0 0 25 0 1 0 889154585 153141248 36737 33554432000 4194304 6245536 140733712152848 18446744073709551615 4629031 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 37388 36737 229 501 0 36884 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 149552
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9898
/proc/meminfo: memFree=31333832/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=151244 CPUtime=1362.32 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 37802 0 0 0 136225 7 0 0 25 0 1 0 889154585 154873856 37140 33554432000 4194304 6245536 140733712152848 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 37811 37140 229 501 0 37307 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 151244
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9900
/proc/meminfo: memFree=31328952/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=152780 CPUtime=1422.33 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38189 0 0 0 142226 7 0 0 25 0 1 0 889154585 156446720 37527 33554432000 4194304 6245536 140733712152848 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38195 37527 229 501 0 37691 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 152780
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9902
/proc/meminfo: memFree=31328288/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=153228 CPUtime=1482.33 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38287 0 0 0 148226 7 0 0 25 0 1 0 889154585 156905472 37625 33554432000 4194304 6245536 140733712152848 18446744073709551615 4304853 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38307 37625 229 501 0 37803 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 153228
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9903
/proc/meminfo: memFree=31326504/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=154020 CPUtime=1542.33 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38464 0 0 0 154226 7 0 0 25 0 1 0 889154585 157716480 37802 33554432000 4194304 6245536 140733712152848 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38505 37802 229 501 0 38001 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 154020
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9905
/proc/meminfo: memFree=31324980/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=154576 CPUtime=1602.33 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38575 0 0 0 160226 7 0 0 25 0 1 0 889154585 158285824 37913 33554432000 4194304 6245536 140733712152848 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38644 37913 229 501 0 38140 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 154576
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9906
/proc/meminfo: memFree=31324068/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=154576 CPUtime=1662.33 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38576 0 0 0 166226 7 0 0 25 0 1 0 889154585 158285824 37914 33554432000 4194304 6245536 140733712152848 18446744073709551615 4608172 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38644 37914 229 501 0 38140 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 154576
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9908
/proc/meminfo: memFree=31323652/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=154576 CPUtime=1722.33 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38576 0 0 0 172226 7 0 0 25 0 1 0 889154585 158285824 37914 33554432000 4194304 6245536 140733712152848 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38644 37914 229 501 0 38140 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 154576
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9910
/proc/meminfo: memFree=31322988/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=154576 CPUtime=1782.33 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38588 0 0 0 178226 7 0 0 25 0 1 0 889154585 158285824 37926 33554432000 4194304 6245536 140733712152848 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38644 37926 229 501 0 38140 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 154576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 9911
/proc/meminfo: memFree=31573960/32950928 swapFree=67079488/67111528
[pid=9849] ppid=9847 vsize=154576 CPUtime=1800.04 cores=1,3,5,7
/proc/9849/stat : 9849 (clasp) R 9847 9849 7911 0 -1 4202496 38588 0 0 0 179997 7 0 0 25 0 1 0 889154585 158285824 37926 33554432000 4194304 6245536 140733712152848 18446744073709551615 4605168 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/9849/statm: 38644 37926 229 501 0 38140 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 154576
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.05
CPU user time (s): 1799.97
CPU system time (s): 0.079987
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 154576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38598
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= 2590
runsolver used 2.44463 second user time and 5.96509 second system time
The end