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-3714203-1338176248/watcher-3714203-1338176248 -o /tmp/evaluation-result-3714203-1338176248/solver-3714203-1338176248 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714203-1338176248.wbo 234622977 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15992
/proc/meminfo: memFree=29934708/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[startup+0.0526949 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15992
/proc/meminfo: memFree=29934708/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100302 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15992
/proc/meminfo: memFree=29934708/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300229 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15992
/proc/meminfo: memFree=29934708/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700168 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15992
/proc/meminfo: memFree=29934708/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15996
/proc/meminfo: memFree=29849476/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=10600 CPUtime=0.31 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 3770 0 0 0 30 1 0 0 20 0 1 0 283753391 10854400 2065 33554432000 4194304 5990268 140736782716208 140736782709360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15993/statm: 2650 2065 156 439 0 2207 0
[pid=15995] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15995/stat : 15995 (cp2_pre.sh) S 15993 15992 14387 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 283753423 9367552 277 33554432000 4194304 5064252 140736435922176 140736435920880 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15995/statm: 2287 277 234 213 0 72 0
[pid=15996] ppid=15995 vsize=75056 CPUtime=1.17 cores=0,2,4,6
/proc/15996/stat : 15996 (coprocessor) R 15995 15992 14387 0 -1 4202496 14435 0 0 0 115 2 0 0 20 0 1 0 283753423 76857344 18086 33554432000 4194304 6586260 140735467879456 140735467875048 5599298 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/15996/statm: 18764 18086 191 584 0 18176 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 103952
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16046
/proc/meminfo: memFree=29833512/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=16268 CPUtime=2.94 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 5410 28863 0 0 35 14 214 31 20 0 1 0 283753391 16658432 3266 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 4067 3266 169 439 0 3624 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 25416
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16070
/proc/meminfo: memFree=29745096/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=34188 CPUtime=3.58 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 9212 41843 0 0 53 16 254 35 20 0 1 0 283753391 35008512 7020 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 8547 7020 170 439 0 8104 0
[pid=16069] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16069/stat : 16069 (satsolver.sh) S 15993 15992 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283753752 9367552 266 33554432000 4194304 5064252 140734583409952 140734583408864 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16069/statm: 2287 266 226 213 0 72 0
[pid=16070] ppid=16069 vsize=118460 CPUtime=2.67 cores=0,2,4,6
/proc/16070/stat : 16070 (glucose) R 16069 15992 14387 0 -1 4202496 22704 0 0 0 263 4 0 0 20 0 1 0 283753752 121303040 26520 33554432000 4194304 5208918 140733916402880 140733916400840 4229039 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16070/statm: 29615 26520 103 248 0 29364 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 170944
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16098
/proc/meminfo: memFree=29828736/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=28556 CPUtime=8 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 12402 74169 0 0 62 18 663 57 20 0 1 0 283753391 29241344 6231 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 7139 6231 170 439 0 6696 0
[pid=16083] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16083/stat : 16083 (satsolver.sh) S 15993 15992 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283754194 9367552 267 33554432000 4194304 5064252 140737473070704 140737473069616 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16083/statm: 2287 267 226 213 0 72 0
[pid=16084] ppid=16083 vsize=67644 CPUtime=4.65 cores=0,2,4,6
/proc/16084/stat : 16084 (glucose) R 16083 15992 14387 0 -1 4202496 14894 0 0 0 463 2 0 0 20 0 1 0 283754194 69267456 15296 33554432000 4194304 5208918 140736510109120 140736510107080 4205238 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16084/statm: 16911 15296 104 248 0 16660 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 114496
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16126
/proc/meminfo: memFree=29849856/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=28556 CPUtime=21.34 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 15751 134816 0 0 66 19 1970 79 20 0 1 0 283753391 29241344 6231 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 7139 6231 170 439 0 6696 0
[pid=16125] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16125/stat : 16125 (satsolver.sh) S 15993 15992 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283755527 9367552 267 33554432000 4194304 5064252 140734195160880 140734195159792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16125/statm: 2287 267 226 213 0 72 0
[pid=16126] ppid=16125 vsize=32372 CPUtime=4.12 cores=0,2,4,6
/proc/16126/stat : 16126 (glucose) R 16125 15992 14387 0 -1 4202496 8025 0 0 0 411 1 0 0 20 0 1 0 283755527 33148928 7389 33554432000 4194304 5208918 140735976543280 140735976541224 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16126/statm: 8093 7389 105 248 0 7842 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 79224
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16126
/proc/meminfo: memFree=29816908/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=28556 CPUtime=21.34 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 15751 134816 0 0 66 19 1970 79 20 0 1 0 283753391 29241344 6231 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 7139 6231 170 439 0 6696 0
[pid=16125] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16125/stat : 16125 (satsolver.sh) S 15993 15992 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283755527 9367552 267 33554432000 4194304 5064252 140734195160880 140734195159792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16125/statm: 2287 267 226 213 0 72 0
[pid=16126] ppid=16125 vsize=46984 CPUtime=29.71 cores=0,2,4,6
/proc/16126/stat : 16126 (glucose) R 16125 15992 14387 0 -1 4202496 10823 0 0 0 2969 2 0 0 20 0 1 0 283755527 48111616 11130 33554432000 4194304 5208918 140735976543280 140735976539592 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16126/statm: 11746 11130 105 248 0 11495 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 93836
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16127
/proc/meminfo: memFree=29753728/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=28556 CPUtime=21.34 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 15751 134816 0 0 66 19 1970 79 20 0 1 0 283753391 29241344 6231 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 7139 6231 170 439 0 6696 0
[pid=16125] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16125/stat : 16125 (satsolver.sh) S 15993 15992 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283755527 9367552 267 33554432000 4194304 5064252 140734195160880 140734195159792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16125/statm: 2287 267 226 213 0 72 0
[pid=16126] ppid=16125 vsize=81352 CPUtime=80.91 cores=0,2,4,6
/proc/16126/stat : 16126 (glucose) R 16125 15992 14387 0 -1 4202496 12782 0 0 0 8087 4 0 0 20 0 1 0 283755527 83304448 19207 33554432000 4194304 5208918 140735976543280 140735976541144 4213195 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16126/statm: 20338 19207 105 248 0 20087 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 128204
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16130
/proc/meminfo: memFree=29778160/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=28556 CPUtime=21.34 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 15751 134816 0 0 66 19 1970 79 20 0 1 0 283753391 29241344 6231 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 7139 6231 170 439 0 6696 0
[pid=16125] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16125/stat : 16125 (satsolver.sh) S 15993 15992 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283755527 9367552 267 33554432000 4194304 5064252 140734195160880 140734195159792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16125/statm: 2287 267 226 213 0 72 0
[pid=16126] ppid=16125 vsize=100208 CPUtime=140.9 cores=0,2,4,6
/proc/16126/stat : 16126 (glucose) R 16125 15992 14387 0 -1 4202496 14695 0 0 0 14085 5 0 0 20 0 1 0 283755527 102612992 23158 33554432000 4194304 5208918 140735976543280 140735976541224 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16126/statm: 25052 23158 105 248 0 24801 0
Current children cumulated CPU time (s) 162.24
################
# More data... #
################
/proc/16126/stat : 16126 (glucose) R 16125 15992 14387 0 -1 4202496 30387 0 0 0 134026 43 0 0 20 0 1 0 283755527 267042816 50775 33554432000 4194304 5208918 140735976543280 140735976539656 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16126/statm: 65196 50775 105 248 0 64945 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 307636
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 16163
/proc/meminfo: memFree=29630316/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=28556 CPUtime=21.34 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 15751 134816 0 0 66 19 1970 79 20 0 1 0 283753391 29241344 6231 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 7139 6231 170 439 0 6696 0
[pid=16125] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16125/stat : 16125 (satsolver.sh) S 15993 15992 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283755527 9367552 267 33554432000 4194304 5064252 140734195160880 140734195159792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16125/statm: 2287 267 226 213 0 72 0
[pid=16126] ppid=16125 vsize=210696 CPUtime=1400.68 cores=0,2,4,6
/proc/16126/stat : 16126 (glucose) R 16125 15992 14387 0 -1 4202496 31631 0 0 0 140022 46 0 0 20 0 1 0 283755527 215752704 45354 33554432000 4194304 5208918 140735976543280 140735976541368 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16126/statm: 52674 45354 105 248 0 52423 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 257548
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16163
/proc/meminfo: memFree=29565040/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=28556 CPUtime=21.34 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 15751 134816 0 0 66 19 1970 79 20 0 1 0 283753391 29241344 6231 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 7139 6231 170 439 0 6696 0
[pid=16125] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16125/stat : 16125 (satsolver.sh) S 15993 15992 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283755527 9367552 267 33554432000 4194304 5064252 140734195160880 140734195159792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16125/statm: 2287 267 226 213 0 72 0
[pid=16126] ppid=16125 vsize=210696 CPUtime=1460.66 cores=0,2,4,6
/proc/16126/stat : 16126 (glucose) R 16125 15992 14387 0 -1 4202496 32684 0 0 0 146017 49 0 0 20 0 1 0 283755527 215752704 46890 33554432000 4194304 5208918 140735976543280 140735976539656 4205203 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16126/statm: 52674 46890 105 248 0 52423 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 257548
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16163
/proc/meminfo: memFree=29558280/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=28556 CPUtime=21.34 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 15751 134816 0 0 66 19 1970 79 20 0 1 0 283753391 29241344 6231 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 7139 6231 170 439 0 6696 0
[pid=16125] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16125/stat : 16125 (satsolver.sh) S 15993 15992 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283755527 9367552 267 33554432000 4194304 5064252 140734195160880 140734195159792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16125/statm: 2287 267 226 213 0 72 0
[pid=16126] ppid=16125 vsize=210696 CPUtime=1520.66 cores=0,2,4,6
/proc/16126/stat : 16126 (glucose) R 16125 15992 14387 0 -1 4202496 33726 0 0 0 152014 52 0 0 20 0 1 0 283755527 215752704 48426 33554432000 4194304 5208918 140735976543280 140735976539656 4215351 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16126/statm: 52674 48426 105 248 0 52423 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 257548
[startup+1602.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/181 16163
/proc/meminfo: memFree=29545936/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=28556 CPUtime=21.34 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 15751 134816 0 0 66 19 1970 79 20 0 1 0 283753391 29241344 6231 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 7139 6231 170 439 0 6696 0
[pid=16125] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16125/stat : 16125 (satsolver.sh) S 15993 15992 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283755527 9367552 267 33554432000 4194304 5064252 140734195160880 140734195159792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16125/statm: 2287 267 226 213 0 72 0
[pid=16126] ppid=16125 vsize=218984 CPUtime=1580.65 cores=0,2,4,6
/proc/16126/stat : 16126 (glucose) R 16125 15992 14387 0 -1 4202496 35293 0 0 0 158011 54 0 0 20 0 1 0 283755527 224239616 52010 33554432000 4194304 5208918 140735976543280 140735976539656 4212881 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16126/statm: 54746 52010 105 248 0 54495 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 265836
[startup+1662.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/181 16164
/proc/meminfo: memFree=29548168/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=28556 CPUtime=21.34 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 15751 134816 0 0 66 19 1970 79 20 0 1 0 283753391 29241344 6231 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 7139 6231 170 439 0 6696 0
[pid=16125] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16125/stat : 16125 (satsolver.sh) S 15993 15992 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283755527 9367552 267 33554432000 4194304 5064252 140734195160880 140734195159792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16125/statm: 2287 267 226 213 0 72 0
[pid=16126] ppid=16125 vsize=218984 CPUtime=1640.64 cores=0,2,4,6
/proc/16126/stat : 16126 (glucose) R 16125 15992 14387 0 -1 4202496 36321 0 0 0 164007 57 0 0 20 0 1 0 283755527 224239616 52010 33554432000 4194304 5208918 140735976543280 140735976539656 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16126/statm: 54746 52010 105 248 0 54495 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 265836
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/181 16164
/proc/meminfo: memFree=29529164/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=28556 CPUtime=21.34 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 15751 134816 0 0 66 19 1970 79 20 0 1 0 283753391 29241344 6231 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 7139 6231 170 439 0 6696 0
[pid=16125] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16125/stat : 16125 (satsolver.sh) S 15993 15992 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283755527 9367552 267 33554432000 4194304 5064252 140734195160880 140734195159792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16125/statm: 2287 267 226 213 0 72 0
[pid=16126] ppid=16125 vsize=218984 CPUtime=1700.63 cores=0,2,4,6
/proc/16126/stat : 16126 (glucose) R 16125 15992 14387 0 -1 4202496 37369 0 0 0 170003 60 0 0 20 0 1 0 283755527 224239616 52522 33554432000 4194304 5208918 140735976543280 140735976539592 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16126/statm: 54746 52522 105 248 0 54495 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 265836
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/181 16164
/proc/meminfo: memFree=29537856/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=28556 CPUtime=21.34 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 15751 134816 0 0 66 19 1970 79 20 0 1 0 283753391 29241344 6231 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 7139 6231 170 439 0 6696 0
[pid=16125] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16125/stat : 16125 (satsolver.sh) S 15993 15992 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283755527 9367552 267 33554432000 4194304 5064252 140734195160880 140734195159792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16125/statm: 2287 267 226 213 0 72 0
[pid=16126] ppid=16125 vsize=218984 CPUtime=1760.6 cores=0,2,4,6
/proc/16126/stat : 16126 (glucose) R 16125 15992 14387 0 -1 4202496 38440 0 0 0 175998 62 0 0 20 0 1 0 283755527 224239616 53034 33554432000 4194304 5208918 140735976543280 140735976539656 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16126/statm: 54746 53034 105 248 0 54495 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 265836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.04 2.00 4/181 16164
/proc/meminfo: memFree=29523088/32873844 swapFree=7112/7112
[pid=15992] ppid=15990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15992/stat : 15992 (npSolver-wbo-I.) S 15990 15992 14387 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 283753391 9367552 275 33554432000 4194304 5064252 140733420897424 140733420896336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15992/statm: 2287 275 233 213 0 72 0
[pid=15993] ppid=15992 vsize=28556 CPUtime=21.34 cores=0,2,4,6
/proc/15993/stat : 15993 (npSolver-wbo) S 15992 15992 14387 0 -1 4202496 15751 134816 0 0 66 19 1970 79 20 0 1 0 283753391 29241344 6231 33554432000 4194304 5990268 140736782716208 140736782707648 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15993/statm: 7139 6231 170 439 0 6696 0
[pid=16125] ppid=15993 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16125/stat : 16125 (satsolver.sh) S 15993 15992 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283755527 9367552 267 33554432000 4194304 5064252 140734195160880 140734195159792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16125/statm: 2287 267 226 213 0 72 0
[pid=16126] ppid=16125 vsize=269072 CPUtime=1778.7 cores=0,2,4,6
/proc/16126/stat : 16126 (glucose) R 16125 15992 14387 0 -1 4202496 39286 0 0 0 177807 63 0 0 20 0 1 0 283755527 275529728 55383 33554432000 4194304 5208918 140735976543280 140735976539656 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16126/statm: 67268 55383 105 248 0 67017 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 315924
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15992 and gives
# childrusage.ru_utime.tv_sec=20
# childrusage.ru_utime.tv_usec=367903
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=989849
# CPU time returned by wait4() is 21.3578
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1798.43
CPU system time (s): 1.61
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 396064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.3679
system time used= 0.989849
maximum resident set size= 110556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151546
page faults= 0
swaps= 0
block input operations= 0
block output operations= 119120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2305
involuntary context switches= 136
runsolver used 2.95855 second user time and 7.35388 second system time
The end