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-3491966-1307780395/watcher-3491966-1307780395 -o /tmp/evaluation-result-3491966-1307780395/solver-3491966-1307780395 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491966-1307780395.opb --solu --heu=VSIDS
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.97 1.92 2/177 19274
/proc/meminfo: memFree=31623976/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=6624 CPUtime=0 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 1405 0 0 0 0 0 0 0 25 0 1 0 889642169 6782976 1230 33554432000 4194304 6245536 140734207152192 18446744073709551615 5418137 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19274/statm: 1656 1231 179 501 0 1152 0
[startup+0.051342 s]
/proc/loadavg: 1.84 1.97 1.92 2/177 19274
/proc/meminfo: memFree=31623976/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=10848 CPUtime=0.04 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 3203 0 0 0 4 0 0 0 25 0 1 0 889642169 11108352 2382 33554432000 4194304 6245536 140734207152192 18446744073709551615 4635025 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19274/statm: 2712 2382 221 501 0 2208 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10848
[startup+0.100321 s]
/proc/loadavg: 1.84 1.97 1.92 2/177 19274
/proc/meminfo: memFree=31623976/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=10848 CPUtime=0.09 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 3216 0 0 0 9 0 0 0 25 0 1 0 889642169 11108352 2395 33554432000 4194304 6245536 140734207152192 18446744073709551615 4323516 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19274/statm: 2712 2395 221 501 0 2208 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10848
[startup+0.300285 s]
/proc/loadavg: 1.84 1.97 1.92 2/177 19274
/proc/meminfo: memFree=31623976/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=12300 CPUtime=0.29 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 3582 0 0 0 29 0 0 0 25 0 1 0 889642169 12595200 2761 33554432000 4194304 6245536 140734207152192 18446744073709551615 4627929 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19274/statm: 3075 2761 227 501 0 2571 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12300
[startup+0.700216 s]
/proc/loadavg: 1.84 1.97 1.92 2/177 19274
/proc/meminfo: memFree=31623976/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=15472 CPUtime=0.69 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 4378 0 0 0 69 0 0 0 25 0 1 0 889642169 15843328 3557 33554432000 4194304 6245536 140734207152192 18446744073709551615 4701652 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19274/statm: 3868 3557 227 501 0 3364 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15472
[startup+1.50107 s]
/proc/loadavg: 1.84 1.97 1.92 3/178 19275
/proc/meminfo: memFree=31606280/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=16396 CPUtime=1.49 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 4601 0 0 0 149 0 0 0 25 0 1 0 889642169 16789504 3780 33554432000 4194304 6245536 140734207152192 18446744073709551615 4392185 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19274/statm: 4099 3780 227 501 0 3595 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16396
[startup+3.10079 s]
/proc/loadavg: 1.84 1.97 1.92 4/178 19275
/proc/meminfo: memFree=31603180/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=17980 CPUtime=3.09 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 4977 0 0 0 309 0 0 0 25 0 1 0 889642169 18411520 4156 33554432000 4194304 6245536 140734207152192 18446744073709551615 4628817 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19274/statm: 4495 4156 228 501 0 3991 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17980
[startup+6.30023 s]
/proc/loadavg: 1.85 1.97 1.92 3/178 19275
/proc/meminfo: memFree=31599760/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=24872 CPUtime=6.29 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 6699 0 0 0 629 0 0 0 25 0 1 0 889642169 25468928 5878 33554432000 4194304 6245536 140734207152192 18446744073709551615 4628062 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/19274/statm: 6218 5878 229 501 0 5714 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24872
[startup+12.7001 s]
/proc/loadavg: 1.86 1.97 1.92 3/178 19275
/proc/meminfo: memFree=31582404/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=24872 CPUtime=12.69 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 6700 0 0 0 1269 0 0 0 25 0 1 0 889642169 25468928 5879 33554432000 4194304 6245536 140734207152192 18446744073709551615 4323530 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 6218 5879 229 501 0 5714 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24872
[startup+25.5008 s]
/proc/loadavg: 1.89 1.97 1.92 3/178 19276
/proc/meminfo: memFree=31571628/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=24872 CPUtime=25.49 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 6704 0 0 0 2549 0 0 0 25 0 1 0 889642169 25468928 5883 33554432000 4194304 6245536 140734207152192 18446744073709551615 4700451 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 6218 5883 229 501 0 5714 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24872
[startup+51.1003 s]
/proc/loadavg: 1.93 1.97 1.92 3/178 19276
/proc/meminfo: memFree=31558704/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=24872 CPUtime=51.09 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 6705 0 0 0 5109 0 0 0 25 0 1 0 889642169 25468928 5884 33554432000 4194304 6245536 140734207152192 18446744073709551615 4702901 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 6218 5884 229 501 0 5714 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 24872
[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.92 3/178 19278
/proc/meminfo: memFree=31538216/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=38752 CPUtime=102.3 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 10006 0 0 0 10229 1 0 0 25 0 1 0 889642169 39682048 9185 33554432000 4194304 6245536 140734207152192 18446744073709551615 4628043 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 9688 9185 229 501 0 9184 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 38752
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 19279
/proc/meminfo: memFree=31511856/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=56048 CPUtime=162.29 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 14262 0 0 0 16228 1 0 0 25 0 1 0 889642169 57393152 13441 33554432000 4194304 6245536 140734207152192 18446744073709551615 4700632 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 14012 13441 229 501 0 13508 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 56048
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 19281
/proc/meminfo: memFree=31509556/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=57632 CPUtime=222.29 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 14627 0 0 0 22228 1 0 0 25 0 1 0 889642169 59015168 13806 33554432000 4194304 6245536 140734207152192 18446744073709551615 4628868 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 14408 13806 229 501 0 13904 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 57632
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 19282
/proc/meminfo: memFree=31503904/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=57632 CPUtime=282.29 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 14627 0 0 0 28228 1 0 0 25 0 1 0 889642169 59015168 13806 33554432000 4194304 6245536 140734207152192 18446744073709551615 5364502 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 14408 13806 229 501 0 13904 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 57632
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 19284
/proc/meminfo: memFree=31477796/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=83116 CPUtime=342.29 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 21035 0 0 0 34227 2 0 0 25 0 1 0 889642169 85110784 20214 33554432000 4194304 6245536 140734207152192 18446744073709551615 4628286 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 20779 20214 229 501 0 20275 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 83116
[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 19286
/proc/meminfo: memFree=31477852/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=83116 CPUtime=402.29 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 21036 0 0 0 40227 2 0 0 25 0 1 0 889642169 85110784 20215 33554432000 4194304 6245536 140734207152192 18446744073709551615 4610906 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 20779 20215 229 501 0 20275 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 83116
[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 19287
/proc/meminfo: memFree=31477916/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=83116 CPUtime=462.3 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 21036 0 0 0 46228 2 0 0 25 0 1 0 889642169 85110784 20215 33554432000 4194304 6245536 140734207152192 18446744073709551615 4637456 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 20779 20215 229 501 0 20275 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 83116
[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 19289
/proc/meminfo: memFree=31473628/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=87476 CPUtime=522.3 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 22162 0 0 0 52228 2 0 0 25 0 1 0 889642169 89575424 21341 33554432000 4194304 6245536 140734207152192 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 21869 21341 229 501 0 21365 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 87476
[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.92 3/178 19290
/proc/meminfo: memFree=31471452/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=87476 CPUtime=582.3 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 22162 0 0 0 58228 2 0 0 25 0 1 0 889642169 89575424 21341 33554432000 4194304 6245536 140734207152192 18446744073709551615 4628058 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 21869 21341 229 501 0 21365 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 87476
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 19297
/proc/meminfo: memFree=31448372/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=87476 CPUtime=822.3 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 22165 0 0 0 82228 2 0 0 25 0 1 0 889642169 89575424 21344 33554432000 4194304 6245536 140734207152192 18446744073709551615 4700439 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 21869 21344 229 501 0 21365 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 87476
[startup+882.301 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 19298
/proc/meminfo: memFree=31409364/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=96400 CPUtime=882.31 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 24388 0 0 0 88228 3 0 0 25 0 1 0 889642169 98713600 23567 33554432000 4194304 6245536 140734207152192 18446744073709551615 4700461 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 24100 23567 229 501 0 23596 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 96400
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 19300
/proc/meminfo: memFree=31399272/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=106544 CPUtime=942.31 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 26927 0 0 0 94228 3 0 0 25 0 1 0 889642169 109101056 26106 33554432000 4194304 6245536 140734207152192 18446744073709551615 4700461 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 26636 26106 229 501 0 26132 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 106544
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 19302
/proc/meminfo: memFree=31399084/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=106544 CPUtime=1002.31 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 26934 0 0 0 100228 3 0 0 25 0 1 0 889642169 109101056 26113 33554432000 4194304 6245536 140734207152192 18446744073709551615 4628300 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 26636 26113 229 501 0 26132 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 106544
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 19303
/proc/meminfo: memFree=31399148/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=106544 CPUtime=1062.31 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 26938 0 0 0 106228 3 0 0 25 0 1 0 889642169 109101056 26117 33554432000 4194304 6245536 140734207152192 18446744073709551615 4628300 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 26636 26117 229 501 0 26132 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 106544
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/178 19305
/proc/meminfo: memFree=31399076/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=106544 CPUtime=1122.31 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 26951 0 0 0 112228 3 0 0 25 0 1 0 889642169 109101056 26130 33554432000 4194304 6245536 140734207152192 18446744073709551615 4700416 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 26636 26130 229 501 0 26132 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 106544
[startup+1182.3 s]
/proc/loadavg: 2.07 2.00 1.93 3/178 19306
/proc/meminfo: memFree=31397520/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=108260 CPUtime=1182.31 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 27355 0 0 0 118228 3 0 0 25 0 1 0 889642169 110858240 26534 33554432000 4194304 6245536 140734207152192 18446744073709551615 4700645 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 27065 26534 229 501 0 26561 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 108260
[startup+1242.3 s]
/proc/loadavg: 2.02 2.00 1.93 3/178 19308
/proc/meminfo: memFree=31398196/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=107308 CPUtime=1242.32 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 27416 0 0 0 124229 3 0 0 25 0 1 0 889642169 109883392 26284 33554432000 4194304 6245536 140734207152192 18446744073709551615 4637480 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 26827 26284 229 501 0 26323 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 107308
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 19310
/proc/meminfo: memFree=31397760/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=107888 CPUtime=1302.32 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 27556 0 0 0 130229 3 0 0 25 0 1 0 889642169 110477312 26424 33554432000 4194304 6245536 140734207152192 18446744073709551615 4323456 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 26972 26424 229 501 0 26468 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 107888
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19311
/proc/meminfo: memFree=31396076/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=109460 CPUtime=1362.32 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 27959 0 0 0 136229 3 0 0 25 0 1 0 889642169 112087040 26827 33554432000 4194304 6245536 140734207152192 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 27365 26827 229 501 0 26861 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 109460
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19313
/proc/meminfo: memFree=31380252/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=125320 CPUtime=1422.33 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 31936 0 0 0 142229 4 0 0 25 0 1 0 889642169 128327680 30804 33554432000 4194304 6245536 140734207152192 18446744073709551615 4628289 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 31330 30804 229 501 0 30826 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 125320
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19314
/proc/meminfo: memFree=31381284/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=123484 CPUtime=1482.32 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 31939 0 0 0 148228 4 0 0 25 0 1 0 889642169 126447616 30373 33554432000 4194304 6245536 140734207152192 18446744073709551615 4605168 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 30871 30373 229 501 0 30367 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 123484
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19316
/proc/meminfo: memFree=31381368/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=123484 CPUtime=1542.33 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 31945 0 0 0 154229 4 0 0 25 0 1 0 889642169 126447616 30379 33554432000 4194304 6245536 140734207152192 18446744073709551615 4637456 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 30871 30379 229 501 0 30367 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 123484
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19318
/proc/meminfo: memFree=31381312/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=123484 CPUtime=1602.33 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 31945 0 0 0 160229 4 0 0 25 0 1 0 889642169 126447616 30379 33554432000 4194304 6245536 140734207152192 18446744073709551615 4302388 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 30871 30379 229 501 0 30367 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 123484
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19319
/proc/meminfo: memFree=31381384/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=123484 CPUtime=1662.33 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 31945 0 0 0 166229 4 0 0 25 0 1 0 889642169 126447616 30379 33554432000 4194304 6245536 140734207152192 18446744073709551615 4700632 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 30871 30379 229 501 0 30367 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 123484
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19321
/proc/meminfo: memFree=31381320/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=123484 CPUtime=1722.33 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 31945 0 0 0 172229 4 0 0 25 0 1 0 889642169 126447616 30379 33554432000 4194304 6245536 140734207152192 18446744073709551615 4628286 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 30871 30379 229 501 0 30367 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 123484
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 19322
/proc/meminfo: memFree=31381140/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=123484 CPUtime=1782.33 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 31947 0 0 0 178229 4 0 0 25 0 1 0 889642169 126447616 30381 33554432000 4194304 6245536 140734207152192 18446744073709551615 4700384 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 30871 30381 229 501 0 30367 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 123484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 1.93 2/176 19324
/proc/meminfo: memFree=31504764/32951124 swapFree=67052812/67111528
[pid=19274] ppid=19272 vsize=123484 CPUtime=1800.04 cores=1,3,5,7
/proc/19274/stat : 19274 (clasp) R 19272 19274 15120 0 -1 4202496 31947 0 0 0 180000 4 0 0 25 0 1 0 889642169 126447616 30381 33554432000 4194304 6245536 140734207152192 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/19274/statm: 30871 30381 229 501 0 30367 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 123484
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.05
CPU user time (s): 1800
CPU system time (s): 0.051992
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 125320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.051992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31958
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= 4607
runsolver used 2.45563 second user time and 5.73613 second system time
The end