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-3731074-1338687197/watcher-3731074-1338687197 -o /tmp/evaluation-result-3731074-1338687197/solver-3731074-1338687197 -C 1800 -W 1900 -M 15500 pbclasp instance-3731074-1338687197.opb HOME/temp
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25130
/proc/meminfo: memFree=29148960/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) R 25128 25130 22814 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 334848126 26206208 476 33554432000 4194304 4198148 140735947695856 140735947693304 226333091621 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/25130/statm: 6398 478 355 1 0 193 0
[startup+0.081774 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25130
/proc/meminfo: memFree=29148960/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=0.04 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 795 4526 0 0 0 0 4 0 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25724
[startup+0.100218 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25130
/proc/meminfo: memFree=29148960/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=0.06 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 914 6967 0 0 0 0 5 1 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25724
[startup+0.300178 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25130
/proc/meminfo: memFree=29148960/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=0.23 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 1036 9435 0 0 0 0 22 1 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 25724
[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25130
/proc/meminfo: memFree=29148960/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=0.23 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 1036 9435 0 0 0 0 22 1 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 25724
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25164
/proc/meminfo: memFree=29147068/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=1.2 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 1159 11944 0 0 0 0 118 2 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 25724
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25172
/proc/meminfo: memFree=29147068/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=1.2 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 1159 11944 0 0 0 0 118 2 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25170] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25170/stat : 25170 (sh) S 25130 25130 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 334848250 9367552 263 33554432000 4194304 5064252 140733659119808 140733659118064 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25170/statm: 2287 263 223 213 0 72 0
[pid=25172] ppid=25170 vsize=3960 CPUtime=1.86 cores=0,2,4,6
/proc/25172/stat : 25172 (clasp-1.0) R 25170 25130 22814 0 -1 4202496 571 0 0 0 186 0 0 0 20 0 1 0 334848250 4055040 469 33554432000 134512640 134847168 4290368624 4290367344 134741328 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25172/statm: 990 469 272 82 0 231 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 38832
[startup+6.30011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25188
/proc/meminfo: memFree=29146680/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=5.69 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 1515 19481 0 0 0 0 566 3 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 25724
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25212
/proc/meminfo: memFree=29145400/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=10.9 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 1757 24544 0 0 0 0 1086 4 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25210] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25210/stat : 25210 (sh) S 25130 25130 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 334849222 9367552 264 33554432000 4194304 5064252 140734183782864 140734183781120 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25210/statm: 2287 264 223 213 0 72 0
[pid=25212] ppid=25210 vsize=3956 CPUtime=1.74 cores=0,2,4,6
/proc/25212/stat : 25212 (clasp-1.0) R 25210 25130 22814 0 -1 4202496 572 0 0 0 174 0 0 0 20 0 1 0 334849222 4050944 470 33554432000 134512640 134847168 4289053200 4289051904 134748537 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25212/statm: 989 470 270 82 0 230 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 38828
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25212
/proc/meminfo: memFree=29145432/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=10.9 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 1757 24544 0 0 0 0 1086 4 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25210] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25210/stat : 25210 (sh) S 25130 25130 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 334849222 9367552 264 33554432000 4194304 5064252 140734183782864 140734183781120 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25210/statm: 2287 264 223 213 0 72 0
[pid=25212] ppid=25210 vsize=4220 CPUtime=14.53 cores=0,2,4,6
/proc/25212/stat : 25212 (clasp-1.0) R 25210 25130 22814 0 -1 4202496 657 0 0 0 1453 0 0 0 20 0 1 0 334849222 4321280 555 33554432000 134512640 134847168 4289053200 4289051840 134715270 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25212/statm: 1055 555 270 82 0 296 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 39092
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25212
/proc/meminfo: memFree=29145564/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=10.9 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 1757 24544 0 0 0 0 1086 4 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25210] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25210/stat : 25210 (sh) S 25130 25130 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 334849222 9367552 264 33554432000 4194304 5064252 140734183782864 140734183781120 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25210/statm: 2287 264 223 213 0 72 0
[pid=25212] ppid=25210 vsize=4732 CPUtime=40.13 cores=0,2,4,6
/proc/25212/stat : 25212 (clasp-1.0) R 25210 25130 22814 0 -1 4202496 755 0 0 0 4013 0 0 0 20 0 1 0 334849222 4845568 653 33554432000 134512640 134847168 4289053200 4289051884 134715808 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25212/statm: 1183 653 270 82 0 424 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 39604
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25244
/proc/meminfo: memFree=29146184/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=97.59 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 2240 35073 0 0 0 1 9752 6 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25242] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25242/stat : 25242 (sh) S 25130 25130 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 334857894 9367552 264 33554432000 4194304 5064252 140735533822656 140735533820912 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25242/statm: 2287 264 223 213 0 72 0
[pid=25244] ppid=25242 vsize=4084 CPUtime=4.61 cores=0,2,4,6
/proc/25244/stat : 25244 (clasp-1.0) R 25242 25130 22814 0 -1 4202496 612 0 0 0 461 0 0 0 20 0 1 0 334857894 4182016 510 33554432000 134512640 134847168 4292590304 4292588924 134789696 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25244/statm: 1021 510 270 82 0 262 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 38956
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25253
/proc/meminfo: memFree=29144688/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=102.41 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 2357 37634 0 0 0 1 10233 7 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25250] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25250/stat : 25250 (sh) S 25130 25130 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 334858377 9367552 263 33554432000 4194304 5064252 140736627928928 140736627927184 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25250/statm: 2287 263 223 213 0 72 0
[pid=25252] ppid=25250 vsize=4728 CPUtime=59.77 cores=0,2,4,6
/proc/25252/stat : 25252 (clasp-1.0) R 25250 25130 22814 0 -1 4202496 758 0 0 0 5977 0 0 0 20 0 1 0 334858377 4841472 656 33554432000 134512640 134847168 4289969264 4289967728 134713642 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25252/statm: 1182 656 272 82 0 423 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 39600
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25253
/proc/meminfo: memFree=29143944/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=102.41 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 2357 37634 0 0 0 1 10233 7 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25250] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25250/stat : 25250 (sh) S 25130 25130 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 334858377 9367552 263 33554432000 4194304 5064252 140736627928928 140736627927184 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25250/statm: 2287 263 223 213 0 72 0
[pid=25252] ppid=25250 vsize=5252 CPUtime=119.76 cores=0,2,4,6
/proc/25252/stat : 25252 (clasp-1.0) R 25250 25130 22814 0 -1 4202496 884 0 0 0 11976 0 0 0 20 0 1 0 334858377 5378048 782 33554432000 134512640 134847168 4289969264 4289967840 134714130 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25252/statm: 1313 782 272 82 0 554 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 40124
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25254
/proc/meminfo: memFree=29143508/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=102.41 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 2357 37634 0 0 0 1 10233 7 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25250] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25250/stat : 25250 (sh) S 25130 25130 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 334858377 9367552 263 33554432000 4194304 5064252 140736627928928 140736627927184 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25250/statm: 2287 263 223 213 0 72 0
[pid=25252] ppid=25250 vsize=5384 CPUtime=179.75 cores=0,2,4,6
/proc/25252/stat : 25252 (clasp-1.0) R 25250 25130 22814 0 -1 4202496 925 0 0 0 17975 0 0 0 20 0 1 0 334858377 5513216 823 33554432000 134512640 134847168 4289969264 4289967884 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25252/statm: 1346 823 272 82 0 587 0
Current children cumulated CPU time (s) 282.16
################
# More data... #
################
/proc/25250/stat : 25250 (sh) S 25130 25130 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 334858377 9367552 263 33554432000 4194304 5064252 140736627928928 140736627927184 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25250/statm: 2287 263 223 213 0 72 0
[pid=25252] ppid=25250 vsize=6592 CPUtime=1319.59 cores=0,2,4,6
/proc/25252/stat : 25252 (clasp-1.0) R 25250 25130 22814 0 -1 4202496 1239 0 0 0 131958 1 0 0 20 0 1 0 334858377 6750208 1137 33554432000 134512640 134847168 4289969264 4289967552 134791696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25252/statm: 1648 1137 272 82 0 889 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 41464
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25264
/proc/meminfo: memFree=29139608/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=102.41 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 2357 37634 0 0 0 1 10233 7 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25250] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25250/stat : 25250 (sh) S 25130 25130 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 334858377 9367552 263 33554432000 4194304 5064252 140736627928928 140736627927184 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25250/statm: 2287 263 223 213 0 72 0
[pid=25252] ppid=25250 vsize=6592 CPUtime=1379.57 cores=0,2,4,6
/proc/25252/stat : 25252 (clasp-1.0) R 25250 25130 22814 0 -1 4202496 1245 0 0 0 137956 1 0 0 20 0 1 0 334858377 6750208 1143 33554432000 134512640 134847168 4289969264 4289968004 134737633 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25252/statm: 1648 1143 272 82 0 889 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 41464
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 25264
/proc/meminfo: memFree=29139732/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=102.41 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 2357 37634 0 0 0 1 10233 7 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25250] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25250/stat : 25250 (sh) S 25130 25130 22814 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 334858377 9367552 263 33554432000 4194304 5064252 140736627928928 140736627927184 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25250/statm: 2287 263 223 213 0 72 0
[pid=25252] ppid=25250 vsize=6592 CPUtime=1439.56 cores=0,2,4,6
/proc/25252/stat : 25252 (clasp-1.0) R 25250 25130 22814 0 -1 4202496 1245 0 0 0 143955 1 0 0 20 0 1 0 334858377 6750208 1143 33554432000 134512640 134847168 4289969264 4289967840 134714279 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25252/statm: 1648 1143 272 82 0 889 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 41464
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 25340
/proc/meminfo: memFree=29133916/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=1576.05 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 2459 40812 0 0 0 1 157595 9 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25281] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (sh) S 25130 25130 22814 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335005763 9367552 264 33554432000 4194304 5064252 140735313812896 140735313811152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25281/statm: 2287 264 223 213 0 72 0
[pid=25283] ppid=25281 vsize=4332 CPUtime=25.92 cores=0,2,4,6
/proc/25283/stat : 25283 (clasp-1.0) R 25281 25130 22814 0 -1 4202496 684 0 0 0 2592 0 0 0 20 0 1 0 335005763 4435968 582 33554432000 134512640 134847168 4291315456 4291314140 134715812 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25283/statm: 1083 582 270 82 0 324 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 39204
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 25343
/proc/meminfo: memFree=29117024/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=1576.05 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 2459 40812 0 0 0 1 157595 9 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25281] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (sh) S 25130 25130 22814 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335005763 9367552 264 33554432000 4194304 5064252 140735313812896 140735313811152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25281/statm: 2287 264 223 213 0 72 0
[pid=25283] ppid=25281 vsize=4988 CPUtime=85.9 cores=0,2,4,6
/proc/25283/stat : 25283 (clasp-1.0) R 25281 25130 22814 0 -1 4202496 828 0 0 0 8590 0 0 0 20 0 1 0 335005763 5107712 726 33554432000 134512640 134847168 4291315456 4291314140 134715914 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25283/statm: 1247 726 270 82 0 488 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 39860
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 25366
/proc/meminfo: memFree=29116280/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=1576.05 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 2459 40812 0 0 0 1 157595 9 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25281] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (sh) S 25130 25130 22814 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335005763 9367552 264 33554432000 4194304 5064252 140735313812896 140735313811152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25281/statm: 2287 264 223 213 0 72 0
[pid=25283] ppid=25281 vsize=5252 CPUtime=145.88 cores=0,2,4,6
/proc/25283/stat : 25283 (clasp-1.0) R 25281 25130 22814 0 -1 4202496 898 0 0 0 14588 0 0 0 20 0 1 0 335005763 5378048 796 33554432000 134512640 134847168 4291315456 4291314096 134715380 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25283/statm: 1313 796 270 82 0 554 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 40124
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25367
/proc/meminfo: memFree=29113932/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=1576.05 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 2459 40812 0 0 0 1 157595 9 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25281] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (sh) S 25130 25130 22814 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335005763 9367552 264 33554432000 4194304 5064252 140735313812896 140735313811152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25281/statm: 2287 264 223 213 0 72 0
[pid=25283] ppid=25281 vsize=5384 CPUtime=205.87 cores=0,2,4,6
/proc/25283/stat : 25283 (clasp-1.0) R 25281 25130 22814 0 -1 4202496 925 0 0 0 20587 0 0 0 20 0 1 0 335005763 5513216 823 33554432000 134512640 134847168 4291315456 4291314080 134784653 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25283/statm: 1346 823 270 82 0 587 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 40256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25367
/proc/meminfo: memFree=29113868/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=1576.05 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 2459 40812 0 0 0 1 157595 9 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25281] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25281/stat : 25281 (sh) S 25130 25130 22814 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335005763 9367552 264 33554432000 4194304 5064252 140735313812896 140735313811152 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25281/statm: 2287 264 223 213 0 72 0
[pid=25283] ppid=25281 vsize=5516 CPUtime=223.97 cores=0,2,4,6
/proc/25283/stat : 25283 (clasp-1.0) R 25281 25130 22814 0 -1 4202496 955 0 0 0 22397 0 0 0 20 0 1 0 335005763 5648384 853 33554432000 134512640 134847168 4291315456 4291314032 134714173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25283/statm: 1379 853 270 82 0 620 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 40388
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -25130
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25386
/proc/meminfo: memFree=29145020/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=1800.04 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 2623 44540 0 0 0 1 179993 10 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25376] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25376/stat : 25376 (sh) S 25130 25130 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335028168 9367552 263 33554432000 4194304 5064252 140736617630880 140736617629136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25376/statm: 2287 263 223 213 0 72 0
[pid=25379] ppid=25376 vsize=3828 CPUtime=0.97 cores=0,2,4,6
/proc/25379/stat : 25379 (clasp-1.0) R 25376 25130 22814 0 -1 4202496 536 0 0 0 97 0 0 0 20 0 1 0 335028169 3919872 434 33554432000 134512640 134847168 4291527312 4291526052 134737626 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25379/statm: 957 434 270 82 0 198 0
Current children cumulated CPU time (s) 1801.01
Current children cumulated vsize (KiB) 38700
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25386
/proc/meminfo: memFree=29142564/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=1800.04 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 2623 44540 0 0 0 1 179993 10 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25376] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25376/stat : 25376 (sh) S 25130 25130 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335028168 9367552 263 33554432000 4194304 5064252 140736617630880 140736617629136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25376/statm: 2287 263 223 213 0 72 0
[pid=25379] ppid=25376 vsize=3828 CPUtime=1.77 cores=0,2,4,6
/proc/25379/stat : 25379 (clasp-1.0) R 25376 25130 22814 0 -1 4202496 555 0 0 0 177 0 0 0 20 0 1 0 335028169 3919872 453 33554432000 134512640 134847168 4291527312 4291525996 134715859 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25379/statm: 957 453 270 82 0 198 0
Current children cumulated CPU time (s) 1801.81
Current children cumulated vsize (KiB) 38700
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25386
/proc/meminfo: memFree=29142564/32873844 swapFree=6088/6088
[pid=25130] ppid=25128 vsize=25724 CPUtime=1800.04 cores=0,2,4,6
/proc/25130/stat : 25130 (pbclasp) S 25128 25130 22814 0 -1 4202496 2623 44540 0 0 0 1 179993 10 20 0 1 0 334848126 26341376 528 33554432000 4194304 4198148 140735947695856 140735947694784 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25130/statm: 6431 528 387 1 0 226 0
[pid=25376] ppid=25130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25376/stat : 25376 (sh) S 25130 25130 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335028168 9367552 263 33554432000 4194304 5064252 140736617630880 140736617629136 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25376/statm: 2287 263 223 213 0 72 0
[pid=25379] ppid=25376 vsize=3960 CPUtime=1.97 cores=0,2,4,6
/proc/25379/stat : 25379 (clasp-1.0) R 25376 25130 22814 0 -1 4202496 559 0 0 0 197 0 0 0 20 0 1 0 335028169 4055040 457 33554432000 134512640 134847168 4291527312 4291525852 134713616 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25379/statm: 990 457 270 82 0 231 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 38832
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.05
CPU user time (s): 1801.93
CPU system time (s): 0.123981
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 41464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.93
system time used= 0.123981
maximum resident set size= 4572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48426
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 443
involuntary context switches= 2390
runsolver used 2.82657 second user time and 7.14991 second system time
The end