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-3732647-1338708017/watcher-3732647-1338708017 -o /tmp/evaluation-result-3732647-1338708017/solver-3732647-1338708017 -C 1800 -W 1900 -M 15500 pbclasp instance-3732647-1338708017.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.10 2.03 2.00 3/179 10449
/proc/meminfo: memFree=29237072/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=26196 CPUtime=0 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) R 10447 10449 8320 0 -1 4202496 689 0 0 0 0 0 0 0 20 0 1 0 336927178 26824704 619 33554432000 4194304 4198148 140736135713872 140734105458792 260189995716 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6549 619 361 1 0 344 0
[startup+0.0455811 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 10449
/proc/meminfo: memFree=29237072/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=26196 CPUtime=0.04 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) R 10447 10449 8320 0 -1 4202496 718 0 0 0 4 0 0 0 20 0 1 0 336927178 26824704 648 33554432000 4194304 4198148 140736135713872 140734105458792 260215667984 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6549 648 361 1 0 344 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26196
[startup+0.100197 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 10449
/proc/meminfo: memFree=29237072/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=26460 CPUtime=0.09 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) R 10447 10449 8320 0 -1 4202496 761 0 0 0 9 0 0 0 20 0 1 0 336927178 27095040 691 33554432000 4194304 4198148 140736135713872 140734105458792 260189995326 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6615 691 361 1 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26460
[startup+0.300108 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 10449
/proc/meminfo: memFree=29237072/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27288 CPUtime=0.21 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 993 0 0 0 21 0 0 0 20 0 1 0 336927178 27942912 906 33554432000 4194304 4198148 140736135713872 140736135712760 260193707248 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6822 906 368 1 0 617 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 27288
[startup+0.700123 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 10449
/proc/meminfo: memFree=29237072/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=0.67 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1348 2113 0 0 22 0 45 0 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 27816
[startup+1.50025 s]
/proc/loadavg: 2.10 2.03 2.00 3/182 10459
/proc/meminfo: memFree=29224516/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=0.67 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1348 2113 0 0 22 0 45 0 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10457] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10457/stat : 10457 (sh) S 10449 10449 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336927246 9367552 264 33554432000 4194304 5064252 140736058643968 140736058642224 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10457/statm: 2287 264 223 213 0 72 0
[pid=10459] ppid=10457 vsize=10704 CPUtime=0.8 cores=1,3,5,7
/proc/10459/stat : 10459 (clasp-1.0) R 10457 10449 8320 0 -1 4202496 2368 0 0 0 80 0 0 0 20 0 1 0 336927246 10960896 2110 33554432000 134512640 134847168 4290794080 4290792848 134737304 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10459/statm: 2676 2110 266 82 0 1917 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 47668
[startup+3.10025 s]
/proc/loadavg: 2.09 2.03 2.00 3/182 10459
/proc/meminfo: memFree=29223988/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=0.67 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1348 2113 0 0 22 0 45 0 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10457] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10457/stat : 10457 (sh) S 10449 10449 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336927246 9367552 264 33554432000 4194304 5064252 140736058643968 140736058642224 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10457/statm: 2287 264 223 213 0 72 0
[pid=10459] ppid=10457 vsize=12620 CPUtime=2.4 cores=1,3,5,7
/proc/10459/stat : 10459 (clasp-1.0) R 10457 10449 8320 0 -1 4202496 2857 0 0 0 240 0 0 0 20 0 1 0 336927246 12922880 2599 33554432000 134512640 134847168 4290794080 4290792800 134741621 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10459/statm: 3155 2599 266 82 0 2396 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 49584
[startup+6.30025 s]
/proc/loadavg: 2.09 2.03 2.00 3/182 10459
/proc/meminfo: memFree=29219800/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=0.67 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1348 2113 0 0 22 0 45 0 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10457] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10457/stat : 10457 (sh) S 10449 10449 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336927246 9367552 264 33554432000 4194304 5064252 140736058643968 140736058642224 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10457/statm: 2287 264 223 213 0 72 0
[pid=10459] ppid=10457 vsize=15048 CPUtime=5.6 cores=1,3,5,7
/proc/10459/stat : 10459 (clasp-1.0) R 10457 10449 8320 0 -1 4202496 3426 0 0 0 560 0 0 0 20 0 1 0 336927246 15409152 3168 33554432000 134512640 134847168 4290794080 4290792848 134737383 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10459/statm: 3762 3168 266 82 0 3003 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 52012
[startup+12.7002 s]
/proc/loadavg: 2.16 2.04 2.01 3/182 10459
/proc/meminfo: memFree=29214720/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=0.67 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1348 2113 0 0 22 0 45 0 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10457] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10457/stat : 10457 (sh) S 10449 10449 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336927246 9367552 264 33554432000 4194304 5064252 140736058643968 140736058642224 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10457/statm: 2287 264 223 213 0 72 0
[pid=10459] ppid=10457 vsize=18664 CPUtime=11.99 cores=1,3,5,7
/proc/10459/stat : 10459 (clasp-1.0) R 10457 10449 8320 0 -1 4202496 4330 0 0 0 1199 0 0 0 20 0 1 0 336927246 19111936 4072 33554432000 134512640 134847168 4290794080 4290792768 134735907 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10459/statm: 4666 4072 266 82 0 3907 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 55628
[startup+25.5004 s]
/proc/loadavg: 2.13 2.04 2.01 3/182 10459
/proc/meminfo: memFree=29208048/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=0.67 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1348 2113 0 0 22 0 45 0 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10457] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10457/stat : 10457 (sh) S 10449 10449 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336927246 9367552 264 33554432000 4194304 5064252 140736058643968 140736058642224 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10457/statm: 2287 264 223 213 0 72 0
[pid=10459] ppid=10457 vsize=21696 CPUtime=24.8 cores=1,3,5,7
/proc/10459/stat : 10459 (clasp-1.0) R 10457 10449 8320 0 -1 4202496 5032 0 0 0 2479 1 0 0 20 0 1 0 336927246 22216704 4774 33554432000 134512640 134847168 4290794080 4290792704 134784663 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10459/statm: 5424 4774 266 82 0 4665 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 58660
[startup+51.1003 s]
/proc/loadavg: 2.09 2.04 2.01 3/181 10459
/proc/meminfo: memFree=29198184/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=0.67 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1348 2113 0 0 22 0 45 0 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10457] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10457/stat : 10457 (sh) S 10449 10449 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336927246 9367552 264 33554432000 4194304 5064252 140736058643968 140736058642224 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10457/statm: 2287 264 223 213 0 72 0
[pid=10459] ppid=10457 vsize=26964 CPUtime=50.38 cores=1,3,5,7
/proc/10459/stat : 10459 (clasp-1.0) R 10457 10449 8320 0 -1 4202496 6309 0 0 0 5037 1 0 0 20 0 1 0 336927246 27611136 6153 33554432000 134512640 134847168 4290794080 4290792820 134737633 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10459/statm: 6741 6153 266 82 0 5982 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 63928
[startup+102.307 s]
/proc/loadavg: 2.07 2.04 2.01 3/181 10459
/proc/meminfo: memFree=29189712/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=0.67 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1348 2113 0 0 22 0 45 0 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10457] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10457/stat : 10457 (sh) S 10449 10449 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336927246 9367552 264 33554432000 4194304 5064252 140736058643968 140736058642224 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10457/statm: 2287 264 223 213 0 72 0
[pid=10459] ppid=10457 vsize=32032 CPUtime=101.58 cores=1,3,5,7
/proc/10459/stat : 10459 (clasp-1.0) R 10457 10449 8320 0 -1 4202496 7521 0 0 0 10157 1 0 0 20 0 1 0 336927246 32800768 7415 33554432000 134512640 134847168 4290794080 4290792816 134741032 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10459/statm: 8008 7415 266 82 0 7249 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 68996
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 10459
/proc/meminfo: memFree=29181716/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=0.67 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1348 2113 0 0 22 0 45 0 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10457] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10457/stat : 10457 (sh) S 10449 10449 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336927246 9367552 264 33554432000 4194304 5064252 140736058643968 140736058642224 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10457/statm: 2287 264 223 213 0 72 0
[pid=10459] ppid=10457 vsize=37224 CPUtime=161.57 cores=1,3,5,7
/proc/10459/stat : 10459 (clasp-1.0) R 10457 10449 8320 0 -1 4202496 8703 0 0 0 16155 2 0 0 20 0 1 0 336927246 38117376 8687 33554432000 134512640 134847168 4290794080 4290792720 134782662 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10459/statm: 9306 8687 266 82 0 8547 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 74188
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 10460
/proc/meminfo: memFree=29174724/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=0.67 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1348 2113 0 0 22 0 45 0 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10457] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10457/stat : 10457 (sh) S 10449 10449 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 336927246 9367552 264 33554432000 4194304 5064252 140736058643968 140736058642224 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10457/statm: 2287 264 223 213 0 72 0
[pid=10459] ppid=10457 vsize=41732 CPUtime=221.56 cores=1,3,5,7
/proc/10459/stat : 10459 (clasp-1.0) R 10457 10449 8320 0 -1 4202496 9738 0 0 0 22154 2 0 0 20 0 1 0 336927246 42733568 9722 33554432000 134512640 134847168 4290794080 4290792768 134735792 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10459/statm: 10433 9722 266 82 0 9674 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 78696
[startup+282.3 s]
################
# More data... #
################
/proc/10511/stat : 10511 (sh) S 10449 10449 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337053574 9367552 263 33554432000 4194304 5064252 140735240862576 140735240860832 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10511/statm: 2287 263 223 213 0 72 0
[pid=10513] ppid=10511 vsize=36652 CPUtime=158.29 cores=1,3,5,7
/proc/10513/stat : 10513 (clasp-1.0) R 10511 10449 8320 0 -1 4202496 8607 0 0 0 15811 18 0 0 20 0 1 0 337053575 37531648 8576 33554432000 134512640 134847168 4288352240 4288350928 134735790 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10513/statm: 9163 8576 266 82 0 8404 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 73616
[startup+1482.3 s]
/proc/loadavg: 1.41 1.66 1.85 3/181 32380
/proc/meminfo: memFree=29199464/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=1263.73 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1444 19929 0 0 22 0 126346 5 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10511] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10511/stat : 10511 (sh) S 10449 10449 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337053574 9367552 263 33554432000 4194304 5064252 140735240862576 140735240860832 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10511/statm: 2287 263 223 213 0 72 0
[pid=10513] ppid=10511 vsize=41732 CPUtime=218.27 cores=1,3,5,7
/proc/10513/stat : 10513 (clasp-1.0) R 10511 10449 8320 0 -1 4202496 9744 0 0 0 21803 24 0 0 20 0 1 0 337053575 42733568 9742 33554432000 134512640 134847168 4288352240 4288350880 134782472 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10513/statm: 10433 9742 266 82 0 9674 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 78696
[startup+1542.3 s]
/proc/loadavg: 1.32 1.58 1.81 3/179 28261
/proc/meminfo: memFree=29192192/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=1263.73 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1444 19929 0 0 22 0 126346 5 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10511] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10511/stat : 10511 (sh) S 10449 10449 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337053574 9367552 263 33554432000 4194304 5064252 140735240862576 140735240860832 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10511/statm: 2287 263 223 213 0 72 0
[pid=10513] ppid=10511 vsize=47748 CPUtime=278.27 cores=1,3,5,7
/proc/10513/stat : 10513 (clasp-1.0) R 10511 10449 8320 0 -1 4202496 11191 0 0 0 27796 31 0 0 20 0 1 0 337053575 48893952 11257 33554432000 134512640 134847168 4288352240 4288351008 134737694 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10513/statm: 11937 11257 266 82 0 11178 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 84712
[startup+1602.3 s]
/proc/loadavg: 1.40 1.55 1.79 2/181 23896
/proc/meminfo: memFree=29190008/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=1263.73 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1444 19929 0 0 22 0 126346 5 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10511] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10511/stat : 10511 (sh) S 10449 10449 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337053574 9367552 263 33554432000 4194304 5064252 140735240862576 140735240860832 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10511/statm: 2287 263 223 213 0 72 0
[pid=10513] ppid=10511 vsize=48612 CPUtime=338.25 cores=1,3,5,7
/proc/10513/stat : 10513 (clasp-1.0) R 10511 10449 8320 0 -1 4202496 11388 0 0 0 33787 38 0 0 20 0 1 0 337053575 49778688 11562 33554432000 134512640 134847168 4288352240 4288350864 134784798 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10513/statm: 12153 11562 266 82 0 11394 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 85576
[startup+1662.3 s]
/proc/loadavg: 1.37 1.52 1.76 3/181 19878
/proc/meminfo: memFree=29189512/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=1263.73 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1444 19929 0 0 22 0 126346 5 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10511] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10511/stat : 10511 (sh) S 10449 10449 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337053574 9367552 263 33554432000 4194304 5064252 140735240862576 140735240860832 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10511/statm: 2287 263 223 213 0 72 0
[pid=10513] ppid=10511 vsize=48876 CPUtime=398.24 cores=1,3,5,7
/proc/10513/stat : 10513 (clasp-1.0) R 10511 10449 8320 0 -1 4202496 11420 0 0 0 39781 43 0 0 20 0 1 0 337053575 50049024 11594 33554432000 134512640 134847168 4288352240 4288350924 134789720 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10513/statm: 12219 11594 266 82 0 11460 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 85840
[startup+1722.3 s]
/proc/loadavg: 1.38 1.48 1.73 3/181 15212
/proc/meminfo: memFree=29186052/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=1263.73 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1444 19929 0 0 22 0 126346 5 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10511] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10511/stat : 10511 (sh) S 10449 10449 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337053574 9367552 263 33554432000 4194304 5064252 140735240862576 140735240860832 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10511/statm: 2287 263 223 213 0 72 0
[pid=10513] ppid=10511 vsize=50684 CPUtime=458.23 cores=1,3,5,7
/proc/10513/stat : 10513 (clasp-1.0) R 10511 10449 8320 0 -1 4202496 11930 0 0 0 45773 50 0 0 20 0 1 0 337053575 51900416 12044 33554432000 134512640 134847168 4288352240 4288350864 134784634 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10513/statm: 12671 12044 266 82 0 11912 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 87648
[startup+1782.3 s]
/proc/loadavg: 1.40 1.47 1.71 3/181 11642
/proc/meminfo: memFree=29185300/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=1263.73 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1444 19929 0 0 22 0 126346 5 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10511] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10511/stat : 10511 (sh) S 10449 10449 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337053574 9367552 263 33554432000 4194304 5064252 140735240862576 140735240860832 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10511/statm: 2287 263 223 213 0 72 0
[pid=10513] ppid=10511 vsize=51076 CPUtime=518.23 cores=1,3,5,7
/proc/10513/stat : 10513 (clasp-1.0) R 10511 10449 8320 0 -1 4202496 12011 0 0 0 51766 57 0 0 20 0 1 0 337053575 52301824 12125 33554432000 134512640 134847168 4288352240 4288350976 134741032 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10513/statm: 12769 12125 266 82 0 12010 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 88040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.42 1.47 1.70 3/182 30350
/proc/meminfo: memFree=29183772/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=1263.73 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1444 19929 0 0 22 0 126346 5 20 0 1 0 336927178 28483584 1051 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1051 387 1 0 749 0
[pid=10511] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10511/stat : 10511 (sh) S 10449 10449 8320 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337053574 9367552 263 33554432000 4194304 5064252 140735240862576 140735240860832 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10511/statm: 2287 263 223 213 0 72 0
[pid=10513] ppid=10511 vsize=51936 CPUtime=536.33 cores=1,3,5,7
/proc/10513/stat : 10513 (clasp-1.0) R 10511 10449 8320 0 -1 4202496 12251 0 0 0 53575 58 0 0 20 0 1 0 337053575 53182464 12365 33554432000 134512640 134847168 4288352240 4288350880 134782647 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10513/statm: 12984 12365 266 82 0 12225 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 88900
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10449
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.42 1.47 1.70 3/182 30565
/proc/meminfo: memFree=29224980/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=1800.1 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1601 34959 0 0 23 0 179922 65 20 0 1 0 336927178 28483584 1053 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1053 387 1 0 749 0
[pid=30381] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30381/stat : 30381 (sh) S 10449 10449 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 337107220 9367552 264 33554432000 4194304 5064252 140736083420512 140736083418768 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30381/statm: 2287 264 223 213 0 72 0
[pid=30385] ppid=30381 vsize=10704 CPUtime=0.96 cores=1,3,5,7
/proc/30385/stat : 30385 (clasp-1.0) R 30381 10449 8320 0 -1 4202496 2371 0 0 0 96 0 0 0 20 0 1 0 337107220 10960896 2113 33554432000 134512640 134847168 4290407536 4290406304 134737979 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30385/statm: 2676 2113 268 82 0 1917 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 47668
[startup+1802.2 s]
/proc/loadavg: 1.42 1.47 1.70 3/181 31710
/proc/meminfo: memFree=29224336/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=1800.1 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1601 34959 0 0 23 0 179922 65 20 0 1 0 336927178 28483584 1053 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1053 387 1 0 749 0
[pid=30381] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30381/stat : 30381 (sh) S 10449 10449 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 337107220 9367552 264 33554432000 4194304 5064252 140736083420512 140736083418768 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30381/statm: 2287 264 223 213 0 72 0
[pid=30385] ppid=30381 vsize=11100 CPUtime=1.76 cores=1,3,5,7
/proc/30385/stat : 30385 (clasp-1.0) R 30381 10449 8320 0 -1 4202496 2492 0 0 0 176 0 0 0 20 0 1 0 337107220 11366400 2234 33554432000 134512640 134847168 4290407536 4290406304 134737840 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30385/statm: 2775 2234 268 82 0 2016 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 48064
[startup+1802.4 s]
/proc/loadavg: 1.42 1.47 1.70 3/181 31710
/proc/meminfo: memFree=29224336/32873648 swapFree=7116/7116
[pid=10449] ppid=10447 vsize=27816 CPUtime=1800.1 cores=1,3,5,7
/proc/10449/stat : 10449 (pbclasp) S 10447 10449 8320 0 -1 4202496 1601 34959 0 0 23 0 179922 65 20 0 1 0 336927178 28483584 1053 33554432000 4194304 4198148 140736135713872 140736135712800 260193710110 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10449/statm: 6954 1053 387 1 0 749 0
[pid=30381] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30381/stat : 30381 (sh) S 10449 10449 8320 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 337107220 9367552 264 33554432000 4194304 5064252 140736083420512 140736083418768 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30381/statm: 2287 264 223 213 0 72 0
[pid=30385] ppid=30381 vsize=11628 CPUtime=1.96 cores=1,3,5,7
/proc/30385/stat : 30385 (clasp-1.0) R 30381 10449 8320 0 -1 4202496 2616 0 0 0 196 0 0 0 20 0 1 0 337107220 11907072 2358 33554432000 134512640 134847168 4290407536 4290406304 134737530 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30385/statm: 2907 2358 268 82 0 2148 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 48592
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.11
CPU user time (s): 1801.44
CPU system time (s): 0.673897
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 103876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.44
system time used= 0.673897
maximum resident set size= 64400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40353
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 515
involuntary context switches= 4811
runsolver used 3.44648 second user time and 9.1986 second system time
The end