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-3715752-1338240450/watcher-3715752-1338240450 -o /tmp/evaluation-result-3715752-1338240450/solver-3715752-1338240450 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715752-1338240450.wbo 1390724398 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: 1.81 1.80 1.85 3/175 20290
/proc/meminfo: memFree=25433972/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[startup+0.0301479 s]
/proc/loadavg: 1.81 1.80 1.85 3/175 20290
/proc/meminfo: memFree=25433972/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100256 s]
/proc/loadavg: 1.81 1.80 1.85 3/175 20290
/proc/meminfo: memFree=25433972/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30031 s]
/proc/loadavg: 1.81 1.80 1.85 3/175 20290
/proc/meminfo: memFree=25433972/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700296 s]
/proc/loadavg: 1.81 1.80 1.85 3/175 20290
/proc/meminfo: memFree=25433972/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 1.81 1.80 1.85 3/177 20351
/proc/meminfo: memFree=25387900/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=80536 CPUtime=1.3 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 7587 8912 0 0 80 15 34 1 20 0 1 0 290173559 82468864 14575 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 20134 14575 180 439 0 19691 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 89684
[startup+3.10041 s]
/proc/loadavg: 1.81 1.80 1.85 3/181 20407
/proc/meminfo: memFree=25207456/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=80536 CPUtime=1.3 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 7587 8912 0 0 80 15 34 1 20 0 1 0 290173559 82468864 14575 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 20134 14575 180 439 0 19691 0
[pid=20368] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20368/stat : 20368 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290173692 9367552 266 33554432000 4194304 5064252 140735474839600 140735474838512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20368/statm: 2287 266 226 213 0 72 0
[pid=20369] ppid=20368 vsize=130188 CPUtime=1.75 cores=1,3,5,7
/proc/20369/stat : 20369 (glucose) R 20368 20290 1905 0 -1 4202496 25901 0 0 0 168 7 0 0 20 0 1 0 290173692 133312512 29013 33554432000 4194304 5208918 140734717654256 140734717652088 4229460 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20369/statm: 32547 29013 104 248 0 32296 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 229020
[startup+6.30044 s]
/proc/loadavg: 1.83 1.81 1.85 3/181 20526
/proc/meminfo: memFree=25204516/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=80536 CPUtime=1.3 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 7587 8912 0 0 80 15 34 1 20 0 1 0 290173559 82468864 14575 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 20134 14575 180 439 0 19691 0
[pid=20368] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20368/stat : 20368 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290173692 9367552 266 33554432000 4194304 5064252 140735474839600 140735474838512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20368/statm: 2287 266 226 213 0 72 0
[pid=20369] ppid=20368 vsize=130188 CPUtime=4.95 cores=1,3,5,7
/proc/20369/stat : 20369 (glucose) R 20368 20290 1905 0 -1 4202496 25901 0 0 0 487 8 0 0 20 0 1 0 290173692 133312512 29013 33554432000 4194304 5208918 140734717654256 140734717652088 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20369/statm: 32547 29013 104 248 0 32296 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 229020
[startup+12.7004 s]
/proc/loadavg: 1.84 1.81 1.85 3/181 20855
/proc/meminfo: memFree=25204432/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=80536 CPUtime=1.3 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 7587 8912 0 0 80 15 34 1 20 0 1 0 290173559 82468864 14575 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 20134 14575 180 439 0 19691 0
[pid=20368] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20368/stat : 20368 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290173692 9367552 266 33554432000 4194304 5064252 140735474839600 140735474838512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20368/statm: 2287 266 226 213 0 72 0
[pid=20369] ppid=20368 vsize=130188 CPUtime=11.35 cores=1,3,5,7
/proc/20369/stat : 20369 (glucose) R 20368 20290 1905 0 -1 4202496 25901 0 0 0 1127 8 0 0 20 0 1 0 290173692 133312512 29013 33554432000 4194304 5208918 140734717654256 140734717652088 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20369/statm: 32547 29013 104 248 0 32296 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 229020
[startup+25.5005 s]
/proc/loadavg: 1.88 1.82 1.86 3/181 21517
/proc/meminfo: memFree=25196680/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=80536 CPUtime=1.3 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 7587 8912 0 0 80 15 34 1 20 0 1 0 290173559 82468864 14575 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 20134 14575 180 439 0 19691 0
[pid=20368] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20368/stat : 20368 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290173692 9367552 266 33554432000 4194304 5064252 140735474839600 140735474838512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20368/statm: 2287 266 226 213 0 72 0
[pid=20369] ppid=20368 vsize=130188 CPUtime=24.15 cores=1,3,5,7
/proc/20369/stat : 20369 (glucose) R 20368 20290 1905 0 -1 4202496 25901 0 0 0 2407 8 0 0 20 0 1 0 290173692 133312512 29013 33554432000 4194304 5208918 140734717654256 140734717652088 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20369/statm: 32547 29013 104 248 0 32296 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 229020
[startup+51.1005 s]
/proc/loadavg: 1.92 1.83 1.86 3/182 22794
/proc/meminfo: memFree=25206628/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=80536 CPUtime=1.3 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 7587 8912 0 0 80 15 34 1 20 0 1 0 290173559 82468864 14575 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 20134 14575 180 439 0 19691 0
[pid=20368] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20368/stat : 20368 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290173692 9367552 266 33554432000 4194304 5064252 140735474839600 140735474838512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20368/statm: 2287 266 226 213 0 72 0
[pid=20369] ppid=20368 vsize=130188 CPUtime=49.74 cores=1,3,5,7
/proc/20369/stat : 20369 (glucose) R 20368 20290 1905 0 -1 4202496 25901 0 0 0 4966 8 0 0 20 0 1 0 290173692 133312512 29013 33554432000 4194304 5208918 140734717654256 140734717652088 4211160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20369/statm: 32547 29013 104 248 0 32296 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 229020
[startup+102.3 s]
/proc/loadavg: 1.76 1.81 1.85 3/181 25398
/proc/meminfo: memFree=25204748/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=80536 CPUtime=1.3 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 7587 8912 0 0 80 15 34 1 20 0 1 0 290173559 82468864 14575 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 20134 14575 180 439 0 19691 0
[pid=20368] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20368/stat : 20368 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290173692 9367552 266 33554432000 4194304 5064252 140735474839600 140735474838512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20368/statm: 2287 266 226 213 0 72 0
[pid=20369] ppid=20368 vsize=130188 CPUtime=100.94 cores=1,3,5,7
/proc/20369/stat : 20369 (glucose) R 20368 20290 1905 0 -1 4202496 25903 0 0 0 10086 8 0 0 20 0 1 0 290173692 133312512 29013 33554432000 4194304 5208918 140734717654256 140734717652088 4211182 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20369/statm: 32547 29013 104 248 0 32296 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 229020
[startup+162.3 s]
/proc/loadavg: 1.86 1.83 1.85 3/182 27480
/proc/meminfo: memFree=25158696/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=80536 CPUtime=1.3 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 7587 8912 0 0 80 15 34 1 20 0 1 0 290173559 82468864 14575 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 20134 14575 180 439 0 19691 0
[pid=20368] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20368/stat : 20368 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290173692 9367552 266 33554432000 4194304 5064252 140735474839600 140735474838512 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20368/statm: 2287 266 226 213 0 72 0
[pid=20369] ppid=20368 vsize=130188 CPUtime=160.93 cores=1,3,5,7
/proc/20369/stat : 20369 (glucose) R 20368 20290 1905 0 -1 4202496 25903 0 0 0 16084 9 0 0 20 0 1 0 290173692 133312512 29335 33554432000 4194304 5208918 140734717654256 140734717652088 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20369/statm: 32547 29335 104 248 0 32296 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.06 2.01 1.93 3/181 3205
/proc/meminfo: memFree=25157320/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=79516 CPUtime=895.09 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 13959 41719 0 0 148 25 89308 28 20 0 1 0 290173559 81424384 14096 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 19879 14096 180 439 0 19436 0
[pid=32211] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32211/stat : 32211 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290263084 9367552 266 33554432000 4194304 5064252 140734738112848 140734738111760 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32211/statm: 2287 266 226 213 0 72 0
[pid=32212] ppid=32211 vsize=131008 CPUtime=526.95 cores=1,3,5,7
/proc/32212/stat : 32212 (glucose) R 32211 20290 1905 0 -1 4202496 26304 0 0 0 52684 11 0 0 20 0 1 0 290263084 134152192 29672 33554432000 4194304 5208918 140734993123088 140734993121048 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32212/statm: 32752 29672 104 248 0 32501 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 228820
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/181 3584
/proc/meminfo: memFree=25156444/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=79516 CPUtime=895.09 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 13959 41719 0 0 148 25 89308 28 20 0 1 0 290173559 81424384 14096 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 19879 14096 180 439 0 19436 0
[pid=32211] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32211/stat : 32211 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290263084 9367552 266 33554432000 4194304 5064252 140734738112848 140734738111760 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32211/statm: 2287 266 226 213 0 72 0
[pid=32212] ppid=32211 vsize=131008 CPUtime=586.94 cores=1,3,5,7
/proc/32212/stat : 32212 (glucose) R 32211 20290 1905 0 -1 4202496 26309 0 0 0 58683 11 0 0 20 0 1 0 290263084 134152192 29677 33554432000 4194304 5208918 140734993123088 140734993121048 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32212/statm: 32752 29677 104 248 0 32501 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 228820
[startup+1542.31 s]
/proc/loadavg: 1.97 2.00 1.93 3/182 3987
/proc/meminfo: memFree=25155296/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=79516 CPUtime=895.09 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 13959 41719 0 0 148 25 89308 28 20 0 1 0 290173559 81424384 14096 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 19879 14096 180 439 0 19436 0
[pid=32211] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32211/stat : 32211 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290263084 9367552 266 33554432000 4194304 5064252 140734738112848 140734738111760 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32211/statm: 2287 266 226 213 0 72 0
[pid=32212] ppid=32211 vsize=131008 CPUtime=646.94 cores=1,3,5,7
/proc/32212/stat : 32212 (glucose) R 32211 20290 1905 0 -1 4202496 26310 0 0 0 64683 11 0 0 20 0 1 0 290263084 134152192 30189 33554432000 4194304 5208918 140734993123088 140734993121048 4211160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32212/statm: 32752 30189 104 248 0 32501 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 228820
[startup+1602.3 s]
/proc/loadavg: 1.95 2.00 1.93 3/181 4372
/proc/meminfo: memFree=25154484/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=79516 CPUtime=895.09 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 13959 41719 0 0 148 25 89308 28 20 0 1 0 290173559 81424384 14096 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 19879 14096 180 439 0 19436 0
[pid=32211] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32211/stat : 32211 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290263084 9367552 266 33554432000 4194304 5064252 140734738112848 140734738111760 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32211/statm: 2287 266 226 213 0 72 0
[pid=32212] ppid=32211 vsize=131008 CPUtime=706.92 cores=1,3,5,7
/proc/32212/stat : 32212 (glucose) R 32211 20290 1905 0 -1 4202496 26310 0 0 0 70681 11 0 0 20 0 1 0 290263084 134152192 30189 33554432000 4194304 5208918 140734993123088 140734993121048 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32212/statm: 32752 30189 104 248 0 32501 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 228820
[startup+1662.3 s]
/proc/loadavg: 1.98 2.00 1.93 3/181 4760
/proc/meminfo: memFree=25187100/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=79516 CPUtime=895.09 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 13959 41719 0 0 148 25 89308 28 20 0 1 0 290173559 81424384 14096 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 19879 14096 180 439 0 19436 0
[pid=32211] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32211/stat : 32211 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290263084 9367552 266 33554432000 4194304 5064252 140734738112848 140734738111760 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32211/statm: 2287 266 226 213 0 72 0
[pid=32212] ppid=32211 vsize=131008 CPUtime=766.91 cores=1,3,5,7
/proc/32212/stat : 32212 (glucose) R 32211 20290 1905 0 -1 4202496 26315 0 0 0 76680 11 0 0 20 0 1 0 290263084 134152192 30194 33554432000 4194304 5208918 140734993123088 140734993121048 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32212/statm: 32752 30194 104 248 0 32501 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 228820
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/181 5142
/proc/meminfo: memFree=25153640/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=79516 CPUtime=895.09 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 13959 41719 0 0 148 25 89308 28 20 0 1 0 290173559 81424384 14096 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 19879 14096 180 439 0 19436 0
[pid=32211] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32211/stat : 32211 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290263084 9367552 266 33554432000 4194304 5064252 140734738112848 140734738111760 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32211/statm: 2287 266 226 213 0 72 0
[pid=32212] ppid=32211 vsize=131008 CPUtime=826.9 cores=1,3,5,7
/proc/32212/stat : 32212 (glucose) R 32211 20290 1905 0 -1 4202496 26323 0 0 0 82678 12 0 0 20 0 1 0 290263084 134152192 30202 33554432000 4194304 5208918 140734993123088 140734993121048 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32212/statm: 32752 30202 104 248 0 32501 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 228820
[startup+1782.3 s]
/proc/loadavg: 2.11 2.03 1.94 3/181 5530
/proc/meminfo: memFree=25152228/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=79516 CPUtime=895.09 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 13959 41719 0 0 148 25 89308 28 20 0 1 0 290173559 81424384 14096 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 19879 14096 180 439 0 19436 0
[pid=32211] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32211/stat : 32211 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290263084 9367552 266 33554432000 4194304 5064252 140734738112848 140734738111760 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32211/statm: 2287 266 226 213 0 72 0
[pid=32212] ppid=32211 vsize=131860 CPUtime=886.89 cores=1,3,5,7
/proc/32212/stat : 32212 (glucose) R 32211 20290 1905 0 -1 4202496 26493 0 0 0 88677 12 0 0 20 0 1 0 290263084 135024640 30372 33554432000 4194304 5208918 140734993123088 140734993121048 4211038 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32212/statm: 32965 30372 104 248 0 32714 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 229672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.08 2.03 1.94 3/181 5649
/proc/meminfo: memFree=25152688/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=79516 CPUtime=895.09 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 13959 41719 0 0 148 25 89308 28 20 0 1 0 290173559 81424384 14096 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 19879 14096 180 439 0 19436 0
[pid=32211] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32211/stat : 32211 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290263084 9367552 266 33554432000 4194304 5064252 140734738112848 140734738111760 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32211/statm: 2287 266 226 213 0 72 0
[pid=32212] ppid=32211 vsize=131860 CPUtime=905 cores=1,3,5,7
/proc/32212/stat : 32212 (glucose) R 32211 20290 1905 0 -1 4202496 26494 0 0 0 90488 12 0 0 20 0 1 0 290263084 135024640 30373 33554432000 4194304 5208918 140734993123088 140734993121048 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32212/statm: 32965 30373 104 248 0 32714 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 229672
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.08 2.03 1.94 3/181 5649
/proc/meminfo: memFree=25152688/32873844 swapFree=7112/7112
[pid=20290] ppid=20288 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20290/stat : 20290 (npSolver-wbo-It) S 20288 20290 1905 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290173559 9367552 275 33554432000 4194304 5064252 140733782606224 140733782605136 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20290/statm: 2287 275 233 213 0 72 0
[pid=20291] ppid=20290 vsize=79516 CPUtime=895.09 cores=1,3,5,7
/proc/20291/stat : 20291 (npSolver-wbo) S 20290 20290 1905 0 -1 4202496 13959 41719 0 0 148 25 89308 28 20 0 1 0 290173559 81424384 14096 33554432000 4194304 5990268 140735475695600 140735475687024 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20291/statm: 19879 14096 180 439 0 19436 0
[pid=32211] ppid=20291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32211/stat : 32211 (satsolver.sh) S 20291 20290 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290263084 9367552 266 33554432000 4194304 5064252 140734738112848 140734738111760 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32211/statm: 2287 266 226 213 0 72 0
[pid=32212] ppid=32211 vsize=131860 CPUtime=905 cores=1,3,5,7
/proc/32212/stat : 32212 (glucose) R 32211 20290 1905 0 -1 4202496 26494 0 0 0 90488 12 0 0 20 0 1 0 290263084 135024640 30373 33554432000 4194304 5208918 140734993123088 140734993121048 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32212/statm: 32965 30373 104 248 0 32714 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 229672
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.45
CPU system time (s): 0.671897
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 275364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.671897
maximum resident set size= 148060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83162
page faults= 0
swaps= 0
block input operations= 0
block output operations= 187696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 544
involuntary context switches= 2278
runsolver used 2.83457 second user time and 7.07292 second system time
The end