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-3754812-1339196729/watcher-3754812-1339196729 -o /tmp/evaluation-result-3754812-1339196729/solver-3754812-1339196729 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754812-1339196729.wbo 975216436 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/177 4391
/proc/meminfo: memFree=29615844/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[startup+0.0811329 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4391
/proc/meminfo: memFree=29615844/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100309 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4391
/proc/meminfo: memFree=29615844/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300285 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4391
/proc/meminfo: memFree=29615844/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700267 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4391
/proc/meminfo: memFree=29615844/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4393
/proc/meminfo: memFree=29540076/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=86836 CPUtime=1.48 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) R 4391 4391 982 0 -1 4202496 13944 0 0 0 113 35 0 0 20 0 1 0 385798379 88920064 21062 33554432000 4194304 6006132 140736516754384 140736516748568 5192048 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 21709 21062 153 443 0 21262 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 95984
[startup+3.10038 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4395
/proc/meminfo: memFree=29397712/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=86836 CPUtime=1.55 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) S 4391 4391 982 0 -1 4202496 13948 0 0 0 115 40 0 0 20 0 1 0 385798379 88920064 21065 33554432000 4194304 6006132 140736516754384 140736516747488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 21709 21065 155 443 0 21262 0
[pid=4394] ppid=4392 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4394/stat : 4394 (cp2_pre.sh) S 4392 4391 982 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 385798534 9367552 276 33554432000 4194304 5064252 140735560186784 140735560185488 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4394/statm: 2287 276 234 213 0 72 0
[pid=4395] ppid=4394 vsize=135768 CPUtime=1.53 cores=0,2,4,6
/proc/4395/stat : 4395 (coprocessor) R 4394 4391 982 0 -1 4202496 21592 0 0 0 149 4 0 0 20 0 1 0 385798534 139026432 32571 33554432000 4194304 6586260 140735287553184 140735287548552 5599209 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 33942 32571 191 584 0 33354 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 240900
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4395
/proc/meminfo: memFree=29395720/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=86836 CPUtime=1.55 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) S 4391 4391 982 0 -1 4202496 13948 0 0 0 115 40 0 0 20 0 1 0 385798379 88920064 21065 33554432000 4194304 6006132 140736516754384 140736516747488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 21709 21065 155 443 0 21262 0
[pid=4394] ppid=4392 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4394/stat : 4394 (cp2_pre.sh) S 4392 4391 982 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 385798534 9367552 276 33554432000 4194304 5064252 140735560186784 140735560185488 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4394/statm: 2287 276 234 213 0 72 0
[pid=4395] ppid=4394 vsize=136560 CPUtime=4.73 cores=0,2,4,6
/proc/4395/stat : 4395 (coprocessor) R 4394 4391 982 0 -1 4202496 21789 0 0 0 469 4 0 0 20 0 1 0 385798534 139837440 32768 33554432000 4194304 6586260 140735287553184 140735287548776 5599332 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/4395/statm: 34140 32768 191 584 0 33552 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 241692
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4403
/proc/meminfo: memFree=29085412/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=818124 CPUtime=12.67 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) R 4391 4391 982 0 -1 4202496 65246 38855 0 0 549 79 629 10 20 0 1 0 385798379 837758976 141506 33554432000 4194304 6006132 140736516754384 140736516747096 4537521 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 204531 141506 176 443 0 204084 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 827272
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4403
/proc/meminfo: memFree=28135932/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=2390988 CPUtime=25.47 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) R 4391 4391 982 0 -1 4202496 67487 38855 0 0 1794 114 629 10 20 0 1 0 385798379 2448371712 372418 33554432000 4194304 6006132 140736516754384 140736516746744 4535977 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 597747 372418 176 443 0 597300 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2400136
[startup+51.1004 s]
/proc/loadavg: 2.14 2.03 2.01 3/181 4405
/proc/meminfo: memFree=23439000/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=4308148 CPUtime=42.94 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) S 4391 4391 982 0 -1 4202496 71096 38855 0 0 3177 478 629 10 20 0 1 0 385798379 4411543552 577277 33554432000 4194304 6006132 140736516754384 140736516745792 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 1077037 577277 177 443 0 1076590 0
[pid=4404] ppid=4392 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4404/stat : 4404 (satsolver.sh) S 4392 4391 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385802675 9367552 267 33554432000 4194304 5064252 140735895615904 140735895614816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4404/statm: 2287 267 226 213 0 72 0
[pid=4405] ppid=4404 vsize=2251812 CPUtime=8.12 cores=0,2,4,6
/proc/4405/stat : 4405 (glucose) R 4404 4391 982 0 -1 4202496 180095 0 0 0 742 70 0 0 20 0 1 0 385802675 2305855488 425273 33554432000 4194304 5208918 140734286643472 140734285592872 4465902 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4405/statm: 562953 425273 70 248 0 562702 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 6578256
[startup+102.307 s]
/proc/loadavg: 2.28 2.10 2.03 3/181 4406
/proc/meminfo: memFree=20523804/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=4308148 CPUtime=42.94 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) S 4391 4391 982 0 -1 4202496 71096 38855 0 0 3177 478 629 10 20 0 1 0 385798379 4411543552 577277 33554432000 4194304 6006132 140736516754384 140736516745792 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 1077037 577277 177 443 0 1076590 0
[pid=4404] ppid=4392 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4404/stat : 4404 (satsolver.sh) S 4392 4391 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385802675 9367552 267 33554432000 4194304 5064252 140735895615904 140735895614816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4404/statm: 2287 267 226 213 0 72 0
[pid=4405] ppid=4404 vsize=5240724 CPUtime=59.32 cores=0,2,4,6
/proc/4405/stat : 4405 (glucose) R 4404 4391 982 0 -1 4202496 535557 0 0 0 5705 227 0 0 20 0 1 0 385802675 5366501376 1139427 33554432000 4194304 5208918 140734286643472 140734286641352 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4405/statm: 1310181 1139427 104 248 0 1309930 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 9567168
[startup+162.3 s]
/proc/loadavg: 2.10 2.08 2.03 3/181 4406
/proc/meminfo: memFree=20524672/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=4308148 CPUtime=42.94 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) S 4391 4391 982 0 -1 4202496 71096 38855 0 0 3177 478 629 10 20 0 1 0 385798379 4411543552 577277 33554432000 4194304 6006132 140736516754384 140736516745792 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 1077037 577277 177 443 0 1076590 0
[pid=4404] ppid=4392 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4404/stat : 4404 (satsolver.sh) S 4392 4391 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385802675 9367552 267 33554432000 4194304 5064252 140735895615904 140735895614816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4404/statm: 2287 267 226 213 0 72 0
[pid=4405] ppid=4404 vsize=5240724 CPUtime=119.3 cores=0,2,4,6
/proc/4405/stat : 4405 (glucose) R 4404 4391 982 0 -1 4202496 535557 0 0 0 11703 227 0 0 20 0 1 0 385802675 5366501376 1139427 33554432000 4194304 5208918 140734286643472 140734286641352 4211623 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4405/statm: 1310181 1139427 104 248 0 1309930 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 9567168
[startup+222.3 s]
/proc/loadavg: 2.12 2.08 2.02 3/181 4406
/proc/meminfo: memFree=20525892/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=4308148 CPUtime=42.94 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) S 4391 4391 982 0 -1 4202496 71096 38855 0 0 3177 478 629 10 20 0 1 0 385798379 4411543552 577277 33554432000 4194304 6006132 140736516754384 140736516745792 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 1077037 577277 177 443 0 1076590 0
[pid=4404] ppid=4392 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/4405/statm: 1321104 1167349 104 248 0 1320853 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 9610860
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/182 4471
/proc/meminfo: memFree=21266548/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=4308148 CPUtime=42.94 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) S 4391 4391 982 0 -1 4202496 71096 38855 0 0 3177 478 629 10 20 0 1 0 385798379 4411543552 577277 33554432000 4194304 6006132 140736516754384 140736516745792 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 1077037 577277 177 443 0 1076590 0
[pid=4404] ppid=4392 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4404/stat : 4404 (satsolver.sh) S 4392 4391 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385802675 9367552 267 33554432000 4194304 5064252 140735895615904 140735895614816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4404/statm: 2287 267 226 213 0 72 0
[pid=4405] ppid=4404 vsize=5284416 CPUtime=1439.1 cores=0,2,4,6
/proc/4405/stat : 4405 (glucose) R 4404 4391 982 0 -1 4202496 547639 0 0 0 143680 230 0 0 20 0 1 0 385802675 5411241984 1167861 33554432000 4194304 5208918 140734286643472 140734286641320 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4405/statm: 1321104 1167861 104 248 0 1320853 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 9610860
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 4471
/proc/meminfo: memFree=21228088/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=4308148 CPUtime=42.94 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) S 4391 4391 982 0 -1 4202496 71096 38855 0 0 3177 478 629 10 20 0 1 0 385798379 4411543552 577277 33554432000 4194304 6006132 140736516754384 140736516745792 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 1077037 577277 177 443 0 1076590 0
[pid=4404] ppid=4392 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4404/stat : 4404 (satsolver.sh) S 4392 4391 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385802675 9367552 267 33554432000 4194304 5064252 140735895615904 140735895614816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4404/statm: 2287 267 226 213 0 72 0
[pid=4405] ppid=4404 vsize=5284416 CPUtime=1499.1 cores=0,2,4,6
/proc/4405/stat : 4405 (glucose) R 4404 4391 982 0 -1 4202496 547640 0 0 0 149679 231 0 0 20 0 1 0 385802675 5411241984 1168373 33554432000 4194304 5208918 140734286643472 140734286641320 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4405/statm: 1321104 1168373 104 248 0 1320853 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 9610860
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 4472
/proc/meminfo: memFree=21219912/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=4308148 CPUtime=42.94 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) S 4391 4391 982 0 -1 4202496 71096 38855 0 0 3177 478 629 10 20 0 1 0 385798379 4411543552 577277 33554432000 4194304 6006132 140736516754384 140736516745792 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 1077037 577277 177 443 0 1076590 0
[pid=4404] ppid=4392 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4404/stat : 4404 (satsolver.sh) S 4392 4391 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385802675 9367552 267 33554432000 4194304 5064252 140735895615904 140735895614816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4404/statm: 2287 267 226 213 0 72 0
[pid=4405] ppid=4404 vsize=5284416 CPUtime=1559.09 cores=0,2,4,6
/proc/4405/stat : 4405 (glucose) R 4404 4391 982 0 -1 4202496 547642 0 0 0 155678 231 0 0 20 0 1 0 385802675 5411241984 1169397 33554432000 4194304 5208918 140734286643472 140734286641320 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4405/statm: 1321104 1169397 104 248 0 1320853 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 9610860
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 4472
/proc/meminfo: memFree=21201188/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=4308148 CPUtime=42.94 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) S 4391 4391 982 0 -1 4202496 71096 38855 0 0 3177 478 629 10 20 0 1 0 385798379 4411543552 577277 33554432000 4194304 6006132 140736516754384 140736516745792 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 1077037 577277 177 443 0 1076590 0
[pid=4404] ppid=4392 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4404/stat : 4404 (satsolver.sh) S 4392 4391 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385802675 9367552 267 33554432000 4194304 5064252 140735895615904 140735895614816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4404/statm: 2287 267 226 213 0 72 0
[pid=4405] ppid=4404 vsize=5284416 CPUtime=1619.08 cores=0,2,4,6
/proc/4405/stat : 4405 (glucose) R 4404 4391 982 0 -1 4202496 547643 0 0 0 161677 231 0 0 20 0 1 0 385802675 5411241984 1169909 33554432000 4194304 5208918 140734286643472 140734286641320 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4405/statm: 1321104 1169909 104 248 0 1320853 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 9610860
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4472
/proc/meminfo: memFree=21211272/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=4308148 CPUtime=42.94 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) S 4391 4391 982 0 -1 4202496 71096 38855 0 0 3177 478 629 10 20 0 1 0 385798379 4411543552 577277 33554432000 4194304 6006132 140736516754384 140736516745792 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 1077037 577277 177 443 0 1076590 0
[pid=4404] ppid=4392 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4404/stat : 4404 (satsolver.sh) S 4392 4391 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385802675 9367552 267 33554432000 4194304 5064252 140735895615904 140735895614816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4404/statm: 2287 267 226 213 0 72 0
[pid=4405] ppid=4404 vsize=5284416 CPUtime=1679.07 cores=0,2,4,6
/proc/4405/stat : 4405 (glucose) R 4404 4391 982 0 -1 4202496 547644 0 0 0 167676 231 0 0 20 0 1 0 385802675 5411241984 1170421 33554432000 4194304 5208918 140734286643472 140734286641320 4211605 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4405/statm: 1321104 1170421 104 248 0 1320853 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 9610860
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4472
/proc/meminfo: memFree=21192672/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=4308148 CPUtime=42.94 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) S 4391 4391 982 0 -1 4202496 71096 38855 0 0 3177 478 629 10 20 0 1 0 385798379 4411543552 577277 33554432000 4194304 6006132 140736516754384 140736516745792 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 1077037 577277 177 443 0 1076590 0
[pid=4404] ppid=4392 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4404/stat : 4404 (satsolver.sh) S 4392 4391 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385802675 9367552 267 33554432000 4194304 5064252 140735895615904 140735895614816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4404/statm: 2287 267 226 213 0 72 0
[pid=4405] ppid=4404 vsize=5284416 CPUtime=1739.06 cores=0,2,4,6
/proc/4405/stat : 4405 (glucose) R 4404 4391 982 0 -1 4202496 547646 0 0 0 173675 231 0 0 20 0 1 0 385802675 5411241984 1171445 33554432000 4194304 5208918 140734286643472 140734286641320 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4405/statm: 1321104 1171445 104 248 0 1320853 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 9610860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4472
/proc/meminfo: memFree=21180508/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=4308148 CPUtime=42.94 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) S 4391 4391 982 0 -1 4202496 71096 38855 0 0 3177 478 629 10 20 0 1 0 385798379 4411543552 577277 33554432000 4194304 6006132 140736516754384 140736516745792 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 1077037 577277 177 443 0 1076590 0
[pid=4404] ppid=4392 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4404/stat : 4404 (satsolver.sh) S 4392 4391 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385802675 9367552 267 33554432000 4194304 5064252 140735895615904 140735895614816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4404/statm: 2287 267 226 213 0 72 0
[pid=4405] ppid=4404 vsize=5284416 CPUtime=1757.06 cores=0,2,4,6
/proc/4405/stat : 4405 (glucose) R 4404 4391 982 0 -1 4202496 547646 0 0 0 175475 231 0 0 20 0 1 0 385802675 5411241984 1171445 33554432000 4194304 5208918 140734286643472 140734286641320 4211878 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4405/statm: 1321104 1171445 104 248 0 1320853 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9610860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4472
/proc/meminfo: memFree=21180508/32873852 swapFree=7632/7632
[pid=4391] ppid=4389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (npSolver-wbo.sh) S 4389 4391 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385798378 9367552 275 33554432000 4194304 5064252 140735133812288 140735133811200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4391/statm: 2287 275 233 213 0 72 0
[pid=4392] ppid=4391 vsize=4308148 CPUtime=42.94 cores=0,2,4,6
/proc/4392/stat : 4392 (npSolver-wbo) S 4391 4391 982 0 -1 4202496 71096 38855 0 0 3177 478 629 10 20 0 1 0 385798379 4411543552 577277 33554432000 4194304 6006132 140736516754384 140736516745792 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4392/statm: 1077037 577277 177 443 0 1076590 0
[pid=4404] ppid=4392 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4404/stat : 4404 (satsolver.sh) S 4392 4391 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385802675 9367552 267 33554432000 4194304 5064252 140735895615904 140735895614816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4404/statm: 2287 267 226 213 0 72 0
[pid=4405] ppid=4404 vsize=5284416 CPUtime=1757.06 cores=0,2,4,6
/proc/4405/stat : 4405 (glucose) R 4404 4391 982 0 -1 4202496 547646 0 0 0 175475 231 0 0 20 0 1 0 385802675 5411241984 1171445 33554432000 4194304 5208918 140734286643472 140734286641320 4211878 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4405/statm: 1321104 1171445 104 248 0 1320853 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9610860
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4391 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.32
CPU time (s): 1800
CPU user time (s): 1792.81
CPU system time (s): 7.19
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 11888508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 2.99954 second user time and 10.7844 second system time
The end