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-3731316-1338692215/watcher-3731316-1338692215 -o /tmp/evaluation-result-3731316-1338692215/solver-3731316-1338692215 -C 1800 -W 1900 -M 15500 pbclasp instance-3731316-1338692215.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: 1.65 2.65 2.32 3/178 1211
/proc/meminfo: memFree=27792412/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) D 1209 1211 14418 0 -1 4202496 431 0 0 0 0 0 0 0 20 0 1 0 335346946 26071040 361 33554432000 4194304 4198148 140734690397872 140734690395320 239873113781 0 0 4224 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 6365 361 277 1 0 160 0
[startup+0.09965 s]
/proc/loadavg: 1.65 2.65 2.32 3/178 1211
/proc/meminfo: memFree=27792412/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=31304 CPUtime=0.09 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) R 1209 1211 14418 0 -1 4202496 2133 0 0 0 9 0 0 0 20 0 1 0 335346946 32055296 1899 33554432000 4194304 4198148 140734690397872 140734690395320 239885876480 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 7826 1899 363 1 0 1621 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31304
[startup+0.100185 s]
/proc/loadavg: 1.65 2.65 2.32 3/178 1211
/proc/meminfo: memFree=27792412/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=31304 CPUtime=0.09 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) R 1209 1211 14418 0 -1 4202496 2133 0 0 0 9 0 0 0 20 0 1 0 335346946 32055296 1899 33554432000 4194304 4198148 140734690397872 140734690395320 239872786281 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 7826 1899 363 1 0 1621 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31304
[startup+0.300184 s]
/proc/loadavg: 1.65 2.65 2.32 3/178 1211
/proc/meminfo: memFree=27792412/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=31304 CPUtime=0.29 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) R 1209 1211 14418 0 -1 4202496 2145 0 0 0 29 0 0 0 20 0 1 0 335346946 32055296 1911 33554432000 4194304 4198148 140734690397872 140734690396440 239872786281 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 7826 1911 363 1 0 1621 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31304
[startup+0.700186 s]
/proc/loadavg: 1.65 2.65 2.32 3/178 1211
/proc/meminfo: memFree=27792412/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=31436 CPUtime=0.69 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) R 1209 1211 14418 0 -1 4202496 2170 0 0 0 69 0 0 0 20 0 1 0 335346946 32190464 1936 33554432000 4194304 4198148 140734690397872 140734690396440 239872787183 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 7859 1936 363 1 0 1654 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31436
[startup+1.50019 s]
/proc/loadavg: 1.65 2.65 2.32 3/179 1212
/proc/meminfo: memFree=27786948/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=31716 CPUtime=1.49 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) R 1209 1211 14418 0 -1 4202496 2234 0 0 0 149 0 0 0 20 0 1 0 335346946 32477184 2000 33554432000 4194304 4198148 140734690397872 140734690396648 239885876480 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 7929 2000 363 1 0 1724 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31716
[startup+3.10018 s]
/proc/loadavg: 1.68 2.64 2.31 3/179 1212
/proc/meminfo: memFree=27786484/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=32136 CPUtime=3.09 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) R 1209 1211 14418 0 -1 4202496 2340 0 0 0 309 0 0 0 20 0 1 0 335346946 32907264 2106 33554432000 4194304 4198148 140734690397872 140734690396824 239885876480 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 8034 2106 363 1 0 1829 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32136
[startup+6.30019 s]
/proc/loadavg: 1.68 2.64 2.31 3/179 1212
/proc/meminfo: memFree=27784200/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=32972 CPUtime=6.29 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) R 1209 1211 14418 0 -1 4202496 2574 0 0 0 629 0 0 0 20 0 1 0 335346946 33763328 2340 33554432000 4194304 4198148 140734690397872 140734690395864 239885876496 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 8243 2340 363 1 0 2038 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32972
[startup+12.7002 s]
/proc/loadavg: 1.73 2.62 2.31 3/179 1212
/proc/meminfo: memFree=27782356/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=35172 CPUtime=12.68 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) R 1209 1211 14418 0 -1 4202496 3116 0 0 0 1268 0 0 0 20 0 1 0 335346946 36016128 2882 33554432000 4194304 4198148 140734690397872 140734690396648 239885876496 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 8793 2882 363 1 0 2588 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35172
[startup+25.5003 s]
/proc/loadavg: 1.77 2.60 2.31 3/181 1214
/proc/meminfo: memFree=27768976/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=42208 CPUtime=22.24 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 4887 0 0 0 2224 0 0 0 20 0 1 0 335346946 43220992 4634 33554432000 4194304 4198148 140734690397872 140734690396760 239876498672 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 10552 4634 370 1 0 4347 0
[pid=1213] ppid=1211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1213/stat : 1213 (sh) S 1211 1211 14418 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 335349172 9367552 267 33554432000 4194304 5064252 140736688645792 140736688644672 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1213/statm: 2287 267 226 213 0 72 0
[pid=1214] ppid=1213 vsize=27676 CPUtime=3.22 cores=0,2,4,6
/proc/1214/stat : 1214 (pb2clasp1) R 1213 1211 14418 0 -1 4202496 1112 0 0 0 322 0 0 0 20 0 1 0 335349172 28340224 1008 33554432000 4194304 4198148 140735776152896 140735776143432 239885455267 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/1214/statm: 6919 1008 379 1 0 714 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 79032
[startup+51.1003 s]
/proc/loadavg: 1.85 2.55 2.30 3/181 1221
/proc/meminfo: memFree=27726988/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=28.62 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 7220 2764 0 0 2232 1 627 2 20 0 1 0 335346946 48222208 5889 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5889 388 1 0 5568 0
[pid=1219] ppid=1211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1219/stat : 1219 (sh) S 1211 1211 14418 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335349810 9367552 264 33554432000 4194304 5064252 140735671329888 140735671328144 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1219/statm: 2287 264 223 213 0 72 0
[pid=1221] ppid=1219 vsize=28560 CPUtime=22.43 cores=0,2,4,6
/proc/1221/stat : 1221 (clasp-1.0) R 1219 1211 14418 0 -1 4202496 8013 0 0 0 2243 0 0 0 20 0 1 0 335349811 29245440 6450 33554432000 134512640 134847168 4287935040 4287933808 134617496 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1221/statm: 7140 6450 266 82 0 6381 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 84800
[startup+102.306 s]
/proc/loadavg: 1.94 2.46 2.27 3/181 1229
/proc/meminfo: memFree=27719468/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=80.03 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 7493 12902 0 0 2234 1 5762 6 20 0 1 0 335346946 48222208 5892 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5892 388 1 0 5568 0
[pid=1227] ppid=1211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1227/stat : 1227 (sh) S 1211 1211 14418 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 335354952 9367552 264 33554432000 4194304 5064252 140733249593264 140733249591520 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1227/statm: 2287 264 223 213 0 72 0
[pid=1229] ppid=1227 vsize=33548 CPUtime=22.22 cores=0,2,4,6
/proc/1229/stat : 1229 (clasp-1.0) R 1227 1211 14418 0 -1 4202496 9467 0 0 0 2221 1 0 0 20 0 1 0 335354952 34353152 7657 33554432000 134512640 134847168 4290747952 4290746688 134733922 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1229/statm: 8387 7657 270 82 0 7628 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 89788
[startup+162.3 s]
/proc/loadavg: 1.98 2.37 2.26 3/181 1238
/proc/meminfo: memFree=27719284/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=129.35 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 7614 24394 0 0 2237 1 10688 9 20 0 1 0 335346946 48222208 5893 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5893 388 1 0 5568 0
[pid=1235] ppid=1211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1235/stat : 1235 (sh) S 1211 1211 14418 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335359885 9367552 264 33554432000 4194304 5064252 140736715587840 140736715586096 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1235/statm: 2287 264 223 213 0 72 0
[pid=1237] ppid=1235 vsize=33548 CPUtime=32.89 cores=0,2,4,6
/proc/1237/stat : 1237 (clasp-1.0) R 1235 1211 14418 0 -1 4202496 9486 0 0 0 3288 1 0 0 20 0 1 0 335359885 34353152 7676 33554432000 134512640 134847168 4291826272 4291825040 134617547 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1237/statm: 8387 7676 270 82 0 7628 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 89788
[startup+222.3 s]
/proc/loadavg: 1.99 2.30 2.24 3/182 1249
/proc/meminfo: memFree=27714612/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=195.45 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 7854 35904 0 0 2239 1 17293 12 20 0 1 0 335346946 48222208 5893 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5893 388 1 0 5568 0
[pid=1247] ppid=1211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1247/stat : 1247 (sh) S 1211 1211 14418 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335366498 9367552 263 33554432000 4194304 5064252 140735252427536 140735252425792 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1247/statm: 2287 263 223 213 0 72 0
[pid=1249] ppid=1247 vsize=33548 CPUtime=26.76 cores=0,2,4,6
/proc/1249/stat : 1249 (clasp-1.0) R 1247 1211 14418 0 -1 4202496 9458 0 0 0 2674 2 0 0 20 0 1 0 335366498 34353152 7827 33554432000 134512640 134847168 4294634256 4294632992 134733924 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1249/statm: 8387 7827 272 82 0 7628 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 89788
[startup+282.3 s]
/proc/loadavg: 2.04 2.26 2.23 3/182 1272
/proc/meminfo: memFree=27713368/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=195.45 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 7854 35904 0 0 2239 1 17293 12 20 0 1 0 335346946 48222208 5893 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5893 388 1 0 5568 0
[pid=1247] ppid=1211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1247/stat : 1247 (sh) S 1211 1211 14418 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335366498 9367552 263 33554432000 4194304 5064252 140735252427536 140735252425792 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1247/statm: 2287 263 223 213 0 72 0
[pid=1249] ppid=1247 vsize=33548 CPUtime=86.75 cores=0,2,4,6
/proc/1249/stat : 1249 (clasp-1.0) R 1247 1211 14418 0 -1 4202496 9469 0 0 0 8673 2 0 0 20 0 1 0 335366498 34353152 7837 33554432000 134512640 134847168 4294634256 4294633024 134617488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1249/statm: 8387 7837 272 82 0 7628 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 89788
[startup+342.3 s]
/proc/loadavg: 2.01 2.21 2.21 3/182 1639
/proc/meminfo: memFree=27723672/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=195.45 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 7854 35904 0 0 2239 1 17293 12 20 0 1 0 335346946 48222208 5893 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5893 388 1 0 5568 0
[pid=1247] ppid=1211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1247/stat : 1247 (sh) S 1211 1211 14418 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 335366498 9367552 263 33554432000 4194304 5064252 140735252427536 140735252425792 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1247/statm: 2287 263 223 213 0 72 0
[pid=1249] ppid=1247 vsize=44828 CPUtime=146.74 cores=0,2,4,6
################
# More data... #
################
/proc/1891/stat : 1891 (sh) S 1211 1211 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335444487 9367552 264 33554432000 4194304 5064252 140736021144944 140736021143200 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1891/statm: 2287 264 223 213 0 72 0
[pid=1893] ppid=1891 vsize=277040 CPUtime=446.79 cores=0,2,4,6
/proc/1893/stat : 1893 (clasp-1.0) R 1891 1211 14418 0 -1 4202496 70278 0 0 0 44661 18 0 0 20 0 1 0 335444487 283688960 68588 33554432000 134512640 134847168 4292867072 4292865904 134740927 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1893/statm: 69260 68588 270 82 0 68501 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 333280
[startup+1482.3 s]
/proc/loadavg: 1.09 1.30 1.70 3/180 24980
/proc/meminfo: memFree=27390304/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=975.2 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 7959 131391 0 0 2242 2 95236 40 20 0 1 0 335346946 48222208 5893 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5893 388 1 0 5568 0
[pid=1891] ppid=1211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (sh) S 1211 1211 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335444487 9367552 264 33554432000 4194304 5064252 140736021144944 140736021143200 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1891/statm: 2287 264 223 213 0 72 0
[pid=1893] ppid=1891 vsize=306352 CPUtime=506.78 cores=0,2,4,6
/proc/1893/stat : 1893 (clasp-1.0) R 1891 1211 14418 0 -1 4202496 77596 0 0 0 50657 21 0 0 20 0 1 0 335444487 313704448 75906 33554432000 134512640 134847168 4292867072 4292865712 134715276 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1893/statm: 76588 75906 270 82 0 75829 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 362592
[startup+1542.3 s]
/proc/loadavg: 1.26 1.31 1.68 2/182 5649
/proc/meminfo: memFree=27361312/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=975.2 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 7959 131391 0 0 2242 2 95236 40 20 0 1 0 335346946 48222208 5893 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5893 388 1 0 5568 0
[pid=1891] ppid=1211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (sh) S 1211 1211 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335444487 9367552 264 33554432000 4194304 5064252 140736021144944 140736021143200 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1891/statm: 2287 264 223 213 0 72 0
[pid=1893] ppid=1891 vsize=330808 CPUtime=566.76 cores=0,2,4,6
/proc/1893/stat : 1893 (clasp-1.0) R 1891 1211 14418 0 -1 4202496 83736 0 0 0 56654 22 0 0 20 0 1 0 335444487 338747392 82055 33554432000 134512640 134847168 4292867072 4292865696 134784680 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1893/statm: 82702 82055 270 82 0 81943 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 387048
[startup+1602.3 s]
/proc/loadavg: 1.25 1.30 1.65 3/182 18015
/proc/meminfo: memFree=27330952/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=975.2 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 7959 131391 0 0 2242 2 95236 40 20 0 1 0 335346946 48222208 5893 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5893 388 1 0 5568 0
[pid=1891] ppid=1211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (sh) S 1211 1211 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335444487 9367552 264 33554432000 4194304 5064252 140736021144944 140736021143200 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1891/statm: 2287 264 223 213 0 72 0
[pid=1893] ppid=1891 vsize=356808 CPUtime=626.75 cores=0,2,4,6
/proc/1893/stat : 1893 (clasp-1.0) R 1891 1211 14418 0 -1 4202496 90230 0 0 0 62650 25 0 0 20 0 1 0 335444487 365371392 88580 33554432000 134512640 134847168 4292867072 4292865712 134715268 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1893/statm: 89202 88580 270 82 0 88443 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 413048
[startup+1662.3 s]
/proc/loadavg: 1.19 1.28 1.62 3/180 31226
/proc/meminfo: memFree=27312360/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=975.2 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 7959 131391 0 0 2242 2 95236 40 20 0 1 0 335346946 48222208 5893 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5893 388 1 0 5568 0
[pid=1891] ppid=1211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (sh) S 1211 1211 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335444487 9367552 264 33554432000 4194304 5064252 140736021144944 140736021143200 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1891/statm: 2287 264 223 213 0 72 0
[pid=1893] ppid=1891 vsize=370076 CPUtime=686.74 cores=0,2,4,6
/proc/1893/stat : 1893 (clasp-1.0) R 1891 1211 14418 0 -1 4202496 93532 0 0 0 68648 26 0 0 20 0 1 0 335444487 378957824 91882 33554432000 134512640 134847168 4292867072 4292865840 134617498 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1893/statm: 92519 91882 270 82 0 91760 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 426316
[startup+1722.3 s]
/proc/loadavg: 1.19 1.26 1.59 3/180 11170
/proc/meminfo: memFree=27307920/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=975.2 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 7959 131391 0 0 2242 2 95236 40 20 0 1 0 335346946 48222208 5893 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5893 388 1 0 5568 0
[pid=1891] ppid=1211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (sh) S 1211 1211 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335444487 9367552 264 33554432000 4194304 5064252 140736021144944 140736021143200 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1891/statm: 2287 264 223 213 0 72 0
[pid=1893] ppid=1891 vsize=370076 CPUtime=746.73 cores=0,2,4,6
/proc/1893/stat : 1893 (clasp-1.0) R 1891 1211 14418 0 -1 4202496 93532 0 0 0 74647 26 0 0 20 0 1 0 335444487 378957824 91882 33554432000 134512640 134847168 4292867072 4292865764 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1893/statm: 92519 91882 270 82 0 91760 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 426316
[startup+1782.3 s]
/proc/loadavg: 1.18 1.25 1.56 3/182 24286
/proc/meminfo: memFree=27302744/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=975.2 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 7959 131391 0 0 2242 2 95236 40 20 0 1 0 335346946 48222208 5893 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5893 388 1 0 5568 0
[pid=1891] ppid=1211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (sh) S 1211 1211 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335444487 9367552 264 33554432000 4194304 5064252 140736021144944 140736021143200 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1891/statm: 2287 264 223 213 0 72 0
[pid=1893] ppid=1891 vsize=370076 CPUtime=806.72 cores=0,2,4,6
/proc/1893/stat : 1893 (clasp-1.0) R 1891 1211 14418 0 -1 4202496 93532 0 0 0 80646 26 0 0 20 0 1 0 335444487 378957824 91882 33554432000 134512640 134847168 4292867072 4292865812 134737633 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1893/statm: 92519 91882 270 82 0 91760 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 426316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.29 1.27 1.56 3/180 5889
/proc/meminfo: memFree=27300952/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=975.2 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 7959 131391 0 0 2242 2 95236 40 20 0 1 0 335346946 48222208 5893 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5893 388 1 0 5568 0
[pid=1891] ppid=1211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (sh) S 1211 1211 14418 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335444487 9367552 264 33554432000 4194304 5064252 140736021144944 140736021143200 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1891/statm: 2287 264 223 213 0 72 0
[pid=1893] ppid=1891 vsize=370076 CPUtime=824.82 cores=0,2,4,6
/proc/1893/stat : 1893 (clasp-1.0) R 1891 1211 14418 0 -1 4202496 93532 0 0 0 82456 26 0 0 20 0 1 0 335444487 378957824 91882 33554432000 134512640 134847168 4292867072 4292865764 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1893/statm: 92519 91882 270 82 0 91760 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 426316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -1211
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.29 1.27 1.56 3/183 6051
/proc/meminfo: memFree=27662888/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=1800.08 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 8129 227710 0 0 2244 2 177693 69 20 0 1 0 335346946 48222208 5893 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5893 388 1 0 5568 0
[pid=5945] ppid=1211 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/5945/stat : 5945 (sh) S 1211 1211 14418 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 335526992 9367552 264 33554432000 4194304 5064252 140734987098736 140734987096992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5945/statm: 2287 264 223 213 0 72 0
[pid=5948] ppid=5945 vsize=33548 CPUtime=0.93 cores=0,2,4,6
/proc/5948/stat : 5948 (clasp-1.0) R 5945 1211 14418 0 -1 4202496 9416 0 0 0 91 2 0 0 20 0 1 0 335526992 34353152 7609 33554432000 134512640 134847168 4293742256 4293741024 134617547 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5948/statm: 8387 7609 270 82 0 7628 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 89788
[startup+1802.2 s]
/proc/loadavg: 1.27 1.26 1.56 3/183 6742
/proc/meminfo: memFree=27638012/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=1800.08 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 8129 227710 0 0 2244 2 177693 69 20 0 1 0 335346946 48222208 5893 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5893 388 1 0 5568 0
[pid=5945] ppid=1211 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/5945/stat : 5945 (sh) S 1211 1211 14418 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 335526992 9367552 264 33554432000 4194304 5064252 140734987098736 140734987096992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5945/statm: 2287 264 223 213 0 72 0
[pid=5948] ppid=5945 vsize=33548 CPUtime=1.73 cores=0,2,4,6
/proc/5948/stat : 5948 (clasp-1.0) R 5945 1211 14418 0 -1 4202496 9419 0 0 0 171 2 0 0 20 0 1 0 335526992 34353152 7612 33554432000 134512640 134847168 4293742256 4293740992 134733909 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5948/statm: 8387 7612 270 82 0 7628 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 89788
[startup+1802.4 s]
/proc/loadavg: 1.27 1.26 1.56 3/183 6742
/proc/meminfo: memFree=27638012/32873844 swapFree=7384/7384
[pid=1211] ppid=1209 vsize=47092 CPUtime=1800.08 cores=0,2,4,6
/proc/1211/stat : 1211 (pbclasp) S 1209 1211 14418 0 -1 4202496 8129 227710 0 0 2244 2 177693 69 20 0 1 0 335346946 48222208 5893 33554432000 4194304 4198148 140734690397872 140734690396800 239876501534 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1211/statm: 11773 5893 388 1 0 5568 0
[pid=5945] ppid=1211 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/5945/stat : 5945 (sh) S 1211 1211 14418 0 -1 4202496 370 220 0 0 0 0 0 1 20 0 1 0 335526992 9367552 264 33554432000 4194304 5064252 140734987098736 140734987096992 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5945/statm: 2287 264 223 213 0 72 0
[pid=5948] ppid=5945 vsize=33548 CPUtime=1.93 cores=0,2,4,6
/proc/5948/stat : 5948 (clasp-1.0) R 5945 1211 14418 0 -1 4202496 9419 0 0 0 191 2 0 0 20 0 1 0 335526992 34353152 7612 33554432000 134512640 134847168 4293742256 4293740992 134733936 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5948/statm: 8387 7612 270 82 0 7628 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 89788
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.43
CPU time (s): 1802.09
CPU user time (s): 1801.31
CPU system time (s): 0.777881
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 426316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.31
system time used= 0.777881
maximum resident set size= 367904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248634
page faults= 0
swaps= 0
block input operations= 0
block output operations= 79312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8197
involuntary context switches= 2214
runsolver used 2.76258 second user time and 7.07892 second system time
The end