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-3752925-1339202672/watcher-3752925-1339202672 -o /tmp/evaluation-result-3752925-1339202672/solver-3752925-1339202672 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752925-1339202672.wbo 1021626214 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.03 2.01 2.00 3/179 1079
/proc/meminfo: memFree=29759464/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[startup+0.055202 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 1079
/proc/meminfo: memFree=29759464/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100173 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 1079
/proc/meminfo: memFree=29759464/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300164 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 1079
/proc/meminfo: memFree=29759464/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700109 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 1079
/proc/meminfo: memFree=29759464/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 1093
/proc/meminfo: memFree=29692188/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=0.21 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 3920 6670 0 0 11 3 6 1 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1092] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1092/stat : 1092 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386393102 9367552 267 33554432000 4194304 5064252 140735994140624 140735994139536 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1092/statm: 2287 267 226 213 0 72 0
[pid=1093] ppid=1092 vsize=48836 CPUtime=1.25 cores=0,2,4,6
/proc/1093/stat : 1093 (glucose) R 1092 1079 14220 0 -1 4202496 10267 0 0 0 123 2 0 0 20 0 1 0 386393102 50008064 10949 33554432000 4194304 5208918 140734884482784 140734884481192 4211656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1093/statm: 12209 10949 95 248 0 11958 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 88068
[startup+3.10024 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 1093
/proc/meminfo: memFree=29689644/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=0.21 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 3920 6670 0 0 11 3 6 1 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1092] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1092/stat : 1092 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386393102 9367552 267 33554432000 4194304 5064252 140735994140624 140735994139536 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1092/statm: 2287 267 226 213 0 72 0
[pid=1093] ppid=1092 vsize=48836 CPUtime=2.85 cores=0,2,4,6
/proc/1093/stat : 1093 (glucose) R 1092 1079 14220 0 -1 4202496 10308 0 0 0 283 2 0 0 20 0 1 0 386393102 50008064 10990 33554432000 4194304 5208918 140734884482784 140734884481192 4211620 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1093/statm: 12209 10990 95 248 0 11958 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 88068
[startup+6.30021 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 1093
/proc/meminfo: memFree=29688660/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=0.21 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 3920 6670 0 0 11 3 6 1 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1092] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1092/stat : 1092 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386393102 9367552 267 33554432000 4194304 5064252 140735994140624 140735994139536 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1092/statm: 2287 267 226 213 0 72 0
[pid=1093] ppid=1092 vsize=48836 CPUtime=6.05 cores=0,2,4,6
/proc/1093/stat : 1093 (glucose) R 1092 1079 14220 0 -1 4202496 10385 0 0 0 603 2 0 0 20 0 1 0 386393102 50008064 11067 33554432000 4194304 5208918 140734884482784 140734884481192 4211570 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1093/statm: 12209 11067 95 248 0 11958 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 88068
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 1093
/proc/meminfo: memFree=29687800/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=0.21 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 3920 6670 0 0 11 3 6 1 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1092] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1092/stat : 1092 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386393102 9367552 267 33554432000 4194304 5064252 140735994140624 140735994139536 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1092/statm: 2287 267 226 213 0 72 0
[pid=1093] ppid=1092 vsize=53388 CPUtime=12.45 cores=0,2,4,6
/proc/1093/stat : 1093 (glucose) R 1092 1079 14220 0 -1 4202496 10537 0 0 0 1243 2 0 0 20 0 1 0 386393102 54669312 11729 33554432000 4194304 5208918 140734884482784 140734884480632 4211501 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1093/statm: 13347 11729 95 248 0 13096 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 92620
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 1145
/proc/meminfo: memFree=29674368/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=0.21 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 3920 6670 0 0 11 3 6 1 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1092] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1092/stat : 1092 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386393102 9367552 267 33554432000 4194304 5064252 140735994140624 140735994139536 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1092/statm: 2287 267 226 213 0 72 0
[pid=1093] ppid=1092 vsize=53388 CPUtime=25.25 cores=0,2,4,6
/proc/1093/stat : 1093 (glucose) R 1092 1079 14220 0 -1 4202496 10557 0 0 0 2523 2 0 0 20 0 1 0 386393102 54669312 11748 33554432000 4194304 5208918 140734884482784 140734884480936 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1093/statm: 13347 11748 95 248 0 13096 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 92620
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 1145
/proc/meminfo: memFree=29664884/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=0.21 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 3920 6670 0 0 11 3 6 1 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1092] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1092/stat : 1092 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386393102 9367552 267 33554432000 4194304 5064252 140735994140624 140735994139536 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1092/statm: 2287 267 226 213 0 72 0
[pid=1093] ppid=1092 vsize=53524 CPUtime=50.84 cores=0,2,4,6
/proc/1093/stat : 1093 (glucose) R 1092 1079 14220 0 -1 4202496 11384 0 0 0 5082 2 0 0 20 0 1 0 386393102 54808576 11781 33554432000 4194304 5208918 140734884482784 140734884480936 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1093/statm: 13381 11781 96 248 0 13130 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 92756
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1145
/proc/meminfo: memFree=29638824/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=0.21 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 3920 6670 0 0 11 3 6 1 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1092] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1092/stat : 1092 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386393102 9367552 267 33554432000 4194304 5064252 140735994140624 140735994139536 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1092/statm: 2287 267 226 213 0 72 0
[pid=1093] ppid=1092 vsize=60980 CPUtime=102.03 cores=0,2,4,6
/proc/1093/stat : 1093 (glucose) R 1092 1079 14220 0 -1 4202496 12036 0 0 0 10201 2 0 0 20 0 1 0 386393102 62443520 13452 33554432000 4194304 5208918 140734884482784 140734884480632 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1093/statm: 15245 13452 96 248 0 14994 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 100212
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1145
/proc/meminfo: memFree=29637716/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=0.21 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 3920 6670 0 0 11 3 6 1 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1092] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 1262
/proc/meminfo: memFree=29647808/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=1383.32 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 16550 118842 0 0 60 8 138165 99 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1261] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1261/stat : 1261 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386531442 9367552 267 33554432000 4194304 5064252 140734086396160 140734086395072 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1261/statm: 2287 267 226 213 0 72 0
[pid=1262] ppid=1261 vsize=53528 CPUtime=38.64 cores=0,2,4,6
/proc/1262/stat : 1262 (glucose) R 1261 1079 14220 0 -1 4202496 11628 0 0 0 3862 2 0 0 20 0 1 0 386531442 54812672 11364 33554432000 4194304 5208918 140733873727440 140733873725592 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1262/statm: 13382 11364 96 248 0 13131 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 92760
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 1263
/proc/meminfo: memFree=29638836/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=1383.32 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 16550 118842 0 0 60 8 138165 99 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1261] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1261/stat : 1261 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386531442 9367552 267 33554432000 4194304 5064252 140734086396160 140734086395072 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1261/statm: 2287 267 226 213 0 72 0
[pid=1262] ppid=1261 vsize=60984 CPUtime=98.63 cores=0,2,4,6
/proc/1262/stat : 1262 (glucose) R 1261 1079 14220 0 -1 4202496 12319 0 0 0 9860 3 0 0 20 0 1 0 386531442 62447616 13097 33554432000 4194304 5208918 140733873727440 140733873725288 4211712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1262/statm: 15246 13097 96 248 0 14995 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 100216
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 1273
/proc/meminfo: memFree=29653620/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=1383.32 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 16550 118842 0 0 60 8 138165 99 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1261] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1261/stat : 1261 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386531442 9367552 267 33554432000 4194304 5064252 140734086396160 140734086395072 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1261/statm: 2287 267 226 213 0 72 0
[pid=1262] ppid=1261 vsize=72688 CPUtime=158.61 cores=0,2,4,6
/proc/1262/stat : 1262 (glucose) R 1261 1079 14220 0 -1 4202496 13221 0 0 0 15858 3 0 0 20 0 1 0 386531442 74432512 14069 33554432000 4194304 5208918 140733873727440 140733873725384 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1262/statm: 18172 14069 96 248 0 17921 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 111920
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 1273
/proc/meminfo: memFree=29622040/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=1383.32 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 16550 118842 0 0 60 8 138165 99 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1261] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1261/stat : 1261 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386531442 9367552 267 33554432000 4194304 5064252 140734086396160 140734086395072 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1261/statm: 2287 267 226 213 0 72 0
[pid=1262] ppid=1261 vsize=80108 CPUtime=218.61 cores=0,2,4,6
/proc/1262/stat : 1262 (glucose) R 1261 1079 14220 0 -1 4202496 13869 0 0 0 21857 4 0 0 20 0 1 0 386531442 82030592 17531 33554432000 4194304 5208918 140733873727440 140733873725384 4211792 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1262/statm: 20027 17531 96 248 0 19776 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 119340
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 1280
/proc/meminfo: memFree=29642460/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=1611.96 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 18655 137328 0 0 68 9 161004 115 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1279] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1279/stat : 1279 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386554310 9367552 267 33554432000 4194304 5064252 140734732619584 140734732618496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1279/statm: 2287 267 226 213 0 72 0
[pid=1280] ppid=1279 vsize=53524 CPUtime=49.95 cores=0,2,4,6
/proc/1280/stat : 1280 (glucose) R 1279 1079 14220 0 -1 4202496 11397 0 0 0 4994 1 0 0 20 0 1 0 386554311 54808576 11787 33554432000 4194304 5208918 140734704971616 140734704969768 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1280/statm: 13381 11787 96 248 0 13130 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 92756
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 1287
/proc/meminfo: memFree=29668384/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=1611.96 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 18655 137328 0 0 68 9 161004 115 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1279] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1279/stat : 1279 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386554310 9367552 267 33554432000 4194304 5064252 140734732619584 140734732618496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1279/statm: 2287 267 226 213 0 72 0
[pid=1280] ppid=1279 vsize=61116 CPUtime=109.94 cores=0,2,4,6
/proc/1280/stat : 1280 (glucose) R 1279 1079 14220 0 -1 4202496 12063 0 0 0 10993 1 0 0 20 0 1 0 386554311 62582784 13474 33554432000 4194304 5208918 140734704971616 140734704969464 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1280/statm: 15279 13474 96 248 0 15028 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 100348
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/184 1288
/proc/meminfo: memFree=29648148/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=1611.96 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 18655 137328 0 0 68 9 161004 115 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1279] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1279/stat : 1279 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386554310 9367552 267 33554432000 4194304 5064252 140734732619584 140734732618496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1279/statm: 2287 267 226 213 0 72 0
[pid=1280] ppid=1279 vsize=72684 CPUtime=169.93 cores=0,2,4,6
/proc/1280/stat : 1280 (glucose) R 1279 1079 14220 0 -1 4202496 12650 0 0 0 16991 2 0 0 20 0 1 0 386554311 74428416 14255 33554432000 4194304 5208918 140734704971616 140734704969560 4211732 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1280/statm: 18171 14255 96 248 0 17920 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 111916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 1288
/proc/meminfo: memFree=29633624/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=1611.96 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 18655 137328 0 0 68 9 161004 115 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1279] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1279/stat : 1279 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386554310 9367552 267 33554432000 4194304 5064252 140734732619584 140734732618496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1279/statm: 2287 267 226 213 0 72 0
[pid=1280] ppid=1279 vsize=72684 CPUtime=188.13 cores=0,2,4,6
/proc/1280/stat : 1280 (glucose) R 1279 1079 14220 0 -1 4202496 12652 0 0 0 18811 2 0 0 20 0 1 0 386554311 74428416 14770 33554432000 4194304 5208918 140734704971616 140734704969560 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1280/statm: 18171 14770 96 248 0 17920 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 111916
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 1288
/proc/meminfo: memFree=29633624/32873648 swapFree=7112/7112
[pid=1079] ppid=1077 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1079/stat : 1079 (npSolver-wbo-It) S 1077 1079 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386393078 9367552 275 33554432000 4194304 5064252 140733255345568 140733255344480 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1079/statm: 2287 275 233 213 0 72 0
[pid=1080] ppid=1079 vsize=20936 CPUtime=1611.96 cores=0,2,4,6
/proc/1080/stat : 1080 (npSolver-wbo) S 1079 1079 14220 0 -1 4202496 18655 137328 0 0 68 9 161004 115 20 0 1 0 386393079 21438464 4593 33554432000 4194304 6006132 140733467394864 140733467386224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1080/statm: 5234 4593 176 443 0 4787 0
[pid=1279] ppid=1080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1279/stat : 1279 (satsolver.sh) S 1080 1079 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386554310 9367552 267 33554432000 4194304 5064252 140734732619584 140734732618496 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1279/statm: 2287 267 226 213 0 72 0
[pid=1280] ppid=1279 vsize=72684 CPUtime=188.13 cores=0,2,4,6
/proc/1280/stat : 1280 (glucose) R 1279 1079 14220 0 -1 4202496 12652 0 0 0 18811 2 0 0 20 0 1 0 386554311 74428416 14770 33554432000 4194304 5208918 140734704971616 140734704969560 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1280/statm: 18171 14770 96 248 0 17920 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 111916
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.15
CPU user time (s): 1798.86
CPU system time (s): 1.2898
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 142272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.2898
maximum resident set size= 80624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 114528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2133
involuntary context switches= 2678
runsolver used 5.00924 second user time and 11.5013 second system time
The end