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-3731415-1338694587/watcher-3731415-1338694587 -o /tmp/evaluation-result-3731415-1338694587/solver-3731415-1338694587 -C 1800 -W 1900 -M 15500 pbclasp instance-3731415-1338694587.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.33 1.04 0.94 3/178 19073
/proc/meminfo: memFree=27533644/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) R 19071 19073 26887 0 -1 4202496 500 0 0 0 0 0 0 0 20 0 1 0 335585451 26071040 430 33554432000 4194304 4198148 140736023899008 140736023896456 271812774224 0 0 4224 0 0 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6365 435 339 1 0 160 0
[startup+0.0451831 s]
/proc/loadavg: 1.33 1.04 0.94 3/178 19073
/proc/meminfo: memFree=27533644/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=0 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 335585451 26341376 520 33554432000 4194304 4198148 140736023899008 140736023897896 271790957808 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 520 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.100164 s]
/proc/loadavg: 1.33 1.04 0.94 3/178 19073
/proc/meminfo: memFree=27533644/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=0.07 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 975 7043 0 0 0 0 6 1 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25724
[startup+0.30012 s]
/proc/loadavg: 1.33 1.04 0.94 3/178 19073
/proc/meminfo: memFree=27533644/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=0.09 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1110 9536 0 0 0 0 8 1 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25724
[startup+0.700115 s]
/proc/loadavg: 1.33 1.04 0.94 3/178 19073
/proc/meminfo: memFree=27533644/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=0.09 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1110 9536 0 0 0 0 8 1 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25724
[startup+1.50029 s]
/proc/loadavg: 1.33 1.04 0.94 3/181 19107
/proc/meminfo: memFree=27530504/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=0.09 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1110 9536 0 0 0 0 8 1 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19105] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19105/stat : 19105 (sh) S 19073 19073 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335585463 9367552 264 33554432000 4194304 5064252 140736989612064 140736989610320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19105/statm: 2287 264 223 213 0 72 0
[pid=19107] ppid=19105 vsize=4996 CPUtime=1.37 cores=0,2,4,6
/proc/19107/stat : 19107 (clasp-1.0) R 19105 19073 26887 0 -1 4202496 839 0 0 0 137 0 0 0 20 0 1 0 335585463 5115904 736 33554432000 134512640 134847168 4288003536 4288002176 134783070 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19107/statm: 1249 736 272 82 0 490 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39868
[startup+3.10029 s]
/proc/loadavg: 1.38 1.05 0.94 3/181 19107
/proc/meminfo: memFree=27530396/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=0.09 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1110 9536 0 0 0 0 8 1 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19105] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19105/stat : 19105 (sh) S 19073 19073 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335585463 9367552 264 33554432000 4194304 5064252 140736989612064 140736989610320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19105/statm: 2287 264 223 213 0 72 0
[pid=19107] ppid=19105 vsize=5372 CPUtime=2.97 cores=0,2,4,6
/proc/19107/stat : 19107 (clasp-1.0) R 19105 19073 26887 0 -1 4202496 926 0 0 0 297 0 0 0 20 0 1 0 335585463 5500928 823 33554432000 134512640 134847168 4288003536 4288002256 134741346 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19107/statm: 1343 823 272 82 0 584 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 40244
[startup+6.30029 s]
/proc/loadavg: 1.38 1.05 0.94 3/181 19107
/proc/meminfo: memFree=27530064/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=0.09 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1110 9536 0 0 0 0 8 1 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19105] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19105/stat : 19105 (sh) S 19073 19073 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335585463 9367552 264 33554432000 4194304 5064252 140736989612064 140736989610320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19105/statm: 2287 264 223 213 0 72 0
[pid=19107] ppid=19105 vsize=5728 CPUtime=6.17 cores=0,2,4,6
/proc/19107/stat : 19107 (clasp-1.0) R 19105 19073 26887 0 -1 4202496 1013 0 0 0 617 0 0 0 20 0 1 0 335585463 5865472 910 33554432000 134512640 134847168 4288003536 4288001824 134791716 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19107/statm: 1432 910 272 82 0 673 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 40600
[startup+12.7003 s]
/proc/loadavg: 1.56 1.10 0.96 3/181 19107
/proc/meminfo: memFree=27529568/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=0.09 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1110 9536 0 0 0 0 8 1 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19105] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19105/stat : 19105 (sh) S 19073 19073 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335585463 9367552 264 33554432000 4194304 5064252 140736989612064 140736989610320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19105/statm: 2287 264 223 213 0 72 0
[pid=19107] ppid=19105 vsize=6032 CPUtime=12.57 cores=0,2,4,6
/proc/19107/stat : 19107 (clasp-1.0) R 19105 19073 26887 0 -1 4202496 1106 0 0 0 1257 0 0 0 20 0 1 0 335585463 6176768 1003 33554432000 134512640 134847168 4288003536 4288002228 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19107/statm: 1508 1003 272 82 0 749 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 40904
[startup+25.5003 s]
/proc/loadavg: 1.62 1.13 0.97 3/181 19107
/proc/meminfo: memFree=27529964/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=0.09 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1110 9536 0 0 0 0 8 1 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19105] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19105/stat : 19105 (sh) S 19073 19073 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335585463 9367552 264 33554432000 4194304 5064252 140736989612064 140736989610320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19105/statm: 2287 264 223 213 0 72 0
[pid=19107] ppid=19105 vsize=6640 CPUtime=25.37 cores=0,2,4,6
/proc/19107/stat : 19107 (clasp-1.0) R 19105 19073 26887 0 -1 4202496 1266 0 0 0 2537 0 0 0 20 0 1 0 335585463 6799360 1152 33554432000 134512640 134847168 4288003536 4288002276 134737633 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19107/statm: 1660 1152 272 82 0 901 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 41512
[startup+51.1003 s]
/proc/loadavg: 1.75 1.20 1.00 3/181 19107
/proc/meminfo: memFree=27529096/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=0.09 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1110 9536 0 0 0 0 8 1 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19105] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19105/stat : 19105 (sh) S 19073 19073 26887 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335585463 9367552 264 33554432000 4194304 5064252 140736989612064 140736989610320 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19105/statm: 2287 264 223 213 0 72 0
[pid=19107] ppid=19105 vsize=6980 CPUtime=50.96 cores=0,2,4,6
/proc/19107/stat : 19107 (clasp-1.0) R 19105 19073 26887 0 -1 4202496 1355 0 0 0 5096 0 0 0 20 0 1 0 335585463 7147520 1241 33554432000 134512640 134847168 4288003536 4288002236 134777593 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19107/statm: 1745 1241 272 82 0 986 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 41852
[startup+102.306 s]
/proc/loadavg: 1.90 1.33 1.05 3/181 19131
/proc/meminfo: memFree=27529116/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=66.51 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1489 18001 0 0 1 0 6647 3 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19129] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19129/stat : 19129 (sh) S 19073 19073 26887 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 335592107 9367552 264 33554432000 4194304 5064252 140735517828608 140735517826864 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19129/statm: 2287 264 223 213 0 72 0
[pid=19131] ppid=19129 vsize=6896 CPUtime=35.73 cores=0,2,4,6
/proc/19131/stat : 19131 (clasp-1.0) R 19129 19073 26887 0 -1 4202496 1316 0 0 0 3573 0 0 0 20 0 1 0 335592107 7061504 1213 33554432000 134512640 134847168 4289587392 4289586112 134741423 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19131/statm: 1724 1213 270 82 0 965 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 41768
[startup+162.3 s]
/proc/loadavg: 1.96 1.45 1.11 3/181 19131
/proc/meminfo: memFree=27526856/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=66.51 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1489 18001 0 0 1 0 6647 3 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19129] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19129/stat : 19129 (sh) S 19073 19073 26887 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 335592107 9367552 264 33554432000 4194304 5064252 140735517828608 140735517826864 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19129/statm: 2287 264 223 213 0 72 0
[pid=19131] ppid=19129 vsize=7896 CPUtime=95.71 cores=0,2,4,6
/proc/19131/stat : 19131 (clasp-1.0) R 19129 19073 26887 0 -1 4202496 1569 0 0 0 9571 0 0 0 20 0 1 0 335592107 8085504 1465 33554432000 134512640 134847168 4289587392 4289586016 134784711 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19131/statm: 1974 1465 270 82 0 1215 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 42768
[startup+222.3 s]
/proc/loadavg: 1.98 1.55 1.16 3/182 19135
/proc/meminfo: memFree=27525276/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=66.51 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1489 18001 0 0 1 0 6647 3 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19129] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19129/stat : 19129 (sh) S 19073 19073 26887 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 335592107 9367552 264 33554432000 4194304 5064252 140735517828608 140735517826864 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19129/statm: 2287 264 223 213 0 72 0
[pid=19131] ppid=19129 vsize=8364 CPUtime=155.7 cores=0,2,4,6
/proc/19131/stat : 19131 (clasp-1.0) R 19129 19073 26887 0 -1 4202496 1688 0 0 0 15570 0 0 0 20 0 1 0 335592107 8564736 1584 33554432000 134512640 134847168 4289587392 4289585696 134791617 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19131/statm: 2091 1584 270 82 0 1332 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 43236
[startup+282.3 s]
################
# More data... #
################
/proc/19159/stat : 19159 (sh) S 19073 19073 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335716607 9367552 263 33554432000 4194304 5064252 140737328778112 140737328776368 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19159/statm: 2287 263 223 213 0 72 0
[pid=19161] ppid=19159 vsize=7896 CPUtime=110.71 cores=0,2,4,6
/proc/19161/stat : 19161 (clasp-1.0) R 19159 19073 26887 0 -1 4202496 1579 0 0 0 11071 0 0 0 20 0 1 0 335716607 8085504 1476 33554432000 134512640 134847168 4294380960 4294379584 134784610 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19161/statm: 1974 1476 272 82 0 1215 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 42768
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.76 3/182 19269
/proc/meminfo: memFree=27524296/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=1311.31 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1592 22806 0 0 1 0 131126 4 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19159] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19159/stat : 19159 (sh) S 19073 19073 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335716607 9367552 263 33554432000 4194304 5064252 140737328778112 140737328776368 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19159/statm: 2287 263 223 213 0 72 0
[pid=19161] ppid=19159 vsize=8364 CPUtime=170.7 cores=0,2,4,6
/proc/19161/stat : 19161 (clasp-1.0) R 19159 19073 26887 0 -1 4202496 1691 0 0 0 17070 0 0 0 20 0 1 0 335716607 8564736 1588 33554432000 134512640 134847168 4294380960 4294379680 134741432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19161/statm: 2091 1588 272 82 0 1332 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 43236
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.78 3/181 19269
/proc/meminfo: memFree=27524788/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=1311.31 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1592 22806 0 0 1 0 131126 4 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19159] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19159/stat : 19159 (sh) S 19073 19073 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335716607 9367552 263 33554432000 4194304 5064252 140737328778112 140737328776368 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19159/statm: 2287 263 223 213 0 72 0
[pid=19161] ppid=19159 vsize=8720 CPUtime=230.69 cores=0,2,4,6
/proc/19161/stat : 19161 (clasp-1.0) R 19159 19073 26887 0 -1 4202496 1814 0 0 0 23069 0 0 0 20 0 1 0 335716607 8929280 1669 33554432000 134512640 134847168 4294380960 4294379652 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19161/statm: 2180 1669 272 82 0 1421 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 43592
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.79 3/181 19269
/proc/meminfo: memFree=27523920/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=1311.31 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1592 22806 0 0 1 0 131126 4 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19159] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19159/stat : 19159 (sh) S 19073 19073 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335716607 9367552 263 33554432000 4194304 5064252 140737328778112 140737328776368 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19159/statm: 2287 263 223 213 0 72 0
[pid=19161] ppid=19159 vsize=9124 CPUtime=290.67 cores=0,2,4,6
/proc/19161/stat : 19161 (clasp-1.0) R 19159 19073 26887 0 -1 4202496 1928 0 0 0 29067 0 0 0 20 0 1 0 335716607 9342976 1764 33554432000 134512640 134847168 4294380960 4294379584 134784684 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19161/statm: 2281 1764 272 82 0 1522 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 43996
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/181 19269
/proc/meminfo: memFree=27523432/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=1311.31 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1592 22806 0 0 1 0 131126 4 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19159] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19159/stat : 19159 (sh) S 19073 19073 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335716607 9367552 263 33554432000 4194304 5064252 140737328778112 140737328776368 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19159/statm: 2287 263 223 213 0 72 0
[pid=19161] ppid=19159 vsize=9336 CPUtime=350.66 cores=0,2,4,6
/proc/19161/stat : 19161 (clasp-1.0) R 19159 19073 26887 0 -1 4202496 2000 0 0 0 35066 0 0 0 20 0 1 0 335716607 9560064 1829 33554432000 134512640 134847168 4294380960 4294379680 134741477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19161/statm: 2334 1829 272 82 0 1575 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 44208
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/181 19270
/proc/meminfo: memFree=27522132/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=1311.31 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1592 22806 0 0 1 0 131126 4 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19159] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19159/stat : 19159 (sh) S 19073 19073 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335716607 9367552 263 33554432000 4194304 5064252 140737328778112 140737328776368 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19159/statm: 2287 263 223 213 0 72 0
[pid=19161] ppid=19159 vsize=9464 CPUtime=410.65 cores=0,2,4,6
/proc/19161/stat : 19161 (clasp-1.0) R 19159 19073 26887 0 -1 4202496 2040 0 0 0 41065 0 0 0 20 0 1 0 335716607 9691136 1864 33554432000 134512640 134847168 4294380960 4294379652 134616619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19161/statm: 2366 1864 272 82 0 1607 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 44336
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/181 19270
/proc/meminfo: memFree=27522068/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=1311.31 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1592 22806 0 0 1 0 131126 4 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19159] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19159/stat : 19159 (sh) S 19073 19073 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335716607 9367552 263 33554432000 4194304 5064252 140737328778112 140737328776368 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19159/statm: 2287 263 223 213 0 72 0
[pid=19161] ppid=19159 vsize=9840 CPUtime=470.64 cores=0,2,4,6
/proc/19161/stat : 19161 (clasp-1.0) R 19159 19073 26887 0 -1 4202496 2183 0 0 0 47064 0 0 0 20 0 1 0 335716607 10076160 1937 33554432000 134512640 134847168 4294380960 4294379648 134616828 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19161/statm: 2460 1937 272 82 0 1701 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 44712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.82 3/181 19270
/proc/meminfo: memFree=27522068/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=1311.31 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1592 22806 0 0 1 0 131126 4 20 0 1 0 335585451 26341376 553 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19073/statm: 6431 553 387 1 0 226 0
[pid=19159] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19159/stat : 19159 (sh) S 19073 19073 26887 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335716607 9367552 263 33554432000 4194304 5064252 140737328778112 140737328776368 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19159/statm: 2287 263 223 213 0 72 0
[pid=19161] ppid=19159 vsize=9928 CPUtime=488.74 cores=0,2,4,6
/proc/19161/stat : 19161 (clasp-1.0) R 19159 19073 26887 0 -1 4202496 2225 0 0 0 48874 0 0 0 20 0 1 0 335716607 10166272 1979 33554432000 134512640 134847168 4294380960 4294379600 134715268 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19161/statm: 2482 1979 272 82 0 1723 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 44800
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19073
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.82 3/182 19289
/proc/meminfo: memFree=27533104/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=1800.08 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1766 27809 0 0 1 0 180001 6 20 0 1 0 335585451 26341376 554 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19073/statm: 6431 554 387 1 0 226 0
[pid=19279] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19279/stat : 19279 (sh) S 19073 19073 26887 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335765493 9367552 264 33554432000 4194304 5064252 140736544190624 140736544188880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19279/statm: 2287 264 223 213 0 72 0
[pid=19282] ppid=19279 vsize=4880 CPUtime=0.96 cores=0,2,4,6
/proc/19282/stat : 19282 (clasp-1.0) R 19279 19073 26887 0 -1 4202496 816 0 0 0 96 0 0 0 20 0 1 0 335765493 4997120 714 33554432000 134512640 134847168 4291827712 4291826336 134784651 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19282/statm: 1220 714 270 82 0 461 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 39752
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.82 3/182 19289
/proc/meminfo: memFree=27532640/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=1800.08 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1766 27809 0 0 1 0 180001 6 20 0 1 0 335585451 26341376 554 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19073/statm: 6431 554 387 1 0 226 0
[pid=19279] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19279/stat : 19279 (sh) S 19073 19073 26887 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335765493 9367552 264 33554432000 4194304 5064252 140736544190624 140736544188880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19279/statm: 2287 264 223 213 0 72 0
[pid=19282] ppid=19279 vsize=5144 CPUtime=1.76 cores=0,2,4,6
/proc/19282/stat : 19282 (clasp-1.0) R 19279 19073 26887 0 -1 4202496 876 0 0 0 176 0 0 0 20 0 1 0 335765493 5267456 774 33554432000 134512640 134847168 4291827712 4291826352 134715324 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19282/statm: 1286 774 270 82 0 527 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 40016
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 1.82 3/182 19289
/proc/meminfo: memFree=27532640/32873648 swapFree=6852/6852
[pid=19073] ppid=19071 vsize=25724 CPUtime=1800.08 cores=0,2,4,6
/proc/19073/stat : 19073 (pbclasp) S 19071 19073 26887 0 -1 4202496 1766 27809 0 0 1 0 180001 6 20 0 1 0 335585451 26341376 554 33554432000 4194304 4198148 140736023899008 140736023897936 271790960670 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19073/statm: 6431 554 387 1 0 226 0
[pid=19279] ppid=19073 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19279/stat : 19279 (sh) S 19073 19073 26887 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335765493 9367552 264 33554432000 4194304 5064252 140736544190624 140736544188880 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19279/statm: 2287 264 223 213 0 72 0
[pid=19282] ppid=19279 vsize=5144 CPUtime=1.96 cores=0,2,4,6
/proc/19282/stat : 19282 (clasp-1.0) R 19279 19073 26887 0 -1 4202496 883 0 0 0 196 0 0 0 20 0 1 0 335765493 5267456 781 33554432000 134512640 134847168 4291827712 4291825988 134792561 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19282/statm: 1286 781 270 82 0 527 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 40016
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.09
CPU user time (s): 1802.02
CPU system time (s): 0.071989
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 46732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1802.02
system time used= 0.071989
maximum resident set size= 9784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31184
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 267
involuntary context switches= 2468
runsolver used 4.73528 second user time and 12.7521 second system time
The end