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-3741310-1338776230/watcher-3741310-1338776230 -o /tmp/evaluation-result-3741310-1338776230/solver-3741310-1338776230 -C 1800 -W 1900 -M 15500 pbclasp instance-3741310-1338776230.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: 2.00 2.00 2.00 3/178 4833
/proc/meminfo: memFree=27547412/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 591 0 0 0 0 0 0 0 20 0 1 0 343749088 26206208 504 33554432000 4194304 4198148 140736536207936 140736536206824 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6398 504 368 1 0 193 0
[startup+0.0638379 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4833
/proc/meminfo: memFree=27547412/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 591 0 0 0 0 0 0 0 20 0 1 0 343749088 26206208 504 33554432000 4194304 4198148 140736536207936 140736536206824 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6398 504 368 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.100252 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4833
/proc/meminfo: memFree=27547412/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=0.08 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 808 4627 0 0 0 0 7 1 20 0 1 0 343749088 26341376 530 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 530 387 1 0 226 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25724
[startup+0.300251 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4833
/proc/meminfo: memFree=27547412/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=0.21 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 1676 22559 0 0 0 0 16 5 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 25724
[startup+0.700224 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4833
/proc/meminfo: memFree=27547412/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=0.54 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 1922 28039 0 0 0 0 48 6 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 25724
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4923
/proc/meminfo: memFree=27542612/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=1 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2044 31039 0 0 1 0 93 6 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 25724
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 4946
/proc/meminfo: memFree=27531792/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=2.03 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2166 34165 0 0 1 0 194 8 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=4944] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4944/stat : 4944 (sh) S 4833 4833 4306 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 343749294 9367552 264 33554432000 4194304 5064252 140735052553664 140735052551920 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4944/statm: 2287 264 223 213 0 72 0
[pid=4946] ppid=4944 vsize=6464 CPUtime=1.03 cores=1,3,5,7
/proc/4946/stat : 4946 (clasp-1.0) R 4944 4833 4306 0 -1 4202496 1207 0 0 0 103 0 0 0 20 0 1 0 343749294 6619136 1105 33554432000 134512640 134847168 4289139968 4289138592 134784637 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4946/statm: 1616 1105 272 82 0 857 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 41336
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4954
/proc/meminfo: memFree=27502064/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=2.03 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2166 34165 0 0 1 0 194 8 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=4944] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4944/stat : 4944 (sh) S 4833 4833 4306 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 343749294 9367552 264 33554432000 4194304 5064252 140735052553664 140735052551920 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4944/statm: 2287 264 223 213 0 72 0
[pid=4946] ppid=4944 vsize=8128 CPUtime=4.22 cores=1,3,5,7
/proc/4946/stat : 4946 (clasp-1.0) R 4944 4833 4306 0 -1 4202496 1605 0 0 0 422 0 0 0 20 0 1 0 343749294 8323072 1503 33554432000 134512640 134847168 4289139968 4289138544 134714864 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4946/statm: 2032 1503 272 82 0 1273 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 43000
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5005
/proc/meminfo: memFree=27493952/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=2.03 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2166 34165 0 0 1 0 194 8 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=4944] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4944/stat : 4944 (sh) S 4833 4833 4306 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 343749294 9367552 264 33554432000 4194304 5064252 140735052553664 140735052551920 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4944/statm: 2287 264 223 213 0 72 0
[pid=4946] ppid=4944 vsize=9676 CPUtime=10.62 cores=1,3,5,7
/proc/4946/stat : 4946 (clasp-1.0) R 4944 4833 4306 0 -1 4202496 1984 0 0 0 1062 0 0 0 20 0 1 0 343749294 9908224 1882 33554432000 134512640 134847168 4289139968 4289138688 134741925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4946/statm: 2419 1882 272 82 0 1660 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 44548
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5013
/proc/meminfo: memFree=27484652/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=23.55 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2289 38460 0 0 1 0 2345 9 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5011] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5011/stat : 5011 (sh) S 4833 4833 4306 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 343751448 9367552 264 33554432000 4194304 5064252 140735012980480 140735012978736 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5011/statm: 2287 264 223 213 0 72 0
[pid=5013] ppid=5011 vsize=7104 CPUtime=1.89 cores=1,3,5,7
/proc/5013/stat : 5013 (clasp-1.0) R 5011 4833 4306 0 -1 4202496 1359 0 0 0 189 0 0 0 20 0 1 0 343751448 7274496 1256 33554432000 134512640 134847168 4288301712 4288300336 134784625 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5013/statm: 1776 1256 272 82 0 1017 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 41976
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5013
/proc/meminfo: memFree=27457904/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=23.55 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2289 38460 0 0 1 0 2345 9 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5011] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5011/stat : 5011 (sh) S 4833 4833 4306 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 343751448 9367552 264 33554432000 4194304 5064252 140735012980480 140735012978736 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5011/statm: 2287 264 223 213 0 72 0
[pid=5013] ppid=5011 vsize=11376 CPUtime=27.48 cores=1,3,5,7
/proc/5013/stat : 5013 (clasp-1.0) R 5011 4833 4306 0 -1 4202496 2419 0 0 0 2748 0 0 0 20 0 1 0 343751448 11649024 2320 33554432000 134512640 134847168 4288301712 4288300180 134790292 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5013/statm: 2844 2320 272 82 0 2085 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 46248
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5036
/proc/meminfo: memFree=26860352/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=23.55 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2289 38460 0 0 1 0 2345 9 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5011] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5011/stat : 5011 (sh) S 4833 4833 4306 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 343751448 9367552 264 33554432000 4194304 5064252 140735012980480 140735012978736 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5011/statm: 2287 264 223 213 0 72 0
[pid=5013] ppid=5011 vsize=14192 CPUtime=78.68 cores=1,3,5,7
/proc/5013/stat : 5013 (clasp-1.0) R 5011 4833 4306 0 -1 4202496 3092 0 0 0 7868 0 0 0 20 0 1 0 343751448 14532608 3000 33554432000 134512640 134847168 4288301712 4288299988 134792561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5013/statm: 3548 3000 272 82 0 2789 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 49064
[startup+162.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/182 5068
/proc/meminfo: memFree=27131380/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=23.55 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2289 38460 0 0 1 0 2345 9 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5011] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5011/stat : 5011 (sh) S 4833 4833 4306 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 343751448 9367552 264 33554432000 4194304 5064252 140735012980480 140735012978736 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5011/statm: 2287 264 223 213 0 72 0
[pid=5013] ppid=5011 vsize=16032 CPUtime=138.66 cores=1,3,5,7
/proc/5013/stat : 5013 (clasp-1.0) R 5011 4833 4306 0 -1 4202496 3513 0 0 0 13866 0 0 0 20 0 1 0 343751448 16416768 3448 33554432000 134512640 134847168 4288301712 4288300396 134784496 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5013/statm: 4008 3448 272 82 0 3249 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 50904
[startup+222.3 s]
/proc/loadavg: 2.12 2.06 2.02 3/182 5079
/proc/meminfo: memFree=26782596/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=23.55 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2289 38460 0 0 1 0 2345 9 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5011] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5011/stat : 5011 (sh) S 4833 4833 4306 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 343751448 9367552 264 33554432000 4194304 5064252 140735012980480 140735012978736 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5011/statm: 2287 264 223 213 0 72 0
[pid=5013] ppid=5011 vsize=17332 CPUtime=198.65 cores=1,3,5,7
/proc/5013/stat : 5013 (clasp-1.0) R 5011 4833 4306 0 -1 4202496 3806 0 0 0 19865 0 0 0 20 0 1 0 343751448 17747968 3741 33554432000 134512640 134847168 4288301712 4288300264 134714772 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5013/statm: 4333 3741 272 82 0 3574 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 52204
[startup+282.3 s]
/proc/loadavg: 2.09 2.06 2.02 3/181 5104
/proc/meminfo: memFree=26864916/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=274.97 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2412 44432 0 0 1 1 27485 10 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5102] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/5102/stat : 5102 (sh) S 4833 4833 4306 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 343776594 9367552 264 33554432000 4194304 5064252 140734108510768 140734108509024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5102/statm: 2287 264 223 213 0 72 0
[pid=5104] ppid=5102 vsize=25352 CPUtime=1147.06 cores=1,3,5,7
/proc/5104/stat : 5104 (clasp-1.0) R 5102 4833 4306 0 -1 4202496 5672 0 0 0 114704 2 0 0 20 0 1 0 343776594 25960448 5715 33554432000 134512640 134847168 4288196912 4288195616 134748537 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5104/statm: 6338 5715 270 82 0 5579 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 60224
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5235
/proc/meminfo: memFree=26772720/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=274.97 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2412 44432 0 0 1 1 27485 10 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5102] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5102/stat : 5102 (sh) S 4833 4833 4306 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 343776594 9367552 264 33554432000 4194304 5064252 140734108510768 140734108509024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5102/statm: 2287 264 223 213 0 72 0
[pid=5104] ppid=5102 vsize=25636 CPUtime=1207.04 cores=1,3,5,7
/proc/5104/stat : 5104 (clasp-1.0) R 5102 4833 4306 0 -1 4202496 5731 0 0 0 120702 2 0 0 20 0 1 0 343776594 26251264 5862 33554432000 134512640 134847168 4288196912 4288195536 134784673 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5104/statm: 6409 5862 270 82 0 5650 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 60508
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5236
/proc/meminfo: memFree=26772472/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=274.97 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2412 44432 0 0 1 1 27485 10 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5102] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5102/stat : 5102 (sh) S 4833 4833 4306 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 343776594 9367552 264 33554432000 4194304 5064252 140734108510768 140734108509024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5102/statm: 2287 264 223 213 0 72 0
[pid=5104] ppid=5102 vsize=26204 CPUtime=1267.03 cores=1,3,5,7
/proc/5104/stat : 5104 (clasp-1.0) R 5102 4833 4306 0 -1 4202496 5824 0 0 0 126701 2 0 0 20 0 1 0 343776594 26832896 5955 33554432000 134512640 134847168 4288196912 4288195604 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5104/statm: 6551 5955 270 82 0 5792 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 61076
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 5236
/proc/meminfo: memFree=26772100/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=274.97 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2412 44432 0 0 1 1 27485 10 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5102] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5102/stat : 5102 (sh) S 4833 4833 4306 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 343776594 9367552 264 33554432000 4194304 5064252 140734108510768 140734108509024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5102/statm: 2287 264 223 213 0 72 0
[pid=5104] ppid=5102 vsize=26392 CPUtime=1327.02 cores=1,3,5,7
/proc/5104/stat : 5104 (clasp-1.0) R 5102 4833 4306 0 -1 4202496 5883 0 0 0 132700 2 0 0 20 0 1 0 343776594 27025408 6014 33554432000 134512640 134847168 4288196912 4288195536 134784617 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5104/statm: 6598 6014 270 82 0 5839 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 61264
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 5236
/proc/meminfo: memFree=26772596/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=274.97 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2412 44432 0 0 1 1 27485 10 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5102] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5102/stat : 5102 (sh) S 4833 4833 4306 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 343776594 9367552 264 33554432000 4194304 5064252 140734108510768 140734108509024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5102/statm: 2287 264 223 213 0 72 0
[pid=5104] ppid=5102 vsize=26584 CPUtime=1387.01 cores=1,3,5,7
/proc/5104/stat : 5104 (clasp-1.0) R 5102 4833 4306 0 -1 4202496 5902 0 0 0 138699 2 0 0 20 0 1 0 343776594 27222016 6033 33554432000 134512640 134847168 4288196912 4288195552 134782452 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5104/statm: 6646 6033 270 82 0 5887 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 61456
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 5236
/proc/meminfo: memFree=26772224/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=274.97 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2412 44432 0 0 1 1 27485 10 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5102] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5102/stat : 5102 (sh) S 4833 4833 4306 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 343776594 9367552 264 33554432000 4194304 5064252 140734108510768 140734108509024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5102/statm: 2287 264 223 213 0 72 0
[pid=5104] ppid=5102 vsize=26772 CPUtime=1447 cores=1,3,5,7
/proc/5104/stat : 5104 (clasp-1.0) R 5102 4833 4306 0 -1 4202496 5958 0 0 0 144698 2 0 0 20 0 1 0 343776594 27414528 6089 33554432000 134512640 134847168 4288196912 4288195680 134737644 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5104/statm: 6693 6089 270 82 0 5934 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 61644
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 5236
/proc/meminfo: memFree=26771604/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=274.97 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2412 44432 0 0 1 1 27485 10 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5102] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5102/stat : 5102 (sh) S 4833 4833 4306 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 343776594 9367552 264 33554432000 4194304 5064252 140734108510768 140734108509024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5102/statm: 2287 264 223 213 0 72 0
[pid=5104] ppid=5102 vsize=27152 CPUtime=1506.99 cores=1,3,5,7
/proc/5104/stat : 5104 (clasp-1.0) R 5102 4833 4306 0 -1 4202496 6009 0 0 0 150697 2 0 0 20 0 1 0 343776594 27803648 6140 33554432000 134512640 134847168 4288196912 4288195680 134617488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5104/statm: 6788 6140 270 82 0 6029 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 62024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 5237
/proc/meminfo: memFree=26771604/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=274.97 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2412 44432 0 0 1 1 27485 10 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5102] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5102/stat : 5102 (sh) S 4833 4833 4306 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 343776594 9367552 264 33554432000 4194304 5064252 140734108510768 140734108509024 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5102/statm: 2287 264 223 213 0 72 0
[pid=5104] ppid=5102 vsize=27152 CPUtime=1525.1 cores=1,3,5,7
/proc/5104/stat : 5104 (clasp-1.0) R 5102 4833 4306 0 -1 4202496 6029 0 0 0 152508 2 0 0 20 0 1 0 343776594 27803648 6160 33554432000 134512640 134847168 4288196912 4288195552 134782656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5104/statm: 6788 6160 270 82 0 6029 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 62024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4833
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 5256
/proc/meminfo: memFree=27397748/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=1800.1 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2587 53229 0 0 1 1 179994 14 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5246] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5246/stat : 5246 (sh) S 4833 4833 4306 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 343929130 9367552 264 33554432000 4194304 5064252 140737442398528 140737442396784 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5246/statm: 2287 264 223 213 0 72 0
[pid=5249] ppid=5246 vsize=6340 CPUtime=0.96 cores=1,3,5,7
/proc/5249/stat : 5249 (clasp-1.0) R 5246 4833 4306 0 -1 4202496 1179 0 0 0 96 0 0 0 20 0 1 0 343929131 6492160 1077 33554432000 134512640 134847168 4290554832 4290553552 134741346 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5249/statm: 1585 1077 270 82 0 826 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 41212
[startup+1802.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 5256
/proc/meminfo: memFree=27348496/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=1800.1 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2587 53229 0 0 1 1 179994 14 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5246] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5246/stat : 5246 (sh) S 4833 4833 4306 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 343929130 9367552 264 33554432000 4194304 5064252 140737442398528 140737442396784 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5246/statm: 2287 264 223 213 0 72 0
[pid=5249] ppid=5246 vsize=7128 CPUtime=1.76 cores=1,3,5,7
/proc/5249/stat : 5249 (clasp-1.0) R 5246 4833 4306 0 -1 4202496 1354 0 0 0 176 0 0 0 20 0 1 0 343929131 7299072 1252 33554432000 134512640 134847168 4290554832 4290553556 134782567 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5249/statm: 1782 1252 270 82 0 1023 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 42000
[startup+1802.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 5256
/proc/meminfo: memFree=27348496/32873844 swapFree=7372/7372
[pid=4833] ppid=4831 vsize=25724 CPUtime=1800.1 cores=1,3,5,7
/proc/4833/stat : 4833 (pbclasp) S 4831 4833 4306 0 -1 4202496 2587 53229 0 0 1 1 179994 14 20 0 1 0 343749088 26341376 531 33554432000 4194304 4198148 140736536207936 140736536206864 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4833/statm: 6431 531 387 1 0 226 0
[pid=5246] ppid=4833 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5246/stat : 5246 (sh) S 4833 4833 4306 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 343929130 9367552 264 33554432000 4194304 5064252 140737442398528 140737442396784 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5246/statm: 2287 264 223 213 0 72 0
[pid=5249] ppid=5246 vsize=7128 CPUtime=1.96 cores=1,3,5,7
/proc/5249/stat : 5249 (clasp-1.0) R 5246 4833 4306 0 -1 4202496 1364 0 0 0 196 0 0 0 20 0 1 0 343929131 7299072 1262 33554432000 134512640 134847168 4290554832 4290553472 134782615 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5249/statm: 1782 1262 270 82 0 1023 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 42000
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.11
CPU user time (s): 1801.94
CPU system time (s): 0.162975
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 62024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.94
system time used= 0.162975
maximum resident set size= 24640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57888
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 421
involuntary context switches= 2195
runsolver used 4.37434 second user time and 11.7142 second system time
The end