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-3701336-1338066160/watcher-3701336-1338066160 -o /tmp/evaluation-result-3701336-1338066160/solver-3701336-1338066160 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701336-1338066160.opb 2103060198 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/181 6788
/proc/meminfo: memFree=27814472/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[startup+0.0731229 s]
/proc/loadavg: 2.00 2.00 2.00 2/181 6788
/proc/meminfo: memFree=27814472/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100265 s]
/proc/loadavg: 2.00 2.00 2.00 2/181 6788
/proc/meminfo: memFree=27814472/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300249 s]
/proc/loadavg: 2.00 2.00 2.00 2/181 6788
/proc/meminfo: memFree=27814472/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700197 s]
/proc/loadavg: 2.00 2.00 2.00 2/181 6788
/proc/meminfo: memFree=27814472/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 6802
/proc/meminfo: memFree=27808124/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=0.01 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 430 5834 0 0 0 0 1 0 20 0 1 0 272740765 2486272 289 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6789/statm: 607 289 175 440 0 163 0
[pid=6801] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6801/stat : 6801 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272740769 9367552 266 33554432000 4194304 5064252 140735213232912 140735213231824 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6801/statm: 2287 266 226 213 0 72 0
[pid=6802] ppid=6801 vsize=8824 CPUtime=1.45 cores=0,2,4,6
/proc/6802/stat : 6802 (glucose) R 6801 6788 3926 0 -1 4202496 2232 0 0 0 145 0 0 0 20 0 1 0 272740769 9035776 1640 33554432000 4194304 5208918 140736404859808 140736404857752 4228982 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6802/statm: 2206 1640 96 248 0 1955 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29548
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 6802
/proc/meminfo: memFree=27803852/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=0.01 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 430 5834 0 0 0 0 1 0 20 0 1 0 272740765 2486272 289 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6789/statm: 607 289 175 440 0 163 0
[pid=6801] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6801/stat : 6801 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272740769 9367552 266 33554432000 4194304 5064252 140735213232912 140735213231824 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6801/statm: 2287 266 226 213 0 72 0
[pid=6802] ppid=6801 vsize=13284 CPUtime=3.05 cores=0,2,4,6
/proc/6802/stat : 6802 (glucose) R 6801 6788 3926 0 -1 4202496 2953 0 0 0 305 0 0 0 20 0 1 0 272740769 13602816 2844 33554432000 4194304 5208918 140736404859808 140736404857752 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6802/statm: 3321 2844 96 248 0 3070 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34008
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 6802
/proc/meminfo: memFree=27796036/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=0.01 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 430 5834 0 0 0 0 1 0 20 0 1 0 272740765 2486272 289 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6789/statm: 607 289 175 440 0 163 0
[pid=6801] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6801/stat : 6801 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272740769 9367552 266 33554432000 4194304 5064252 140735213232912 140735213231824 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6801/statm: 2287 266 226 213 0 72 0
[pid=6802] ppid=6801 vsize=13284 CPUtime=6.25 cores=0,2,4,6
/proc/6802/stat : 6802 (glucose) R 6801 6788 3926 0 -1 4202496 2953 0 0 0 625 0 0 0 20 0 1 0 272740769 13602816 2844 33554432000 4194304 5208918 140736404859808 140736404857752 4229326 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6802/statm: 3321 2844 96 248 0 3070 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 34008
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 6802
/proc/meminfo: memFree=27783100/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=0.01 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 430 5834 0 0 0 0 1 0 20 0 1 0 272740765 2486272 289 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6789/statm: 607 289 175 440 0 163 0
[pid=6801] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6801/stat : 6801 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272740769 9367552 266 33554432000 4194304 5064252 140735213232912 140735213231824 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6801/statm: 2287 266 226 213 0 72 0
[pid=6802] ppid=6801 vsize=20360 CPUtime=12.66 cores=0,2,4,6
/proc/6802/stat : 6802 (glucose) R 6801 6788 3926 0 -1 4202496 3699 0 0 0 1265 1 0 0 20 0 1 0 272740769 20848640 4512 33554432000 4194304 5208918 140736404859808 140736404857752 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6802/statm: 5090 4512 96 248 0 4839 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 41084
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 6802
/proc/meminfo: memFree=27767232/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=0.01 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 430 5834 0 0 0 0 1 0 20 0 1 0 272740765 2486272 289 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6789/statm: 607 289 175 440 0 163 0
[pid=6801] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6801/stat : 6801 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272740769 9367552 266 33554432000 4194304 5064252 140735213232912 140735213231824 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6801/statm: 2287 266 226 213 0 72 0
[pid=6802] ppid=6801 vsize=24780 CPUtime=25.45 cores=0,2,4,6
/proc/6802/stat : 6802 (glucose) R 6801 6788 3926 0 -1 4202496 4600 0 0 0 2544 1 0 0 20 0 1 0 272740769 25374720 5727 33554432000 4194304 5208918 140736404859808 140736404857896 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6802/statm: 6195 5727 96 248 0 5944 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45504
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 6816
/proc/meminfo: memFree=27754760/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=26.16 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 628 17068 0 0 0 0 2612 4 20 0 1 0 272740765 2486272 298 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6789/statm: 607 298 175 440 0 163 0
[pid=6815] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6815/stat : 6815 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272743384 9367552 267 33554432000 4194304 5064252 140735763514544 140735763513456 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6815/statm: 2287 267 226 213 0 72 0
[pid=6816] ppid=6815 vsize=18700 CPUtime=24.89 cores=0,2,4,6
/proc/6816/stat : 6816 (glucose) R 6815 6788 3926 0 -1 4202496 4704 0 0 0 2489 0 0 0 20 0 1 0 272743384 19148800 4223 33554432000 4194304 5208918 140737461712896 140737461710968 4211572 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6816/statm: 4675 4223 102 248 0 4424 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 39424
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 6823
/proc/meminfo: memFree=27776676/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=56.38 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 701 24603 0 0 0 0 5633 5 20 0 1 0 272740765 2486272 298 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6789/statm: 607 298 175 440 0 163 0
[pid=6822] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6822/stat : 6822 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272746407 9367552 267 33554432000 4194304 5064252 140736847102080 140736847100992 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6822/statm: 2287 267 226 213 0 72 0
[pid=6823] ppid=6822 vsize=33492 CPUtime=45.87 cores=0,2,4,6
/proc/6823/stat : 6823 (glucose) R 6822 6788 3926 0 -1 4202496 5624 0 0 0 4587 0 0 0 20 0 1 0 272746407 34295808 7824 33554432000 4194304 5208918 140733875710752 140733875708696 4229311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6823/statm: 8373 7824 102 248 0 8122 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 54216
[startup+162.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/185 6883
/proc/meminfo: memFree=28760140/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=56.38 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 701 24603 0 0 0 0 5633 5 20 0 1 0 272740765 2486272 298 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6789/statm: 607 298 175 440 0 163 0
[pid=6822] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/6822/statm: 2287 267 226 213 0 72 0
[pid=6823] ppid=6822 vsize=122228 CPUtime=1245.68 cores=0,2,4,6
/proc/6823/stat : 6823 (glucose) R 6822 6788 3926 0 -1 4202496 15209 0 0 0 124560 8 0 0 20 0 1 0 272746407 125161472 30118 33554432000 4194304 5208918 140733875710752 140733875708840 4229515 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6823/statm: 30557 30118 103 248 0 30306 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 142952
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/185 6892
/proc/meminfo: memFree=28569912/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=56.38 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 701 24603 0 0 0 0 5633 5 20 0 1 0 272740765 2486272 298 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6789/statm: 607 298 175 440 0 163 0
[pid=6822] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6822/stat : 6822 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272746407 9367552 267 33554432000 4194304 5064252 140736847102080 140736847100992 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6822/statm: 2287 267 226 213 0 72 0
[pid=6823] ppid=6822 vsize=171548 CPUtime=1305.66 cores=0,2,4,6
/proc/6823/stat : 6823 (glucose) R 6822 6788 3926 0 -1 4202496 15960 0 0 0 130557 9 0 0 20 0 1 0 272746407 175665152 38157 33554432000 4194304 5208918 140733875710752 140733875708744 4229712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6823/statm: 42887 38157 103 248 0 42636 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 192272
[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 2.00 3/185 6893
/proc/meminfo: memFree=28601624/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=56.38 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 701 24603 0 0 0 0 5633 5 20 0 1 0 272740765 2486272 298 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6789/statm: 607 298 175 440 0 163 0
[pid=6822] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6822/stat : 6822 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272746407 9367552 267 33554432000 4194304 5064252 140736847102080 140736847100992 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6822/statm: 2287 267 226 213 0 72 0
[pid=6823] ppid=6822 vsize=122228 CPUtime=1365.66 cores=0,2,4,6
/proc/6823/stat : 6823 (glucose) R 6822 6788 3926 0 -1 4202496 16339 0 0 0 136556 10 0 0 20 0 1 0 272746407 125161472 30118 33554432000 4194304 5208918 140733875710752 140733875708840 4229748 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6823/statm: 30557 30118 103 248 0 30306 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 142952
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/185 6893
/proc/meminfo: memFree=28569912/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=56.38 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 701 24603 0 0 0 0 5633 5 20 0 1 0 272740765 2486272 298 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6789/statm: 607 298 175 440 0 163 0
[pid=6822] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6822/stat : 6822 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272746407 9367552 267 33554432000 4194304 5064252 140736847102080 140736847100992 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6822/statm: 2287 267 226 213 0 72 0
[pid=6823] ppid=6822 vsize=171548 CPUtime=1425.65 cores=0,2,4,6
/proc/6823/stat : 6823 (glucose) R 6822 6788 3926 0 -1 4202496 17091 0 0 0 142554 11 0 0 20 0 1 0 272746407 175665152 38157 33554432000 4194304 5208918 140733875710752 140733875708744 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6823/statm: 42887 38157 103 248 0 42636 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 192272
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 6893
/proc/meminfo: memFree=28601500/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=56.38 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 701 24603 0 0 0 0 5633 5 20 0 1 0 272740765 2486272 298 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6789/statm: 607 298 175 440 0 163 0
[pid=6822] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6822/stat : 6822 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272746407 9367552 267 33554432000 4194304 5064252 140736847102080 140736847100992 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6822/statm: 2287 267 226 213 0 72 0
[pid=6823] ppid=6822 vsize=122228 CPUtime=1485.64 cores=0,2,4,6
/proc/6823/stat : 6823 (glucose) R 6822 6788 3926 0 -1 4202496 17471 0 0 0 148552 12 0 0 20 0 1 0 272746407 125161472 30118 33554432000 4194304 5208918 140733875710752 140733875708840 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6823/statm: 30557 30118 103 248 0 30306 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 142952
[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/185 6893
/proc/meminfo: memFree=28568732/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=56.38 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 701 24603 0 0 0 0 5633 5 20 0 1 0 272740765 2486272 298 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6789/statm: 607 298 175 440 0 163 0
[pid=6822] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6822/stat : 6822 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272746407 9367552 267 33554432000 4194304 5064252 140736847102080 140736847100992 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6822/statm: 2287 267 226 213 0 72 0
[pid=6823] ppid=6822 vsize=122228 CPUtime=1545.63 cores=0,2,4,6
/proc/6823/stat : 6823 (glucose) R 6822 6788 3926 0 -1 4202496 17848 0 0 0 154551 12 0 0 20 0 1 0 272746407 125161472 30118 33554432000 4194304 5208918 140733875710752 140733875708840 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6823/statm: 30557 30118 103 248 0 30306 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 142952
[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/186 6896
/proc/meminfo: memFree=28530868/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=1661.99 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 800 46059 0 0 0 0 166179 20 20 0 1 0 272740765 2486272 300 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6789/statm: 607 300 175 440 0 163 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 11576
[startup+1722.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/185 6904
/proc/meminfo: memFree=28663376/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=1661.99 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 800 46059 0 0 0 0 166179 20 20 0 1 0 272740765 2486272 300 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6789/statm: 607 300 175 440 0 163 0
[pid=6902] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6902/stat : 6902 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272906993 9367552 267 33554432000 4194304 5064252 140736505489168 140736505488080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6902/statm: 2287 267 226 213 0 72 0
[pid=6903] ppid=6902 vsize=37488 CPUtime=60 cores=0,2,4,6
/proc/6903/stat : 6903 (glucose) R 6902 6788 3926 0 -1 4202496 5280 0 0 0 5999 1 0 0 20 0 1 0 272906994 38387712 7141 33554432000 4194304 5208918 140734712599792 140734712597736 4229712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6903/statm: 9372 7141 102 248 0 9121 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 58212
[startup+1782.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/185 6904
/proc/meminfo: memFree=28678772/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=1661.99 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 800 46059 0 0 0 0 166179 20 20 0 1 0 272740765 2486272 300 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6789/statm: 607 300 175 440 0 163 0
[pid=6902] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6902/stat : 6902 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272906993 9367552 267 33554432000 4194304 5064252 140736505489168 140736505488080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6902/statm: 2287 267 226 213 0 72 0
[pid=6903] ppid=6902 vsize=51464 CPUtime=119.98 cores=0,2,4,6
/proc/6903/stat : 6903 (glucose) R 6902 6788 3926 0 -1 4202496 6694 0 0 0 11997 1 0 0 20 0 1 0 272906994 52699136 10961 33554432000 4194304 5208918 140734712599792 140734712597736 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6903/statm: 12866 10961 102 248 0 12615 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 72188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.09 2.08 2.02 3/185 6904
/proc/meminfo: memFree=28641660/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (npSolver-pbo.sh) S 6786 6788 3926 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272740765 9367552 274 33554432000 4194304 5064252 140733948222784 140733948221696 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 2287 274 233 213 0 72 0
[pid=6789] ppid=6788 vsize=2428 CPUtime=1661.99 cores=0,2,4,6
/proc/6789/stat : 6789 (npSolver-pbo) S 6788 6788 3926 0 -1 4202496 800 46059 0 0 0 0 166179 20 20 0 1 0 272740765 2486272 300 33554432000 4194304 5992684 140734075904384 140734075896704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6789/statm: 607 300 175 440 0 163 0
[pid=6902] ppid=6789 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6902/stat : 6902 (satsolver.sh) S 6789 6788 3926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272906993 9367552 267 33554432000 4194304 5064252 140736505489168 140736505488080 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6902/statm: 2287 267 226 213 0 72 0
[pid=6903] ppid=6902 vsize=51464 CPUtime=138.08 cores=0,2,4,6
/proc/6903/stat : 6903 (glucose) R 6902 6788 3926 0 -1 4202496 6711 0 0 0 13807 1 0 0 20 0 1 0 272906994 52699136 11487 33554432000 4194304 5208918 140734712599792 140734712597736 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6903/statm: 12866 11487 102 248 0 12615 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 72188
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.11
CPU user time (s): 1799.88
CPU system time (s): 0.229965
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 192272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.229965
maximum resident set size= 160820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54559
page faults= 0
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113
involuntary context switches= 1954
runsolver used 2.84457 second user time and 7.2099 second system time
The end