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-3491827-1307769470/watcher-3491827-1307769470 -o /tmp/evaluation-result-3491827-1307769470/solver-3491827-1307769470 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491827-1307769470.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.92 2/177 27554
/proc/meminfo: memFree=31412580/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=3964 CPUtime=0 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 692 0 0 0 0 0 0 0 25 0 1 0 888544712 4059136 593 33554432000 4194304 6245536 140733575607872 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 991 594 181 501 0 487 0
[startup+0.0110829 s]
/proc/loadavg: 2.00 2.00 1.92 2/177 27554
/proc/meminfo: memFree=31412580/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=5448 CPUtime=0 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 1190 0 0 0 0 0 0 0 25 0 1 0 888544712 5578752 989 33554432000 4194304 6245536 140733575607872 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 1362 991 197 501 0 858 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5448
[startup+0.10106 s]
/proc/loadavg: 2.00 2.00 1.92 2/177 27554
/proc/meminfo: memFree=31412580/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=6704 CPUtime=0.09 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 1653 0 0 0 9 0 0 0 25 0 1 0 888544712 6864896 1346 33554432000 4194304 6245536 140733575607872 18446744073709551615 4304771 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 1676 1346 228 501 0 1172 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6704
[startup+0.30103 s]
/proc/loadavg: 2.00 2.00 1.92 2/177 27554
/proc/meminfo: memFree=31412580/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=7768 CPUtime=0.29 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 1928 0 0 0 29 0 0 0 25 0 1 0 888544712 7954432 1621 33554432000 4194304 6245536 140733575607872 18446744073709551615 5418112 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 1942 1621 229 501 0 1438 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7768
[startup+0.700948 s]
/proc/loadavg: 2.00 2.00 1.92 2/177 27554
/proc/meminfo: memFree=31412580/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=8692 CPUtime=0.69 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 2145 0 0 0 69 0 0 0 25 0 1 0 888544712 8900608 1838 33554432000 4194304 6245536 140733575607872 18446744073709551615 4409358 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 2173 1838 229 501 0 1669 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8692
[startup+1.50082 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27555
/proc/meminfo: memFree=31405536/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=9880 CPUtime=1.49 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 2445 0 0 0 149 0 0 0 25 0 1 0 888544712 10117120 2138 33554432000 4194304 6245536 140733575607872 18446744073709551615 4397867 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 2470 2138 229 501 0 1966 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9880
[startup+3.10053 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27555
/proc/meminfo: memFree=31404012/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=11476 CPUtime=3.09 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 2835 0 0 0 309 0 0 0 25 0 1 0 888544712 11751424 2528 33554432000 4194304 6245536 140733575607872 18446744073709551615 4304779 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 2869 2528 229 501 0 2365 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11476
[startup+6.30095 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27555
/proc/meminfo: memFree=31401536/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=13828 CPUtime=6.29 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 3420 0 0 0 629 0 0 0 25 0 1 0 888544712 14159872 3113 33554432000 4194304 6245536 140733575607872 18446744073709551615 4646523 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 3457 3113 229 501 0 2953 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13828
[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27556
/proc/meminfo: memFree=31397256/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=15116 CPUtime=12.69 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 3702 0 0 0 1269 0 0 0 25 0 1 0 888544712 15478784 3395 33554432000 4194304 6245536 140733575607872 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 3779 3395 229 501 0 3275 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15116
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27556
/proc/meminfo: memFree=31388692/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=18156 CPUtime=25.49 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 4483 0 0 0 2549 0 0 0 25 0 1 0 888544712 18591744 4176 33554432000 4194304 6245536 140733575607872 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 4539 4176 229 501 0 4035 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18156
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27557
/proc/meminfo: memFree=31376644/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=23136 CPUtime=51.09 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 5711 0 0 0 5109 0 0 0 25 0 1 0 888544712 23691264 5404 33554432000 4194304 6245536 140733575607872 18446744073709551615 4608196 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 5784 5404 229 501 0 5280 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23136
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27558
/proc/meminfo: memFree=31362988/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=27496 CPUtime=102.3 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 6792 0 0 0 10229 1 0 0 25 0 1 0 888544712 28155904 6485 33554432000 4194304 6245536 140733575607872 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 6874 6485 229 501 0 6370 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27496
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27560
/proc/meminfo: memFree=31352056/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=31032 CPUtime=162.29 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 7578 0 0 0 16228 1 0 0 25 0 1 0 888544712 31776768 7271 33554432000 4194304 6245536 140733575607872 18446744073709551615 4304800 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 7758 7271 229 501 0 7254 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 31032
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27561
/proc/meminfo: memFree=31337136/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=34716 CPUtime=222.3 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 8645 0 0 0 22228 2 0 0 25 0 1 0 888544712 35549184 8175 33554432000 4194304 6245536 140733575607872 18446744073709551615 4304800 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 8679 8175 229 501 0 8175 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 34716
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27563
/proc/meminfo: memFree=31327816/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=40036 CPUtime=282.3 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 9914 0 0 0 28228 2 0 0 25 0 1 0 888544712 40996864 9444 33554432000 4194304 6245536 140733575607872 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 10009 9444 229 501 0 9505 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 40036
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27564
/proc/meminfo: memFree=31318592/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=41464 CPUtime=342.3 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 10360 0 0 0 34228 2 0 0 25 0 1 0 888544712 42459136 9808 33554432000 4194304 6245536 140733575607872 18446744073709551615 4628843 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 10366 9808 229 501 0 9862 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 41464
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27566
/proc/meminfo: memFree=31310016/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=43560 CPUtime=402.3 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 10872 0 0 0 40228 2 0 0 25 0 1 0 888544712 44605440 10320 33554432000 4194304 6245536 140733575607872 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 10890 10320 229 501 0 10386 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 43560
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27568
/proc/meminfo: memFree=31299076/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=45044 CPUtime=462.3 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 11181 0 0 0 46228 2 0 0 25 0 1 0 888544712 46125056 10629 33554432000 4194304 6245536 140733575607872 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 11261 10629 229 501 0 10757 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 45044
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27569
/proc/meminfo: memFree=31297808/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=45520 CPUtime=522.31 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 11327 0 0 0 52229 2 0 0 25 0 1 0 888544712 46612480 10775 33554432000 4194304 6245536 140733575607872 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 11380 10775 229 501 0 10876 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 45520
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27571
/proc/meminfo: memFree=31291452/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=46504 CPUtime=582.31 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 11544 0 0 0 58229 2 0 0 25 0 1 0 888544712 47620096 10992 33554432000 4194304 6245536 140733575607872 18446744073709551615 4408686 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 11626 10992 229 501 0 11122 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 46504
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 27577
/proc/meminfo: memFree=31266528/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=53848 CPUtime=822.31 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 13308 0 0 0 82229 2 0 0 25 0 1 0 888544712 55140352 12756 33554432000 4194304 6245536 140733575607872 18446744073709551615 4635718 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 13462 12756 229 501 0 12958 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 53848
[startup+882.301 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 27579
/proc/meminfo: memFree=31264404/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=54480 CPUtime=882.31 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 13442 0 0 0 88229 2 0 0 25 0 1 0 888544712 55787520 12890 33554432000 4194304 6245536 140733575607872 18446744073709551615 4608168 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 13620 12890 229 501 0 13116 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 54480
[startup+942.301 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 27580
/proc/meminfo: memFree=31258304/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=54728 CPUtime=942.31 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 13480 0 0 0 94229 2 0 0 25 0 1 0 888544712 56041472 12928 33554432000 4194304 6245536 140733575607872 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 13682 12928 229 501 0 13178 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 54728
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27582
/proc/meminfo: memFree=31247612/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=56352 CPUtime=1002.32 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 14026 0 0 0 100230 2 0 0 25 0 1 0 888544712 57704448 13326 33554432000 4194304 6245536 140733575607872 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 14088 13326 229 501 0 13584 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 56352
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27584
/proc/meminfo: memFree=31243864/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=57480 CPUtime=1062.32 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 14259 0 0 0 106230 2 0 0 25 0 1 0 888544712 58859520 13559 33554432000 4194304 6245536 140733575607872 18446744073709551615 4646381 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 14370 13559 229 501 0 13866 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 57480
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27585
/proc/meminfo: memFree=31241472/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=58136 CPUtime=1122.32 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 14394 0 0 0 112230 2 0 0 25 0 1 0 888544712 59531264 13694 33554432000 4194304 6245536 140733575607872 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 14534 13694 229 501 0 14030 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 58136
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27587
/proc/meminfo: memFree=31240072/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=58268 CPUtime=1182.32 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 14437 0 0 0 118230 2 0 0 25 0 1 0 888544712 59666432 13737 33554432000 4194304 6245536 140733575607872 18446744073709551615 4608208 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 14567 13737 229 501 0 14063 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 58268
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 27588
/proc/meminfo: memFree=31238920/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=58808 CPUtime=1242.32 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 14549 0 0 0 124230 2 0 0 25 0 1 0 888544712 60219392 13849 33554432000 4194304 6245536 140733575607872 18446744073709551615 4608192 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 14702 13849 229 501 0 14198 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 58808
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 27590
/proc/meminfo: memFree=31234440/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=58808 CPUtime=1302.33 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 14562 0 0 0 130231 2 0 0 25 0 1 0 888544712 60219392 13862 33554432000 4194304 6245536 140733575607872 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 14702 13862 229 501 0 14198 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 58808
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 27592
/proc/meminfo: memFree=31228340/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=58808 CPUtime=1362.33 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 14591 0 0 0 136231 2 0 0 25 0 1 0 888544712 60219392 13891 33554432000 4194304 6245536 140733575607872 18446744073709551615 4304775 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 14702 13891 229 501 0 14198 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 58808
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 27593
/proc/meminfo: memFree=31227552/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=59216 CPUtime=1422.33 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 14672 0 0 0 142231 2 0 0 25 0 1 0 888544712 60637184 13972 33554432000 4194304 6245536 140733575607872 18446744073709551615 4397816 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 14804 13972 229 501 0 14300 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 59216
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 27595
/proc/meminfo: memFree=31221708/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=60824 CPUtime=1482.33 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 15064 0 0 0 148231 2 0 0 25 0 1 0 888544712 62283776 14364 33554432000 4194304 6245536 140733575607872 18446744073709551615 5419308 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 15206 14364 229 501 0 14702 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 60824
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27596
/proc/meminfo: memFree=31213980/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=64664 CPUtime=1542.33 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 16263 0 0 0 154231 2 0 0 25 0 1 0 888544712 66215936 15319 33554432000 4194304 6245536 140733575607872 18446744073709551615 5419324 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 16166 15319 229 501 0 15662 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 64664
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27598
/proc/meminfo: memFree=31212592/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=66576 CPUtime=1602.33 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 17121 0 0 0 160231 2 0 0 25 0 1 0 888544712 68173824 15795 33554432000 4194304 6245536 140733575607872 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 16644 15795 229 501 0 16140 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 66576
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27600
/proc/meminfo: memFree=31208844/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=65716 CPUtime=1662.34 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 17300 0 0 0 166232 2 0 0 25 0 1 0 888544712 67293184 15588 33554432000 4194304 6245536 140733575607872 18446744073709551615 4608196 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 16429 15588 229 501 0 15925 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 65716
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27601
/proc/meminfo: memFree=31206948/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=66112 CPUtime=1722.34 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 17384 0 0 0 172232 2 0 0 25 0 1 0 888544712 67698688 15672 33554432000 4194304 6245536 140733575607872 18446744073709551615 4635675 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 16528 15672 229 501 0 16024 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 66112
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27603
/proc/meminfo: memFree=31206288/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=66308 CPUtime=1782.34 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 17656 0 0 0 178232 2 0 0 25 0 1 0 888544712 67899392 15744 33554432000 4194304 6245536 140733575607872 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 16577 15744 229 501 0 16073 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 66308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 2.00 1.94 3/178 27642
/proc/meminfo: memFree=31416460/32951124 swapFree=67076880/67111528
[pid=27554] ppid=27552 vsize=66308 CPUtime=1800.04 cores=0,2,4,6
/proc/27554/stat : 27554 (clasp) R 27552 27554 17771 0 -1 4202496 17663 0 0 0 180002 2 0 0 25 0 1 0 888544712 67899392 15751 33554432000 4194304 6245536 140733575607872 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27554/statm: 16577 15751 229 501 0 16073 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 66308
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.06
CPU user time (s): 1800.03
CPU system time (s): 0.032994
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 66752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17674
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= 2463
runsolver used 2.73458 second user time and 5.45817 second system time
The end