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-3491838-1307771070/watcher-3491838-1307771070 -o /tmp/evaluation-result-3491838-1307771070/solver-3491838-1307771070 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491838-1307771070.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.84 1.95 1.88 2/174 5245
/proc/meminfo: memFree=30942876/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=12764 CPUtime=0 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 2090 0 0 0 0 0 0 0 25 0 1 0 967337529 13070336 2044 33554432000 4194304 6245536 140733847111648 18446744073709551615 4653612 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 3191 2052 171 501 0 2687 0
[startup+0.0806499 s]
/proc/loadavg: 1.84 1.95 1.88 2/174 5245
/proc/meminfo: memFree=30942876/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=32148 CPUtime=0.07 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 8766 0 0 0 6 1 0 0 25 0 1 0 967337529 32919552 6718 33554432000 4194304 6245536 140733847111648 18446744073709551615 4588350 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 8037 6735 196 501 0 7533 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32148
[startup+0.10065 s]
/proc/loadavg: 1.84 1.95 1.88 2/174 5245
/proc/meminfo: memFree=30942876/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=38420 CPUtime=0.09 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 11724 0 0 0 8 1 0 0 25 0 1 0 967337529 39342080 8957 33554432000 4194304 6245536 140733847111648 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 9605 8959 197 501 0 9101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38420
[startup+0.300609 s]
/proc/loadavg: 1.84 1.95 1.88 2/174 5245
/proc/meminfo: memFree=30942876/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=48256 CPUtime=0.29 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 14097 0 0 0 28 1 0 0 25 0 1 0 967337529 49414144 11330 33554432000 4194304 6245536 140733847111648 18446744073709551615 5418411 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 12064 11330 201 501 0 11560 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48256
[startup+0.700534 s]
/proc/loadavg: 1.84 1.95 1.88 2/174 5245
/proc/meminfo: memFree=30942876/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=67136 CPUtime=0.69 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 18751 0 0 0 67 2 0 0 25 0 1 0 967337529 68747264 15984 33554432000 4194304 6245536 140733847111648 18446744073709551615 4579000 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 16784 15985 201 501 0 16280 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67136
[startup+1.50038 s]
/proc/loadavg: 1.84 1.95 1.88 3/175 5246
/proc/meminfo: memFree=30873952/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=71104 CPUtime=1.49 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 21042 0 0 0 147 2 0 0 25 0 1 0 967337529 72810496 17085 33554432000 4194304 6245536 140733847111648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 17776 17085 228 501 0 17272 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71104
[startup+3.10109 s]
/proc/loadavg: 1.84 1.95 1.88 3/175 5246
/proc/meminfo: memFree=30872580/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=71104 CPUtime=3.09 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 21096 0 0 0 307 2 0 0 25 0 1 0 967337529 72810496 17139 33554432000 4194304 6245536 140733847111648 18446744073709551615 4397834 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 17776 17139 228 501 0 17272 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71104
[startup+6.3005 s]
/proc/loadavg: 1.85 1.95 1.88 3/175 5246
/proc/meminfo: memFree=30871388/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=71104 CPUtime=6.29 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 21148 0 0 0 627 2 0 0 25 0 1 0 967337529 72810496 17191 33554432000 4194304 6245536 140733847111648 18446744073709551615 4408778 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 17776 17191 229 501 0 17272 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71104
[startup+12.7003 s]
/proc/loadavg: 1.86 1.95 1.88 3/175 5246
/proc/meminfo: memFree=30869952/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=72228 CPUtime=12.69 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 21543 0 0 0 1267 2 0 0 25 0 1 0 967337529 73961472 17586 33554432000 4194304 6245536 140733847111648 18446744073709551615 5419276 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 18057 17586 229 501 0 17553 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72228
[startup+25.5009 s]
/proc/loadavg: 1.97 1.97 1.89 3/175 5247
/proc/meminfo: memFree=30861636/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=77528 CPUtime=25.49 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 22859 0 0 0 2547 2 0 0 25 0 1 0 967337529 79388672 18902 33554432000 4194304 6245536 140733847111648 18446744073709551615 4629009 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 19382 18902 229 501 0 18878 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77528
[startup+51.1002 s]
/proc/loadavg: 1.98 1.97 1.89 3/175 5247
/proc/meminfo: memFree=30853032/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=84036 CPUtime=51.09 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 24418 0 0 0 5107 2 0 0 25 0 1 0 967337529 86052864 20461 33554432000 4194304 6245536 140733847111648 18446744073709551615 4635762 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 21009 20461 229 501 0 20505 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 84036
[startup+102.307 s]
/proc/loadavg: 1.99 1.97 1.89 3/175 5249
/proc/meminfo: memFree=30840488/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=92620 CPUtime=102.3 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 26473 0 0 0 10228 2 0 0 25 0 1 0 967337529 94842880 22516 33554432000 4194304 6245536 140733847111648 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 23155 22516 229 501 0 22651 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 92620
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.90 3/175 5250
/proc/meminfo: memFree=30829048/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=101720 CPUtime=162.29 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 28598 0 0 0 16227 2 0 0 25 0 1 0 967337529 104161280 24641 33554432000 4194304 6245536 140733847111648 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 25430 24641 229 501 0 24926 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 101720
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.90 3/175 5252
/proc/meminfo: memFree=30813516/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=116020 CPUtime=222.3 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 31937 0 0 0 22227 3 0 0 25 0 1 0 967337529 118804480 27980 33554432000 4194304 6245536 140733847111648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 29005 27980 229 501 0 28501 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 116020
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/175 5254
/proc/meminfo: memFree=30802944/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=125340 CPUtime=282.3 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 34127 0 0 0 28227 3 0 0 25 0 1 0 967337529 128348160 30170 33554432000 4194304 6245536 140733847111648 18446744073709551615 4637756 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 31335 30170 229 501 0 30831 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 125340
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/175 5255
/proc/meminfo: memFree=30796708/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=130504 CPUtime=342.3 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 35282 0 0 0 34227 3 0 0 25 0 1 0 967337529 133636096 31325 33554432000 4194304 6245536 140733847111648 18446744073709551615 4409254 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 32626 31325 229 501 0 32122 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 130504
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/175 5257
/proc/meminfo: memFree=30789604/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=136328 CPUtime=402.3 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 36697 0 0 0 40227 3 0 0 25 0 1 0 967337529 139599872 32740 33554432000 4194304 6245536 140733847111648 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 34082 32740 229 501 0 33578 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 136328
[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/175 5258
/proc/meminfo: memFree=30782512/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=142380 CPUtime=462.31 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 38066 0 0 0 46227 4 0 0 25 0 1 0 967337529 145797120 34109 33554432000 4194304 6245536 140733847111648 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 35595 34109 229 501 0 35091 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 142380
[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/175 5260
/proc/meminfo: memFree=30780488/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=143264 CPUtime=522.31 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 38283 0 0 0 52227 4 0 0 25 0 1 0 967337529 146702336 34326 33554432000 4194304 6245536 140733847111648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 35816 34326 229 501 0 35312 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 143264
[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/175 5262
/proc/meminfo: memFree=30773772/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=149728 CPUtime=582.31 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 39762 0 0 0 58227 4 0 0 25 0 1 0 967337529 153321472 35805 33554432000 4194304 6245536 140733847111648 18446744073709551615 4409085 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5245/statm: 37432 35805 229 501 0 36928 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 149728
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/175 5268
/proc/meminfo: memFree=30752044/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=170172 CPUtime=822.31 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 44498 0 0 0 82227 4 0 0 25 0 1 0 967337529 174256128 40541 33554432000 4194304 6245536 140733847111648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 42543 40541 229 501 0 42039 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 170172
[startup+882.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/175 5270
/proc/meminfo: memFree=30750264/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=171624 CPUtime=882.31 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 44832 0 0 0 88227 4 0 0 25 0 1 0 967337529 175742976 40875 33554432000 4194304 6245536 140733847111648 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 42906 40875 229 501 0 42402 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 171624
[startup+942.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/175 5271
/proc/meminfo: memFree=30738960/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=183168 CPUtime=942.32 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 47621 0 0 0 94227 5 0 0 25 0 1 0 967337529 187564032 43664 33554432000 4194304 6245536 140733847111648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 45792 43664 229 501 0 45288 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 183168
[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/175 5282
/proc/meminfo: memFree=30736580/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=183572 CPUtime=1002.32 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 47751 0 0 0 100227 5 0 0 25 0 1 0 967337529 187977728 43794 33554432000 4194304 6245536 140733847111648 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 45893 43794 229 501 0 45389 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 183572
[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/175 5283
/proc/meminfo: memFree=30734428/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=184876 CPUtime=1062.32 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 48057 0 0 0 106227 5 0 0 25 0 1 0 967337529 189313024 44100 33554432000 4194304 6245536 140733847111648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 46219 44100 229 501 0 45715 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 184876
[startup+1122.3 s]
/proc/loadavg: 2.04 1.99 1.91 3/175 5285
/proc/meminfo: memFree=30731420/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=187768 CPUtime=1122.32 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 48767 0 0 0 112227 5 0 0 25 0 1 0 967337529 192274432 44810 33554432000 4194304 6245536 140733847111648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 46942 44810 229 501 0 46438 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 187768
[startup+1182.3 s]
/proc/loadavg: 2.01 1.99 1.91 3/175 5287
/proc/meminfo: memFree=30728664/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=190564 CPUtime=1182.32 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 49364 0 0 0 118227 5 0 0 25 0 1 0 967337529 195137536 45407 33554432000 4194304 6245536 140733847111648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 47641 45407 229 501 0 47137 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 190564
[startup+1242.3 s]
/proc/loadavg: 2.05 2.00 1.92 3/175 5288
/proc/meminfo: memFree=30727764/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=190564 CPUtime=1242.33 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 49368 0 0 0 124228 5 0 0 25 0 1 0 967337529 195137536 45411 33554432000 4194304 6245536 140733847111648 18446744073709551615 4397834 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 47641 45411 229 501 0 47137 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 190564
[startup+1302.3 s]
/proc/loadavg: 2.02 2.00 1.92 3/175 5290
/proc/meminfo: memFree=30725004/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=193380 CPUtime=1302.33 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 49963 0 0 0 130228 5 0 0 25 0 1 0 967337529 198021120 46006 33554432000 4194304 6245536 140733847111648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 48345 46006 229 501 0 47841 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 193380
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5291
/proc/meminfo: memFree=30723736/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=194376 CPUtime=1362.33 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 50213 0 0 0 136228 5 0 0 25 0 1 0 967337529 199041024 46256 33554432000 4194304 6245536 140733847111648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 48594 46256 229 501 0 48090 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 194376
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5293
/proc/meminfo: memFree=30719360/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=198336 CPUtime=1422.34 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 51236 0 0 0 142229 5 0 0 25 0 1 0 967337529 203096064 47279 33554432000 4194304 6245536 140733847111648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 49584 47279 229 501 0 49080 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 198336
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5295
/proc/meminfo: memFree=30714244/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=203984 CPUtime=1482.34 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 52496 0 0 0 148228 6 0 0 25 0 1 0 967337529 208879616 48539 33554432000 4194304 6245536 140733847111648 18446744073709551615 4304903 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 50996 48539 229 501 0 50492 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 203984
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5296
/proc/meminfo: memFree=30712596/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=205792 CPUtime=1542.34 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 52943 0 0 0 154228 6 0 0 25 0 1 0 967337529 210731008 48986 33554432000 4194304 6245536 140733847111648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 51448 48986 229 501 0 50944 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 205792
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5298
/proc/meminfo: memFree=30708100/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=210500 CPUtime=1602.35 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 54030 0 0 0 160229 6 0 0 25 0 1 0 967337529 215552000 50073 33554432000 4194304 6245536 140733847111648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 52625 50073 229 501 0 52121 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 210500
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5299
/proc/meminfo: memFree=30705216/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=213620 CPUtime=1662.34 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 54743 0 0 0 166228 6 0 0 25 0 1 0 967337529 218746880 50786 33554432000 4194304 6245536 140733847111648 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 53405 50786 229 501 0 52901 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 213620
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5301
/proc/meminfo: memFree=30704696/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=213620 CPUtime=1722.35 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 54759 0 0 0 172229 6 0 0 25 0 1 0 967337529 218746880 50802 33554432000 4194304 6245536 140733847111648 18446744073709551615 4605495 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 53405 50802 229 501 0 52901 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 213620
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5303
/proc/meminfo: memFree=30699824/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=217952 CPUtime=1782.35 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 55777 0 0 0 178229 6 0 0 25 0 1 0 967337529 223182848 51820 33554432000 4194304 6245536 140733847111648 18446744073709551615 4629001 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 54488 51820 229 501 0 53984 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 217952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 2/173 5304
/proc/meminfo: memFree=30738012/32951124 swapFree=67062556/67111528
[pid=5245] ppid=5243 vsize=219040 CPUtime=1800.05 cores=1,3,5,7
/proc/5245/stat : 5245 (clasp) R 5243 5245 30926 0 -1 4202496 56013 0 0 0 179999 6 0 0 25 0 1 0 967337529 224296960 52056 33554432000 4194304 6245536 140733847111648 18446744073709551615 5419316 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5245/statm: 54760 52056 229 501 0 54256 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 219040
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.02
CPU time (s): 1800.07
CPU user time (s): 1800
CPU system time (s): 0.075988
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 219040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56024
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= 2567
runsolver used 2.52961 second user time and 5.66714 second system time
The end