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-3701003-1338133837/watcher-3701003-1338133837 -o /tmp/evaluation-result-3701003-1338133837/solver-3701003-1338133837 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701003-1338133837.opb 1904168116 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: 3.33 2.44 2.27 3/174 20171
/proc/meminfo: memFree=31724868/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[startup+0.0455991 s]
/proc/loadavg: 3.33 2.44 2.27 3/174 20171
/proc/meminfo: memFree=31724868/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100309 s]
/proc/loadavg: 3.33 2.44 2.27 3/174 20171
/proc/meminfo: memFree=31724868/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300318 s]
/proc/loadavg: 3.33 2.44 2.27 3/174 20171
/proc/meminfo: memFree=31724868/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700331 s]
/proc/loadavg: 3.33 2.44 2.27 3/174 20171
/proc/meminfo: memFree=31724868/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 3.22 2.43 2.27 3/182 20186
/proc/meminfo: memFree=31596252/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=16788 CPUtime=1.49 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) R 20171 20171 19129 0 -1 4202496 4163 22270 0 0 19 4 118 8 20 0 1 0 279450866 17190912 2992 33554432000 4194304 5992684 140733421032848 140733421027456 5179696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20172/statm: 4197 2992 178 440 0 3753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25936
[startup+3.10032 s]
/proc/loadavg: 3.22 2.43 2.27 3/182 20196
/proc/meminfo: memFree=31320480/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=93620 CPUtime=2.44 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 9123 22786 0 0 83 35 118 8 20 0 1 0 279450866 95866880 16284 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20172/statm: 23405 16284 187 440 0 22961 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 102768
heavy processes:
[startup+6.30042 s]
/proc/loadavg: 3.29 2.46 2.28 3/184 20198
/proc/meminfo: memFree=30984304/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=93620 CPUtime=2.44 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 9123 22786 0 0 83 35 118 8 20 0 1 0 279450866 95866880 16284 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20172/statm: 23405 16284 187 440 0 22961 0
[pid=20197] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20197/stat : 20197 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279451112 9367552 267 33554432000 4194304 5064252 140737375967504 140737375966416 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20197/statm: 2287 267 226 213 0 72 0
[pid=20198] ppid=20197 vsize=136956 CPUtime=3.82 cores=0,2,4,6
/proc/20198/stat : 20198 (glucose) R 20197 20171 19129 0 -1 4202496 26090 0 0 0 375 7 0 0 20 0 1 0 279451113 140242944 30771 33554432000 4194304 5208918 140735001713520 140735001711352 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20198/statm: 34239 30771 104 248 0 33988 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 248872
[startup+12.7004 s]
/proc/loadavg: 3.26 2.47 2.28 3/184 20201
/proc/meminfo: memFree=31214636/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=93620 CPUtime=2.44 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 9123 22786 0 0 83 35 118 8 20 0 1 0 279450866 95866880 16284 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20172/statm: 23405 16284 187 440 0 22961 0
[pid=20197] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20197/stat : 20197 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279451112 9367552 267 33554432000 4194304 5064252 140737375967504 140737375966416 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20197/statm: 2287 267 226 213 0 72 0
[pid=20198] ppid=20197 vsize=136956 CPUtime=10.22 cores=0,2,4,6
/proc/20198/stat : 20198 (glucose) R 20197 20171 19129 0 -1 4202496 26103 0 0 0 1015 7 0 0 20 0 1 0 279451113 140242944 30784 33554432000 4194304 5208918 140735001713520 140735001711352 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20198/statm: 34239 30784 104 248 0 33988 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 248872
[startup+25.5004 s]
/proc/loadavg: 3.07 2.45 2.28 3/184 20208
/proc/meminfo: memFree=30362552/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=93620 CPUtime=2.44 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 9123 22786 0 0 83 35 118 8 20 0 1 0 279450866 95866880 16284 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20172/statm: 23405 16284 187 440 0 22961 0
[pid=20197] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20197/stat : 20197 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279451112 9367552 267 33554432000 4194304 5064252 140737375967504 140737375966416 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20197/statm: 2287 267 226 213 0 72 0
[pid=20198] ppid=20197 vsize=136956 CPUtime=23.02 cores=0,2,4,6
/proc/20198/stat : 20198 (glucose) R 20197 20171 19129 0 -1 4202496 26390 0 0 0 2295 7 0 0 20 0 1 0 279451113 140242944 31582 33554432000 4194304 5208918 140735001713520 140735001711352 4212392 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20198/statm: 34239 31582 104 248 0 33988 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 248872
[startup+51.1004 s]
/proc/loadavg: 2.76 2.43 2.27 3/184 20209
/proc/meminfo: memFree=30340044/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=93620 CPUtime=2.44 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 9123 22786 0 0 83 35 118 8 20 0 1 0 279450866 95866880 16284 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20172/statm: 23405 16284 187 440 0 22961 0
[pid=20197] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20197/stat : 20197 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279451112 9367552 267 33554432000 4194304 5064252 140737375967504 140737375966416 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20197/statm: 2287 267 226 213 0 72 0
[pid=20198] ppid=20197 vsize=156956 CPUtime=48.61 cores=0,2,4,6
/proc/20198/stat : 20198 (glucose) R 20197 20171 19129 0 -1 4202496 27226 0 0 0 4854 7 0 0 20 0 1 0 279451113 160722944 32412 33554432000 4194304 5208918 140735001713520 140735001711272 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20198/statm: 39239 32412 104 248 0 38988 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 268872
[startup+102.3 s]
/proc/loadavg: 2.30 2.35 2.26 3/183 20209
/proc/meminfo: memFree=30328760/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=93620 CPUtime=2.44 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 9123 22786 0 0 83 35 118 8 20 0 1 0 279450866 95866880 16284 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20172/statm: 23405 16284 187 440 0 22961 0
[pid=20197] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20197/stat : 20197 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279451112 9367552 267 33554432000 4194304 5064252 140737375967504 140737375966416 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20197/statm: 2287 267 226 213 0 72 0
[pid=20198] ppid=20197 vsize=158148 CPUtime=99.81 cores=0,2,4,6
/proc/20198/stat : 20198 (glucose) R 20197 20171 19129 0 -1 4202496 27582 0 0 0 9973 8 0 0 20 0 1 0 279451113 161943552 34812 33554432000 4194304 5208918 140735001713520 140735001711368 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20198/statm: 39537 34812 104 248 0 39286 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 270064
[startup+162.3 s]
/proc/loadavg: 2.11 2.29 2.24 3/183 20209
/proc/meminfo: memFree=30330288/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=93620 CPUtime=2.44 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 9123 22786 0 0 83 35 118 8 20 0 1 0 279450866 95866880 16284 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20172/statm: 23405 16284 187 440 0 22961 0
[pid=20197] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20197/stat : 20197 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279451112 9367552 267 33554432000 4194304 5064252 140737375967504 140737375966416 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20197/statm: 2287 267 226 213 0 72 0
[pid=20198] ppid=20197 vsize=158944 CPUtime=159.8 cores=0,2,4,6
/proc/20198/stat : 20198 (glucose) R 20197 20171 19129 0 -1 4202496 28346 0 0 0 15971 9 0 0 20 0 1 0 279451113 162758656 32753 33554432000 4194304 5208918 140735001713520 140735001711672 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20198/statm: 39736 32753 104 248 0 39485 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 270860
[startup+222.3 s]
/proc/loadavg: 2.04 2.23 2.22 3/183 20209
/proc/meminfo: memFree=30317136/32873844 swapFree=6872/6872
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/183 20242
/proc/meminfo: memFree=30286396/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=93620 CPUtime=2.44 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 9123 22786 0 0 83 35 118 8 20 0 1 0 279450866 95866880 16284 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20172/statm: 23405 16284 187 440 0 22961 0
[pid=20197] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20197/stat : 20197 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279451112 9367552 267 33554432000 4194304 5064252 140737375967504 140737375966416 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20197/statm: 2287 267 226 213 0 72 0
[pid=20198] ppid=20197 vsize=170708 CPUtime=1419.57 cores=0,2,4,6
/proc/20198/stat : 20198 (glucose) R 20197 20171 19129 0 -1 4202496 39006 0 0 0 141934 23 0 0 20 0 1 0 279451113 174804992 36399 33554432000 4194304 5208918 140735001713520 140735001711608 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20198/statm: 42677 36399 104 248 0 42426 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 282624
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/183 20242
/proc/meminfo: memFree=30270328/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=93620 CPUtime=2.44 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 9123 22786 0 0 83 35 118 8 20 0 1 0 279450866 95866880 16284 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20172/statm: 23405 16284 187 440 0 22961 0
[pid=20197] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20197/stat : 20197 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279451112 9367552 267 33554432000 4194304 5064252 140737375967504 140737375966416 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20197/statm: 2287 267 226 213 0 72 0
[pid=20198] ppid=20197 vsize=171588 CPUtime=1479.57 cores=0,2,4,6
/proc/20198/stat : 20198 (glucose) R 20197 20171 19129 0 -1 4202496 39207 0 0 0 147934 23 0 0 20 0 1 0 279451113 175706112 38133 33554432000 4194304 5208918 140735001713520 140735001711368 4229565 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20198/statm: 42897 38133 104 248 0 42646 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 283504
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/183 20249
/proc/meminfo: memFree=30333660/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=84956 CPUtime=1532.36 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 14602 68434 0 0 138 42 153005 51 20 0 1 0 279450866 86994944 12615 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20172/statm: 21239 12615 188 440 0 20795 0
[pid=20248] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20248/stat : 20248 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279604131 9367552 266 33554432000 4194304 5064252 140737229434880 140737229433792 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20248/statm: 2287 266 226 213 0 72 0
[pid=20249] ppid=20248 vsize=121204 CPUtime=9.63 cores=0,2,4,6
/proc/20249/stat : 20249 (glucose) R 20248 20171 19129 0 -1 4202496 25005 0 0 0 958 5 0 0 20 0 1 0 279604131 124112896 27183 33554432000 4194304 5208918 140735973008256 140735973006104 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20249/statm: 30301 27183 104 248 0 30050 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 224456
[startup+1602.31 s]
/proc/loadavg: 2.00 2.00 2.03 3/183 20250
/proc/meminfo: memFree=30320844/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=84956 CPUtime=1532.36 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 14602 68434 0 0 138 42 153005 51 20 0 1 0 279450866 86994944 12615 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20172/statm: 21239 12615 188 440 0 20795 0
[pid=20248] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20248/stat : 20248 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279604131 9367552 266 33554432000 4194304 5064252 140737229434880 140737229433792 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20248/statm: 2287 266 226 213 0 72 0
[pid=20249] ppid=20248 vsize=125388 CPUtime=69.61 cores=0,2,4,6
/proc/20249/stat : 20249 (glucose) R 20248 20171 19129 0 -1 4202496 25954 0 0 0 6956 5 0 0 20 0 1 0 279604131 128397312 29650 33554432000 4194304 5208918 140735973008256 140735973006088 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20249/statm: 31347 29650 104 248 0 31096 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 228640
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 20250
/proc/meminfo: memFree=30322216/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=84956 CPUtime=1532.36 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 14602 68434 0 0 138 42 153005 51 20 0 1 0 279450866 86994944 12615 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20172/statm: 21239 12615 188 440 0 20795 0
[pid=20248] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20248/stat : 20248 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279604131 9367552 266 33554432000 4194304 5064252 140737229434880 140737229433792 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20248/statm: 2287 266 226 213 0 72 0
[pid=20249] ppid=20248 vsize=125388 CPUtime=129.58 cores=0,2,4,6
/proc/20249/stat : 20249 (glucose) R 20248 20171 19129 0 -1 4202496 26664 0 0 0 12952 6 0 0 20 0 1 0 279604131 128397312 29276 33554432000 4194304 5208918 140735973008256 140735973006344 4205139 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/20249/statm: 31347 29276 104 248 0 31096 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 228640
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 20250
/proc/meminfo: memFree=30317004/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=84956 CPUtime=1532.36 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 14602 68434 0 0 138 42 153005 51 20 0 1 0 279450866 86994944 12615 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20172/statm: 21239 12615 188 440 0 20795 0
[pid=20248] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20248/stat : 20248 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279604131 9367552 266 33554432000 4194304 5064252 140737229434880 140737229433792 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20248/statm: 2287 266 226 213 0 72 0
[pid=20249] ppid=20248 vsize=145012 CPUtime=189.56 cores=0,2,4,6
/proc/20249/stat : 20249 (glucose) R 20248 20171 19129 0 -1 4202496 27043 0 0 0 18949 7 0 0 20 0 1 0 279604131 148492288 30160 33554432000 4194304 5208918 140735973008256 140735973006104 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20249/statm: 36253 30160 104 248 0 36002 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 248264
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/184 20253
/proc/meminfo: memFree=30311040/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=84956 CPUtime=1532.36 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 14602 68434 0 0 138 42 153005 51 20 0 1 0 279450866 86994944 12615 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20172/statm: 21239 12615 188 440 0 20795 0
[pid=20248] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20248/stat : 20248 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279604131 9367552 266 33554432000 4194304 5064252 140737229434880 140737229433792 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20248/statm: 2287 266 226 213 0 72 0
[pid=20249] ppid=20248 vsize=146300 CPUtime=249.54 cores=0,2,4,6
/proc/20249/stat : 20249 (glucose) R 20248 20171 19129 0 -1 4202496 27508 0 0 0 24947 7 0 0 20 0 1 0 279604131 149811200 31645 33554432000 4194304 5208918 140735973008256 140735973004632 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20249/statm: 36575 31645 104 248 0 36324 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 249552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.01 3/184 20253
/proc/meminfo: memFree=30319824/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=84956 CPUtime=1532.36 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 14602 68434 0 0 138 42 153005 51 20 0 1 0 279450866 86994944 12615 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20172/statm: 21239 12615 188 440 0 20795 0
[pid=20248] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20248/stat : 20248 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279604131 9367552 266 33554432000 4194304 5064252 140737229434880 140737229433792 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20248/statm: 2287 266 226 213 0 72 0
[pid=20249] ppid=20248 vsize=127332 CPUtime=267.65 cores=0,2,4,6
/proc/20249/stat : 20249 (glucose) R 20248 20171 19129 0 -1 4202496 27945 0 0 0 26757 8 0 0 20 0 1 0 279604131 130387968 29348 33554432000 4194304 5208918 140735973008256 140735973006344 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20249/statm: 31833 29348 104 248 0 31582 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 230584
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.01 3/184 20253
/proc/meminfo: memFree=30319824/32873844 swapFree=6872/6872
[pid=20171] ppid=20169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20171/stat : 20171 (npSolver-pbo.sh) S 20169 20171 19129 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279450866 9367552 275 33554432000 4194304 5064252 140733874033936 140733874032848 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20171/statm: 2287 275 233 213 0 72 0
[pid=20172] ppid=20171 vsize=84956 CPUtime=1532.36 cores=0,2,4,6
/proc/20172/stat : 20172 (npSolver-pbo) S 20171 20171 19129 0 -1 4202496 14602 68434 0 0 138 42 153005 51 20 0 1 0 279450866 86994944 12615 33554432000 4194304 5992684 140733421032848 140733421025168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20172/statm: 21239 12615 188 440 0 20795 0
[pid=20248] ppid=20172 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20248/stat : 20248 (satsolver.sh) S 20172 20171 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279604131 9367552 266 33554432000 4194304 5064252 140737229434880 140737229433792 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20248/statm: 2287 266 226 213 0 72 0
[pid=20249] ppid=20248 vsize=127332 CPUtime=267.65 cores=0,2,4,6
/proc/20249/stat : 20249 (glucose) R 20248 20171 19129 0 -1 4202496 27945 0 0 0 26757 8 0 0 20 0 1 0 279604131 130387968 29348 33554432000 4194304 5208918 140735973008256 140735973006344 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20249/statm: 31833 29348 104 248 0 31582 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 230584
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.01
CPU system time (s): 1.03184
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 333120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.03184
maximum resident set size= 190760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111971
page faults= 0
swaps= 0
block input operations= 0
block output operations= 197984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 773
involuntary context switches= 2071
runsolver used 2.79357 second user time and 7.17291 second system time
The end