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-3491916-1307777221/watcher-3491916-1307777221 -o /tmp/evaluation-result-3491916-1307777221/solver-3491916-1307777221 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491916-1307777221.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.00 1.00 1.13 4/176 18003
/proc/meminfo: memFree=31969092/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=3204 CPUtime=0 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 613 0 0 0 0 0 0 0 24 0 1 0 967952834 3280896 477 33554432000 4194304 6245536 140736256414752 18446744073709551615 5477776 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 801 477 221 501 0 297 0
[startup+0.035839 s]
/proc/loadavg: 1.00 1.00 1.13 4/176 18003
/proc/meminfo: memFree=31969092/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=3996 CPUtime=0.03 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 815 0 0 0 3 0 0 0 24 0 1 0 967952834 4091904 679 33554432000 4194304 6245536 140736256414752 18446744073709551615 4316676 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 999 680 228 501 0 495 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3996
[startup+0.10083 s]
/proc/loadavg: 1.00 1.00 1.13 4/176 18003
/proc/meminfo: memFree=31969092/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=4392 CPUtime=0.09 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 918 0 0 0 9 0 0 0 24 0 1 0 967952834 4497408 782 33554432000 4194304 6245536 140736256414752 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 1098 782 228 501 0 594 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4392
[startup+0.300793 s]
/proc/loadavg: 1.00 1.00 1.13 4/176 18003
/proc/meminfo: memFree=31969092/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=5052 CPUtime=0.29 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 1074 0 0 0 29 0 0 0 25 0 1 0 967952834 5173248 938 33554432000 4194304 6245536 140736256414752 18446744073709551615 4634509 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 1263 938 229 501 0 759 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5052
[startup+0.700723 s]
/proc/loadavg: 1.00 1.00 1.13 4/176 18003
/proc/meminfo: memFree=31969092/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=5712 CPUtime=0.69 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 1231 0 0 0 69 0 0 0 25 0 1 0 967952834 5849088 1095 33554432000 4194304 6245536 140736256414752 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 1428 1095 229 501 0 924 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5712
[startup+1.50058 s]
/proc/loadavg: 1.08 1.02 1.13 4/178 18005
/proc/meminfo: memFree=31964840/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=6504 CPUtime=1.49 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 1447 0 0 0 149 0 0 0 25 0 1 0 967952834 6660096 1311 33554432000 4194304 6245536 140736256414752 18446744073709551615 4316703 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 1626 1311 229 501 0 1122 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6504
[startup+3.10036 s]
/proc/loadavg: 1.08 1.02 1.13 4/178 18005
/proc/meminfo: memFree=31963104/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=7560 CPUtime=3.09 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 1685 0 0 0 309 0 0 0 25 0 1 0 967952834 7741440 1549 33554432000 4194304 6245536 140736256414752 18446744073709551615 4323486 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 1890 1549 229 501 0 1386 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7560
[startup+6.30074 s]
/proc/loadavg: 1.08 1.02 1.13 4/178 18005
/proc/meminfo: memFree=31961408/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=8220 CPUtime=6.29 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 1874 0 0 0 629 0 0 0 25 0 1 0 967952834 8417280 1738 33554432000 4194304 6245536 140736256414752 18446744073709551615 4304878 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 2055 1738 229 501 0 1551 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8220
[startup+12.7006 s]
/proc/loadavg: 1.22 1.05 1.14 4/178 18005
/proc/meminfo: memFree=31959212/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=9684 CPUtime=12.69 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 2228 0 0 0 1269 0 0 0 25 0 1 0 967952834 9916416 2092 33554432000 4194304 6245536 140736256414752 18446744073709551615 4635087 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 2421 2092 229 501 0 1917 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9684
[startup+25.5004 s]
/proc/loadavg: 1.34 1.08 1.15 4/178 18005
/proc/meminfo: memFree=31957704/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=10876 CPUtime=25.49 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 2521 0 0 0 2549 0 0 0 25 0 1 0 967952834 11137024 2385 33554432000 4194304 6245536 140736256414752 18446744073709551615 4323525 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 2719 2385 229 501 0 2215 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10876
[startup+51.1009 s]
/proc/loadavg: 1.56 1.15 1.17 4/178 18006
/proc/meminfo: memFree=31955372/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=12700 CPUtime=51.09 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 3003 0 0 0 5109 0 0 0 25 0 1 0 967952834 13004800 2855 33554432000 4194304 6245536 140736256414752 18446744073709551615 4635125 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 3175 2855 229 501 0 2671 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 12700
[startup+102.306 s]
/proc/loadavg: 1.82 1.29 1.21 4/178 18008
/proc/meminfo: memFree=31953108/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=14312 CPUtime=102.29 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 3374 0 0 0 10229 0 0 0 25 0 1 0 967952834 14655488 3226 33554432000 4194304 6245536 140736256414752 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 3578 3226 229 501 0 3074 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 14312
[startup+162.3 s]
/proc/loadavg: 1.93 1.42 1.26 4/178 18009
/proc/meminfo: memFree=31951092/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=15980 CPUtime=162.29 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 3788 0 0 0 16229 0 0 0 25 0 1 0 967952834 16363520 3640 33554432000 4194304 6245536 140736256414752 18446744073709551615 4629059 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 3995 3640 229 501 0 3491 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15980
[startup+222.301 s]
/proc/loadavg: 1.97 1.52 1.30 4/178 18011
/proc/meminfo: memFree=31949420/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=17860 CPUtime=222.29 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 4211 0 0 0 22229 0 0 0 25 0 1 0 967952834 18288640 4063 33554432000 4194304 6245536 140736256414752 18446744073709551615 4316676 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 4465 4063 229 501 0 3961 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 17860
[startup+282.3 s]
/proc/loadavg: 2.03 1.62 1.35 3/178 18050
/proc/meminfo: memFree=31944936/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=18944 CPUtime=282.29 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 4516 0 0 0 28229 0 0 0 25 0 1 0 967952834 19398656 4338 33554432000 4194304 6245536 140736256414752 18446744073709551615 4304768 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 4736 4338 229 501 0 4232 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 18944
[startup+342.301 s]
/proc/loadavg: 2.01 1.69 1.39 3/178 18052
/proc/meminfo: memFree=31942636/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=19464 CPUtime=342.29 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 4698 0 0 0 34229 0 0 0 25 0 1 0 967952834 19931136 4491 33554432000 4194304 6245536 140736256414752 18446744073709551615 4323486 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 4866 4491 229 501 0 4362 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 19464
[startup+402.3 s]
/proc/loadavg: 2.00 1.74 1.42 3/178 18053
/proc/meminfo: memFree=31940836/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=20492 CPUtime=402.29 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5006 0 0 0 40229 0 0 0 25 0 1 0 967952834 20983808 4762 33554432000 4194304 6245536 140736256414752 18446744073709551615 4635116 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5123 4762 229 501 0 4619 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 20492
[startup+462.301 s]
/proc/loadavg: 2.00 1.79 1.46 3/178 18055
/proc/meminfo: memFree=31940124/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=20880 CPUtime=462.29 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5099 0 0 0 46229 0 0 0 25 0 1 0 967952834 21381120 4846 33554432000 4194304 6245536 140736256414752 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5220 4846 229 501 0 4716 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 20880
[startup+522.3 s]
/proc/loadavg: 2.00 1.82 1.49 3/178 18057
/proc/meminfo: memFree=31939568/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=21384 CPUtime=522.29 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5252 0 0 0 52229 0 0 0 25 0 1 0 967952834 21897216 4960 33554432000 4194304 6245536 140736256414752 18446744073709551615 4633856 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5346 4960 229 501 0 4842 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 21384
[startup+582.301 s]
/proc/loadavg: 2.00 1.85 1.52 3/178 18058
/proc/meminfo: memFree=31939356/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=21384 CPUtime=582.3 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5253 0 0 0 58230 0 0 0 25 0 1 0 967952834 21897216 4961 33554432000 4194304 6245536 140736256414752 18446744073709551615 4646523 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5346 4961 229 501 0 4842 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 21384
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.92 1.62 3/178 18068
/proc/meminfo: memFree=31936736/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=22184 CPUtime=822.3 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5442 0 0 0 82230 0 0 0 25 0 1 0 967952834 22716416 5150 33554432000 4194304 6245536 140736256414752 18446744073709551615 4316676 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5546 5150 229 501 0 5042 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 22184
[startup+882.3 s]
/proc/loadavg: 2.00 1.94 1.64 3/178 18069
/proc/meminfo: memFree=31936296/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=22352 CPUtime=882.3 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5490 0 0 0 88230 0 0 0 25 0 1 0 967952834 22888448 5198 33554432000 4194304 6245536 140736256414752 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5588 5198 229 501 0 5084 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 22352
[startup+942.301 s]
/proc/loadavg: 2.00 1.94 1.66 3/178 18071
/proc/meminfo: memFree=31935972/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=22616 CPUtime=942.3 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5544 0 0 0 94230 0 0 0 25 0 1 0 967952834 23158784 5252 33554432000 4194304 6245536 140736256414752 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5654 5252 229 501 0 5150 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 22616
[startup+1002.3 s]
/proc/loadavg: 2.00 1.95 1.67 3/178 18073
/proc/meminfo: memFree=31935776/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=22728 CPUtime=1002.3 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5596 0 0 0 100230 0 0 0 25 0 1 0 967952834 23273472 5282 33554432000 4194304 6245536 140736256414752 18446744073709551615 4304733 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5682 5282 229 501 0 5178 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 22728
[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.69 3/178 18074
/proc/meminfo: memFree=31935840/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=22872 CPUtime=1062.3 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5616 0 0 0 106230 0 0 0 25 0 1 0 967952834 23420928 5302 33554432000 4194304 6245536 140736256414752 18446744073709551615 4633892 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5718 5302 229 501 0 5214 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 22872
[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.71 3/178 18076
/proc/meminfo: memFree=31935752/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=22872 CPUtime=1122.31 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5632 0 0 0 112231 0 0 0 25 0 1 0 967952834 23420928 5318 33554432000 4194304 6245536 140736256414752 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5718 5318 229 501 0 5214 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 22872
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/178 18077
/proc/meminfo: memFree=31935652/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=23012 CPUtime=1182.31 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5646 0 0 0 118231 0 0 0 25 0 1 0 967952834 23564288 5332 33554432000 4194304 6245536 140736256414752 18446744073709551615 4304903 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5753 5332 229 501 0 5249 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 23012
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/178 18079
/proc/meminfo: memFree=31935548/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=23012 CPUtime=1242.31 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5651 0 0 0 124231 0 0 0 25 0 1 0 967952834 23564288 5337 33554432000 4194304 6245536 140736256414752 18446744073709551615 4304906 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5753 5337 229 501 0 5249 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 23012
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/178 18081
/proc/meminfo: memFree=31935216/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=23012 CPUtime=1302.32 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5683 0 0 0 130232 0 0 0 25 0 1 0 967952834 23564288 5369 33554432000 4194304 6245536 140736256414752 18446744073709551615 4304758 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5753 5369 229 501 0 5249 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 23012
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/178 18082
/proc/meminfo: memFree=31935268/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=23144 CPUtime=1362.31 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5691 0 0 0 136231 0 0 0 25 0 1 0 967952834 23699456 5377 33554432000 4194304 6245536 140736256414752 18446744073709551615 4304779 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5786 5377 229 501 0 5282 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 23144
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.77 3/178 18084
/proc/meminfo: memFree=31934836/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=23408 CPUtime=1422.32 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5772 0 0 0 142232 0 0 0 25 0 1 0 967952834 23969792 5458 33554432000 4194304 6245536 140736256414752 18446744073709551615 4304733 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5852 5458 229 501 0 5348 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 23408
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.79 3/178 18085
/proc/meminfo: memFree=31934388/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=23372 CPUtime=1482.31 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5838 0 0 0 148231 0 0 0 25 0 1 0 967952834 23932928 5454 33554432000 4194304 6245536 140736256414752 18446744073709551615 4315305 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5843 5454 229 501 0 5339 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 23372
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/178 18087
/proc/meminfo: memFree=31934316/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=23372 CPUtime=1542.32 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 5986 0 0 0 154231 1 0 0 25 0 1 0 967952834 23932928 5434 33554432000 4194304 6245536 140736256414752 18446744073709551615 4316703 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5843 5434 229 501 0 5339 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 23372
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.81 3/178 18089
/proc/meminfo: memFree=31934232/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=23844 CPUtime=1602.32 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 6073 0 0 0 160231 1 0 0 25 0 1 0 967952834 24416256 5521 33554432000 4194304 6245536 140736256414752 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 5961 5521 229 501 0 5457 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 23844
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.82 3/178 18090
/proc/meminfo: memFree=31934272/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=23844 CPUtime=1662.32 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 6073 0 0 0 166231 1 0 0 25 0 1 0 967952834 24416256 5521 33554432000 4194304 6245536 140736256414752 18446744073709551615 4304847 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/18003/statm: 5961 5521 229 501 0 5457 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 23844
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/178 18092
/proc/meminfo: memFree=31934072/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=24012 CPUtime=1722.32 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 6104 0 0 0 172231 1 0 0 25 0 1 0 967952834 24588288 5552 33554432000 4194304 6245536 140736256414752 18446744073709551615 4637416 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 6003 5552 229 501 0 5499 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 24012
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/178 18093
/proc/meminfo: memFree=31933880/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=24180 CPUtime=1782.33 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 6151 0 0 0 178232 1 0 0 25 0 1 0 967952834 24760320 5599 33554432000 4194304 6245536 140736256414752 18446744073709551615 4304840 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 6045 5599 229 501 0 5541 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 24180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 1.97 1.83 3/178 18094
/proc/meminfo: memFree=31933856/32950940 swapFree=67074964/67111528
[pid=18003] ppid=18001 vsize=24180 CPUtime=1800.03 cores=1,3,5,7
/proc/18003/stat : 18003 (clasp) R 18001 18003 13240 0 -1 4202496 6151 0 0 0 180002 1 0 0 25 0 1 0 967952834 24760320 5599 33554432000 4194304 6245536 140736256414752 18446744073709551615 4304779 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18003/statm: 6045 5599 229 501 0 5541 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 24180
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.04
CPU user time (s): 1800.03
CPU system time (s): 0.013997
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 24180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6163
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= 3550
runsolver used 2.41163 second user time and 5.79012 second system time
The end