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-3700665-1338146868/watcher-3700665-1338146868 -o /tmp/evaluation-result-3700665-1338146868/solver-3700665-1338146868 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700665-1338146868.opb 1182911644 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27166
/proc/meminfo: memFree=27421684/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[startup+0.0397769 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27166
/proc/meminfo: memFree=27421684/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27166
/proc/meminfo: memFree=27421684/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300173 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27166
/proc/meminfo: memFree=27421684/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700185 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27166
/proc/meminfo: memFree=27421684/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27168
/proc/meminfo: memFree=27414036/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=19380 CPUtime=1.49 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) R 27166 27166 23788 0 -1 4202496 2554 0 0 0 148 1 0 0 20 0 1 0 280812284 19845120 3058 33554432000 4194304 5992684 140736037198176 140736037194296 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 4845 3058 145 440 0 4401 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28528
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27170
/proc/meminfo: memFree=27319088/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=27188 CPUtime=1.75 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 5304 0 0 0 171 4 0 0 20 0 1 0 280812284 27840512 5987 33554432000 4194304 5992684 140736037198176 140736037192208 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 6797 5987 164 440 0 6353 0
[pid=27169] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27169/stat : 27169 (cp2_pre.sh) S 27167 27166 23788 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 280812460 9367552 277 33554432000 4194304 5064252 140734415758816 140734415757520 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27169/statm: 2287 277 234 213 0 72 0
[pid=27170] ppid=27169 vsize=96972 CPUtime=1.33 cores=1,3,5,7
/proc/27170/stat : 27170 (coprocessor) R 27169 27166 23788 0 -1 4202496 19932 0 0 0 117 16 0 0 20 0 1 0 280812460 99299328 23221 33554432000 4194304 6586260 140735094656752 140735094652664 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/27170/statm: 24243 23221 204 584 0 23655 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 142456
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27180
/proc/meminfo: memFree=27200488/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=79960 CPUtime=4.9 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 10377 32870 0 0 289 45 136 20 20 0 1 0 280812284 81879040 18262 33554432000 4194304 5992684 140736037198176 140736037190496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 19990 18262 181 440 0 19546 0
[pid=27179] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27179/stat : 27179 (satsolver.sh) S 27167 27166 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 280812790 9367552 267 33554432000 4194304 5064252 140736570160336 140736570159248 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27179/statm: 2287 267 226 213 0 72 0
[pid=27180] ppid=27179 vsize=109132 CPUtime=1.22 cores=1,3,5,7
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 22312 0 0 0 117 5 0 0 20 0 1 0 280812790 111751168 22784 33554432000 4194304 5208918 140737187663840 140737187661688 4229347 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 27283 22784 104 248 0 27032 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 207388
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27180
/proc/meminfo: memFree=27200768/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=79960 CPUtime=4.9 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 10377 32870 0 0 289 45 136 20 20 0 1 0 280812284 81879040 18262 33554432000 4194304 5992684 140736037198176 140736037190496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 19990 18262 181 440 0 19546 0
[pid=27179] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27179/stat : 27179 (satsolver.sh) S 27167 27166 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 280812790 9367552 267 33554432000 4194304 5064252 140736570160336 140736570159248 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27179/statm: 2287 267 226 213 0 72 0
[pid=27180] ppid=27179 vsize=111916 CPUtime=7.62 cores=1,3,5,7
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 23379 0 0 0 757 5 0 0 20 0 1 0 280812790 114601984 24836 33554432000 4194304 5208918 140737187663840 140737187660216 4210976 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 27979 24836 104 248 0 27728 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 210172
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27180
/proc/meminfo: memFree=27124196/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=79960 CPUtime=4.9 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 10377 32870 0 0 289 45 136 20 20 0 1 0 280812284 81879040 18262 33554432000 4194304 5992684 140736037198176 140736037190496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 19990 18262 181 440 0 19546 0
[pid=27179] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27179/stat : 27179 (satsolver.sh) S 27167 27166 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 280812790 9367552 267 33554432000 4194304 5064252 140736570160336 140736570159248 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27179/statm: 2287 267 226 213 0 72 0
[pid=27180] ppid=27179 vsize=146600 CPUtime=20.42 cores=1,3,5,7
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 24703 0 0 0 2035 7 0 0 20 0 1 0 280812790 150118400 33323 33554432000 4194304 5208918 140737187663840 140737187661704 4211182 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 36650 33323 104 248 0 36399 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 244856
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27180
/proc/meminfo: memFree=27133236/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=79960 CPUtime=4.9 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 10377 32870 0 0 289 45 136 20 20 0 1 0 280812284 81879040 18262 33554432000 4194304 5992684 140736037198176 140736037190496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 19990 18262 181 440 0 19546 0
[pid=27179] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27179/stat : 27179 (satsolver.sh) S 27167 27166 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 280812790 9367552 267 33554432000 4194304 5064252 140736570160336 140736570159248 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27179/statm: 2287 267 226 213 0 72 0
[pid=27180] ppid=27179 vsize=176948 CPUtime=46.02 cores=1,3,5,7
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 24907 0 0 0 4595 7 0 0 20 0 1 0 280812790 181194752 39626 33554432000 4194304 5208918 140737187663840 140737187661704 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 44237 39626 104 248 0 43986 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 275204
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27180
/proc/meminfo: memFree=27101668/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=79960 CPUtime=4.9 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 10377 32870 0 0 289 45 136 20 20 0 1 0 280812284 81879040 18262 33554432000 4194304 5992684 140736037198176 140736037190496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 19990 18262 181 440 0 19546 0
[pid=27179] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27179/stat : 27179 (satsolver.sh) S 27167 27166 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 280812790 9367552 267 33554432000 4194304 5064252 140736570160336 140736570159248 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27179/statm: 2287 267 226 213 0 72 0
[pid=27180] ppid=27179 vsize=207296 CPUtime=97.21 cores=1,3,5,7
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 26178 0 0 0 9713 8 0 0 20 0 1 0 280812790 212271104 49493 33554432000 4194304 5208918 140737187663840 140737187660216 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 51824 49493 104 248 0 51573 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 305552
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/184 27184
/proc/meminfo: memFree=27042248/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=79960 CPUtime=4.9 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 10377 32870 0 0 289 45 136 20 20 0 1 0 280812284 81879040 18262 33554432000 4194304 5992684 140736037198176 140736037190496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 19990 18262 181 440 0 19546 0
[pid=27179] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27179/stat : 27179 (satsolver.sh) S 27167 27166 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 280812790 9367552 267 33554432000 4194304 5064252 140736570160336 140736570159248 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27179/statm: 2287 267 226 213 0 72 0
[pid=27180] ppid=27179 vsize=256616 CPUtime=157.2 cores=1,3,5,7
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 27066 0 0 0 15709 11 0 0 20 0 1 0 280812790 262774784 59091 33554432000 4194304 5208918 140737187663840 140737187661928 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 64154 59091 104 248 0 63903 0
Current children cumulated CPU time (s) 162.1
################
# More data... #
################
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 58570 0 0 0 135628 72 0 0 20 0 1 0 280812790 377401344 82671 33554432000 4194304 5208918 140737187663840 140737187661592 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 92139 82671 104 248 0 91888 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 466812
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27246
/proc/meminfo: memFree=26633544/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=79960 CPUtime=4.9 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 10377 32870 0 0 289 45 136 20 20 0 1 0 280812284 81879040 18262 33554432000 4194304 5992684 140736037198176 140736037190496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 19990 18262 181 440 0 19546 0
[pid=27179] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27179/stat : 27179 (satsolver.sh) S 27167 27166 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 280812790 9367552 267 33554432000 4194304 5064252 140736570160336 140736570159248 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27179/statm: 2287 267 226 213 0 72 0
[pid=27180] ppid=27179 vsize=370568 CPUtime=1417 cores=1,3,5,7
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 59870 0 0 0 141625 75 0 0 20 0 1 0 280812790 379461632 78891 33554432000 4194304 5208918 140737187663840 140737187661992 4211851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 92642 78891 104 248 0 92391 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 468824
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 27246
/proc/meminfo: memFree=26610908/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=79960 CPUtime=4.9 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 10377 32870 0 0 289 45 136 20 20 0 1 0 280812284 81879040 18262 33554432000 4194304 5992684 140736037198176 140736037190496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 19990 18262 181 440 0 19546 0
[pid=27179] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27179/stat : 27179 (satsolver.sh) S 27167 27166 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 280812790 9367552 267 33554432000 4194304 5064252 140736570160336 140736570159248 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27179/statm: 2287 267 226 213 0 72 0
[pid=27180] ppid=27179 vsize=376972 CPUtime=1476.99 cores=1,3,5,7
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 62672 0 0 0 147620 79 0 0 20 0 1 0 280812790 386019328 83216 33554432000 4194304 5208918 140737187663840 140737187661688 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 94243 83216 104 248 0 93992 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 475228
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27246
/proc/meminfo: memFree=26605268/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=79960 CPUtime=4.9 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 10377 32870 0 0 289 45 136 20 20 0 1 0 280812284 81879040 18262 33554432000 4194304 5992684 140736037198176 140736037190496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 19990 18262 181 440 0 19546 0
[pid=27179] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27179/stat : 27179 (satsolver.sh) S 27167 27166 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 280812790 9367552 267 33554432000 4194304 5064252 140736570160336 140736570159248 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27179/statm: 2287 267 226 213 0 72 0
[pid=27180] ppid=27179 vsize=384732 CPUtime=1536.99 cores=1,3,5,7
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 65460 0 0 0 153617 82 0 0 20 0 1 0 280812790 393965568 86012 33554432000 4194304 5208918 140737187663840 140737187661672 4211577 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 96183 86012 104 248 0 95932 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 482988
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27246
/proc/meminfo: memFree=26578284/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=79960 CPUtime=4.9 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 10377 32870 0 0 289 45 136 20 20 0 1 0 280812284 81879040 18262 33554432000 4194304 5992684 140736037198176 140736037190496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 19990 18262 181 440 0 19546 0
[pid=27179] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27179/stat : 27179 (satsolver.sh) S 27167 27166 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 280812790 9367552 267 33554432000 4194304 5064252 140736570160336 140736570159248 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27179/statm: 2287 267 226 213 0 72 0
[pid=27180] ppid=27179 vsize=388576 CPUtime=1596.98 cores=1,3,5,7
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 67564 0 0 0 159612 86 0 0 20 0 1 0 280812790 397901824 88145 33554432000 4194304 5208918 140737187663840 140737187661688 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 97144 88145 104 248 0 96893 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 486832
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27246
/proc/meminfo: memFree=26574128/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=79960 CPUtime=4.9 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 10377 32870 0 0 289 45 136 20 20 0 1 0 280812284 81879040 18262 33554432000 4194304 5992684 140736037198176 140736037190496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 19990 18262 181 440 0 19546 0
[pid=27179] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27179/stat : 27179 (satsolver.sh) S 27167 27166 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 280812790 9367552 267 33554432000 4194304 5064252 140736570160336 140736570159248 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27179/statm: 2287 267 226 213 0 72 0
[pid=27180] ppid=27179 vsize=401756 CPUtime=1656.96 cores=1,3,5,7
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 70962 0 0 0 165605 91 0 0 20 0 1 0 280812790 411398144 90022 33554432000 4194304 5208918 140737187663840 140737187660216 4211599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 100439 90022 104 248 0 100188 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 500012
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27247
/proc/meminfo: memFree=26560548/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=79960 CPUtime=4.9 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 10377 32870 0 0 289 45 136 20 20 0 1 0 280812284 81879040 18262 33554432000 4194304 5992684 140736037198176 140736037190496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 19990 18262 181 440 0 19546 0
[pid=27179] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27179/stat : 27179 (satsolver.sh) S 27167 27166 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 280812790 9367552 267 33554432000 4194304 5064252 140736570160336 140736570159248 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27179/statm: 2287 267 226 213 0 72 0
[pid=27180] ppid=27179 vsize=402960 CPUtime=1716.95 cores=1,3,5,7
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 72201 0 0 0 171601 94 0 0 20 0 1 0 280812790 412631040 89737 33554432000 4194304 5208918 140737187663840 140737187660152 4211871 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 100740 89737 104 248 0 100489 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 501216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27247
/proc/meminfo: memFree=26543188/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=79960 CPUtime=4.9 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 10377 32870 0 0 289 45 136 20 20 0 1 0 280812284 81879040 18262 33554432000 4194304 5992684 140736037198176 140736037190496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 19990 18262 181 440 0 19546 0
[pid=27179] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27179/stat : 27179 (satsolver.sh) S 27167 27166 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 280812790 9367552 267 33554432000 4194304 5064252 140736570160336 140736570159248 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27179/statm: 2287 267 226 213 0 72 0
[pid=27180] ppid=27179 vsize=406080 CPUtime=1776.94 cores=1,3,5,7
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 74091 0 0 0 177597 97 0 0 20 0 1 0 280812790 415825920 93676 33554432000 4194304 5208918 140737187663840 140737187661688 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 101520 93676 104 248 0 101269 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 504336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27247
/proc/meminfo: memFree=26538228/32873648 swapFree=7104/7104
[pid=27166] ppid=27164 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (npSolver-pbo.sh) S 27164 27166 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 280812283 9367552 275 33554432000 4194304 5064252 140736616581712 140736616580624 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27166/statm: 2287 275 233 213 0 72 0
[pid=27167] ppid=27166 vsize=79960 CPUtime=4.9 cores=1,3,5,7
/proc/27167/stat : 27167 (npSolver-pbo) S 27166 27166 23788 0 -1 4202496 10377 32870 0 0 289 45 136 20 20 0 1 0 280812284 81879040 18262 33554432000 4194304 5992684 140736037198176 140736037190496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27167/statm: 19990 18262 181 440 0 19546 0
[pid=27179] ppid=27167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27179/stat : 27179 (satsolver.sh) S 27167 27166 23788 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 280812790 9367552 267 33554432000 4194304 5064252 140736570160336 140736570159248 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27179/statm: 2287 267 226 213 0 72 0
[pid=27180] ppid=27179 vsize=406080 CPUtime=1795.14 cores=1,3,5,7
/proc/27180/stat : 27180 (glucose) R 27179 27166 23788 0 -1 4202496 74094 0 0 0 179417 97 0 0 20 0 1 0 280812790 415825920 93679 33554432000 4194304 5208918 140737187663840 140737187661688 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27180/statm: 101520 93679 104 248 0 101269 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 504336
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27166 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=263351
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=666898
# CPU time returned by wait4() is 4.93025
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1798.42
CPU system time (s): 1.62
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 581912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.26335
system time used= 0.666898
maximum resident set size= 100840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44227
page faults= 0
swaps= 0
block input operations= 0
block output operations= 110456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 235
involuntary context switches= 23
runsolver used 5.80412 second user time and 15.7716 second system time
The end