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-3715734-1338209399/watcher-3715734-1338209399 -o /tmp/evaluation-result-3715734-1338209399/solver-3715734-1338209399 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715734-1338209399.wbo 839638188 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.06 2.00 3/179 14923
/proc/meminfo: memFree=28986744/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[startup+0.015155 s]
/proc/loadavg: 2.02 2.06 2.00 3/179 14923
/proc/meminfo: memFree=28986744/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100297 s]
/proc/loadavg: 2.02 2.06 2.00 3/179 14923
/proc/meminfo: memFree=28986744/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300304 s]
/proc/loadavg: 2.02 2.06 2.00 3/179 14923
/proc/meminfo: memFree=28986744/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700157 s]
/proc/loadavg: 2.02 2.06 2.00 3/179 14923
/proc/meminfo: memFree=28986744/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.02 2.06 2.00 2/182 14932
/proc/meminfo: memFree=28914252/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=19224 CPUtime=0.56 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 5099 0 0 0 53 3 0 0 20 0 1 0 287067241 19685376 3601 33554432000 4194304 5990268 140736185197712 140736185190864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14924/statm: 4806 3601 153 439 0 4363 0
[pid=14929] ppid=14924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14929/stat : 14929 (cp2_pre.sh) S 14924 14923 1843 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 287067297 9367552 277 33554432000 4194304 5064252 140736381620416 140736381619120 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14929/statm: 2287 277 234 213 0 72 0
[pid=14930] ppid=14929 vsize=93996 CPUtime=0.91 cores=0,2,4,6
/proc/14930/stat : 14930 (coprocessor) R 14929 14923 1843 0 -1 4202496 17966 0 0 0 89 2 0 0 20 0 1 0 287067297 96251904 22515 33554432000 4194304 6586260 140733751250320 140733751245640 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 23499 22515 192 584 0 22911 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 131516
[startup+3.10032 s]
/proc/loadavg: 2.02 2.06 2.00 3/186 14940
/proc/meminfo: memFree=28881740/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=3.06 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) R 14923 14923 1843 0 -1 4202496 7881 35578 0 0 64 16 183 43 20 0 1 0 287067241 38772736 7871 33554432000 4194304 5990268 140736185197712 140736185190864 4523175 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14924/statm: 9466 7871 175 439 0 9023 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 47012
[startup+6.30037 s]
/proc/loadavg: 2.02 2.06 2.00 3/185 14971
/proc/meminfo: memFree=28896540/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=3.09 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 7927 35578 0 0 66 17 183 43 20 0 1 0 287067241 38772736 7916 33554432000 4194304 5990268 140736185197712 140736185189120 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14924/statm: 9466 7916 176 439 0 9023 0
[pid=14953] ppid=14924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14953/stat : 14953 (satsolver.sh) S 14924 14923 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287067553 9367552 266 33554432000 4194304 5064252 140734772756720 140734772755632 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14953/statm: 2287 266 226 213 0 72 0
[pid=14954] ppid=14953 vsize=77892 CPUtime=3.15 cores=0,2,4,6
/proc/14954/stat : 14954 (glucose) R 14953 14923 1843 0 -1 4202496 16784 0 0 0 313 2 0 0 20 0 1 0 287067554 79761408 17383 33554432000 4194304 5208918 140734823841760 140734823839704 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 19473 17383 103 248 0 19222 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 134052
[startup+12.7004 s]
/proc/loadavg: 2.02 2.05 2.00 3/184 15010
/proc/meminfo: memFree=28823280/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=8.66 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 10848 60542 0 0 75 18 712 61 20 0 1 0 287067241 38772736 7985 33554432000 4194304 5990268 140736185197712 140736185189120 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14924/statm: 9466 7985 177 439 0 9023 0
[pid=14993] ppid=14924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14993/stat : 14993 (satsolver.sh) S 14924 14923 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287068111 9367552 267 33554432000 4194304 5064252 140736310462384 140736310461296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14993/statm: 2287 267 226 213 0 72 0
[pid=14994] ppid=14993 vsize=78164 CPUtime=3.98 cores=0,2,4,6
/proc/14994/stat : 14994 (glucose) R 14993 14923 1843 0 -1 4202496 16795 0 0 0 395 3 0 0 20 0 1 0 287068112 80039936 17372 33554432000 4194304 5208918 140737283213280 140737283211224 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14994/statm: 19541 17372 103 248 0 19290 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 134324
[startup+25.5069 s]
/proc/loadavg: 2.17 2.09 2.01 3/184 15108
/proc/meminfo: memFree=28875488/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=25.12 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 19605 133621 0 0 104 22 2274 112 20 0 1 0 287067241 38772736 7985 33554432000 4194304 5990268 140736185197712 140736185189120 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14924/statm: 9466 7985 177 439 0 9023 0
[pid=15107] ppid=14924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15107/stat : 15107 (satsolver.sh) S 14924 14923 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287069758 9367552 266 33554432000 4194304 5064252 140735601545424 140735601544336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15107/statm: 2287 266 226 213 0 72 0
[pid=15108] ppid=15107 vsize=74988 CPUtime=0.31 cores=0,2,4,6
/proc/15108/stat : 15108 (glucose) R 15107 14923 1843 0 -1 4202496 15314 0 0 0 29 2 0 0 20 0 1 0 287069758 76787712 16142 33554432000 4194304 5208918 140735802775616 140735802773288 4211584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15108/statm: 18747 16142 95 248 0 18496 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 131148
[startup+51.1004 s]
/proc/loadavg: 2.52 2.17 2.04 3/184 15276
/proc/meminfo: memFree=28898676/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=46.89 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 31281 230913 0 0 143 27 4339 180 20 0 1 0 287067241 38772736 7985 33554432000 4194304 5990268 140736185197712 140736185189120 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/14924/statm: 9466 7985 177 439 0 9023 0
[pid=15254] ppid=14924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15254/stat : 15254 (satsolver.sh) S 14924 14923 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287072002 9367552 266 33554432000 4194304 5064252 140734360599584 140734360598496 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15254/statm: 2287 266 226 213 0 72 0
[pid=15255] ppid=15254 vsize=78024 CPUtime=3.47 cores=0,2,4,6
/proc/15255/stat : 15255 (glucose) R 15254 14923 1843 0 -1 4202496 16491 0 0 0 345 2 0 0 20 0 1 0 287072003 79896576 16979 33554432000 4194304 5208918 140737328359408 140737328357352 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15255/statm: 19506 16979 103 248 0 19255 0
Current children cumulated CPU time (s) 50.36
Current children cumulated vsize (KiB) 134184
[startup+102.3 s]
/proc/loadavg: 2.08 2.11 2.02 3/183 15612
/proc/meminfo: memFree=28820124/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=101.43 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 60471 476578 0 0 244 40 9509 350 20 0 1 0 287067241 38772736 7985 33554432000 4194304 5990268 140736185197712 140736185189120 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/14924/statm: 9466 7985 177 439 0 9023 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 47012
[startup+162.3 s]
/proc/loadavg: 1.89 2.04 2.00 3/183 16021
/proc/meminfo: memFree=28890308/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=156.43 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 89661 724515 0 0 339 52 14724 528 20 0 1 0 287067241 38772736 7985 33554432000 4194304 5990268 140736185197712 140736185189120 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/14924/statm: 9466 7985 177 439 0 9023 0
[pid=15999] ppid=14924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15999/stat : 15999 (satsolver.sh) S 14924 14923 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287083020 9367552 266 33554432000 4194304 5064252 140736996932624 140736996931536 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15999/statm: 2287 266 226 213 0 72 0
[pid=16000] ppid=15999 vsize=78160 CPUtime=4.49 cores=0,2,4,6
/proc/16000/stat : 16000 (glucose) R 15999 14923 1843 0 -1 4202496 16226 0 0 0 445 4 0 0 20 0 1 0 287083020 80035840 17500 33554432000 4194304 5208918 140733933513696 140733933511544 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16000/statm: 19540 17500 103 248 0 19289 0
Current children cumulated CPU time (s) 160.92
Current children cumulated vsize (KiB) 134320
[startup+222.3 s]
/proc/loadavg: 1.92 2.02 2.00 3/183 16425
/proc/meminfo: memFree=28820476/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/24492/stat : 24492 (glucose) R 24491 14923 1843 0 -1 4202496 16561 0 0 0 357 2 0 0 20 0 1 0 287203110 79900672 16992 33554432000 4194304 5208918 140735725343840 140735725341784 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24492/statm: 19507 16992 103 248 0 19256 0
Current children cumulated CPU time (s) 1356.31
Current children cumulated vsize (KiB) 134188
[startup+1422.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/183 24934
/proc/meminfo: memFree=28915160/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=1412.75 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 761031 6376537 0 0 2587 328 133779 4581 20 0 1 0 287067241 38772736 7985 33554432000 4194304 5990268 140736185197712 140736185189120 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 84 0 0
/proc/14924/statm: 9466 7985 177 439 0 9023 0
[pid=24919] ppid=14924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24919/stat : 24919 (satsolver.sh) S 14924 14923 1843 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287209114 9367552 267 33554432000 4194304 5064252 140736952574960 140736952573872 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24919/statm: 2287 267 226 213 0 72 0
[pid=24920] ppid=24919 vsize=78032 CPUtime=3.55 cores=0,2,4,6
/proc/24920/stat : 24920 (glucose) R 24919 14923 1843 0 -1 4202496 16529 0 0 0 352 3 0 0 20 0 1 0 287209115 79904768 16989 33554432000 4194304 5208918 140734895658848 140734895656792 4228985 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24920/statm: 19508 16989 103 248 0 19257 0
Current children cumulated CPU time (s) 1416.3
Current children cumulated vsize (KiB) 134192
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/184 25361
/proc/meminfo: memFree=28916588/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=1472.78 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 793140 6645635 0 0 2692 341 139469 4776 20 0 1 0 287067241 38772736 7985 33554432000 4194304 5990268 140736185197712 140736185189120 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 84 0 0
/proc/14924/statm: 9466 7985 177 439 0 9023 0
[pid=25341] ppid=14924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25341/stat : 25341 (satsolver.sh) S 14924 14923 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287215120 9367552 267 33554432000 4194304 5064252 140733528556896 140733528555808 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25341/statm: 2287 267 226 213 0 72 0
[pid=25342] ppid=25341 vsize=78024 CPUtime=3.49 cores=0,2,4,6
/proc/25342/stat : 25342 (glucose) R 25341 14923 1843 0 -1 4202496 16180 0 0 0 347 2 0 0 20 0 1 0 287215120 79896576 16980 33554432000 4194304 5208918 140736019900944 140736019898888 4211665 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25342/statm: 19506 16980 103 248 0 19255 0
Current children cumulated CPU time (s) 1476.27
Current children cumulated vsize (KiB) 134184
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 25785
/proc/meminfo: memFree=28851464/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=1532.94 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 806648 6915588 0 0 2796 352 145172 4974 20 0 1 0 287067241 38772736 7985 33554432000 4194304 5990268 140736185197712 140736185189120 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 84 0 0
/proc/14924/statm: 9466 7985 177 439 0 9023 0
[pid=25767] ppid=14924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25767/stat : 25767 (satsolver.sh) S 14924 14923 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287221143 9367552 267 33554432000 4194304 5064252 140735989409520 140735989408432 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25767/statm: 2287 267 226 213 0 72 0
[pid=25769] ppid=25767 vsize=78028 CPUtime=3.26 cores=0,2,4,6
/proc/25769/stat : 25769 (glucose) R 25767 14923 1843 0 -1 4202496 16483 0 0 0 324 2 0 0 20 0 1 0 287221143 79900672 16965 33554432000 4194304 5208918 140736480057408 140736480055352 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25769/statm: 19507 16965 103 248 0 19256 0
Current children cumulated CPU time (s) 1536.2
Current children cumulated vsize (KiB) 134188
[startup+1602.3 s]
/proc/loadavg: 1.95 2.00 1.99 2/182 26203
/proc/meminfo: memFree=28966140/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=1593.43 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 820156 7186775 0 0 2899 364 150907 5173 20 0 1 0 287067241 38772736 7985 33554432000 4194304 5990268 140736185197712 140736185189120 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 84 0 0
/proc/14924/statm: 9466 7985 177 439 0 9023 0
[pid=26193] ppid=14924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26193/stat : 26193 (satsolver.sh) S 14924 14923 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287227224 9367552 267 33554432000 4194304 5064252 140737050334464 140737050333376 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26193/statm: 2287 267 226 213 0 72 0
[pid=26194] ppid=26193 vsize=77632 CPUtime=2.44 cores=0,2,4,6
/proc/26194/stat : 26194 (glucose) R 26193 14923 1843 0 -1 4202496 16679 0 0 0 241 3 0 0 20 0 1 0 287227225 79495168 17250 33554432000 4194304 5208918 140735796544320 140735796542264 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26194/statm: 19408 17250 103 248 0 19157 0
Current children cumulated CPU time (s) 1595.87
Current children cumulated vsize (KiB) 133792
[startup+1662.31 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 26628
/proc/meminfo: memFree=28913920/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=1653.55 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 833664 7457066 0 0 3004 375 156602 5374 20 0 1 0 287067241 38772736 7985 33554432000 4194304 5990268 140736185197712 140736185189120 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 84 0 0
/proc/14924/statm: 9466 7985 177 439 0 9023 0
[pid=26615] ppid=14924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26615/stat : 26615 (satsolver.sh) S 14924 14923 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287233249 9367552 267 33554432000 4194304 5064252 140735256178480 140735256177392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26615/statm: 2287 267 226 213 0 72 0
[pid=26616] ppid=26615 vsize=77500 CPUtime=2.2 cores=0,2,4,6
/proc/26616/stat : 26616 (glucose) R 26615 14923 1843 0 -1 4202496 16299 0 0 0 218 2 0 0 20 0 1 0 287233249 79360000 16793 33554432000 4194304 5208918 140736928575312 140736928573256 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26616/statm: 19375 16793 103 248 0 19124 0
Current children cumulated CPU time (s) 1655.75
Current children cumulated vsize (KiB) 133660
[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/184 27049
/proc/meminfo: memFree=28928896/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=1713.65 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 847172 7728056 0 0 3108 386 162298 5573 20 0 1 0 287067241 38772736 7985 33554432000 4194304 5990268 140736185197712 140736185189120 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 84 0 0
/proc/14924/statm: 9466 7985 177 439 0 9023 0
[pid=27038] ppid=14924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27038/stat : 27038 (satsolver.sh) S 14924 14923 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287239260 9367552 267 33554432000 4194304 5064252 140733564606048 140733564604960 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27038/statm: 2287 267 226 213 0 72 0
[pid=27039] ppid=27038 vsize=76308 CPUtime=2.09 cores=0,2,4,6
/proc/27039/stat : 27039 (glucose) R 27038 14923 1843 0 -1 4202496 16222 0 0 0 207 2 0 0 20 0 1 0 287239260 78139392 16482 33554432000 4194304 5208918 140735864455488 140735864453432 4465602 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27039/statm: 19077 16483 103 248 0 18826 0
Current children cumulated CPU time (s) 1715.74
Current children cumulated vsize (KiB) 132468
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 27473
/proc/meminfo: memFree=28857148/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=1773.75 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 860680 7996813 0 0 3213 396 167996 5770 20 0 1 0 287067241 38772736 7985 33554432000 4194304 5990268 140736185197712 140736185189120 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 84 0 0
/proc/14924/statm: 9466 7985 177 439 0 9023 0
[pid=27461] ppid=14924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27461/stat : 27461 (satsolver.sh) S 14924 14923 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287245272 9367552 267 33554432000 4194304 5064252 140734513056224 140734513055136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27461/statm: 2287 267 226 213 0 72 0
[pid=27462] ppid=27461 vsize=75124 CPUtime=1.97 cores=0,2,4,6
/proc/27462/stat : 27462 (glucose) R 27461 14923 1843 0 -1 4202496 15497 0 0 0 194 3 0 0 20 0 1 0 287245273 76926976 16541 33554432000 4194304 5208918 140735616571744 140735616569688 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27462/statm: 18781 16541 95 248 0 18530 0
Current children cumulated CPU time (s) 1775.72
Current children cumulated vsize (KiB) 131284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 27640
/proc/meminfo: memFree=28902776/32873648 swapFree=7116/7116
[pid=14923] ppid=14921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14923/stat : 14923 (npSolver-wbo-It) S 14921 14923 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287067240 9367552 275 33554432000 4194304 5064252 140733968951808 140733968950720 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14923/statm: 2287 275 233 213 0 72 0
[pid=14924] ppid=14923 vsize=37864 CPUtime=1795.61 cores=0,2,4,6
/proc/14924/stat : 14924 (npSolver-wbo) S 14923 14923 1843 0 -1 4202496 865592 8094038 0 0 3251 401 170064 5845 20 0 1 0 287067241 38772736 7985 33554432000 4194304 5990268 140736185197712 140736185189120 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 84 0 0
/proc/14924/statm: 9466 7985 177 439 0 9023 0
[pid=27612] ppid=14924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27612/stat : 27612 (satsolver.sh) S 14924 14923 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287247457 9367552 267 33554432000 4194304 5064252 140735177658816 140735177657728 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27612/statm: 2287 267 226 213 0 72 0
[pid=27613] ppid=27612 vsize=78156 CPUtime=4.43 cores=0,2,4,6
/proc/27613/stat : 27613 (glucose) R 27612 14923 1843 0 -1 4202496 16831 0 0 0 440 3 0 0 20 0 1 0 287247457 80031744 17431 33554432000 4194304 5208918 140734884305424 140734884303272 4229748 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27613/statm: 19539 17431 103 248 0 19288 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 134316
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 14923 and gives
# childrusage.ru_utime.tv_sec=1733
# childrusage.ru_utime.tv_usec=150521
# childrusage.ru_stime.tv_sec=62
# childrusage.ru_stime.tv_usec=475502
# CPU time returned by wait4() is 1795.63
# 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): 1806.61
CPU time (s): 1800.04
CPU user time (s): 1737.55
CPU system time (s): 62.49
CPU usage (%): 99.6362
Max. virtual memory (cumulated for all children) (KiB): 149316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.15
system time used= 62.4755
maximum resident set size= 107748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8960608
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7851704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178630
involuntary context switches= 6729
runsolver used 4.79727 second user time and 10.2674 second system time
The end