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-3694878-1338061495/watcher-3694878-1338061495 -o /tmp/evaluation-result-3694878-1338061495/solver-3694878-1338061495 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694878-1338061495.opb 1761207379 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 2.00 3/177 19220
/proc/meminfo: memFree=27824536/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[startup+0.0751851 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19220
/proc/meminfo: memFree=27824536/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19220
/proc/meminfo: memFree=27824536/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300235 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19220
/proc/meminfo: memFree=27824536/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700295 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19220
/proc/meminfo: memFree=27824536/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19228
/proc/meminfo: memFree=27816440/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=1.04 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 5336 10998 0 0 56 19 25 4 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 23048
[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19230
/proc/meminfo: memFree=27774160/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=1.04 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 5336 10998 0 0 56 19 25 4 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19229] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19229/stat : 19229 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272275489 9367552 267 33554432000 4194304 5064252 140735605188176 140735605187088 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19229/statm: 2287 267 226 213 0 72 0
[pid=19230] ppid=19229 vsize=37568 CPUtime=2.02 cores=1,3,5,7
/proc/19230/stat : 19230 (glucose_static) R 19229 19220 18174 0 -1 4202496 10245 0 0 0 201 1 0 0 20 0 1 0 272275489 38469632 8204 33554432000 4194304 4896791 140733891974704 140733891972216 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19230/statm: 9392 8204 76 172 0 9218 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 69764
[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19230
/proc/meminfo: memFree=27769444/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=1.04 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 5336 10998 0 0 56 19 25 4 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19229] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19229/stat : 19229 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272275489 9367552 267 33554432000 4194304 5064252 140735605188176 140735605187088 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19229/statm: 2287 267 226 213 0 72 0
[pid=19230] ppid=19229 vsize=37752 CPUtime=5.23 cores=1,3,5,7
/proc/19230/stat : 19230 (glucose_static) R 19229 19220 18174 0 -1 4202496 13250 0 0 0 521 2 0 0 20 0 1 0 272275489 38658048 8297 33554432000 4194304 4896791 140733891974704 140733891972216 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19230/statm: 9438 8297 78 172 0 9264 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 69948
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 19233
/proc/meminfo: memFree=27759884/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=11.59 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 7763 29565 0 0 73 19 1058 9 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19232] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19232/stat : 19232 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272276545 9367552 267 33554432000 4194304 5064252 140737472727200 140737472726112 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19232/statm: 2287 267 226 213 0 72 0
[pid=19233] ppid=19232 vsize=37564 CPUtime=1.06 cores=1,3,5,7
/proc/19233/stat : 19233 (glucose_static) R 19232 19220 18174 0 -1 4202496 8925 0 0 0 104 2 0 0 20 0 1 0 272276546 38465536 8635 33554432000 4194304 4896791 140734722600864 140734722598280 4224684 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19233/statm: 9391 8635 76 172 0 9217 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 69760
[startup+25.5005 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 19236
/proc/meminfo: memFree=27747480/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=20.21 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 10190 45881 0 0 90 20 1897 14 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19235] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272277407 9367552 266 33554432000 4194304 5064252 140733676289776 140733676288688 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 266 226 213 0 72 0
[pid=19236] ppid=19235 vsize=37748 CPUtime=5.24 cores=1,3,5,7
/proc/19236/stat : 19236 (glucose_static) R 19235 19220 18174 0 -1 4202496 13069 0 0 0 521 3 0 0 20 0 1 0 272277408 38653952 8312 33554432000 4194304 4896791 140736318959120 140736318956632 4224706 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19236/statm: 9437 8312 78 172 0 9263 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 69944
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 19242
/proc/meminfo: memFree=27773904/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=49.57 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 14834 88234 0 0 125 21 4784 27 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19241] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19241/stat : 19241 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272280343 9367552 267 33554432000 4194304 5064252 140733911360688 140733911359600 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19241/statm: 2287 267 226 213 0 72 0
[pid=19242] ppid=19241 vsize=37580 CPUtime=1.48 cores=1,3,5,7
/proc/19242/stat : 19242 (glucose_static) R 19241 19220 18174 0 -1 4202496 9674 0 0 0 147 1 0 0 20 0 1 0 272280343 38481920 8205 33554432000 4194304 4896791 140736191388208 140736191385720 4224684 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19242/statm: 9395 8205 76 172 0 9221 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 69776
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 19248
/proc/meminfo: memFree=27756800/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=88.91 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 19480 136171 0 0 159 23 8668 41 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19247] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19247/stat : 19247 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 272284279 9367552 266 33554432000 4194304 5064252 140736537852848 140736537851760 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19247/statm: 2287 266 226 213 0 72 0
[pid=19248] ppid=19247 vsize=38344 CPUtime=13.33 cores=1,3,5,7
/proc/19248/stat : 19248 (glucose_static) R 19247 19220 18174 0 -1 4202496 19300 0 0 0 1329 4 0 0 20 0 1 0 272284279 39264256 8949 33554432000 4194304 4896791 140734640649632 140734640647144 4224706 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19248/statm: 9586 8949 78 172 0 9412 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 70540
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19254
/proc/meminfo: memFree=27739388/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=159.5 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 24126 198062 0 0 193 24 15674 59 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19253] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19253/stat : 19253 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272291340 9367552 267 33554432000 4194304 5064252 140736467483984 140736467482896 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19253/statm: 2287 267 226 213 0 72 0
[pid=19254] ppid=19253 vsize=37604 CPUtime=2.71 cores=1,3,5,7
/proc/19254/stat : 19254 (glucose_static) R 19253 19220 18174 0 -1 4202496 10782 0 0 0 269 2 0 0 20 0 1 0 272291340 38506496 8715 33554432000 4194304 4896791 140735473815168 140735473812680 4224921 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19254/statm: 9401 8715 76 172 0 9227 0
Current children cumulated CPU time (s) 162.21
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/181 19389
/proc/meminfo: memFree=27944028/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=1080.27 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 31303 367548 0 0 245 27 107603 152 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19387] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272383435 9367552 267 33554432000 4194304 5064252 140737420192304 140737420191216 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19387/statm: 2287 267 226 213 0 72 0
[pid=19388] ppid=19387 vsize=83976 CPUtime=281.71 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose_static) R 19387 19220 18174 0 -1 4202496 70811 0 0 0 28138 33 0 0 20 0 1 0 272383435 85991424 17838 33554432000 4194304 4896791 140733321641664 140733321638872 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19388/statm: 20994 17838 78 172 0 20820 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 116172
[startup+1422.31 s]
/proc/loadavg: 2.10 2.04 2.00 3/181 19389
/proc/meminfo: memFree=27922416/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=1080.27 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 31303 367548 0 0 245 27 107603 152 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19387] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272383435 9367552 267 33554432000 4194304 5064252 140737420192304 140737420191216 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19387/statm: 2287 267 226 213 0 72 0
[pid=19388] ppid=19387 vsize=86784 CPUtime=341.7 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose_static) R 19387 19220 18174 0 -1 4202496 75347 0 0 0 34131 39 0 0 20 0 1 0 272383435 88866816 19719 33554432000 4194304 4896791 140733321641664 140733321638872 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19388/statm: 21696 19719 78 172 0 21522 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 118980
[startup+1482.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/181 19390
/proc/meminfo: memFree=27897732/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=1080.27 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 31303 367548 0 0 245 27 107603 152 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19387] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272383435 9367552 267 33554432000 4194304 5064252 140737420192304 140737420191216 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19387/statm: 2287 267 226 213 0 72 0
[pid=19388] ppid=19387 vsize=79512 CPUtime=401.68 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose_static) R 19387 19220 18174 0 -1 4202496 79029 0 0 0 40124 44 0 0 20 0 1 0 272383435 81420288 17996 33554432000 4194304 4896791 140733321641664 140733321639096 4225047 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19388/statm: 19878 17996 78 172 0 19704 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 111708
[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/182 19393
/proc/meminfo: memFree=27935024/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=1080.27 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 31303 367548 0 0 245 27 107603 152 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19387] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272383435 9367552 267 33554432000 4194304 5064252 140737420192304 140737420191216 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19387/statm: 2287 267 226 213 0 72 0
[pid=19388] ppid=19387 vsize=81812 CPUtime=461.67 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose_static) R 19387 19220 18174 0 -1 4202496 81611 0 0 0 46119 48 0 0 20 0 1 0 272383435 83775488 19593 33554432000 4194304 4896791 140733321641664 140733321639240 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19388/statm: 20453 19593 78 172 0 20279 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 114008
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 19393
/proc/meminfo: memFree=27908196/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=1080.27 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 31303 367548 0 0 245 27 107603 152 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19387] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272383435 9367552 267 33554432000 4194304 5064252 140737420192304 140737420191216 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19387/statm: 2287 267 226 213 0 72 0
[pid=19388] ppid=19387 vsize=114892 CPUtime=521.66 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose_static) R 19387 19220 18174 0 -1 4202496 86575 0 0 0 52114 52 0 0 20 0 1 0 272383435 117649408 23783 33554432000 4194304 4896791 140733321641664 140733321639192 4225426 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19388/statm: 28723 23783 78 172 0 28549 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 147088
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 19393
/proc/meminfo: memFree=27902704/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=1080.27 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 31303 367548 0 0 245 27 107603 152 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19387] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272383435 9367552 267 33554432000 4194304 5064252 140737420192304 140737420191216 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19387/statm: 2287 267 226 213 0 72 0
[pid=19388] ppid=19387 vsize=99824 CPUtime=581.65 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose_static) R 19387 19220 18174 0 -1 4202496 89918 0 0 0 58110 55 0 0 20 0 1 0 272383435 102219776 23855 33554432000 4194304 4896791 140733321641664 140733321638920 4224584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19388/statm: 24956 23855 78 172 0 24782 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 132020
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 19393
/proc/meminfo: memFree=27912992/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=1080.27 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 31303 367548 0 0 245 27 107603 152 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19387] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272383435 9367552 267 33554432000 4194304 5064252 140737420192304 140737420191216 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19387/statm: 2287 267 226 213 0 72 0
[pid=19388] ppid=19387 vsize=100992 CPUtime=641.63 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose_static) R 19387 19220 18174 0 -1 4202496 92364 0 0 0 64106 57 0 0 20 0 1 0 272383435 103415808 22914 33554432000 4194304 4896791 140733321641664 140733321639192 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19388/statm: 25248 22914 78 172 0 25074 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 133188
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 19393
/proc/meminfo: memFree=27883380/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=1080.27 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 31303 367548 0 0 245 27 107603 152 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19387] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272383435 9367552 267 33554432000 4194304 5064252 140737420192304 140737420191216 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19387/statm: 2287 267 226 213 0 72 0
[pid=19388] ppid=19387 vsize=102812 CPUtime=701.63 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose_static) R 19387 19220 18174 0 -1 4202496 95240 0 0 0 70103 60 0 0 20 0 1 0 272383435 105279488 23454 33554432000 4194304 4896791 140733321641664 140733321638872 4203775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19388/statm: 25703 23454 78 172 0 25529 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 135008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 19394
/proc/meminfo: memFree=27872084/32873852 swapFree=6848/6848
[pid=19220] ppid=19218 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19220/stat : 19220 (runPb2satCp2.sh) S 19218 19220 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272275383 9367552 275 33554432000 4194304 5064252 140736732321072 140736732319984 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19220/statm: 2287 275 233 213 0 72 0
[pid=19221] ppid=19220 vsize=13900 CPUtime=1080.27 cores=1,3,5,7
/proc/19221/stat : 19221 (pb2sat) S 19220 19220 18174 0 -1 4202496 31303 367548 0 0 245 27 107603 152 20 0 1 0 272275383 14233600 2986 33554432000 4194304 5873084 140734730592752 140734730586568 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19221/statm: 3475 2986 172 410 0 3057 0
[pid=19387] ppid=19221 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (satsolver.sh) S 19221 19220 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272383435 9367552 267 33554432000 4194304 5064252 140737420192304 140737420191216 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19387/statm: 2287 267 226 213 0 72 0
[pid=19388] ppid=19387 vsize=122148 CPUtime=719.73 cores=1,3,5,7
/proc/19388/stat : 19388 (glucose_static) R 19387 19220 18174 0 -1 4202496 95922 0 0 0 71912 61 0 0 20 0 1 0 272383435 125079552 27700 33554432000 4194304 4896791 140733321641664 140733321638872 4225417 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19388/statm: 30537 27700 78 172 0 30363 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 154344
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1797.62
CPU system time (s): 2.42063
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 172380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.62
system time used= 2.42063
maximum resident set size= 129396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495761
page faults= 0
swaps= 0
block input operations= 0
block output operations= 137016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 289
involuntary context switches= 2182
runsolver used 2.94955 second user time and 8.58969 second system time
The end