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-3750273-1339118389/watcher-3750273-1339118389 -o /tmp/evaluation-result-3750273-1339118389/solver-3750273-1339118389 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750273-1339118389.opb 935646226 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.02 2.00 3/180 15342
/proc/meminfo: memFree=31717468/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[startup+0.00816502 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 15342
/proc/meminfo: memFree=31717468/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100262 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 15342
/proc/meminfo: memFree=31717468/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300321 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 15342
/proc/meminfo: memFree=31717468/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700323 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 15342
/proc/meminfo: memFree=31717468/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50046 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 15356
/proc/meminfo: memFree=31675636/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=32656 CPUtime=1.32 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 7166 0 0 0 131 1 0 0 20 0 1 0 377963993 33439744 7413 33554432000 4194304 5208918 140733366484720 140733366482552 4229254 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 8164 7413 103 248 0 7913 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 63136
[startup+3.10046 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 15356
/proc/meminfo: memFree=31674388/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=35376 CPUtime=2.91 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 7433 0 0 0 290 1 0 0 20 0 1 0 377963993 36225024 7678 33554432000 4194304 5208918 140733366484720 140733366482872 4211744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 8844 7678 104 248 0 8593 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 65856
[startup+6.30046 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 15356
/proc/meminfo: memFree=31661416/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=32656 CPUtime=6.12 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 8212 0 0 0 610 2 0 0 20 0 1 0 377963993 33439744 7591 33554432000 4194304 5208918 140733366484720 140733366482808 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 8164 7591 105 248 0 7913 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 63136
[startup+12.7005 s]
/proc/loadavg: 2.00 2.02 2.00 3/185 15359
/proc/meminfo: memFree=31646756/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=44288 CPUtime=12.51 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 10205 0 0 0 1249 2 0 0 20 0 1 0 377963993 45350912 10248 33554432000 4194304 5208918 140733366484720 140733366482584 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 11072 10248 105 248 0 10821 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 74768
[startup+25.5005 s]
/proc/loadavg: 2.00 2.02 2.00 3/185 15360
/proc/meminfo: memFree=31631152/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=51428 CPUtime=25.31 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 10653 0 0 0 2528 3 0 0 20 0 1 0 377963993 52662272 12216 33554432000 4194304 5208918 140733366484720 140733366481096 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 12857 12216 105 248 0 12606 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 81908
[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/185 15360
/proc/meminfo: memFree=31626172/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=51428 CPUtime=50.9 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 10804 0 0 0 5087 3 0 0 20 0 1 0 377963993 52662272 12473 33554432000 4194304 5208918 140733366484720 140733366481032 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 12857 12473 105 248 0 12606 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 81908
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 15360
/proc/meminfo: memFree=31618240/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=63000 CPUtime=102.09 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 12672 0 0 0 10205 4 0 0 20 0 1 0 377963993 64512000 13867 33554432000 4194304 5208918 140733366484720 140733366480488 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 15750 13867 105 248 0 15499 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 93480
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 15360
/proc/meminfo: memFree=31584976/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 15911
/proc/meminfo: memFree=31604904/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=155392 CPUtime=1361.88 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 17585 0 0 0 136170 18 0 0 20 0 1 0 377963993 159121408 34474 33554432000 4194304 5208918 140733366484720 140733366482712 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 38848 34474 105 248 0 38597 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 185872
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 15911
/proc/meminfo: memFree=31631404/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=155392 CPUtime=1421.88 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 17734 0 0 0 142169 19 0 0 20 0 1 0 377963993 159121408 33962 33554432000 4194304 5208918 140733366484720 140733366481096 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 38848 33962 105 248 0 38597 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 185872
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 15911
/proc/meminfo: memFree=31590568/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=106072 CPUtime=1481.86 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 17740 0 0 0 148167 19 0 0 20 0 1 0 377963993 108617728 26153 33554432000 4194304 5208918 140733366484720 140733366482808 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 26518 26153 105 248 0 26267 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 136552
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15911
/proc/meminfo: memFree=31585788/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=155392 CPUtime=1541.85 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 17888 0 0 0 154165 20 0 0 20 0 1 0 377963993 159121408 36010 33554432000 4194304 5208918 140733366484720 140733366482712 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 38848 36010 105 248 0 38597 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 185872
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15912
/proc/meminfo: memFree=31558048/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=155392 CPUtime=1601.83 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 18034 0 0 0 160163 20 0 0 20 0 1 0 377963993 159121408 34474 33554432000 4194304 5208918 140733366484720 140733366482712 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 38848 34474 105 248 0 38597 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 185872
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15912
/proc/meminfo: memFree=31624700/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=106072 CPUtime=1661.83 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 18039 0 0 0 166162 21 0 0 20 0 1 0 377963993 108617728 26153 33554432000 4194304 5208918 140733366484720 140733366482808 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 26518 26153 105 248 0 26267 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 136552
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15912
/proc/meminfo: memFree=31556124/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=155392 CPUtime=1721.82 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 18186 0 0 0 172161 21 0 0 20 0 1 0 377963993 159121408 35498 33554432000 4194304 5208918 140733366484720 140733366482712 4212869 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 38848 35498 105 248 0 38597 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 185872
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15912
/proc/meminfo: memFree=31594104/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=155392 CPUtime=1781.81 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 18330 0 0 0 178159 22 0 0 20 0 1 0 377963993 159121408 33962 33554432000 4194304 5208918 140733366484720 140733366482712 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 38848 33962 105 248 0 38597 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 185872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.08 2.02 2.01 4/183 15912
/proc/meminfo: memFree=31587836/32873844 swapFree=7124/7124
[pid=15342] ppid=15340 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15342/stat : 15342 (npSolver-pbo.sh) S 15340 15342 12469 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377963975 9367552 275 33554432000 4194304 5064252 140733776740064 140733776738976 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15342/statm: 2287 275 233 213 0 72 0
[pid=15343] ppid=15342 vsize=12184 CPUtime=0.15 cores=1,3,5,7
/proc/15343/stat : 15343 (npSolver-pbo) S 15342 15342 12469 0 -1 4202496 3971 6434 0 0 9 2 3 1 20 0 1 0 377963975 12476416 2551 33554432000 4194304 6004724 140734813619040 140734813611392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15343/statm: 3046 2551 173 442 0 2600 0
[pid=15355] ppid=15343 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (satsolver.sh) S 15343 15342 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377963992 9367552 267 33554432000 4194304 5064252 140736789970496 140736789969408 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15355/statm: 2287 267 226 213 0 72 0
[pid=15356] ppid=15355 vsize=155392 CPUtime=1799.91 cores=1,3,5,7
/proc/15356/stat : 15356 (glucose) R 15355 15342 12469 0 -1 4202496 18333 0 0 0 179969 22 0 0 20 0 1 0 377963993 159121408 35498 33554432000 4194304 5208918 140733366484720 140733366482712 4229247 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15356/statm: 38848 35498 105 248 0 38597 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 185872
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.1
CPU user time (s): 1799.83
CPU system time (s): 0.274958
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 185872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.274958
maximum resident set size= 148136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29729
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44
involuntary context switches= 1923
runsolver used 7.85881 second user time and 18.8791 second system time
The end