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-3753035-1339206230/watcher-3753035-1339206230 -o /tmp/evaluation-result-3753035-1339206230/solver-3753035-1339206230 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753035-1339206230.wbo 1953714018 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: 0.85 1.10 1.52 3/176 7829
/proc/meminfo: memFree=30861592/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[startup+0.103217 s]
/proc/loadavg: 0.85 1.10 1.52 3/176 7829
/proc/meminfo: memFree=30861592/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200278 s]
/proc/loadavg: 0.85 1.10 1.52 3/176 7829
/proc/meminfo: memFree=30861592/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300268 s]
/proc/loadavg: 0.85 1.10 1.52 3/176 7829
/proc/meminfo: memFree=30861592/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70028 s]
/proc/loadavg: 0.85 1.10 1.52 3/176 7829
/proc/meminfo: memFree=30861592/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 0.85 1.10 1.52 4/184 7837
/proc/meminfo: memFree=30705016/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=28072 CPUtime=0.55 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 7053 0 0 0 48 7 0 0 20 0 1 0 386747582 28745728 6468 33554432000 4194304 6006132 140736611208976 140736611202080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 7018 6468 158 443 0 6571 0
[pid=7836] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7836/stat : 7836 (cp2_pre.sh) S 7831 7829 7786 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 386747638 9367552 276 33554432000 4194304 5064252 140734370323600 140734370322304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7836/statm: 2287 276 234 213 0 72 0
[pid=7837] ppid=7836 vsize=70536 CPUtime=0.92 cores=1,3,5,7
/proc/7837/stat : 7837 (coprocessor) R 7836 7829 7786 0 -1 4202496 13806 0 0 0 89 3 0 0 20 0 1 0 386747638 72228864 16947 33554432000 4194304 6586260 140734684353408 140734684348952 5598875 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/7837/statm: 17634 16947 192 584 0 17046 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 116904
[startup+3.10016 s]
/proc/loadavg: 0.85 1.10 1.52 4/182 7852
/proc/meminfo: memFree=30688196/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=28072 CPUtime=3.07 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 7974 25259 0 0 54 27 217 9 20 0 1 0 386747582 28745728 6471 33554432000 4194304 6006132 140736611208976 140736611202080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 7018 6471 161 443 0 6571 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 37220
[startup+6.30035 s]
/proc/loadavg: 0.94 1.12 1.52 4/184 7871
/proc/meminfo: memFree=30564724/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=3.18 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 11189 25774 0 0 63 28 217 10 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=7863] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7863/stat : 7863 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386747903 9367552 267 33554432000 4194304 5064252 140734492292304 140734492291216 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7863/statm: 2287 267 226 213 0 72 0
[pid=7864] ppid=7863 vsize=70444 CPUtime=3.07 cores=1,3,5,7
/proc/7864/stat : 7864 (glucose) R 7863 7829 7786 0 -1 4202496 14613 0 0 0 304 3 0 0 20 0 1 0 386747903 72134656 16132 33554432000 4194304 5208918 140737197453872 140737197451544 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7864/statm: 17611 16132 95 248 0 17360 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 137828
[startup+12.7071 s]
/proc/loadavg: 1.10 1.15 1.53 3/184 7878
/proc/meminfo: memFree=30504336/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=3.18 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 11189 25774 0 0 63 28 217 10 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=7863] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7863/stat : 7863 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386747903 9367552 267 33554432000 4194304 5064252 140734492292304 140734492291216 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7863/statm: 2287 267 226 213 0 72 0
[pid=7864] ppid=7863 vsize=70444 CPUtime=9.48 cores=1,3,5,7
/proc/7864/stat : 7864 (glucose) R 7863 7829 7786 0 -1 4202496 14623 0 0 0 945 3 0 0 20 0 1 0 386747903 72134656 16142 33554432000 4194304 5208918 140737197453872 140737197451544 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7864/statm: 17611 16142 95 248 0 17360 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 137828
[startup+25.5003 s]
/proc/loadavg: 1.31 1.19 1.54 3/182 7890
/proc/meminfo: memFree=30653400/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=3.18 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 11189 25774 0 0 63 28 217 10 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=7863] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7863/stat : 7863 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386747903 9367552 267 33554432000 4194304 5064252 140734492292304 140734492291216 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7863/statm: 2287 267 226 213 0 72 0
[pid=7864] ppid=7863 vsize=70444 CPUtime=22.27 cores=1,3,5,7
/proc/7864/stat : 7864 (glucose) R 7863 7829 7786 0 -1 4202496 14629 0 0 0 2224 3 0 0 20 0 1 0 386747903 72134656 16148 33554432000 4194304 5208918 140737197453872 140737197451544 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7864/statm: 17611 16148 95 248 0 17360 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 137828
[startup+51.1003 s]
/proc/loadavg: 1.55 1.25 1.55 3/185 8064
/proc/meminfo: memFree=30641756/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=3.18 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 11189 25774 0 0 63 28 217 10 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=7863] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7863/stat : 7863 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386747903 9367552 267 33554432000 4194304 5064252 140734492292304 140734492291216 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7863/statm: 2287 267 226 213 0 72 0
[pid=7864] ppid=7863 vsize=70444 CPUtime=47.87 cores=1,3,5,7
/proc/7864/stat : 7864 (glucose) R 7863 7829 7786 0 -1 4202496 14638 0 0 0 4784 3 0 0 20 0 1 0 386747903 72134656 16157 33554432000 4194304 5208918 140737197453872 140737197451544 4211916 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7864/statm: 17611 16157 95 248 0 17360 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 137828
[startup+102.3 s]
/proc/loadavg: 1.80 1.37 1.57 3/182 8403
/proc/meminfo: memFree=30645544/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=3.18 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 11189 25774 0 0 63 28 217 10 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=7863] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7863/stat : 7863 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386747903 9367552 267 33554432000 4194304 5064252 140734492292304 140734492291216 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7863/statm: 2287 267 226 213 0 72 0
[pid=7864] ppid=7863 vsize=70444 CPUtime=99.05 cores=1,3,5,7
/proc/7864/stat : 7864 (glucose) R 7863 7829 7786 0 -1 4202496 14656 0 0 0 9902 3 0 0 20 0 1 0 386747903 72134656 16684 33554432000 4194304 5208918 140737197453872 140737197451544 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7864/statm: 17611 16684 95 248 0 17360 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 137828
[startup+162.307 s]
/proc/loadavg: 1.92 1.48 1.59 3/182 8809
/proc/meminfo: memFree=30644928/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=3.18 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 11189 25774 0 0 63 28 217 10 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=7863] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7863/stat : 7863 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386747903 9367552 267 33554432000 4194304 5064252 140734492292304 140734492291216 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7863/statm: 2287 267 226 213 0 72 0
[pid=7864] ppid=7863 vsize=70444 CPUtime=159.05 cores=1,3,5,7
/proc/7864/stat : 7864 (glucose) R 7863 7829 7786 0 -1 4202496 14666 0 0 0 15902 3 0 0 20 0 1 0 386747903 72134656 16694 33554432000 4194304 5208918 140737197453872 140737197451544 4211670 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7864/statm: 17611 16694 95 248 0 17360 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 1.94 1.97 1.85 3/184 16890
/proc/meminfo: memFree=30623356/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=3.18 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 11189 25774 0 0 63 28 217 10 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=7863] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7863/stat : 7863 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386747903 9367552 267 33554432000 4194304 5064252 140734492292304 140734492291216 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7863/statm: 2287 267 226 213 0 72 0
[pid=7864] ppid=7863 vsize=89832 CPUtime=1358.86 cores=1,3,5,7
/proc/7864/stat : 7864 (glucose) R 7863 7829 7786 0 -1 4202496 17064 0 0 0 135881 5 0 0 20 0 1 0 386747903 91987968 18830 33554432000 4194304 5208918 140737197453872 140737197452024 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7864/statm: 22458 18830 96 248 0 22207 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 157216
[startup+1423.41 s]
/proc/loadavg: 2.00 1.97 1.85 4/183 17257
/proc/meminfo: memFree=30626224/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=3.18 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 11189 25774 0 0 63 28 217 10 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=7863] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7863/stat : 7863 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386747903 9367552 267 33554432000 4194304 5064252 140734492292304 140734492291216 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7863/statm: 2287 267 226 213 0 72 0
[pid=7864] ppid=7863 vsize=89832 CPUtime=1419.96 cores=1,3,5,7
/proc/7864/stat : 7864 (glucose) R 7863 7829 7786 0 -1 4202496 17223 0 0 0 141991 5 0 0 20 0 1 0 386747903 91987968 18988 33554432000 4194304 5208918 140737197453872 140737197452024 4211851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7864/statm: 22458 18988 96 248 0 22207 0
Current children cumulated CPU time (s) 1423.14
Current children cumulated vsize (KiB) 157216
[startup+1483.96 s]
/proc/loadavg: 1.66 1.88 1.83 5/182 17610
/proc/meminfo: memFree=30635084/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=3.18 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 11189 25774 0 0 63 28 217 10 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=7863] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7863/stat : 7863 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386747903 9367552 267 33554432000 4194304 5064252 140734492292304 140734492291216 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7863/statm: 2287 267 226 213 0 72 0
[pid=7864] ppid=7863 vsize=78292 CPUtime=1480.5 cores=1,3,5,7
/proc/7864/stat : 7864 (glucose) R 7863 7829 7786 0 -1 4202496 17811 0 0 0 148045 5 0 0 20 0 1 0 386747903 80171008 17524 33554432000 4194304 5208918 140737197453872 140737197451960 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7864/statm: 19573 17524 96 248 0 19322 0
Current children cumulated CPU time (s) 1483.68
Current children cumulated vsize (KiB) 145676
[startup+1547.33 s]
/proc/loadavg: 1.32 1.73 1.78 3/184 18138
/proc/meminfo: memFree=30627116/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=3.18 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 11189 25774 0 0 63 28 217 10 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=7863] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7863/stat : 7863 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386747903 9367552 267 33554432000 4194304 5064252 140734492292304 140734492291216 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7863/statm: 2287 267 226 213 0 72 0
[pid=7864] ppid=7863 vsize=78292 CPUtime=1543.86 cores=1,3,5,7
/proc/7864/stat : 7864 (glucose) R 7863 7829 7786 0 -1 4202496 17811 0 0 0 154381 5 0 0 20 0 1 0 386747903 80171008 17524 33554432000 4194304 5208918 140737197453872 140737197451960 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7864/statm: 19573 17524 96 248 0 19322 0
Current children cumulated CPU time (s) 1547.04
Current children cumulated vsize (KiB) 145676
[startup+1602.35 s]
/proc/loadavg: 1.30 1.65 1.74 3/183 18501
/proc/meminfo: memFree=30631800/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=3.18 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 11189 25774 0 0 63 28 217 10 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=7863] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7863/stat : 7863 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386747903 9367552 267 33554432000 4194304 5064252 140734492292304 140734492291216 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7863/statm: 2287 267 226 213 0 72 0
[pid=7864] ppid=7863 vsize=82344 CPUtime=1598.88 cores=1,3,5,7
/proc/7864/stat : 7864 (glucose) R 7863 7829 7786 0 -1 4202496 18850 0 0 0 159882 6 0 0 20 0 1 0 386747903 84320256 19075 33554432000 4194304 5208918 140737197453872 140737197451816 4229125 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7864/statm: 20586 19075 104 248 0 20335 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 149728
[startup+1662.32 s]
/proc/loadavg: 1.28 1.58 1.71 3/181 18865
/proc/meminfo: memFree=30616180/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=3.18 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 11189 25774 0 0 63 28 217 10 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=7863] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7863/stat : 7863 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386747903 9367552 267 33554432000 4194304 5064252 140734492292304 140734492291216 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7863/statm: 2287 267 226 213 0 72 0
[pid=7864] ppid=7863 vsize=113252 CPUtime=1658.83 cores=1,3,5,7
/proc/7864/stat : 7864 (glucose) R 7863 7829 7786 0 -1 4202496 19619 0 0 0 165877 6 0 0 20 0 1 0 386747903 115970048 23401 33554432000 4194304 5208918 140737197453872 140737197451816 4211641 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7864/statm: 28313 23401 104 248 0 28062 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 180636
[startup+1722.3 s]
/proc/loadavg: 1.73 1.65 1.73 3/183 19315
/proc/meminfo: memFree=30625388/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=1671.24 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 14975 51921 0 0 73 30 166989 32 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=18978] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18978/stat : 18978 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386914734 9367552 267 33554432000 4194304 5064252 140736309907760 140736309906672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18978/statm: 2287 267 226 213 0 72 0
[pid=18979] ppid=18978 vsize=70452 CPUtime=50.75 cores=1,3,5,7
/proc/18979/stat : 18979 (glucose) R 18978 7829 7786 0 -1 4202496 15087 0 0 0 5073 2 0 0 20 0 1 0 386914734 72142848 16606 33554432000 4194304 5208918 140736369186048 140736369183720 4211807 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18979/statm: 17613 16606 95 248 0 17362 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 137836
[startup+1782.3 s]
/proc/loadavg: 1.86 1.68 1.73 4/183 19714
/proc/meminfo: memFree=30595672/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=1671.24 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 14975 51921 0 0 73 30 166989 32 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=18978] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18978/stat : 18978 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386914734 9367552 267 33554432000 4194304 5064252 140736309907760 140736309906672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18978/statm: 2287 267 226 213 0 72 0
[pid=18979] ppid=18978 vsize=70452 CPUtime=110.74 cores=1,3,5,7
/proc/18979/stat : 18979 (glucose) R 18978 7829 7786 0 -1 4202496 15104 0 0 0 11072 2 0 0 20 0 1 0 386914734 72142848 16677 33554432000 4194304 5208918 140736369186048 140736369183720 4211670 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18979/statm: 17613 16677 95 248 0 17362 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 137836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 1.74 1.75 3/183 19840
/proc/meminfo: memFree=30572028/32873844 swapFree=9160/9160
[pid=7829] ppid=7825 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7829/stat : 7829 (npSolver-wbo-It) S 7825 7829 7786 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747581 9367552 275 33554432000 4194304 5064252 140733837802864 140733837801776 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7829/statm: 2287 275 233 213 0 72 0
[pid=7831] ppid=7829 vsize=49088 CPUtime=1671.24 cores=1,3,5,7
/proc/7831/stat : 7831 (npSolver-wbo) S 7829 7829 7786 0 -1 4202496 14975 51921 0 0 73 30 166989 32 20 0 1 0 386747582 50266112 11709 33554432000 4194304 6006132 140736611208976 140736611200336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7831/statm: 12272 11709 177 443 0 11825 0
[pid=18978] ppid=7831 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18978/stat : 18978 (satsolver.sh) S 7831 7829 7786 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386914734 9367552 267 33554432000 4194304 5064252 140736309907760 140736309906672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18978/statm: 2287 267 226 213 0 72 0
[pid=18979] ppid=18978 vsize=70452 CPUtime=128.84 cores=1,3,5,7
/proc/18979/stat : 18979 (glucose) R 18978 7829 7786 0 -1 4202496 15108 0 0 0 12882 2 0 0 20 0 1 0 386914734 72142848 16681 33554432000 4194304 5208918 140736369186048 140736369183720 4211918 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18979/statm: 17613 16681 95 248 0 17362 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 137836
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.46
CPU system time (s): 0.6569
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 180636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.6569
maximum resident set size= 96528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 67472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 691
involuntary context switches= 1937
runsolver used 2.45063 second user time and 6.33804 second system time
The end