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-3491845-1307771291/watcher-3491845-1307771291 -o /tmp/evaluation-result-3491845-1307771291/solver-3491845-1307771291 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491845-1307771291.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: 1.93 1.99 1.95 3/177 21691
/proc/meminfo: memFree=31881660/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=9768 CPUtime=0 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 1598 0 0 0 0 0 0 0 25 0 1 0 888729573 10002432 1533 33554432000 4194304 6245536 140736078322544 18446744073709551615 4642358 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21691/statm: 2442 1538 172 501 0 1938 0
[startup+0.094585 s]
/proc/loadavg: 1.93 1.99 1.95 3/177 21691
/proc/meminfo: memFree=31881660/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=21668 CPUtime=0.08 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 6237 0 0 0 8 0 0 0 25 0 1 0 888729573 22188032 4934 33554432000 4194304 6245536 140736078322544 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21691/statm: 5417 4934 201 501 0 4913 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21668
[startup+0.100581 s]
/proc/loadavg: 1.93 1.99 1.95 3/177 21691
/proc/meminfo: memFree=31881660/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=21932 CPUtime=0.08 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 6313 0 0 0 8 0 0 0 25 0 1 0 888729573 22458368 5010 33554432000 4194304 6245536 140736078322544 18446744073709551615 4583231 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21691/statm: 5483 5010 201 501 0 4979 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21932
[startup+0.300553 s]
/proc/loadavg: 1.93 1.99 1.95 3/177 21691
/proc/meminfo: memFree=31881660/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=31236 CPUtime=0.29 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 8612 0 0 0 28 1 0 0 25 0 1 0 888729573 31985664 7309 33554432000 4194304 6245536 140736078322544 18446744073709551615 4566781 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21691/statm: 7809 7310 201 501 0 7305 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31236
[startup+0.700471 s]
/proc/loadavg: 1.93 1.99 1.95 3/177 21691
/proc/meminfo: memFree=31881660/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=36268 CPUtime=0.69 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 10515 0 0 0 68 1 0 0 25 0 1 0 888729573 37138432 8620 33554432000 4194304 6245536 140736078322544 18446744073709551615 4392387 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21691/statm: 9067 8620 227 501 0 8563 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36268
[startup+1.50029 s]
/proc/loadavg: 1.93 1.99 1.95 3/178 21692
/proc/meminfo: memFree=31847700/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=36268 CPUtime=1.49 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 10523 0 0 0 148 1 0 0 25 0 1 0 888729573 37138432 8628 33554432000 4194304 6245536 140736078322544 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21691/statm: 9067 8628 229 501 0 8563 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36268
[startup+3.10103 s]
/proc/loadavg: 1.93 1.99 1.95 3/178 21692
/proc/meminfo: memFree=31847080/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=36268 CPUtime=3.09 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 10546 0 0 0 308 1 0 0 25 0 1 0 888729573 37138432 8651 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21691/statm: 9067 8651 229 501 0 8563 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36268
[startup+6.30045 s]
/proc/loadavg: 1.93 1.99 1.95 3/178 21692
/proc/meminfo: memFree=31847156/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=36268 CPUtime=6.29 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 10574 0 0 0 628 1 0 0 25 0 1 0 888729573 37138432 8679 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21691/statm: 9067 8679 229 501 0 8563 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36268
[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.95 3/178 21692
/proc/meminfo: memFree=31845152/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=38376 CPUtime=12.69 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 11079 0 0 0 1268 1 0 0 25 0 1 0 888729573 39297024 9184 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628998 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/21691/statm: 9594 9184 229 501 0 9090 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38376
[startup+25.5009 s]
/proc/loadavg: 1.95 1.99 1.95 3/178 21692
/proc/meminfo: memFree=31841808/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=42716 CPUtime=25.49 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 12114 0 0 0 2548 1 0 0 25 0 1 0 888729573 43741184 10219 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 10679 10219 229 501 0 10175 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42716
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.95 3/178 21693
/proc/meminfo: memFree=31835900/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=48248 CPUtime=51.09 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 13417 0 0 0 5108 1 0 0 25 0 1 0 888729573 49405952 11522 33554432000 4194304 6245536 140736078322544 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 12062 11522 229 501 0 11558 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 48248
[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.95 3/178 21694
/proc/meminfo: memFree=31827052/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=56964 CPUtime=102.29 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 15462 0 0 0 10228 1 0 0 25 0 1 0 888729573 58331136 13567 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628160 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 14241 13567 229 501 0 13737 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 56964
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.95 3/178 21696
/proc/meminfo: memFree=31818704/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=65056 CPUtime=162.29 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 17358 0 0 0 16227 2 0 0 25 0 1 0 888729573 66617344 15463 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 16264 15463 229 501 0 15760 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 65056
[startup+222.301 s]
/proc/loadavg: 1.98 1.98 1.95 3/178 21813
/proc/meminfo: memFree=31922308/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=69876 CPUtime=222.29 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 18507 0 0 0 22227 2 0 0 25 0 1 0 888729573 71553024 16612 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 17469 16612 229 501 0 16965 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 69876
[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21852
/proc/meminfo: memFree=31915916/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=74696 CPUtime=282.29 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 19650 0 0 0 28227 2 0 0 25 0 1 0 888729573 76488704 17755 33554432000 4194304 6245536 140736078322544 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 18674 17755 229 501 0 18170 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 74696
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21854
/proc/meminfo: memFree=31907568/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=80092 CPUtime=342.29 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 20911 0 0 0 34227 2 0 0 25 0 1 0 888729573 82014208 19016 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 20023 19016 229 501 0 19519 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 80092
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21855
/proc/meminfo: memFree=31903684/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=82540 CPUtime=402.3 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 21533 0 0 0 40228 2 0 0 25 0 1 0 888729573 84520960 19638 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628144 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 20635 19638 229 501 0 20131 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 82540
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21857
/proc/meminfo: memFree=31901052/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=84260 CPUtime=462.3 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 21959 0 0 0 46228 2 0 0 25 0 1 0 888729573 86282240 20064 33554432000 4194304 6245536 140736078322544 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 21065 20064 229 501 0 20561 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 84260
[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21859
/proc/meminfo: memFree=31896416/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=88620 CPUtime=522.3 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 23022 0 0 0 52228 2 0 0 25 0 1 0 888729573 90746880 21127 33554432000 4194304 6245536 140736078322544 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 22155 21127 229 501 0 21651 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 88620
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21860
/proc/meminfo: memFree=31893396/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=91156 CPUtime=582.31 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 23607 0 0 0 58228 3 0 0 25 0 1 0 888729573 93343744 21712 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 22789 21712 229 501 0 22285 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 91156
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21876
/proc/meminfo: memFree=31884132/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=100240 CPUtime=822.31 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 25668 0 0 0 82228 3 0 0 25 0 1 0 888729573 102645760 23773 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 25060 23773 229 501 0 24556 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 100240
[startup+882.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21877
/proc/meminfo: memFree=31882348/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=101604 CPUtime=882.31 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 25988 0 0 0 88228 3 0 0 25 0 1 0 888729573 104042496 24093 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 25401 24093 229 501 0 24897 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 101604
[startup+942.301 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21881
/proc/meminfo: memFree=31880940/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=102600 CPUtime=942.31 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 26221 0 0 0 94228 3 0 0 25 0 1 0 888729573 105062400 24326 33554432000 4194304 6245536 140736078322544 18446744073709551615 4342400 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 25650 24326 229 501 0 25146 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 102600
[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21883
/proc/meminfo: memFree=31879428/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=103588 CPUtime=1002.32 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 26492 0 0 0 100229 3 0 0 25 0 1 0 888729573 106074112 24597 33554432000 4194304 6245536 140736078322544 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 25897 24597 229 501 0 25393 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 103588
[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21885
/proc/meminfo: memFree=31879380/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=103588 CPUtime=1062.32 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 26498 0 0 0 106229 3 0 0 25 0 1 0 888729573 106074112 24603 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 25897 24603 229 501 0 25393 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 103588
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21887
/proc/meminfo: memFree=31878712/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=103996 CPUtime=1122.32 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 26573 0 0 0 112229 3 0 0 25 0 1 0 888729573 106491904 24678 33554432000 4194304 6245536 140736078322544 18446744073709551615 4629023 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 25999 24678 229 501 0 25495 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 103996
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21888
/proc/meminfo: memFree=31874696/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=107948 CPUtime=1182.32 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 27520 0 0 0 118229 3 0 0 25 0 1 0 888729573 110538752 25625 33554432000 4194304 6245536 140736078322544 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 26987 25625 229 501 0 26483 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 107948
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21890
/proc/meminfo: memFree=31872672/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=109172 CPUtime=1242.32 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 27856 0 0 0 124229 3 0 0 25 0 1 0 888729573 111792128 25961 33554432000 4194304 6245536 140736078322544 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 27293 25961 229 501 0 26789 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 109172
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21891
/proc/meminfo: memFree=31871144/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=110764 CPUtime=1302.33 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 28264 0 0 0 130230 3 0 0 25 0 1 0 888729573 113422336 26369 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 27691 26369 229 501 0 27187 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 110764
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 21893
/proc/meminfo: memFree=31870368/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=111424 CPUtime=1362.32 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 28381 0 0 0 136229 3 0 0 25 0 1 0 888729573 114098176 26486 33554432000 4194304 6245536 140736078322544 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 27856 26486 229 501 0 27352 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 111424
[startup+1422.31 s]
/proc/loadavg: 2.03 2.00 1.96 3/178 21895
/proc/meminfo: memFree=31869836/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=111804 CPUtime=1422.33 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 28466 0 0 0 142230 3 0 0 25 0 1 0 888729573 114487296 26571 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 27951 26571 229 501 0 27447 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 111804
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 21896
/proc/meminfo: memFree=31869668/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=111936 CPUtime=1482.33 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 28514 0 0 0 148230 3 0 0 25 0 1 0 888729573 114622464 26619 33554432000 4194304 6245536 140736078322544 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 27984 26619 229 501 0 27480 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 111936
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21898
/proc/meminfo: memFree=31868516/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=112912 CPUtime=1542.33 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 28723 0 0 0 154230 3 0 0 25 0 1 0 888729573 115621888 26828 33554432000 4194304 6245536 140736078322544 18446744073709551615 4361770 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 28228 26828 229 501 0 27724 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 112912
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21899
/proc/meminfo: memFree=31865992/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=115488 CPUtime=1602.34 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 29350 0 0 0 160230 4 0 0 25 0 1 0 888729573 118259712 27455 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628961 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 28872 27455 229 501 0 28368 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 115488
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21901
/proc/meminfo: memFree=31865064/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=116392 CPUtime=1662.34 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 29548 0 0 0 166230 4 0 0 25 0 1 0 888729573 119185408 27653 33554432000 4194304 6245536 140736078322544 18446744073709551615 4635039 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 29098 27653 229 501 0 28594 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 116392
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21903
/proc/meminfo: memFree=31865020/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=116392 CPUtime=1722.34 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 29554 0 0 0 172230 4 0 0 25 0 1 0 888729573 119185408 27659 33554432000 4194304 6245536 140736078322544 18446744073709551615 4409797 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 29098 27659 229 501 0 28594 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 116392
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21904
/proc/meminfo: memFree=31863640/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=117160 CPUtime=1782.34 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 29767 0 0 0 178230 4 0 0 25 0 1 0 888729573 119971840 27872 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 29290 27872 229 501 0 28786 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 117160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21905
/proc/meminfo: memFree=31863876/32951124 swapFree=67052968/67111528
[pid=21691] ppid=21689 vsize=117160 CPUtime=1800.05 cores=0,2,4,6
/proc/21691/stat : 21691 (clasp) R 21689 21691 16623 0 -1 4202496 29770 0 0 0 180001 4 0 0 25 0 1 0 888729573 119971840 27875 33554432000 4194304 6245536 140736078322544 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21691/statm: 29290 27875 229 501 0 28786 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 117160
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.02
CPU system time (s): 0.045993
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 117160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.045993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29780
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= 4125
runsolver used 2.6566 second user time and 5.53916 second system time
The end