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-3491859-1307773080/watcher-3491859-1307773080 -o /tmp/evaluation-result-3491859-1307773080/solver-3491859-1307773080 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491859-1307773080.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.94 3/177 11777
/proc/meminfo: memFree=31447608/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=12760 CPUtime=0 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 2027 0 0 0 0 0 0 0 25 0 1 0 967538699 13066240 1981 33554432000 4194304 6245536 140736578866128 18446744073709551615 4653612 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 3190 1988 171 501 0 2686 0
[startup+0.0126779 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 11777
/proc/meminfo: memFree=31447608/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=18864 CPUtime=0 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 4692 0 0 0 0 0 0 0 25 0 1 0 967538699 19316736 4051 33554432000 4194304 6245536 140736578866128 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 4716 4054 181 501 0 4212 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18864
[startup+0.100616 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 11777
/proc/meminfo: memFree=31447608/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=38408 CPUtime=0.09 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 11716 0 0 0 8 1 0 0 25 0 1 0 967538699 39329792 8951 33554432000 4194304 6245536 140736578866128 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 9602 8953 197 501 0 9098 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38408
[startup+0.300581 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 11777
/proc/meminfo: memFree=31447608/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=48280 CPUtime=0.29 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 14109 0 0 0 28 1 0 0 25 0 1 0 967538699 49438720 11344 33554432000 4194304 6245536 140736578866128 18446744073709551615 5418411 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 12070 11345 201 501 0 11566 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48280
[startup+0.700501 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 11777
/proc/meminfo: memFree=31447608/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=67128 CPUtime=0.69 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 18756 0 0 0 67 2 0 0 25 0 1 0 967538699 68739072 15991 33554432000 4194304 6245536 140736578866128 18446744073709551615 4579349 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 16782 15991 201 501 0 16278 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67128
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11778
/proc/meminfo: memFree=31379424/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=71144 CPUtime=1.49 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 21053 0 0 0 147 2 0 0 25 0 1 0 967538699 72851456 17099 33554432000 4194304 6245536 140736578866128 18446744073709551615 4408684 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 17786 17099 228 501 0 17282 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71144
[startup+3.10105 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11778
/proc/meminfo: memFree=31377936/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=71144 CPUtime=3.09 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 21082 0 0 0 307 2 0 0 25 0 1 0 967538699 72851456 17128 33554432000 4194304 6245536 140736578866128 18446744073709551615 4408736 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 17786 17128 228 501 0 17282 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71144
[startup+6.30046 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11778
/proc/meminfo: memFree=31374836/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=71144 CPUtime=6.29 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 21131 0 0 0 627 2 0 0 25 0 1 0 967538699 72851456 17177 33554432000 4194304 6245536 140736578866128 18446744073709551615 5369684 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 17786 17177 229 501 0 17282 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71144
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11817
/proc/meminfo: memFree=31541100/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=71800 CPUtime=12.69 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 21442 0 0 0 1267 2 0 0 25 0 1 0 967538699 73523200 17488 33554432000 4194304 6245536 140736578866128 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 17950 17488 229 501 0 17446 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71800
[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11817
/proc/meminfo: memFree=31531292/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=78812 CPUtime=25.49 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 23156 0 0 0 2546 3 0 0 25 0 1 0 967538699 80703488 19202 33554432000 4194304 6245536 140736578866128 18446744073709551615 5419301 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 19703 19202 229 501 0 19199 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78812
[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11818
/proc/meminfo: memFree=31523396/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=83992 CPUtime=51.09 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 24410 0 0 0 5106 3 0 0 25 0 1 0 967538699 86007808 20456 33554432000 4194304 6245536 140736578866128 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 20998 20456 229 501 0 20494 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 83992
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11819
/proc/meminfo: memFree=31510348/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=95196 CPUtime=102.3 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 27091 0 0 0 10226 4 0 0 25 0 1 0 967538699 97480704 23137 33554432000 4194304 6245536 140736578866128 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 23799 23137 229 501 0 23295 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 95196
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11821
/proc/meminfo: memFree=31502116/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=102116 CPUtime=162.3 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 28693 0 0 0 16226 4 0 0 25 0 1 0 967538699 104566784 24739 33554432000 4194304 6245536 140736578866128 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 25529 24739 229 501 0 25025 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 102116
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11822
/proc/meminfo: memFree=31491284/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=112980 CPUtime=222.3 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 31323 0 0 0 22225 5 0 0 25 0 1 0 967538699 115691520 27369 33554432000 4194304 6245536 140736578866128 18446744073709551615 4637897 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 28245 27369 229 501 0 27741 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 112980
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11824
/proc/meminfo: memFree=31479844/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=124396 CPUtime=282.3 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 34030 0 0 0 28225 5 0 0 25 0 1 0 967538699 127381504 30076 33554432000 4194304 6245536 140736578866128 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 31099 30076 229 501 0 30595 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 124396
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 11826
/proc/meminfo: memFree=31475592/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=128108 CPUtime=342.31 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 34880 0 0 0 34225 6 0 0 25 0 1 0 967538699 131182592 30926 33554432000 4194304 6245536 140736578866128 18446744073709551615 4629001 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 32027 30926 229 501 0 31523 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 128108
[startup+402.301 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 11827
/proc/meminfo: memFree=31461912/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=141968 CPUtime=402.3 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 38217 0 0 0 40224 6 0 0 25 0 1 0 967538699 145375232 34263 33554432000 4194304 6245536 140736578866128 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 35492 34263 229 501 0 34988 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 141968
[startup+462.301 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 11829
/proc/meminfo: memFree=31457272/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=146548 CPUtime=462.3 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 39248 0 0 0 46224 6 0 0 25 0 1 0 967538699 150065152 35294 33554432000 4194304 6245536 140736578866128 18446744073709551615 4629009 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 36637 35294 229 501 0 36133 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 146548
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11830
/proc/meminfo: memFree=31455116/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=148640 CPUtime=522.31 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 39673 0 0 0 52225 6 0 0 25 0 1 0 967538699 152207360 35719 33554432000 4194304 6245536 140736578866128 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 37160 35719 229 501 0 36656 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 148640
[startup+582.301 s]
/proc/loadavg: 2.07 2.02 1.95 3/178 11832
/proc/meminfo: memFree=31451600/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=152312 CPUtime=582.31 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 40548 0 0 0 58225 6 0 0 25 0 1 0 967538699 155967488 36594 33554432000 4194304 6245536 140736578866128 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 38078 36594 229 501 0 37574 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 152312
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11838
/proc/meminfo: memFree=31433672/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=170092 CPUtime=822.32 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 44703 0 0 0 82225 7 0 0 25 0 1 0 967538699 174174208 40749 33554432000 4194304 6245536 140736578866128 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 42523 40749 229 501 0 42019 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 170092
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11840
/proc/meminfo: memFree=31431384/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=172380 CPUtime=882.32 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 45207 0 0 0 88225 7 0 0 25 0 1 0 967538699 176517120 41253 33554432000 4194304 6245536 140736578866128 18446744073709551615 4637696 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 43095 41253 229 501 0 42591 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 172380
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11842
/proc/meminfo: memFree=31425504/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=178320 CPUtime=942.32 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 46629 0 0 0 94225 7 0 0 25 0 1 0 967538699 182599680 42675 33554432000 4194304 6245536 140736578866128 18446744073709551615 4409092 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 44580 42675 229 501 0 44076 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 178320
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11843
/proc/meminfo: memFree=31421720/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=182400 CPUtime=1002.32 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 47570 0 0 0 100225 7 0 0 25 0 1 0 967538699 186777600 43616 33554432000 4194304 6245536 140736578866128 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 45600 43616 229 501 0 45096 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 182400
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11845
/proc/meminfo: memFree=31421292/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=182608 CPUtime=1062.33 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 47625 0 0 0 106226 7 0 0 25 0 1 0 967538699 186990592 43671 33554432000 4194304 6245536 140736578866128 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 45652 43671 229 501 0 45148 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 182608
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11846
/proc/meminfo: memFree=31414692/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=189596 CPUtime=1122.32 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 49277 0 0 0 112225 7 0 0 25 0 1 0 967538699 194146304 45323 33554432000 4194304 6245536 140736578866128 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 47399 45323 229 501 0 46895 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 189596
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11848
/proc/meminfo: memFree=31413788/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=190260 CPUtime=1182.32 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 49422 0 0 0 118225 7 0 0 25 0 1 0 967538699 194826240 45468 33554432000 4194304 6245536 140736578866128 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 47565 45468 229 501 0 47061 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 190260
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11850
/proc/meminfo: memFree=31413740/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=190260 CPUtime=1242.33 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 49429 0 0 0 124226 7 0 0 25 0 1 0 967538699 194826240 45475 33554432000 4194304 6245536 140736578866128 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 47565 45475 229 501 0 47061 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 190260
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11854
/proc/meminfo: memFree=31409484/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=193084 CPUtime=1302.34 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 50073 0 0 0 130226 8 0 0 25 0 1 0 967538699 197718016 46119 33554432000 4194304 6245536 140736578866128 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 48271 46119 229 501 0 47767 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 193084
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 11856
/proc/meminfo: memFree=31408952/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=193588 CPUtime=1362.34 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 50217 0 0 0 136226 8 0 0 25 0 1 0 967538699 198234112 46263 33554432000 4194304 6245536 140736578866128 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 48397 46263 229 501 0 47893 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 193588
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 11857
/proc/meminfo: memFree=31401228/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=201444 CPUtime=1422.34 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 52126 0 0 0 142226 8 0 0 25 0 1 0 967538699 206278656 48172 33554432000 4194304 6245536 140736578866128 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 50361 48172 229 501 0 49857 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 201444
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 11859
/proc/meminfo: memFree=31398948/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=203904 CPUtime=1482.34 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 52661 0 0 0 148226 8 0 0 25 0 1 0 967538699 208797696 48707 33554432000 4194304 6245536 140736578866128 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 50976 48707 229 501 0 50472 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 203904
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 11861
/proc/meminfo: memFree=31396068/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=207148 CPUtime=1542.34 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 53378 0 0 0 154226 8 0 0 25 0 1 0 967538699 212119552 49424 33554432000 4194304 6245536 140736578866128 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 51787 49424 229 501 0 51283 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 207148
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 11862
/proc/meminfo: memFree=31395908/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=207148 CPUtime=1602.34 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 53405 0 0 0 160226 8 0 0 25 0 1 0 967538699 212119552 49451 33554432000 4194304 6245536 140736578866128 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 51787 49451 229 501 0 51283 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 207148
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/178 11864
/proc/meminfo: memFree=31390784/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=212404 CPUtime=1662.34 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 54678 0 0 0 166226 8 0 0 25 0 1 0 967538699 217501696 50724 33554432000 4194304 6245536 140736578866128 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 53101 50724 229 501 0 52597 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 212404
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 11865
/proc/meminfo: memFree=31388888/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=214632 CPUtime=1722.34 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 55157 0 0 0 172226 8 0 0 25 0 1 0 967538699 219783168 51203 33554432000 4194304 6245536 140736578866128 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 53658 51203 229 501 0 53154 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 214632
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 11867
/proc/meminfo: memFree=31388856/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=214632 CPUtime=1782.35 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 55159 0 0 0 178227 8 0 0 25 0 1 0 967538699 219783168 51205 33554432000 4194304 6245536 140736578866128 18446744073709551615 4629020 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 53658 51205 229 501 0 53154 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 214632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 11868
/proc/meminfo: memFree=31388840/32950928 swapFree=67051096/67111528
[pid=11777] ppid=11775 vsize=214632 CPUtime=1800.05 cores=0,2,4,6
/proc/11777/stat : 11777 (clasp) R 11775 11777 6496 0 -1 4202496 55159 0 0 0 179997 8 0 0 25 0 1 0 967538699 219783168 51205 33554432000 4194304 6245536 140736578866128 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11777/statm: 53658 51205 229 501 0 53154 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 214632
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.08
CPU user time (s): 1799.98
CPU system time (s): 0.096985
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 214632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55169
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= 2999
runsolver used 2.68559 second user time and 5.50816 second system time
The end