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-3695131-1338090948/watcher-3695131-1338090948 -o /tmp/evaluation-result-3695131-1338090948/solver-3695131-1338090948 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695131-1338090948.opb 1851356464 HOME HOME
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 1.91 3/179 10078
/proc/meminfo: memFree=29715368/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[startup+0.0360999 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 10078
/proc/meminfo: memFree=29715368/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100299 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 10078
/proc/meminfo: memFree=29715368/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300305 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 10078
/proc/meminfo: memFree=29715368/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70031 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 10078
/proc/meminfo: memFree=29715368/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 10082
/proc/meminfo: memFree=29605760/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=79776 CPUtime=1.17 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 14690 0 0 0 113 4 0 0 20 0 1 0 275222245 81690624 16134 33554432000 4194304 4896791 140735106871792 140735106869000 4225191 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 19944 16134 76 172 0 19770 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 132232
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 10082
/proc/meminfo: memFree=29602216/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=80692 CPUtime=2.77 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 15121 0 0 0 273 4 0 0 20 0 1 0 275222245 82628608 16867 33554432000 4194304 4896791 140735106871792 140735106869000 4404510 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 20173 16867 78 172 0 19999 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 133148
[startup+6.30036 s]
/proc/loadavg: 2.08 2.02 1.92 3/183 10082
/proc/meminfo: memFree=29600468/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=81484 CPUtime=5.96 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 15475 0 0 0 592 4 0 0 20 0 1 0 275222245 83439616 17133 33554432000 4194304 4896791 140735106871792 140735106869000 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 20371 17133 78 172 0 20197 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 133940
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 1.92 3/183 10082
/proc/meminfo: memFree=29589528/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=94000 CPUtime=12.36 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 16915 0 0 0 1232 4 0 0 20 0 1 0 275222245 96256000 18427 33554432000 4194304 4896791 140735106871792 140735106869320 4225141 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 23500 18427 78 172 0 23326 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 146456
[startup+25.5004 s]
/proc/loadavg: 2.06 2.01 1.92 3/183 10082
/proc/meminfo: memFree=29580780/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=96484 CPUtime=25.16 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 18401 0 0 0 2510 6 0 0 20 0 1 0 275222245 98799616 18710 33554432000 4194304 4896791 140735106871792 140735106869000 4225008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 24121 18710 78 172 0 23947 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 148940
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 1.92 3/183 10082
/proc/meminfo: memFree=29556624/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=99160 CPUtime=50.75 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 20670 0 0 0 5066 9 0 0 20 0 1 0 275222245 101539840 19999 33554432000 4194304 4896791 140735106871792 140735106869000 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 24790 19999 78 172 0 24616 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 151616
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 1.92 3/183 10082
/proc/meminfo: memFree=29569304/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=103428 CPUtime=101.94 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 25926 0 0 0 10179 15 0 0 20 0 1 0 275222245 105910272 23385 33554432000 4194304 4896791 140735106871792 140735106869000 4225540 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 25857 23385 78 172 0 25683 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 155884
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 10083
/proc/meminfo: memFree=29543312/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/183 10161
/proc/meminfo: memFree=29087336/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=192332 CPUtime=1421.68 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 67751 0 0 0 142088 80 0 0 20 0 1 0 275222245 196947968 42771 33554432000 4194304 4896791 140735106871792 140735106869000 4207595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 48083 42771 78 172 0 47909 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 244788
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/184 10164
/proc/meminfo: memFree=29091820/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=162292 CPUtime=1481.67 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 68417 0 0 0 148085 82 0 0 20 0 1 0 275222245 166187008 37745 33554432000 4194304 4896791 140735106871792 140735106867464 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 40573 37745 78 172 0 40399 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 214748
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 10164
/proc/meminfo: memFree=29065300/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=194520 CPUtime=1541.66 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 69342 0 0 0 154083 83 0 0 20 0 1 0 275222245 199188480 41198 33554432000 4194304 4896791 140735106871792 140735106869048 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 48630 41198 78 172 0 48456 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 246976
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 10164
/proc/meminfo: memFree=29073976/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=195280 CPUtime=1601.64 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 70614 0 0 0 160078 86 0 0 20 0 1 0 275222245 199966720 44439 33554432000 4194304 4896791 140735106871792 140735106867528 4225168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 48820 44439 78 172 0 48646 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 247736
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 10164
/proc/meminfo: memFree=29050008/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=246656 CPUtime=1661.63 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 73448 0 0 0 166075 88 0 0 20 0 1 0 275222245 252575744 48195 33554432000 4194304 4896791 140735106871792 140735106867528 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 61664 48195 78 172 0 61490 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 299112
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 10165
/proc/meminfo: memFree=29068476/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=196912 CPUtime=1721.63 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 74643 0 0 0 172073 90 0 0 20 0 1 0 275222245 201637888 43251 33554432000 4194304 4896791 140735106871792 140735106867528 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 49228 43251 78 172 0 49054 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 249368
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 10165
/proc/meminfo: memFree=29068000/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=197292 CPUtime=1781.62 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 76817 0 0 0 178070 92 0 0 20 0 1 0 275222245 202027008 42215 33554432000 4194304 4896791 140735106871792 140735106869320 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 49323 42215 78 172 0 49149 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 249748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.94 4/182 10165
/proc/meminfo: memFree=29045480/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=197628 CPUtime=1799.72 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 76911 0 0 0 179880 92 0 0 20 0 1 0 275222245 202371072 46908 33554432000 4194304 4896791 140735106871792 140735106869000 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 49407 46908 78 172 0 49233 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 250084
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.94 4/182 10165
/proc/meminfo: memFree=29045480/32873648 swapFree=7116/7116
[pid=10078] ppid=10076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10078/stat : 10078 (runPb2satCp2.sh) S 10076 10078 9063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275222213 9367552 274 33554432000 4194304 5064252 140734344319424 140734344318336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10078/statm: 2287 274 233 213 0 72 0
[pid=10079] ppid=10078 vsize=34160 CPUtime=0.31 cores=1,3,5,7
/proc/10079/stat : 10079 (pb2sat) S 10078 10078 9063 0 -1 4202496 7060 0 0 0 28 3 0 0 20 0 1 0 275222213 34979840 7811 33554432000 4194304 5873084 140736089761392 140736089757816 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10079/statm: 8540 7811 162 410 0 8122 0
[pid=10081] ppid=10079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10081/stat : 10081 (satsolver.sh) S 10079 10078 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275222245 9367552 266 33554432000 4194304 5064252 140734264692800 140734264691712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10081/statm: 2287 266 226 213 0 72 0
[pid=10082] ppid=10081 vsize=197628 CPUtime=1799.72 cores=1,3,5,7
/proc/10082/stat : 10082 (glucose_static) R 10081 10078 9063 0 -1 4202496 76911 0 0 0 179880 92 0 0 20 0 1 0 275222245 202371072 46908 33554432000 4194304 4896791 140735106871792 140735106869000 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10082/statm: 49407 46908 78 172 0 49233 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 250084
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.09
CPU system time (s): 0.966853
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 330188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 0.966853
maximum resident set size= 229528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96
involuntary context switches= 1853
runsolver used 2.81457 second user time and 7.14991 second system time
The end