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-3735133-1338722743/watcher-3735133-1338722743 -o /tmp/evaluation-result-3735133-1338722743/solver-3735133-1338722743 -C 1800 -W 1900 -M 15500 pbclasp instance-3735133-1338722743.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/180 9811
/proc/meminfo: memFree=27660720/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 586 0 0 0 0 0 0 0 20 0 1 0 338399649 26206208 498 33554432000 4194304 4198148 140736414218960 140736414217848 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9811/statm: 6398 498 368 1 0 193 0
[startup+0.041834 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9811
/proc/meminfo: memFree=27660720/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 586 0 0 0 0 0 0 0 20 0 1 0 338399649 26206208 498 33554432000 4194304 4198148 140736414218960 140736414217848 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9811/statm: 6398 498 368 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.100192 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9811
/proc/meminfo: memFree=27660720/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 586 0 0 0 0 0 0 0 20 0 1 0 338399649 26206208 498 33554432000 4194304 4198148 140736414218960 140736414217848 273592411376 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9811/statm: 6398 498 368 1 0 193 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25592
[startup+0.300165 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9811
/proc/meminfo: memFree=27660720/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=0.25 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 664 2089 0 0 0 0 25 0 20 0 1 0 338399649 26206208 517 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9811/statm: 6398 517 387 1 0 193 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 25592
[startup+0.700139 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9811
/proc/meminfo: memFree=27660720/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=0.66 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 1026 11124 0 0 0 0 64 2 20 0 1 0 338399649 26206208 524 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9811/statm: 6398 524 387 1 0 193 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 25592
[startup+1.50016 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9853
/proc/meminfo: memFree=27656696/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=1.38 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 1502 23162 0 0 0 0 133 5 20 0 1 0 338399649 26206208 524 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9811/statm: 6398 524 387 1 0 193 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 25592
[startup+3.10012 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9893
/proc/meminfo: memFree=27655936/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=2.73 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2097 38208 0 0 1 1 262 9 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 25592
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9925
/proc/meminfo: memFree=27654488/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=3.43 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2216 41212 0 0 1 1 331 10 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=9923] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9923/stat : 9923 (sh) S 9811 9811 2078 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338400009 9367552 264 33554432000 4194304 5064252 140735244779760 140735244778016 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9923/statm: 2287 264 223 213 0 72 0
[pid=9925] ppid=9923 vsize=6096 CPUtime=2.68 cores=1,3,5,7
/proc/9925/stat : 9925 (clasp-1.0) R 9923 9811 2078 0 -1 4202496 1096 0 0 0 268 0 0 0 20 0 1 0 338400010 6242304 994 33554432000 134512640 134847168 4291088432 4291087164 134740921 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9925/statm: 1524 994 270 82 0 765 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 40836
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9933
/proc/meminfo: memFree=27654784/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=3.43 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2216 41212 0 0 1 1 331 10 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=9923] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9923/stat : 9923 (sh) S 9811 9811 2078 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338400009 9367552 264 33554432000 4194304 5064252 140735244779760 140735244778016 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9923/statm: 2287 264 223 213 0 72 0
[pid=9925] ppid=9923 vsize=6500 CPUtime=9.08 cores=1,3,5,7
/proc/9925/stat : 9925 (clasp-1.0) R 9923 9811 2078 0 -1 4202496 1191 0 0 0 908 0 0 0 20 0 1 0 338400010 6656000 1089 33554432000 134512640 134847168 4291088432 4291087008 134714497 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9925/statm: 1625 1089 270 82 0 866 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 41240
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9941
/proc/meminfo: memFree=27654064/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=3.43 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2216 41212 0 0 1 1 331 10 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=9923] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9923/stat : 9923 (sh) S 9811 9811 2078 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 338400009 9367552 264 33554432000 4194304 5064252 140735244779760 140735244778016 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9923/statm: 2287 264 223 213 0 72 0
[pid=9925] ppid=9923 vsize=6772 CPUtime=21.88 cores=1,3,5,7
/proc/9925/stat : 9925 (clasp-1.0) R 9923 9811 2078 0 -1 4202496 1282 0 0 0 2188 0 0 0 20 0 1 0 338400010 6934528 1180 33554432000 134512640 134847168 4291088432 4291087116 134715788 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9925/statm: 1693 1180 270 82 0 934 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 41512
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9973
/proc/meminfo: memFree=27654220/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=38.03 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2571 50546 0 0 1 1 3788 13 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=9971] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9971/stat : 9971 (sh) S 9811 9811 2078 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 338403471 9367552 263 33554432000 4194304 5064252 140737280973776 140737280972032 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9971/statm: 2287 263 223 213 0 72 0
[pid=9973] ppid=9971 vsize=6636 CPUtime=12.87 cores=1,3,5,7
/proc/9973/stat : 9973 (clasp-1.0) R 9971 9811 2078 0 -1 4202496 1224 0 0 0 1287 0 0 0 20 0 1 0 338403471 6795264 1122 33554432000 134512640 134847168 4291694256 4291692940 134715880 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9973/statm: 1659 1122 270 82 0 900 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 41376
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10209
/proc/meminfo: memFree=27647652/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=56.32 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2808 56759 0 0 2 1 5615 14 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=9987] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9987/stat : 9987 (sh) S 9811 9811 2078 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338405302 9367552 264 33554432000 4194304 5064252 140734103504800 140734103503056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9987/statm: 2287 264 223 213 0 72 0
[pid=9989] ppid=9987 vsize=7464 CPUtime=45.76 cores=1,3,5,7
/proc/9989/stat : 9989 (clasp-1.0) R 9987 9811 2078 0 -1 4202496 1429 0 0 0 4576 0 0 0 20 0 1 0 338405302 7643136 1328 33554432000 134512640 134847168 4292403728 4292402304 134714164 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9989/statm: 1866 1328 272 82 0 1107 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 42204
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 10218
/proc/meminfo: memFree=27645292/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=56.32 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2808 56759 0 0 2 1 5615 14 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=9987] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9987/stat : 9987 (sh) S 9811 9811 2078 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338405302 9367552 264 33554432000 4194304 5064252 140734103504800 140734103503056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9987/statm: 2287 264 223 213 0 72 0
[pid=9989] ppid=9987 vsize=7896 CPUtime=105.74 cores=1,3,5,7
/proc/9989/stat : 9989 (clasp-1.0) R 9987 9811 2078 0 -1 4202496 1556 0 0 0 10574 0 0 0 20 0 1 0 338405302 8085504 1455 33554432000 134512640 134847168 4292403728 4292402304 134714421 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9989/statm: 1974 1455 272 82 0 1215 0
Current children cumulated CPU time (s) 162.06
Current children cumulated vsize (KiB) 42636
[startup+222.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 10234
/proc/meminfo: memFree=27644916/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=56.32 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2808 56759 0 0 2 1 5615 14 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=9987] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9987/stat : 9987 (sh) S 9811 9811 2078 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 338405302 9367552 264 33554432000 4194304 5064252 140734103504800 140734103503056 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9987/statm: 2287 264 223 213 0 72 0
[pid=9989] ppid=9987 vsize=8500 CPUtime=165.73 cores=1,3,5,7
/proc/9989/stat : 9989 (clasp-1.0) R 9987 9811 2078 0 -1 4202496 1663 0 0 0 16573 0 0 0 20 0 1 0 338405302 8704000 1580 33554432000 134512640 134847168 4292403728 4292402368 134782598 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9989/statm: 2125 1580 272 82 0 1366 0
Current children cumulated CPU time (s) 222.05
Current children cumulated vsize (KiB) 43240
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/184 10245
/proc/meminfo: memFree=27645156/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=246.55 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2928 60393 0 0 2 1 24637 15 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=10240] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10240/stat : 10240 (sh) S 9811 9811 2078 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 338424329 9367552 264 33554432000 4194304 5064252 140736208471312 140736208469568 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10240/statm: 2287 264 223 213 0 72 0
[pid=10242] ppid=10240 vsize=6932 CPUtime=35.48 cores=1,3,5,7
/proc/10242/stat : 10242 (clasp-1.0) R 10240 9811 2078 0 -1 4202496 1315 0 0 0 3548 0 0 0 20 0 1 0 338424329 7098368 1214 33554432000 134512640 134847168 4292449040 4292447724 134715846 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10242/statm: 1733 1214 272 82 0 974 0
Current children cumulated CPU time (s) 282.03
################
# More data... #
################
/proc/10242/statm: 2173 1656 272 82 0 1414 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 43432
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 10263
/proc/meminfo: memFree=27643988/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=246.55 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2928 60393 0 0 2 1 24637 15 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=10240] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10240/stat : 10240 (sh) S 9811 9811 2078 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 338424329 9367552 264 33554432000 4194304 5064252 140736208471312 140736208469568 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10240/statm: 2287 264 223 213 0 72 0
[pid=10242] ppid=10240 vsize=9028 CPUtime=335.42 cores=1,3,5,7
/proc/10242/stat : 10242 (clasp-1.0) R 10240 9811 2078 0 -1 4202496 1788 0 0 0 33542 0 0 0 20 0 1 0 338424329 9244672 1714 33554432000 134512640 134847168 4292449040 4292447616 134714173 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10242/statm: 2257 1714 272 82 0 1498 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 43768
[startup+642.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 10263
/proc/meminfo: memFree=27642436/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=246.55 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2928 60393 0 0 2 1 24637 15 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=10240] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10240/stat : 10240 (sh) S 9811 9811 2078 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 338424329 9367552 264 33554432000 4194304 5064252 140736208471312 140736208469568 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10240/statm: 2287 264 223 213 0 72 0
[pid=10242] ppid=10240 vsize=9160 CPUtime=395.42 cores=1,3,5,7
/proc/10242/stat : 10242 (clasp-1.0) R 10240 9811 2078 0 -1 4202496 1835 0 0 0 39542 0 0 0 20 0 1 0 338424329 9379840 1761 33554432000 134512640 134847168 4292449040 4292447724 134715853 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10242/statm: 2290 1761 272 82 0 1531 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 43900
[startup+702.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 10263
/proc/meminfo: memFree=27641568/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=246.55 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2928 60393 0 0 2 1 24637 15 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=10240] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10240/stat : 10240 (sh) S 9811 9811 2078 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 338424329 9367552 264 33554432000 4194304 5064252 140736208471312 140736208469568 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10240/statm: 2287 264 223 213 0 72 0
[pid=10242] ppid=10240 vsize=9332 CPUtime=455.4 cores=1,3,5,7
/proc/10242/stat : 10242 (clasp-1.0) R 10240 9811 2078 0 -1 4202496 1875 0 0 0 45540 0 0 0 20 0 1 0 338424329 9555968 1801 33554432000 134512640 134847168 4292449040 4292447572 2986374 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10242/statm: 2333 1801 272 82 0 1574 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 44072
[startup+762.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 10264
/proc/meminfo: memFree=27640264/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=246.55 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2928 60393 0 0 2 1 24637 15 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=10240] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10240/stat : 10240 (sh) S 9811 9811 2078 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 338424329 9367552 264 33554432000 4194304 5064252 140736208471312 140736208469568 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10240/statm: 2287 264 223 213 0 72 0
[pid=10242] ppid=10240 vsize=9668 CPUtime=515.4 cores=1,3,5,7
/proc/10242/stat : 10242 (clasp-1.0) R 10240 9811 2078 0 -1 4202496 1919 0 0 0 51540 0 0 0 20 0 1 0 338424329 9900032 1845 33554432000 134512640 134847168 4292449040 4292447616 134714818 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10242/statm: 2417 1845 272 82 0 1658 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 44408
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 10264
/proc/meminfo: memFree=27640016/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=246.55 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2928 60393 0 0 2 1 24637 15 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=10240] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10240/stat : 10240 (sh) S 9811 9811 2078 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 338424329 9367552 264 33554432000 4194304 5064252 140736208471312 140736208469568 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10240/statm: 2287 264 223 213 0 72 0
[pid=10242] ppid=10240 vsize=9668 CPUtime=575.38 cores=1,3,5,7
/proc/10242/stat : 10242 (clasp-1.0) R 10240 9811 2078 0 -1 4202496 1938 0 0 0 57538 0 0 0 20 0 1 0 338424329 9900032 1864 33554432000 134512640 134847168 4292449040 4292447724 134789696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10242/statm: 2417 1864 272 82 0 1658 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 44408
Solver just ended. Dumping a history of the last processes samples
[startup+831.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 10264
/proc/meminfo: memFree=27639768/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=246.55 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2928 60393 0 0 2 1 24637 15 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=10240] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10240/stat : 10240 (sh) S 9811 9811 2078 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 338424329 9367552 264 33554432000 4194304 5064252 140736208471312 140736208469568 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10240/statm: 2287 264 223 213 0 72 0
[pid=10242] ppid=10240 vsize=9836 CPUtime=584.98 cores=1,3,5,7
/proc/10242/stat : 10242 (clasp-1.0) R 10240 9811 2078 0 -1 4202496 1956 0 0 0 58498 0 0 0 20 0 1 0 338424329 10072064 1882 33554432000 134512640 134847168 4292449040 4292447724 134715808 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10242/statm: 2459 1882 272 82 0 1700 0
Current children cumulated CPU time (s) 831.53
Current children cumulated vsize (KiB) 44576
[startup+838.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 10264
/proc/meminfo: memFree=27639768/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=246.55 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2928 60393 0 0 2 1 24637 15 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=10240] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10240/stat : 10240 (sh) S 9811 9811 2078 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 338424329 9367552 264 33554432000 4194304 5064252 140736208471312 140736208469568 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10240/statm: 2287 264 223 213 0 72 0
[pid=10242] ppid=10240 vsize=9836 CPUtime=591.38 cores=1,3,5,7
/proc/10242/stat : 10242 (clasp-1.0) R 10240 9811 2078 0 -1 4202496 1956 0 0 0 59138 0 0 0 20 0 1 0 338424329 10072064 1882 33554432000 134512640 134847168 4292449040 4292447664 134784608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10242/statm: 2459 1882 272 82 0 1700 0
Current children cumulated CPU time (s) 837.93
Current children cumulated vsize (KiB) 44576
[startup+841.506 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 10264
/proc/meminfo: memFree=27639520/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=246.55 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2928 60393 0 0 2 1 24637 15 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=10240] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10240/stat : 10240 (sh) S 9811 9811 2078 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 338424329 9367552 264 33554432000 4194304 5064252 140736208471312 140736208469568 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10240/statm: 2287 264 223 213 0 72 0
[pid=10242] ppid=10240 vsize=9836 CPUtime=594.59 cores=1,3,5,7
/proc/10242/stat : 10242 (clasp-1.0) R 10240 9811 2078 0 -1 4202496 1956 0 0 0 59459 0 0 0 20 0 1 0 338424329 10072064 1882 33554432000 134512640 134847168 4292449040 4292447680 134782610 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10242/statm: 2459 1882 272 82 0 1700 0
Current children cumulated CPU time (s) 841.14
Current children cumulated vsize (KiB) 44576
[startup+842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 10264
/proc/meminfo: memFree=27639520/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=246.55 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2928 60393 0 0 2 1 24637 15 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=10240] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10240/stat : 10240 (sh) S 9811 9811 2078 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 338424329 9367552 264 33554432000 4194304 5064252 140736208471312 140736208469568 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10240/statm: 2287 264 223 213 0 72 0
[pid=10242] ppid=10240 vsize=9836 CPUtime=595.38 cores=1,3,5,7
/proc/10242/stat : 10242 (clasp-1.0) R 10240 9811 2078 0 -1 4202496 1956 0 0 0 59538 0 0 0 20 0 1 0 338424329 10072064 1882 33554432000 134512640 134847168 4292449040 4292447724 134715964 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10242/statm: 2459 1882 272 82 0 1700 0
Current children cumulated CPU time (s) 841.93
Current children cumulated vsize (KiB) 44576
[startup+842.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 10264
/proc/meminfo: memFree=27639520/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=246.55 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2928 60393 0 0 2 1 24637 15 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=10240] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10240/stat : 10240 (sh) S 9811 9811 2078 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 338424329 9367552 264 33554432000 4194304 5064252 140736208471312 140736208469568 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10240/statm: 2287 264 223 213 0 72 0
[pid=10242] ppid=10240 vsize=9836 CPUtime=595.78 cores=1,3,5,7
/proc/10242/stat : 10242 (clasp-1.0) R 10240 9811 2078 0 -1 4202496 1956 0 0 0 59578 0 0 0 20 0 1 0 338424329 10072064 1882 33554432000 134512640 134847168 4292449040 4292447616 134714691 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10242/statm: 2459 1882 272 82 0 1700 0
Current children cumulated CPU time (s) 842.33
Current children cumulated vsize (KiB) 44576
[startup+843.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 10264
/proc/meminfo: memFree=27639520/32873844 swapFree=7112/7112
[pid=9811] ppid=9809 vsize=25592 CPUtime=246.55 cores=1,3,5,7
/proc/9811/stat : 9811 (pbclasp) S 9809 9811 2078 0 -1 4202496 2928 60393 0 0 2 1 24637 15 20 0 1 0 338399649 26206208 526 33554432000 4194304 4198148 140736414218960 140736414217888 273592414238 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9811/statm: 6398 526 387 1 0 193 0
[pid=10240] ppid=9811 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10240/stat : 10240 (sh) S 9811 9811 2078 0 -1 4202496 373 219 0 0 0 0 0 0 20 0 1 0 338424329 9367552 264 33554432000 4194304 5064252 140736208471312 140736208469568 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10240/statm: 2287 264 223 213 0 72 0
[pid=10242] ppid=10240 vsize=9836 CPUtime=596.18 cores=1,3,5,7
/proc/10242/stat : 10242 (clasp-1.0) R 10240 9811 2078 0 -1 4202496 1956 0 0 0 59618 0 0 0 20 0 1 0 338424329 10072064 1882 33554432000 134512640 134847168 4292449040 4292447796 134737606 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10242/statm: 2459 1882 272 82 0 1700 0
Current children cumulated CPU time (s) 842.73
Current children cumulated vsize (KiB) 44576
Child status: 0
Real time (s): 843.177
CPU time (s): 842.843
CPU user time (s): 842.656
CPU system time (s): 0.186971
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (KiB): 44576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 842.656
system time used= 0.186971
maximum resident set size= 7608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66232
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1527
involuntary context switches= 1579
runsolver used 1.3058 second user time and 3.2965 second system time
The end