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-3714290-1338182283/watcher-3714290-1338182283 -o /tmp/evaluation-result-3714290-1338182283/solver-3714290-1338182283 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714290-1338182283.wbo 1885411396 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.00 2.00 2.00 3/179 25764
/proc/meminfo: memFree=30806432/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[startup+0.0168731 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25764
/proc/meminfo: memFree=30806432/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25764
/proc/meminfo: memFree=30806432/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300242 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25764
/proc/meminfo: memFree=30806432/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700262 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25764
/proc/meminfo: memFree=30806432/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25768
/proc/meminfo: memFree=30683928/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=18776 CPUtime=0.55 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 4652 0 0 0 54 1 0 0 20 0 1 0 284352785 19226624 3581 33554432000 4194304 5990268 140734150629184 140734150622336 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 4694 3581 156 439 0 4251 0
[pid=25767] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25767/stat : 25767 (cp2_pre.sh) S 25765 25764 21914 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284352841 9367552 277 33554432000 4194304 5064252 140736752692416 140736752691120 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25767/statm: 2287 277 234 213 0 72 0
[pid=25768] ppid=25767 vsize=136728 CPUtime=0.92 cores=0,2,4,6
/proc/25768/stat : 25768 (coprocessor) R 25767 25764 21914 0 -1 4202496 25135 0 0 0 88 4 0 0 20 0 1 0 284352841 140009472 33261 33554432000 4194304 6586260 140735017575184 140735017571448 4683467 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/25768/statm: 34182 33261 191 584 0 33594 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 173800
[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25768
/proc/meminfo: memFree=30651912/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=18776 CPUtime=0.55 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 4652 0 0 0 54 1 0 0 20 0 1 0 284352785 19226624 3581 33554432000 4194304 5990268 140734150629184 140734150622336 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 4694 3581 156 439 0 4251 0
[pid=25767] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25767/stat : 25767 (cp2_pre.sh) S 25765 25764 21914 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284352841 9367552 277 33554432000 4194304 5064252 140736752692416 140736752691120 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25767/statm: 2287 277 234 213 0 72 0
[pid=25768] ppid=25767 vsize=136860 CPUtime=2.52 cores=0,2,4,6
/proc/25768/stat : 25768 (coprocessor) R 25767 25764 21914 0 -1 4202496 25171 0 0 0 248 4 0 0 20 0 1 0 284352841 140144640 33297 33554432000 4194304 6586260 140735017575184 140735017570504 4676681 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/25768/statm: 34215 33297 191 584 0 33627 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 173932
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25820
/proc/meminfo: memFree=30775788/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=18776 CPUtime=6.24 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 4673 38502 0 0 54 1 504 65 20 0 1 0 284352785 19226624 3583 33554432000 4194304 5990268 140734150629184 140734150622912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 4694 3583 158 439 0 4251 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 27924
[startup+12.7004 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 25837
/proc/meminfo: memFree=30856856/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=28688 CPUtime=6.72 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 7736 46717 0 0 61 18 525 68 20 0 1 0 284352785 29376512 6000 33554432000 4194304 5990268 140734150629184 140734150620624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 7172 6000 164 439 0 6729 0
[pid=25836] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25836/stat : 25836 (satsolver.sh) S 25765 25764 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284353460 9367552 267 33554432000 4194304 5064252 140735322126304 140735322125216 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=67616 CPUtime=5.94 cores=0,2,4,6
/proc/25837/stat : 25837 (glucose) R 25836 25764 21914 0 -1 4202496 13417 0 0 0 592 2 0 0 20 0 1 0 284353460 69238784 14976 33554432000 4194304 5208918 140736574321264 140736574319128 4229338 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25837/statm: 16904 14976 104 248 0 16653 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 114600
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 25838
/proc/meminfo: memFree=30835352/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=28688 CPUtime=6.72 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 7736 46717 0 0 61 18 525 68 20 0 1 0 284352785 29376512 6000 33554432000 4194304 5990268 140734150629184 140734150620624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 7172 6000 164 439 0 6729 0
[pid=25836] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25836/stat : 25836 (satsolver.sh) S 25765 25764 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284353460 9367552 267 33554432000 4194304 5064252 140735322126304 140735322125216 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=79128 CPUtime=18.74 cores=0,2,4,6
/proc/25837/stat : 25837 (glucose) R 25836 25764 21914 0 -1 4202496 14264 0 0 0 1872 2 0 0 20 0 1 0 284353460 81027072 17854 33554432000 4194304 5208918 140736574321264 140736574319208 4229748 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25837/statm: 19782 17854 104 248 0 19531 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 126112
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 25880
/proc/meminfo: memFree=30862320/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=28688 CPUtime=48.18 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 16722 162842 0 0 70 20 4618 110 20 0 1 0 284352785 29376512 6000 33554432000 4194304 5990268 140734150629184 140734150620624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 7172 6000 164 439 0 6729 0
[pid=25879] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25879/stat : 25879 (satsolver.sh) S 25765 25764 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284357605 9367552 267 33554432000 4194304 5064252 140734955874112 140734955873024 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25879/statm: 2287 267 226 213 0 72 0
[pid=25880] ppid=25879 vsize=45832 CPUtime=2.89 cores=0,2,4,6
/proc/25880/stat : 25880 (glucose) R 25879 25764 21914 0 -1 4202496 9864 0 0 0 287 2 0 0 20 0 1 0 284357605 46931968 8887 33554432000 4194304 5208918 140733640341232 140733640339080 4229347 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25880/statm: 11458 8887 104 248 0 11207 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 92816
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 25880
/proc/meminfo: memFree=30812600/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=28688 CPUtime=48.18 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 16722 162842 0 0 70 20 4618 110 20 0 1 0 284352785 29376512 6000 33554432000 4194304 5990268 140734150629184 140734150620624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 7172 6000 164 439 0 6729 0
[pid=25879] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25879/stat : 25879 (satsolver.sh) S 25765 25764 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284357605 9367552 267 33554432000 4194304 5064252 140734955874112 140734955873024 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25879/statm: 2287 267 226 213 0 72 0
[pid=25880] ppid=25879 vsize=92480 CPUtime=54.09 cores=0,2,4,6
/proc/25880/stat : 25880 (glucose) R 25879 25764 21914 0 -1 4202496 13508 0 0 0 5405 4 0 0 20 0 1 0 284357605 94699520 19742 33554432000 4194304 5208918 140733640341232 140733640337608 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25880/statm: 23120 19742 105 248 0 22869 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 139464
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 25883
/proc/meminfo: memFree=30792916/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=28688 CPUtime=48.18 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 16722 162842 0 0 70 20 4618 110 20 0 1 0 284352785 29376512 6000 33554432000 4194304 5990268 140734150629184 140734150620624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 7172 6000 164 439 0 6729 0
[pid=25879] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25879/stat : 25879 (satsolver.sh) S 25765 25764 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284357605 9367552 267 33554432000 4194304 5064252 140734955874112 140734955873024 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25879/statm: 2287 267 226 213 0 72 0
[pid=25880] ppid=25879 vsize=97328 CPUtime=114.07 cores=0,2,4,6
/proc/25880/stat : 25880 (glucose) R 25879 25764 21914 0 -1 4202496 14829 0 0 0 11403 4 0 0 20 0 1 0 284357605 99663872 21723 33554432000 4194304 5208918 140733640341232 140733640337000 4229695 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25880/statm: 24332 21723 105 248 0 24081 0
Current children cumulated CPU time (s) 162.25
################
# More data... #
################
/proc/25880/stat : 25880 (glucose) R 25879 25764 21914 0 -1 4202496 28681 0 0 0 131360 28 0 0 20 0 1 0 284357605 265691136 58970 33554432000 4194304 5208918 140733640341232 140733640337608 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25880/statm: 64866 58970 105 248 0 64615 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 306448
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 25894
/proc/meminfo: memFree=30605160/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=28688 CPUtime=48.18 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 16722 162842 0 0 70 20 4618 110 20 0 1 0 284352785 29376512 6000 33554432000 4194304 5990268 140734150629184 140734150620624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 7172 6000 164 439 0 6729 0
[pid=25879] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25879/stat : 25879 (satsolver.sh) S 25765 25764 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284357605 9367552 267 33554432000 4194304 5064252 140734955874112 140734955873024 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25879/statm: 2287 267 226 213 0 72 0
[pid=25880] ppid=25879 vsize=259464 CPUtime=1373.87 cores=0,2,4,6
/proc/25880/stat : 25880 (glucose) R 25879 25764 21914 0 -1 4202496 29649 0 0 0 137358 29 0 0 20 0 1 0 284357605 265691136 57434 33554432000 4194304 5208918 140733640341232 140733640339384 4229277 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25880/statm: 64866 57434 105 248 0 64615 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 306448
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 25894
/proc/meminfo: memFree=30615244/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=28688 CPUtime=48.18 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 16722 162842 0 0 70 20 4618 110 20 0 1 0 284352785 29376512 6000 33554432000 4194304 5990268 140734150629184 140734150620624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 7172 6000 164 439 0 6729 0
[pid=25879] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25879/stat : 25879 (satsolver.sh) S 25765 25764 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284357605 9367552 267 33554432000 4194304 5064252 140734955874112 140734955873024 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25879/statm: 2287 267 226 213 0 72 0
[pid=25880] ppid=25879 vsize=228644 CPUtime=1433.85 cores=0,2,4,6
/proc/25880/stat : 25880 (glucose) R 25879 25764 21914 0 -1 4202496 30020 0 0 0 143355 30 0 0 20 0 1 0 284357605 234131456 54807 33554432000 4194304 5208918 140733640341232 140733640337544 4229307 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25880/statm: 57161 54807 105 248 0 56910 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 275628
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 25894
/proc/meminfo: memFree=30573008/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=28688 CPUtime=48.18 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 16722 162842 0 0 70 20 4618 110 20 0 1 0 284352785 29376512 6000 33554432000 4194304 5990268 140734150629184 140734150620624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 7172 6000 164 439 0 6729 0
[pid=25879] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25879/stat : 25879 (satsolver.sh) S 25765 25764 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284357605 9367552 267 33554432000 4194304 5064252 140734955874112 140734955873024 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25879/statm: 2287 267 226 213 0 72 0
[pid=25880] ppid=25879 vsize=228644 CPUtime=1493.84 cores=0,2,4,6
/proc/25880/stat : 25880 (glucose) R 25879 25764 21914 0 -1 4202496 30978 0 0 0 149352 32 0 0 20 0 1 0 284357605 234131456 52247 33554432000 4194304 5208918 140733640341232 140733640339320 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25880/statm: 57161 52247 105 248 0 56910 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 275628
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25895
/proc/meminfo: memFree=30540436/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=28688 CPUtime=48.18 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 16722 162842 0 0 70 20 4618 110 20 0 1 0 284352785 29376512 6000 33554432000 4194304 5990268 140734150629184 140734150620624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 7172 6000 164 439 0 6729 0
[pid=25879] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25879/stat : 25879 (satsolver.sh) S 25765 25764 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284357605 9367552 267 33554432000 4194304 5064252 140734955874112 140734955873024 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25879/statm: 2287 267 226 213 0 72 0
[pid=25880] ppid=25879 vsize=259464 CPUtime=1553.83 cores=0,2,4,6
/proc/25880/stat : 25880 (glucose) R 25879 25764 21914 0 -1 4202496 31582 0 0 0 155349 34 0 0 20 0 1 0 284357605 265691136 59482 33554432000 4194304 5208918 140733640341232 140733640337608 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25880/statm: 64866 59482 105 248 0 64615 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 306448
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25895
/proc/meminfo: memFree=30557036/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=28688 CPUtime=48.18 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 16722 162842 0 0 70 20 4618 110 20 0 1 0 284352785 29376512 6000 33554432000 4194304 5990268 140734150629184 140734150620624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 7172 6000 164 439 0 6729 0
[pid=25879] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25879/stat : 25879 (satsolver.sh) S 25765 25764 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284357605 9367552 267 33554432000 4194304 5064252 140734955874112 140734955873024 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25879/statm: 2287 267 226 213 0 72 0
[pid=25880] ppid=25879 vsize=259464 CPUtime=1613.82 cores=0,2,4,6
/proc/25880/stat : 25880 (glucose) R 25879 25764 21914 0 -1 4202496 32540 0 0 0 161346 36 0 0 20 0 1 0 284357605 265691136 57434 33554432000 4194304 5208918 140733640341232 140733640337608 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25880/statm: 64866 57434 105 248 0 64615 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 306448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25895
/proc/meminfo: memFree=30554572/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=28688 CPUtime=48.18 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 16722 162842 0 0 70 20 4618 110 20 0 1 0 284352785 29376512 6000 33554432000 4194304 5990268 140734150629184 140734150620624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 7172 6000 164 439 0 6729 0
[pid=25879] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25879/stat : 25879 (satsolver.sh) S 25765 25764 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284357605 9367552 267 33554432000 4194304 5064252 140734955874112 140734955873024 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25879/statm: 2287 267 226 213 0 72 0
[pid=25880] ppid=25879 vsize=259464 CPUtime=1673.82 cores=0,2,4,6
/proc/25880/stat : 25880 (glucose) R 25879 25764 21914 0 -1 4202496 33494 0 0 0 167343 39 0 0 20 0 1 0 284357605 265691136 56410 33554432000 4194304 5208918 140733640341232 140733640336936 4205203 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25880/statm: 64866 56410 105 248 0 64615 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 306448
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25895
/proc/meminfo: memFree=30608096/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=28688 CPUtime=48.18 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 16722 162842 0 0 70 20 4618 110 20 0 1 0 284352785 29376512 6000 33554432000 4194304 5990268 140734150629184 140734150620624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 7172 6000 164 439 0 6729 0
[pid=25879] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25879/stat : 25879 (satsolver.sh) S 25765 25764 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284357605 9367552 267 33554432000 4194304 5064252 140734955874112 140734955873024 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25879/statm: 2287 267 226 213 0 72 0
[pid=25880] ppid=25879 vsize=228644 CPUtime=1733.81 cores=0,2,4,6
/proc/25880/stat : 25880 (glucose) R 25879 25764 21914 0 -1 4202496 33867 0 0 0 173341 40 0 0 20 0 1 0 284357605 234131456 54295 33554432000 4194304 5208918 140733640341232 140733640337608 4229386 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25880/statm: 57161 54295 105 248 0 56910 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 275628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25895
/proc/meminfo: memFree=30564656/32873844 swapFree=7900/7900
[pid=25764] ppid=25762 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25764/stat : 25764 (npSolver-wbo-I.) S 25762 25764 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284352785 9367552 275 33554432000 4194304 5064252 140735562256992 140735562255904 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25764/statm: 2287 275 233 213 0 72 0
[pid=25765] ppid=25764 vsize=28688 CPUtime=48.18 cores=0,2,4,6
/proc/25765/stat : 25765 (npSolver-wbo) S 25764 25764 21914 0 -1 4202496 16722 162842 0 0 70 20 4618 110 20 0 1 0 284352785 29376512 6000 33554432000 4194304 5990268 140734150629184 140734150620624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25765/statm: 7172 6000 164 439 0 6729 0
[pid=25879] ppid=25765 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25879/stat : 25879 (satsolver.sh) S 25765 25764 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284357605 9367552 267 33554432000 4194304 5064252 140734955874112 140734955873024 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25879/statm: 2287 267 226 213 0 72 0
[pid=25880] ppid=25879 vsize=259464 CPUtime=1751.91 cores=0,2,4,6
/proc/25880/stat : 25880 (glucose) R 25879 25764 21914 0 -1 4202496 34472 0 0 0 175150 41 0 0 20 0 1 0 284357605 265691136 56410 33554432000 4194304 5208918 140733640341232 140733640337608 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25880/statm: 64866 56410 105 248 0 64615 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 306448
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 25764 and gives
# childrusage.ru_utime.tv_sec=46
# childrusage.ru_utime.tv_usec=896870
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=309800
# CPU time returned by wait4() is 48.2067
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1798.38
CPU system time (s): 1.71
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 355768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.8969
system time used= 1.3098
maximum resident set size= 164368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180543
page faults= 0
swaps= 0
block input operations= 0
block output operations= 119384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2857
involuntary context switches= 151
runsolver used 5.31919 second user time and 20.7778 second system time
The end