runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3741780-1338781322/watcher-3741780-1338781322 -o /tmp/evaluation-result-3741780-1338781322/solver-3741780-1338781322 -C 1800 -W 1900 -M 15500 pbclasp instance-3741780-1338781322.opb HOME/temp
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.12 1.16 1.36 3/178 21161
/proc/meminfo: memFree=27276096/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) R 21159 21161 4306 0 -1 4202496 559 0 0 0 0 0 0 0 20 0 1 0 344258323 26206208 489 33554432000 4194304 4198148 140734247158320 140734247155768 251031687060 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6398 490 355 1 0 193 0
[startup+0.019571 s]
/proc/loadavg: 1.12 1.16 1.36 3/178 21161
/proc/meminfo: memFree=27276096/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26016 CPUtime=0.01 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) R 21159 21161 4306 0 -1 4202496 674 0 0 0 1 0 0 0 20 0 1 0 344258323 26640384 604 33554432000 4194304 4198148 140734247158320 140734247155768 251044822288 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6504 604 361 1 0 299 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26016
[startup+0.100262 s]
/proc/loadavg: 1.12 1.16 1.36 3/178 21161
/proc/meminfo: memFree=27276096/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26416 CPUtime=0.09 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) R 21159 21161 4306 0 -1 4202496 768 0 0 0 9 0 0 0 20 0 1 0 344258323 27049984 698 33554432000 4194304 4198148 140734247158320 140734247155768 251044822281 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6604 698 361 1 0 399 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26416
[startup+0.300206 s]
/proc/loadavg: 1.12 1.16 1.36 3/178 21161
/proc/meminfo: memFree=27276096/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26988 CPUtime=0.14 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 916 0 0 0 14 0 0 0 20 0 1 0 344258323 27635712 830 33554432000 4194304 4198148 140734247158320 140734247157208 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6747 830 368 1 0 542 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 26988
[startup+0.700179 s]
/proc/loadavg: 1.12 1.16 1.36 3/178 21161
/proc/meminfo: memFree=27276096/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26988 CPUtime=0.14 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 916 0 0 0 14 0 0 0 20 0 1 0 344258323 27635712 830 33554432000 4194304 4198148 140734247158320 140734247157208 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6747 830 368 1 0 542 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 26988
[startup+1.5003 s]
/proc/loadavg: 1.19 1.18 1.36 3/181 21164
/proc/meminfo: memFree=27273120/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26988 CPUtime=0.14 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 916 0 0 0 14 0 0 0 20 0 1 0 344258323 27635712 830 33554432000 4194304 4198148 140734247158320 140734247157208 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6747 830 368 1 0 542 0
[pid=21163] ppid=21161 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21163/stat : 21163 (sh) S 21161 21161 4306 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 344258338 9367552 267 33554432000 4194304 5064252 140734210348480 140734210347360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21163/statm: 2287 267 226 213 0 72 0
[pid=21164] ppid=21163 vsize=25724 CPUtime=1.33 cores=1,3,5,7
/proc/21164/stat : 21164 (pb2clasp1) R 21163 21161 4306 0 -1 4202496 612 0 0 0 133 0 0 0 20 0 1 0 344258338 26341376 521 33554432000 4194304 4198148 140736453015280 140736453005816 251044381536 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/21164/statm: 6431 521 378 1 0 226 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 61860
[startup+3.1003 s]
/proc/loadavg: 1.19 1.18 1.36 3/181 21164
/proc/meminfo: memFree=27271260/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26988 CPUtime=0.14 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 916 0 0 0 14 0 0 0 20 0 1 0 344258323 27635712 830 33554432000 4194304 4198148 140734247158320 140734247157208 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6747 830 368 1 0 542 0
[pid=21163] ppid=21161 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21163/stat : 21163 (sh) S 21161 21161 4306 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 344258338 9367552 267 33554432000 4194304 5064252 140734210348480 140734210347360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21163/statm: 2287 267 226 213 0 72 0
[pid=21164] ppid=21163 vsize=25724 CPUtime=2.94 cores=1,3,5,7
/proc/21164/stat : 21164 (pb2clasp1) R 21163 21161 4306 0 -1 4202496 612 0 0 0 293 1 0 0 20 0 1 0 344258338 26341376 521 33554432000 4194304 4198148 140736453015280 140736453005816 251031670533 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/21164/statm: 6431 521 378 1 0 226 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 61860
[startup+6.3003 s]
/proc/loadavg: 1.25 1.19 1.37 3/181 21164
/proc/meminfo: memFree=27267140/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26988 CPUtime=0.14 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 916 0 0 0 14 0 0 0 20 0 1 0 344258323 27635712 830 33554432000 4194304 4198148 140734247158320 140734247157208 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6747 830 368 1 0 542 0
[pid=21163] ppid=21161 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21163/stat : 21163 (sh) S 21161 21161 4306 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 344258338 9367552 267 33554432000 4194304 5064252 140734210348480 140734210347360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21163/statm: 2287 267 226 213 0 72 0
[pid=21164] ppid=21163 vsize=25724 CPUtime=6.14 cores=1,3,5,7
/proc/21164/stat : 21164 (pb2clasp1) R 21163 21161 4306 0 -1 4202496 612 0 0 0 612 2 0 0 20 0 1 0 344258338 26341376 521 33554432000 4194304 4198148 140736453015280 140736453005816 251035444464 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/21164/statm: 6431 521 378 1 0 226 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 61860
[startup+12.7003 s]
/proc/loadavg: 1.31 1.20 1.37 3/181 21164
/proc/meminfo: memFree=27258096/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=26988 CPUtime=0.14 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 916 0 0 0 14 0 0 0 20 0 1 0 344258323 27635712 830 33554432000 4194304 4198148 140734247158320 140734247157208 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6747 830 368 1 0 542 0
[pid=21163] ppid=21161 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21163/stat : 21163 (sh) S 21161 21161 4306 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 344258338 9367552 267 33554432000 4194304 5064252 140734210348480 140734210347360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21163/statm: 2287 267 226 213 0 72 0
[pid=21164] ppid=21163 vsize=25724 CPUtime=12.54 cores=1,3,5,7
/proc/21164/stat : 21164 (pb2clasp1) R 21163 21161 4306 0 -1 4202496 612 0 0 0 1249 5 0 0 20 0 1 0 344258338 26341376 521 33554432000 4194304 4198148 140736453015280 140736453005816 251035444368 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/21164/statm: 6431 521 378 1 0 226 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 61860
[startup+25.5003 s]
/proc/loadavg: 1.40 1.22 1.37 3/181 21187
/proc/meminfo: memFree=27141520/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=22.56 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 1550 46901 0 0 17 0 2207 32 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21185] ppid=21161 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21185/stat : 21185 (sh) S 21161 21161 4306 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 344260581 9367552 264 33554432000 4194304 5064252 140737408595248 140737408593504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21185/statm: 2287 264 223 213 0 72 0
[pid=21187] ppid=21185 vsize=81336 CPUtime=2.9 cores=1,3,5,7
/proc/21187/stat : 21187 (clasp-1.0) R 21185 21161 4306 0 -1 4202496 20463 0 0 0 287 3 0 0 20 0 1 0 344260581 83288064 19538 33554432000 134512640 134847168 4292127616 4292126316 134744656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21187/statm: 20334 19538 269 82 0 19575 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 117868
[startup+51.1004 s]
/proc/loadavg: 1.72 1.32 1.40 3/181 21227
/proc/meminfo: memFree=27115332/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=41.2 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2248 159132 0 0 21 1 4019 79 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21225] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21225/stat : 21225 (sh) S 21161 21161 4306 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 344262527 9367552 264 33554432000 4194304 5064252 140734254649104 140734254647360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21225/statm: 2287 264 223 213 0 72 0
[pid=21227] ppid=21225 vsize=83324 CPUtime=9.04 cores=1,3,5,7
/proc/21227/stat : 21227 (clasp-1.0) R 21225 21161 4306 0 -1 4202496 21003 0 0 0 900 4 0 0 20 0 1 0 344262527 85323776 20079 33554432000 134512640 134847168 4289988064 4289986744 134789711 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21227/statm: 20831 20079 270 82 0 20072 0
Current children cumulated CPU time (s) 50.25
Current children cumulated vsize (KiB) 119856
[startup+102.307 s]
/proc/loadavg: 1.92 1.43 1.43 3/181 21228
/proc/meminfo: memFree=27016324/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=41.2 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2248 159132 0 0 21 1 4019 79 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21225] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21225/stat : 21225 (sh) S 21161 21161 4306 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 344262527 9367552 264 33554432000 4194304 5064252 140734254649104 140734254647360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21225/statm: 2287 264 223 213 0 72 0
[pid=21227] ppid=21225 vsize=150168 CPUtime=60.24 cores=1,3,5,7
/proc/21227/stat : 21227 (clasp-1.0) R 21225 21161 4306 0 -1 4202496 37691 0 0 0 6015 9 0 0 20 0 1 0 344262527 153772032 36760 33554432000 134512640 134847168 4289988064 4289986756 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21227/statm: 37542 36760 270 82 0 36783 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 186700
[startup+162.3 s]
/proc/loadavg: 1.97 1.54 1.47 3/181 21228
/proc/meminfo: memFree=26990312/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=41.2 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2248 159132 0 0 21 1 4019 79 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21225] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21225/stat : 21225 (sh) S 21161 21161 4306 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 344262527 9367552 264 33554432000 4194304 5064252 140734254649104 140734254647360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21225/statm: 2287 264 223 213 0 72 0
[pid=21227] ppid=21225 vsize=166608 CPUtime=120.21 cores=1,3,5,7
/proc/21227/stat : 21227 (clasp-1.0) R 21225 21161 4306 0 -1 4202496 41798 0 0 0 12009 12 0 0 20 0 1 0 344262527 170606592 41008 33554432000 134512640 134847168 4289988064 4289986756 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21227/statm: 41652 41008 270 82 0 40893 0
Current children cumulated CPU time (s) 161.42
Current children cumulated vsize (KiB) 203140
[startup+222.3 s]
/proc/loadavg: 1.99 1.62 1.50 3/181 21228
/proc/meminfo: memFree=26967600/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=41.2 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2248 159132 0 0 21 1 4019 79 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21225] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21225/stat : 21225 (sh) S 21161 21161 4306 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 344262527 9367552 264 33554432000 4194304 5064252 140734254649104 140734254647360 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21225/statm: 2287 264 223 213 0 72 0
[pid=21227] ppid=21225 vsize=178260 CPUtime=180.2 cores=1,3,5,7
/proc/21227/stat : 21227 (clasp-1.0) R 21225 21161 4306 0 -1 4202496 44764 0 0 0 18005 15 0 0 20 0 1 0 344262527 182538240 43858 33554432000 134512640 134847168 4289988064 4289986756 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21227/statm: 44565 43858 270 82 0 43806 0
Current children cumulated CPU time (s) 221.41
Current children cumulated vsize (KiB) 214792
[startup+282.3 s]
################
# More data... #
################
[pid=21161] ppid=21159 vsize=27384 CPUtime=332.13 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2352 211471 0 0 21 1 33088 103 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21245] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21245/stat : 21245 (sh) S 21161 21161 4306 0 -1 4202496 369 220 0 0 0 0 0 1 20 0 1 0 344291626 9367552 263 33554432000 4194304 5064252 140733469690736 140733469688992 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21245/statm: 2287 263 223 213 0 72 0
[pid=21247] ppid=21245 vsize=284960 CPUtime=1209.03 cores=1,3,5,7
/proc/21247/stat : 21247 (clasp-1.0) R 21245 21161 4306 0 -1 4202496 71217 0 0 0 120877 26 0 0 20 0 1 0 344291626 291799040 70633 33554432000 134512640 134847168 4294588544 4294587172 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21247/statm: 71240 70633 270 82 0 70481 0
Current children cumulated CPU time (s) 1541.17
Current children cumulated vsize (KiB) 321492
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.86 3/181 21379
/proc/meminfo: memFree=26403032/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=332.13 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2352 211471 0 0 21 1 33088 103 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21245] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21245/stat : 21245 (sh) S 21161 21161 4306 0 -1 4202496 369 220 0 0 0 0 0 1 20 0 1 0 344291626 9367552 263 33554432000 4194304 5064252 140733469690736 140733469688992 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21245/statm: 2287 263 223 213 0 72 0
[pid=21247] ppid=21245 vsize=284960 CPUtime=1269.02 cores=1,3,5,7
/proc/21247/stat : 21247 (clasp-1.0) R 21245 21161 4306 0 -1 4202496 71217 0 0 0 126876 26 0 0 20 0 1 0 344291626 291799040 70633 33554432000 134512640 134847168 4294588544 4294587164 134789696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21247/statm: 71240 70633 270 82 0 70481 0
Current children cumulated CPU time (s) 1601.16
Current children cumulated vsize (KiB) 321492
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.86 3/181 21379
/proc/meminfo: memFree=26393980/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=332.13 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2352 211471 0 0 21 1 33088 103 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21245] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21245/stat : 21245 (sh) S 21161 21161 4306 0 -1 4202496 369 220 0 0 0 0 0 1 20 0 1 0 344291626 9367552 263 33554432000 4194304 5064252 140733469690736 140733469688992 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21245/statm: 2287 263 223 213 0 72 0
[pid=21247] ppid=21245 vsize=295740 CPUtime=1329.01 cores=1,3,5,7
/proc/21247/stat : 21247 (clasp-1.0) R 21245 21161 4306 0 -1 4202496 73904 0 0 0 132873 28 0 0 20 0 1 0 344291626 302837760 73320 33554432000 134512640 134847168 4294588544 4294587224 134789714 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21247/statm: 73935 73320 270 82 0 73176 0
Current children cumulated CPU time (s) 1661.15
Current children cumulated vsize (KiB) 332272
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.87 3/182 21382
/proc/meminfo: memFree=26382068/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=332.13 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2352 211471 0 0 21 1 33088 103 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21245] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21245/stat : 21245 (sh) S 21161 21161 4306 0 -1 4202496 369 220 0 0 0 0 0 1 20 0 1 0 344291626 9367552 263 33554432000 4194304 5064252 140733469690736 140733469688992 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21245/statm: 2287 263 223 213 0 72 0
[pid=21247] ppid=21245 vsize=307864 CPUtime=1389 cores=1,3,5,7
/proc/21247/stat : 21247 (clasp-1.0) R 21245 21161 4306 0 -1 4202496 77000 0 0 0 138870 30 0 0 20 0 1 0 344291626 315252736 76213 33554432000 134512640 134847168 4294588544 4294587172 134616350 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21247/statm: 76966 76213 270 82 0 76207 0
Current children cumulated CPU time (s) 1721.14
Current children cumulated vsize (KiB) 344396
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 1.88 3/181 21382
/proc/meminfo: memFree=26381540/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=332.13 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2352 211471 0 0 21 1 33088 103 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21245] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21245/stat : 21245 (sh) S 21161 21161 4306 0 -1 4202496 369 220 0 0 0 0 0 1 20 0 1 0 344291626 9367552 263 33554432000 4194304 5064252 140733469690736 140733469688992 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21245/statm: 2287 263 223 213 0 72 0
[pid=21247] ppid=21245 vsize=307864 CPUtime=1448.99 cores=1,3,5,7
/proc/21247/stat : 21247 (clasp-1.0) R 21245 21161 4306 0 -1 4202496 77023 0 0 0 144869 30 0 0 20 0 1 0 344291626 315252736 76236 33554432000 134512640 134847168 4294588544 4294587236 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21247/statm: 76966 76236 270 82 0 76207 0
Current children cumulated CPU time (s) 1781.13
Current children cumulated vsize (KiB) 344396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.2 s]
/proc/loadavg: 2.04 2.01 1.88 3/181 21382
/proc/meminfo: memFree=26381416/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=332.13 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2352 211471 0 0 21 1 33088 103 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21245] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21245/stat : 21245 (sh) S 21161 21161 4306 0 -1 4202496 369 220 0 0 0 0 0 1 20 0 1 0 344291626 9367552 263 33554432000 4194304 5064252 140733469690736 140733469688992 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21245/statm: 2287 263 223 213 0 72 0
[pid=21247] ppid=21245 vsize=307864 CPUtime=1467.9 cores=1,3,5,7
/proc/21247/stat : 21247 (clasp-1.0) R 21245 21161 4306 0 -1 4202496 77024 0 0 0 146760 30 0 0 20 0 1 0 344291626 315252736 76237 33554432000 134512640 134847168 4294588544 4294587236 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21247/statm: 76966 76237 270 82 0 76207 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 344396
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -21161
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.04 2.01 1.88 3/181 21382
/proc/meminfo: memFree=26381416/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=1800.11 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2519 291275 0 0 22 1 179848 140 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 27384
[startup+1802.2 s]
/proc/loadavg: 2.04 2.01 1.88 3/184 21401
/proc/meminfo: memFree=27262856/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=1800.11 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2519 291275 0 0 22 1 179848 140 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21396] ppid=21161 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21396/stat : 21396 (sh) S 21161 21161 4306 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 344438450 9367552 264 33554432000 4194304 5064252 140736357160768 140736357159024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21396/statm: 2287 264 223 213 0 72 0
[pid=21397] ppid=21396 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/21397/stat : 21397 (cat) S 21396 21161 4306 0 -1 4202496 211 0 0 0 0 0 0 0 20 0 1 0 344438450 4100096 122 33554432000 4194304 4236627 140735393873600 140735393872696 251032061408 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21397/statm: 1001 122 97 11 0 67 0
[pid=21398] ppid=21396 vsize=21508 CPUtime=0.92 cores=1,3,5,7
/proc/21398/stat : 21398 (clasp-1.0) R 21396 21161 4306 0 -1 4202496 4918 0 0 0 91 1 0 0 20 0 1 0 344438450 22024192 4815 33554432000 134512640 134847168 4287871488 4287867008 3925287 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21398/statm: 5377 4815 249 82 0 4618 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 62044
[startup+1803 s]
/proc/loadavg: 2.04 2.01 1.88 3/184 21401
/proc/meminfo: memFree=27223184/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=1800.11 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2519 291275 0 0 22 1 179848 140 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21396] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21396/stat : 21396 (sh) S 21161 21161 4306 0 -1 4202496 373 220 0 0 0 0 0 1 20 0 1 0 344438450 9367552 264 33554432000 4194304 5064252 140736357160768 140736357159024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 2287 264 223 213 0 72 0
[pid=21398] ppid=21396 vsize=52928 CPUtime=1.72 cores=1,3,5,7
/proc/21398/stat : 21398 (clasp-1.0) R 21396 21161 4306 0 -1 4202496 13375 0 0 0 169 3 0 0 20 0 1 0 344438450 54198272 12514 33554432000 134512640 134847168 4287871488 4287869264 3925287 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21398/statm: 13232 12515 257 82 0 12473 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 89460
[startup+1803.2 s]
/proc/loadavg: 2.04 2.01 1.88 3/184 21401
/proc/meminfo: memFree=27223184/32873844 swapFree=7372/7372
[pid=21161] ppid=21159 vsize=27384 CPUtime=1800.11 cores=1,3,5,7
/proc/21161/stat : 21161 (pbclasp) S 21159 21161 4306 0 -1 4202496 2519 291275 0 0 22 1 179848 140 20 0 1 0 344258323 28041216 967 33554432000 4194304 4198148 140734247158320 140734247157248 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21161/statm: 6846 967 387 1 0 641 0
[pid=21396] ppid=21161 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/21396/stat : 21396 (sh) S 21161 21161 4306 0 -1 4202496 373 220 0 0 0 0 0 1 20 0 1 0 344438450 9367552 264 33554432000 4194304 5064252 140736357160768 140736357159024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21396/statm: 2287 264 223 213 0 72 0
[pid=21398] ppid=21396 vsize=72892 CPUtime=1.93 cores=1,3,5,7
/proc/21398/stat : 21398 (clasp-1.0) R 21396 21161 4306 0 -1 4202496 18363 0 0 0 189 4 0 0 20 0 1 0 344438450 74641408 17502 33554432000 134512640 134847168 4287871488 4287869264 3925287 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21398/statm: 18223 17505 257 82 0 17464 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 109424
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21161 and gives
# childrusage.ru_utime.tv_sec=1798
# childrusage.ru_utime.tv_usec=708554
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=431782
# CPU time returned by wait4() is 1800.14
# while last known CPU time is 1802.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1803.22
CPU time (s): 1802.05
CPU user time (s): 1800.59
CPU system time (s): 1.46
CPU usage (%): 99.9349
Max. virtual memory (cumulated for all children) (KiB): 344396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.71
system time used= 1.43178
maximum resident set size= 304948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294843
page faults= 0
swaps= 0
block input operations= 0
block output operations= 364944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41588
involuntary context switches= 2278
runsolver used 3.53646 second user time and 9.46656 second system time
The end