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-3753019-1339205958/watcher-3753019-1339205958 -o /tmp/evaluation-result-3753019-1339205958/solver-3753019-1339205958 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753019-1339205958.wbo 926856071 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.00 1.04 1.54 4/176 28990
/proc/meminfo: memFree=29926788/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[startup+0.030719 s]
/proc/loadavg: 1.00 1.04 1.54 4/176 28990
/proc/meminfo: memFree=29926788/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100277 s]
/proc/loadavg: 1.00 1.04 1.54 4/176 28990
/proc/meminfo: memFree=29926788/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30033 s]
/proc/loadavg: 1.00 1.04 1.54 4/176 28990
/proc/meminfo: memFree=29926788/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700299 s]
/proc/loadavg: 1.00 1.04 1.54 4/176 28990
/proc/meminfo: memFree=29926788/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 1.08 1.05 1.54 4/183 29028
/proc/meminfo: memFree=29829832/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=21948 CPUtime=0.45 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 6105 0 0 0 42 3 0 0 20 0 1 0 386720743 22474752 4906 33554432000 4194304 6006132 140733355998976 140733355992080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 5487 4906 158 443 0 5040 0
[pid=29006] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29006/stat : 29006 (cp2_pre.sh) S 28992 28990 28946 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 386720788 9367552 277 33554432000 4194304 5064252 140733262988752 140733262987456 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29006/statm: 2287 277 234 213 0 72 0
[pid=29007] ppid=29006 vsize=62152 CPUtime=1.03 cores=1,3,5,7
/proc/29007/stat : 29007 (coprocessor) R 29006 28990 28946 0 -1 4202496 12102 0 0 0 101 2 0 0 20 0 1 0 386720789 63643648 14860 33554432000 4194304 6586260 140736948170464 140736948165784 5598875 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/29007/statm: 15538 14860 192 584 0 14950 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 102396
[startup+3.10037 s]
/proc/loadavg: 1.08 1.05 1.54 3/180 29062
/proc/meminfo: memFree=29888040/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=2.58 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 9713 25554 0 0 55 20 168 15 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 50024
[startup+6.30035 s]
/proc/loadavg: 1.08 1.05 1.54 3/181 29190
/proc/meminfo: memFree=29800648/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=2.58 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 9713 25554 0 0 55 20 168 15 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=29075] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29075/stat : 29075 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386721002 9367552 267 33554432000 4194304 5064252 140737429679552 140737429678464 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29075/statm: 2287 267 226 213 0 72 0
[pid=29076] ppid=29075 vsize=69648 CPUtime=3.69 cores=1,3,5,7
/proc/29076/stat : 29076 (glucose) R 29075 28990 28946 0 -1 4202496 14668 0 0 0 366 3 0 0 20 0 1 0 386721003 71319552 15687 33554432000 4194304 5208918 140736374353648 140736374351592 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29076/statm: 17412 15687 95 248 0 17161 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 128820
[startup+12.7004 s]
/proc/loadavg: 1.15 1.07 1.54 3/183 29430
/proc/meminfo: memFree=29782828/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=2.58 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 9713 25554 0 0 55 20 168 15 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=29075] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29075/stat : 29075 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386721002 9367552 267 33554432000 4194304 5064252 140737429679552 140737429678464 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29075/statm: 2287 267 226 213 0 72 0
[pid=29076] ppid=29075 vsize=69780 CPUtime=10.09 cores=1,3,5,7
/proc/29076/stat : 29076 (glucose) R 29075 28990 28946 0 -1 4202496 14693 0 0 0 1006 3 0 0 20 0 1 0 386721003 71454720 15712 33554432000 4194304 5208918 140736374353648 140736374351496 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29076/statm: 17445 15712 95 248 0 17194 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 128952
[startup+25.507 s]
/proc/loadavg: 1.28 1.10 1.55 3/181 29932
/proc/meminfo: memFree=29800400/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=2.58 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 9713 25554 0 0 55 20 168 15 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=29075] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29075/stat : 29075 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386721002 9367552 267 33554432000 4194304 5064252 140737429679552 140737429678464 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29075/statm: 2287 267 226 213 0 72 0
[pid=29076] ppid=29075 vsize=69780 CPUtime=22.89 cores=1,3,5,7
/proc/29076/stat : 29076 (glucose) R 29075 28990 28946 0 -1 4202496 14714 0 0 0 2286 3 0 0 20 0 1 0 386721003 71454720 15733 33554432000 4194304 5208918 140736374353648 140736374351496 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29076/statm: 17445 15733 95 248 0 17194 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 128952
[startup+51.1004 s]
/proc/loadavg: 1.32 1.12 1.54 3/184 30894
/proc/meminfo: memFree=29793648/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=2.58 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 9713 25554 0 0 55 20 168 15 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=29075] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29075/stat : 29075 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386721002 9367552 267 33554432000 4194304 5064252 140737429679552 140737429678464 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29075/statm: 2287 267 226 213 0 72 0
[pid=29076] ppid=29075 vsize=69912 CPUtime=48.48 cores=1,3,5,7
/proc/29076/stat : 29076 (glucose) R 29075 28990 28946 0 -1 4202496 14737 0 0 0 4845 3 0 0 20 0 1 0 386721003 71589888 15755 33554432000 4194304 5208918 140736374353648 140736374351496 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29076/statm: 17478 15755 95 248 0 17227 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 129084
[startup+102.3 s]
/proc/loadavg: 1.66 1.25 1.56 3/184 348
/proc/meminfo: memFree=29795936/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=2.58 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 9713 25554 0 0 55 20 168 15 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=29075] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29075/stat : 29075 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386721002 9367552 267 33554432000 4194304 5064252 140737429679552 140737429678464 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29075/statm: 2287 267 226 213 0 72 0
[pid=29076] ppid=29075 vsize=70044 CPUtime=99.67 cores=1,3,5,7
/proc/29076/stat : 29076 (glucose) R 29075 28990 28946 0 -1 4202496 15097 0 0 0 9963 4 0 0 20 0 1 0 386721003 71725056 16178 33554432000 4194304 5208918 140736374353648 140736374351496 4211878 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29076/statm: 17511 16178 95 248 0 17260 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 129216
[startup+162.3 s]
/proc/loadavg: 1.87 1.38 1.58 3/183 2710
/proc/meminfo: memFree=29777676/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=2.58 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 9713 25554 0 0 55 20 168 15 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=29075] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29075/stat : 29075 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386721002 9367552 267 33554432000 4194304 5064252 140737429679552 140737429678464 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29075/statm: 2287 267 226 213 0 72 0
[pid=29076] ppid=29075 vsize=77372 CPUtime=159.66 cores=1,3,5,7
/proc/29076/stat : 29076 (glucose) R 29075 28990 28946 0 -1 4202496 15369 0 0 0 15962 4 0 0 20 0 1 0 386721003 79228928 16958 33554432000 4194304 5208918 140736374353648 140736374351608 4211851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29076/statm: 19343 16958 95 248 0 19092 0
Current children cumulated CPU time (s) 162.24
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 1.84 1.80 1.73 3/184 15833
/proc/meminfo: memFree=29767736/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=1135.7 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 16789 72379 0 0 73 23 113421 53 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=7186] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7186/stat : 7186 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386834334 9367552 267 33554432000 4194304 5064252 140733791221328 140733791220240 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7186/statm: 2287 267 226 213 0 72 0
[pid=7187] ppid=7186 vsize=77504 CPUtime=226.34 cores=1,3,5,7
/proc/7187/stat : 7187 (glucose) R 7186 28990 28946 0 -1 4202496 15383 0 0 0 22629 5 0 0 20 0 1 0 386834335 79364096 17443 33554432000 4194304 5208918 140733583405392 140733583403352 4211871 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7187/statm: 19376 17443 95 248 0 19125 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 136676
[startup+1422.3 s]
/proc/loadavg: 1.91 1.82 1.74 3/183 18104
/proc/meminfo: memFree=29782108/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=1135.7 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 16789 72379 0 0 73 23 113421 53 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=7186] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7186/stat : 7186 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386834334 9367552 267 33554432000 4194304 5064252 140733791221328 140733791220240 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7186/statm: 2287 267 226 213 0 72 0
[pid=7187] ppid=7186 vsize=70324 CPUtime=286.32 cores=1,3,5,7
/proc/7187/stat : 7187 (glucose) R 7186 28990 28946 0 -1 4202496 15622 0 0 0 28627 5 0 0 20 0 1 0 386834335 72011776 16423 33554432000 4194304 5208918 140733583405392 140733583403480 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7187/statm: 17581 16423 96 248 0 17330 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 129496
[startup+1483.26 s]
/proc/loadavg: 1.80 1.80 1.73 3/183 20274
/proc/meminfo: memFree=29780172/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=1135.7 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 16789 72379 0 0 73 23 113421 53 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=7186] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7186/stat : 7186 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386834334 9367552 267 33554432000 4194304 5064252 140733791221328 140733791220240 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7186/statm: 2287 267 226 213 0 72 0
[pid=7187] ppid=7186 vsize=77636 CPUtime=347.27 cores=1,3,5,7
/proc/7187/stat : 7187 (glucose) R 7186 28990 28946 0 -1 4202496 16100 0 0 0 34722 5 0 0 20 0 1 0 386834335 79499264 16895 33554432000 4194304 5208918 140733583405392 140733583403240 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7187/statm: 19409 16895 96 248 0 19158 0
Current children cumulated CPU time (s) 1482.97
Current children cumulated vsize (KiB) 136808
[startup+1545.69 s]
/proc/loadavg: 2.03 1.86 1.75 3/181 21768
/proc/meminfo: memFree=29780932/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=1135.7 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 16789 72379 0 0 73 23 113421 53 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=7186] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7186/stat : 7186 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386834334 9367552 267 33554432000 4194304 5064252 140733791221328 140733791220240 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7186/statm: 2287 267 226 213 0 72 0
[pid=7187] ppid=7186 vsize=77636 CPUtime=409.69 cores=1,3,5,7
/proc/7187/stat : 7187 (glucose) R 7186 28990 28946 0 -1 4202496 16184 0 0 0 40964 5 0 0 20 0 1 0 386834335 79499264 17488 33554432000 4194304 5208918 140733583405392 140733583403240 4211712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7187/statm: 19409 17488 96 248 0 19158 0
Current children cumulated CPU time (s) 1545.39
Current children cumulated vsize (KiB) 136808
[startup+1602.8 s]
/proc/loadavg: 2.20 1.96 1.79 3/181 24183
/proc/meminfo: memFree=29780008/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=1135.7 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 16789 72379 0 0 73 23 113421 53 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=7186] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7186/stat : 7186 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386834334 9367552 267 33554432000 4194304 5064252 140733791221328 140733791220240 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7186/statm: 2287 267 226 213 0 72 0
[pid=7187] ppid=7186 vsize=77792 CPUtime=466.79 cores=1,3,5,7
/proc/7187/stat : 7187 (glucose) R 7186 28990 28946 0 -1 4202496 16207 0 0 0 46674 5 0 0 20 0 1 0 386834335 79659008 18022 33554432000 4194304 5208918 140733583405392 140733583403352 4211501 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7187/statm: 19448 18022 96 248 0 19197 0
Current children cumulated CPU time (s) 1602.49
Current children cumulated vsize (KiB) 136964
[startup+1663.27 s]
/proc/loadavg: 2.57 2.10 1.85 3/183 26292
/proc/meminfo: memFree=29769592/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=1135.7 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 16789 72379 0 0 73 23 113421 53 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=7186] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7186/stat : 7186 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386834334 9367552 267 33554432000 4194304 5064252 140733791221328 140733791220240 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7186/statm: 2287 267 226 213 0 72 0
[pid=7187] ppid=7186 vsize=89348 CPUtime=527.25 cores=1,3,5,7
/proc/7187/stat : 7187 (glucose) R 7186 28990 28946 0 -1 4202496 16845 0 0 0 52719 6 0 0 20 0 1 0 386834335 91492352 19960 33554432000 4194304 5208918 140733583405392 140733583403336 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7187/statm: 22337 19960 96 248 0 22086 0
Current children cumulated CPU time (s) 1662.95
Current children cumulated vsize (KiB) 148520
[startup+1724.63 s]
/proc/loadavg: 2.24 2.08 1.86 3/181 27937
/proc/meminfo: memFree=29789156/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=1705.64 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 20327 94872 0 0 83 25 170378 78 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=27794] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27794/stat : 27794 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386891332 9367552 266 33554432000 4194304 5064252 140734236875648 140734236874560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27794/statm: 2287 266 226 213 0 72 0
[pid=27796] ppid=27794 vsize=69776 CPUtime=18.72 cores=1,3,5,7
/proc/27796/stat : 27796 (glucose) R 27794 28990 28946 0 -1 4202496 14638 0 0 0 1869 3 0 0 20 0 1 0 386891332 71450624 15247 33554432000 4194304 5208918 140734849411904 140734849409848 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27796/statm: 17444 15247 95 248 0 17193 0
Current children cumulated CPU time (s) 1724.36
Current children cumulated vsize (KiB) 128948
[startup+1782.3 s]
/proc/loadavg: 2.03 2.08 1.87 3/183 30121
/proc/meminfo: memFree=29782976/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=1705.64 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 20327 94872 0 0 83 25 170378 78 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=27794] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27794/stat : 27794 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386891332 9367552 266 33554432000 4194304 5064252 140734236875648 140734236874560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27794/statm: 2287 266 226 213 0 72 0
[pid=27796] ppid=27794 vsize=70040 CPUtime=76.38 cores=1,3,5,7
/proc/27796/stat : 27796 (glucose) R 27794 28990 28946 0 -1 4202496 14815 0 0 0 7635 3 0 0 20 0 1 0 386891332 71720960 15930 33554432000 4194304 5208918 140734849411904 140734849409752 4211641 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27796/statm: 17510 15930 95 248 0 17259 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 129212
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.02 2.07 1.88 3/183 30816
/proc/meminfo: memFree=29783192/32873844 swapFree=7628/7628
[pid=28990] ppid=28988 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28990/stat : 28990 (npSolver-wbo-It) S 28988 28990 28946 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386720743 9367552 275 33554432000 4194304 5064252 140733749437872 140733749436784 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28990/statm: 2287 275 233 213 0 72 0
[pid=28992] ppid=28990 vsize=40876 CPUtime=1705.64 cores=1,3,5,7
/proc/28992/stat : 28992 (npSolver-wbo) S 28990 28990 28946 0 -1 4202496 20327 94872 0 0 83 25 170378 78 20 0 1 0 386720743 41857024 9471 33554432000 4194304 6006132 140733355998976 140733355990336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28992/statm: 10219 9471 177 443 0 9772 0
[pid=27794] ppid=28992 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27794/stat : 27794 (satsolver.sh) S 28992 28990 28946 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386891332 9367552 266 33554432000 4194304 5064252 140734236875648 140734236874560 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27794/statm: 2287 266 226 213 0 72 0
[pid=27796] ppid=27794 vsize=70040 CPUtime=94.38 cores=1,3,5,7
/proc/27796/stat : 27796 (glucose) R 27794 28990 28946 0 -1 4202496 14821 0 0 0 9435 3 0 0 20 0 1 0 386891332 71720960 15971 33554432000 4194304 5208918 140734849411904 140734849409752 4211572 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27796/statm: 17510 15971 95 248 0 17259 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 129212
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.07
CPU user time (s): 1798.98
CPU system time (s): 1.09383
CPU usage (%): 99.9866
Max. virtual memory (cumulated for all children) (KiB): 148520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.09383
maximum resident set size= 83696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131008
page faults= 0
swaps= 0
block input operations= 0
block output operations= 102168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1511
involuntary context switches= 1874
runsolver used 3.47847 second user time and 8.45371 second system time
The end