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-3701281-1338060170/watcher-3701281-1338060170 -o /tmp/evaluation-result-3701281-1338060170/solver-3701281-1338060170 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701281-1338060170.opb 1032792547 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.06 2.00 2.00 2/179 6720
/proc/meminfo: memFree=28157436/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[startup+0.076651 s]
/proc/loadavg: 2.06 2.00 2.00 2/179 6720
/proc/meminfo: memFree=28157436/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100312 s]
/proc/loadavg: 2.06 2.00 2.00 2/179 6720
/proc/meminfo: memFree=28157436/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300308 s]
/proc/loadavg: 2.06 2.00 2.00 2/179 6720
/proc/meminfo: memFree=28157436/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700256 s]
/proc/loadavg: 2.06 2.00 2.00 2/179 6720
/proc/meminfo: memFree=28157436/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50044 s]
/proc/loadavg: 2.06 2.00 2.00 3/183 6734
/proc/meminfo: memFree=28096940/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=57116 CPUtime=0.51 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 12349 0 0 0 49 2 0 0 20 0 1 0 272145728 58486784 12572 33554432000 4194304 5208918 140735166008176 140735166006280 4211111 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 14279 12572 104 248 0 14028 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 119280
[startup+3.10038 s]
/proc/loadavg: 2.06 2.00 2.00 3/183 6734
/proc/meminfo: memFree=28057052/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=57116 CPUtime=2.11 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 12349 0 0 0 209 2 0 0 20 0 1 0 272145728 58486784 12572 33554432000 4194304 5208918 140735166008176 140735166006280 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 14279 12572 104 248 0 14028 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 119280
[startup+6.30034 s]
/proc/loadavg: 2.05 2.00 2.00 3/183 6734
/proc/meminfo: memFree=28054508/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=57116 CPUtime=5.31 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 12367 0 0 0 529 2 0 0 20 0 1 0 272145728 58486784 12590 33554432000 4194304 5208918 140735166008176 140735166006280 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 14279 12590 104 248 0 14028 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 119280
[startup+12.7003 s]
/proc/loadavg: 2.05 2.00 2.00 3/183 6734
/proc/meminfo: memFree=28056168/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=57116 CPUtime=11.71 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 12450 0 0 0 1169 2 0 0 20 0 1 0 272145728 58486784 12673 33554432000 4194304 5208918 140735166008176 140735166006280 4211049 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 14279 12673 104 248 0 14028 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 119280
[startup+25.5005 s]
/proc/loadavg: 2.04 2.00 2.00 3/183 6735
/proc/meminfo: memFree=28036376/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=79620 CPUtime=24.51 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 15068 0 0 0 2447 4 0 0 20 0 1 0 272145728 81530880 17600 33554432000 4194304 5208918 140735166008176 140735166003944 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 19905 17600 105 248 0 19654 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 141784
[startup+51.1005 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 6735
/proc/meminfo: memFree=27971676/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=98296 CPUtime=50.11 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 15841 0 0 0 5005 6 0 0 20 0 1 0 272145728 100655104 23146 33554432000 4194304 5208918 140735166008176 140735166004552 4229549 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 24574 23146 105 248 0 24323 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 160460
[startup+102.307 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 6735
/proc/meminfo: memFree=27943296/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=128644 CPUtime=101.31 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 15953 0 0 0 10124 7 0 0 20 0 1 0 272145728 131731456 29389 33554432000 4194304 5208918 140735166008176 140735166004488 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 32161 29389 105 248 0 31910 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 190808
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 6735
/proc/meminfo: memFree=27936004/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 6746
/proc/meminfo: memFree=27823084/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=258872 CPUtime=1361.08 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 34975 0 0 0 136050 58 0 0 20 0 1 0 272145728 265084928 57587 33554432000 4194304 5208918 140735166008176 140735166003864 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 64718 57587 105 248 0 64467 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 321036
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 6746
/proc/meminfo: memFree=27791856/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=258872 CPUtime=1421.07 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 36110 0 0 0 142046 61 0 0 20 0 1 0 272145728 265084928 51955 33554432000 4194304 5208918 140735166008176 140735166004488 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 64718 51955 105 248 0 64467 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 321036
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 6746
/proc/meminfo: memFree=27749980/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=258872 CPUtime=1481.06 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 36127 0 0 0 148044 62 0 0 20 0 1 0 272145728 265084928 60659 33554432000 4194304 5208918 140735166008176 140735166004552 4229888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 64718 60659 105 248 0 64467 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 321036
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 6746
/proc/meminfo: memFree=27774280/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=258872 CPUtime=1541.04 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 37268 0 0 0 154039 65 0 0 20 0 1 0 272145728 265084928 55539 33554432000 4194304 5208918 140735166008176 140735166004552 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 64718 55539 105 248 0 64467 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 321036
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 6747
/proc/meminfo: memFree=27797336/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=258872 CPUtime=1601.03 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 38396 0 0 0 160035 68 0 0 20 0 1 0 272145728 265084928 50414 33554432000 4194304 5208918 140735166008176 140735166006328 4229338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 64718 50414 105 248 0 64467 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 321036
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/184 6750
/proc/meminfo: memFree=27796476/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=258872 CPUtime=1661.02 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 38420 0 0 0 166033 69 0 0 20 0 1 0 272145728 265084928 60147 33554432000 4194304 5208918 140735166008176 140735166004488 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 64718 60147 105 248 0 64467 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 321036
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 6750
/proc/meminfo: memFree=27771708/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=258872 CPUtime=1721.01 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 39546 0 0 0 172029 72 0 0 20 0 1 0 272145728 265084928 52979 33554432000 4194304 5208918 140735166008176 140735166004488 4211851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 64718 52979 105 248 0 64467 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 321036
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 6750
/proc/meminfo: memFree=27749380/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=258872 CPUtime=1781 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 39561 0 0 0 178027 73 0 0 20 0 1 0 272145728 265084928 60659 33554432000 4194304 5208918 140735166008176 140735166003864 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 64718 60659 105 248 0 64467 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 321036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 6809
/proc/meminfo: memFree=27999040/32873844 swapFree=7356/7356
[pid=6720] ppid=6718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-pbo.sh) S 6718 6720 5140 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272145631 9367552 275 33554432000 4194304 5064252 140735375651152 140735375650064 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 2287 275 233 213 0 72 0
[pid=6721] ppid=6720 vsize=43868 CPUtime=0.94 cores=1,3,5,7
/proc/6721/stat : 6721 (npSolver-pbo) S 6720 6720 5140 0 -1 4202496 6304 11099 0 0 34 13 45 2 20 0 1 0 272145631 44920832 7093 33554432000 4194304 5992684 140736292956208 140736292948528 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6721/statm: 10967 7093 181 440 0 10523 0
[pid=6733] ppid=6721 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (satsolver.sh) S 6721 6720 5140 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272145728 9367552 267 33554432000 4194304 5064252 140736734061568 140736734060480 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 2287 267 226 213 0 72 0
[pid=6734] ppid=6733 vsize=208784 CPUtime=1799.1 cores=1,3,5,7
/proc/6734/stat : 6734 (glucose) R 6733 6720 5140 0 -1 4202496 40538 0 0 0 179834 76 0 0 20 0 1 0 272145728 213794816 46022 33554432000 4194304 5208918 140735166008176 140735166006264 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6734/statm: 52196 46022 105 248 0 51945 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 270948
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.09
CPU user time (s): 1799.15
CPU system time (s): 0.937857
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 482564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.937857
maximum resident set size= 318024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58933
page faults= 0
swaps= 0
block input operations= 0
block output operations= 47936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134
involuntary context switches= 1865
runsolver used 3.03154 second user time and 8.5207 second system time
The end