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-3714910-1338186853/watcher-3714910-1338186853 -o /tmp/evaluation-result-3714910-1338186853/solver-3714910-1338186853 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714910-1338186853.wbo 383554847 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: 1.97 1.98 1.99 3/179 27923
/proc/meminfo: memFree=27393700/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[startup+0.0811381 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 27923
/proc/meminfo: memFree=27393700/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100179 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 27923
/proc/meminfo: memFree=27393700/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300292 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 27923
/proc/meminfo: memFree=27393700/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700276 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 27923
/proc/meminfo: memFree=27393700/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 27937
/proc/meminfo: memFree=27356752/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=11940 CPUtime=0.24 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 3266 6253 0 0 13 2 8 1 20 0 1 0 284812188 12226560 2469 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27924/statm: 2985 2469 166 439 0 2542 0
[pid=27936] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27936/stat : 27936 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284812215 9367552 266 33554432000 4194304 5064252 140734323155152 140734323154064 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27936/statm: 2287 266 226 213 0 72 0
[pid=27937] ppid=27936 vsize=24168 CPUtime=1.22 cores=0,2,4,6
/proc/27937/stat : 27937 (glucose) R 27936 27923 17655 0 -1 4202496 5583 0 0 0 121 1 0 0 20 0 1 0 284812215 24748032 5150 33554432000 4194304 5208918 140737055820608 140737055818440 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27937/statm: 6042 5150 103 248 0 5791 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 54404
[startup+3.10039 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 27944
/proc/meminfo: memFree=27358248/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=11940 CPUtime=0.24 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 3266 6253 0 0 13 2 8 1 20 0 1 0 284812188 12226560 2469 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27924/statm: 2985 2469 166 439 0 2542 0
[pid=27936] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27936/stat : 27936 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284812215 9367552 266 33554432000 4194304 5064252 140734323155152 140734323154064 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27936/statm: 2287 266 226 213 0 72 0
[pid=27937] ppid=27936 vsize=24168 CPUtime=2.82 cores=0,2,4,6
/proc/27937/stat : 27937 (glucose) R 27936 27923 17655 0 -1 4202496 5614 0 0 0 281 1 0 0 20 0 1 0 284812215 24748032 5173 33554432000 4194304 5208918 140737055820608 140737055818440 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27937/statm: 6042 5173 103 248 0 5791 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 54404
[startup+6.30037 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 27944
/proc/meminfo: memFree=27357132/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=11940 CPUtime=0.24 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 3266 6253 0 0 13 2 8 1 20 0 1 0 284812188 12226560 2469 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27924/statm: 2985 2469 166 439 0 2542 0
[pid=27936] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27936/stat : 27936 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284812215 9367552 266 33554432000 4194304 5064252 140734323155152 140734323154064 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27936/statm: 2287 266 226 213 0 72 0
[pid=27937] ppid=27936 vsize=27024 CPUtime=6.02 cores=0,2,4,6
/proc/27937/stat : 27937 (glucose) R 27936 27923 17655 0 -1 4202496 5724 0 0 0 601 1 0 0 20 0 1 0 284812215 27672576 5277 33554432000 4194304 5208918 140737055820608 140737055818568 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27937/statm: 6756 5277 103 248 0 6505 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 57260
[startup+12.7003 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 27951
/proc/meminfo: memFree=27353576/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=20128 CPUtime=12.18 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 5258 15516 0 0 24 3 1185 6 20 0 1 0 284812188 20611072 4249 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27924/statm: 5032 4249 166 439 0 4589 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 29276
[startup+25.5003 s]
/proc/loadavg: 1.98 1.98 1.99 3/184 27980
/proc/meminfo: memFree=27350916/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=20128 CPUtime=18.26 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 7251 24508 0 0 33 5 1778 10 20 0 1 0 284812188 20611072 4249 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27924/statm: 5032 4249 166 439 0 4589 0
[pid=27972] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27972/stat : 27972 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284814016 9367552 267 33554432000 4194304 5064252 140736020523344 140736020522256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27972/statm: 2287 267 226 213 0 72 0
[pid=27973] ppid=27972 vsize=23748 CPUtime=7.2 cores=0,2,4,6
/proc/27973/stat : 27973 (glucose) R 27972 27923 17655 0 -1 4202496 5437 0 0 0 720 0 0 0 20 0 1 0 284814017 24317952 4997 33554432000 4194304 5208918 140735216172592 140735216170488 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27973/statm: 5937 4997 104 248 0 5686 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 62172
[startup+51.1004 s]
/proc/loadavg: 1.98 1.98 1.99 3/184 28050
/proc/meminfo: memFree=27262848/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=20128 CPUtime=49.21 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 15224 62485 0 0 73 10 4808 30 20 0 1 0 284812188 20611072 4249 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27924/statm: 5032 4249 166 439 0 4589 0
[pid=28045] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28045/stat : 28045 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284817113 9367552 266 33554432000 4194304 5064252 140735042166848 140735042165760 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28045/statm: 2287 266 226 213 0 72 0
[pid=28046] ppid=28045 vsize=23900 CPUtime=1.83 cores=0,2,4,6
/proc/28046/stat : 28046 (glucose) R 28045 27923 17655 0 -1 4202496 4822 0 0 0 183 0 0 0 20 0 1 0 284817113 24473600 4969 33554432000 4194304 5208918 140735131219888 140735131217848 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28046/statm: 5975 4969 96 248 0 5724 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 62324
[startup+102.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 28183
/proc/meminfo: memFree=27285196/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=20040 CPUtime=98.15 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 31171 134081 0 0 148 20 9577 70 20 0 1 0 284812188 20520960 4249 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/27924/statm: 5010 4249 166 439 0 4567 0
[pid=28175] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28175/stat : 28175 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284822034 9367552 266 33554432000 4194304 5064252 140734662958368 140734662957280 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28175/statm: 2287 266 226 213 0 72 0
[pid=28176] ppid=28175 vsize=20680 CPUtime=3.83 cores=0,2,4,6
/proc/28176/stat : 28176 (glucose) R 28175 27923 17655 0 -1 4202496 4911 0 0 0 383 0 0 0 20 0 1 0 284822035 21176320 4484 33554432000 4194304 5208918 140736036835056 140736036832808 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28176/statm: 5170 4484 104 248 0 4919 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 59016
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 28576
/proc/meminfo: memFree=27364388/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=20040 CPUtime=154.24 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 53097 227091 0 0 238 33 15035 118 20 0 1 0 284812188 20520960 4249 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/27924/statm: 5010 4249 166 439 0 4567 0
[pid=28519] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28519/stat : 28519 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284827665 9367552 267 33554432000 4194304 5064252 140735416325200 140735416324112 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28519/statm: 2287 267 226 213 0 72 0
[pid=28520] ppid=28519 vsize=23612 CPUtime=7.51 cores=0,2,4,6
/proc/28520/stat : 28520 (glucose) R 28519 27923 17655 0 -1 4202496 5333 0 0 0 751 0 0 0 20 0 1 0 284827665 24178688 4905 33554432000 4194304 5208918 140733490384176 140733490381928 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28520/statm: 5903 4905 104 248 0 5652 0
Current children cumulated CPU time (s) 161.75
################
# More data... #
################
/proc/29010/statm: 2287 267 226 213 0 72 0
[pid=29011] ppid=29010 vsize=64056 CPUtime=171.46 cores=0,2,4,6
/proc/29011/stat : 29011 (glucose) R 29010 27923 17655 0 -1 4202496 8902 0 0 0 17143 3 0 0 20 0 1 0 284841268 65593344 13239 33554432000 4194304 5208918 140736457692368 140736457690376 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29011/statm: 16014 13239 96 248 0 15763 0
Current children cumulated CPU time (s) 460.88
Current children cumulated vsize (KiB) 102460
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 29288
/proc/meminfo: memFree=27275456/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=20108 CPUtime=480.34 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 153282 980448 0 0 640 89 46533 772 20 0 1 0 284812188 20590592 4518 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/27924/statm: 5027 4518 166 439 0 4584 0
[pid=29266] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29266/stat : 29266 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284860364 9367552 267 33554432000 4194304 5064252 140736983594800 140736983593712 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29266/statm: 2287 267 226 213 0 72 0
[pid=29267] ppid=29266 vsize=23956 CPUtime=40.52 cores=0,2,4,6
/proc/29267/stat : 29267 (glucose) R 29266 27923 17655 0 -1 4202496 5326 0 0 0 4051 1 0 0 20 0 1 0 284860364 24530944 5478 33554432000 4194304 5208918 140736823589248 140736823587096 4212757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29267/statm: 5989 5478 103 248 0 5738 0
Current children cumulated CPU time (s) 520.86
Current children cumulated vsize (KiB) 62360
Solver just ended. Dumping a history of the last processes samples
[startup+537.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29295
/proc/meminfo: memFree=27271300/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=20108 CPUtime=480.34 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 153282 980448 0 0 640 89 46533 772 20 0 1 0 284812188 20590592 4518 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/27924/statm: 5027 4518 166 439 0 4584 0
[pid=29266] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29266/stat : 29266 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284860364 9367552 267 33554432000 4194304 5064252 140736983594800 140736983593712 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29266/statm: 2287 267 226 213 0 72 0
[pid=29267] ppid=29266 vsize=28376 CPUtime=55.71 cores=0,2,4,6
/proc/29267/stat : 29267 (glucose) R 29266 27923 17655 0 -1 4202496 6029 0 0 0 5570 1 0 0 20 0 1 0 284860364 29057024 6652 33554432000 4194304 5208918 140736823589248 140736823587112 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29267/statm: 7094 6652 103 248 0 6843 0
Current children cumulated CPU time (s) 536.05
Current children cumulated vsize (KiB) 66780
[startup+550.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29302
/proc/meminfo: memFree=27281232/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=20108 CPUtime=480.34 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 153282 980448 0 0 640 89 46533 772 20 0 1 0 284812188 20590592 4518 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/27924/statm: 5027 4518 166 439 0 4584 0
[pid=29266] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29266/stat : 29266 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284860364 9367552 267 33554432000 4194304 5064252 140736983594800 140736983593712 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29266/statm: 2287 267 226 213 0 72 0
[pid=29267] ppid=29266 vsize=19564 CPUtime=68.52 cores=0,2,4,6
/proc/29267/stat : 29267 (glucose) R 29266 27923 17655 0 -1 4202496 7576 0 0 0 6850 2 0 0 20 0 1 0 284860364 20033536 4475 33554432000 4194304 5208918 140736823589248 140736823587336 4229704 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29267/statm: 4891 4475 103 248 0 4640 0
Current children cumulated CPU time (s) 548.86
Current children cumulated vsize (KiB) 57968
[startup+556.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29302
/proc/meminfo: memFree=27270076/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=20108 CPUtime=480.34 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 153282 980448 0 0 640 89 46533 772 20 0 1 0 284812188 20590592 4518 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/27924/statm: 5027 4518 166 439 0 4584 0
[pid=29266] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29266/stat : 29266 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284860364 9367552 267 33554432000 4194304 5064252 140736983594800 140736983593712 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29266/statm: 2287 267 226 213 0 72 0
[pid=29267] ppid=29266 vsize=31100 CPUtime=74.91 cores=0,2,4,6
/proc/29267/stat : 29267 (glucose) R 29266 27923 17655 0 -1 4202496 7646 0 0 0 7489 2 0 0 20 0 1 0 284860364 31846400 7096 33554432000 4194304 5208918 140736823589248 140736823587192 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29267/statm: 7775 7096 103 248 0 7524 0
Current children cumulated CPU time (s) 555.25
Current children cumulated vsize (KiB) 69504
[startup+558.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29302
/proc/meminfo: memFree=27269952/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=20108 CPUtime=480.34 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 153282 980448 0 0 640 89 46533 772 20 0 1 0 284812188 20590592 4518 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/27924/statm: 5027 4518 166 439 0 4584 0
[pid=29266] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29266/stat : 29266 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284860364 9367552 267 33554432000 4194304 5064252 140736983594800 140736983593712 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29266/statm: 2287 267 226 213 0 72 0
[pid=29267] ppid=29266 vsize=31100 CPUtime=76.51 cores=0,2,4,6
/proc/29267/stat : 29267 (glucose) R 29266 27923 17655 0 -1 4202496 7646 0 0 0 7649 2 0 0 20 0 1 0 284860364 31846400 7096 33554432000 4194304 5208918 140736823589248 140736823587192 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29267/statm: 7775 7096 103 248 0 7524 0
Current children cumulated CPU time (s) 556.85
Current children cumulated vsize (KiB) 69504
[startup+559.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29302
/proc/meminfo: memFree=27269704/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=20108 CPUtime=480.34 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 153282 980448 0 0 640 89 46533 772 20 0 1 0 284812188 20590592 4518 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/27924/statm: 5027 4518 166 439 0 4584 0
[pid=29266] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29266/stat : 29266 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284860364 9367552 267 33554432000 4194304 5064252 140736983594800 140736983593712 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29266/statm: 2287 267 226 213 0 72 0
[pid=29267] ppid=29266 vsize=31100 CPUtime=77.31 cores=0,2,4,6
/proc/29267/stat : 29267 (glucose) R 29266 27923 17655 0 -1 4202496 7646 0 0 0 7729 2 0 0 20 0 1 0 284860364 31846400 7096 33554432000 4194304 5208918 140736823589248 140736823587192 4229532 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29267/statm: 7775 7096 103 248 0 7524 0
Current children cumulated CPU time (s) 557.65
Current children cumulated vsize (KiB) 69504
[startup+559.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29302
/proc/meminfo: memFree=27269704/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=20108 CPUtime=480.34 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 153282 980448 0 0 640 89 46533 772 20 0 1 0 284812188 20590592 4518 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/27924/statm: 5027 4518 166 439 0 4584 0
[pid=29266] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29266/stat : 29266 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284860364 9367552 267 33554432000 4194304 5064252 140736983594800 140736983593712 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29266/statm: 2287 267 226 213 0 72 0
[pid=29267] ppid=29266 vsize=31100 CPUtime=77.71 cores=0,2,4,6
/proc/29267/stat : 29267 (glucose) R 29266 27923 17655 0 -1 4202496 7646 0 0 0 7769 2 0 0 20 0 1 0 284860364 31846400 7096 33554432000 4194304 5208918 140736823589248 140736823587192 4229347 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29267/statm: 7775 7096 103 248 0 7524 0
Current children cumulated CPU time (s) 558.05
Current children cumulated vsize (KiB) 69504
[startup+559.907 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29302
/proc/meminfo: memFree=27269456/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=20108 CPUtime=480.34 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 153282 980448 0 0 640 89 46533 772 20 0 1 0 284812188 20590592 4518 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/27924/statm: 5027 4518 166 439 0 4584 0
[pid=29266] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29266/stat : 29266 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284860364 9367552 267 33554432000 4194304 5064252 140736983594800 140736983593712 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29266/statm: 2287 267 226 213 0 72 0
[pid=29267] ppid=29266 vsize=31100 CPUtime=78.12 cores=0,2,4,6
/proc/29267/stat : 29267 (glucose) R 29266 27923 17655 0 -1 4202496 7646 0 0 0 7810 2 0 0 20 0 1 0 284860364 31846400 7096 33554432000 4194304 5208918 140736823589248 140736823587192 4229688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29267/statm: 7775 7096 103 248 0 7524 0
Current children cumulated CPU time (s) 558.46
Current children cumulated vsize (KiB) 69504
[startup+560 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29302
/proc/meminfo: memFree=27269456/32873648 swapFree=6848/6848
[pid=27923] ppid=27921 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27923/stat : 27923 (npSolver-wbo-It) S 27921 27923 17655 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284812188 9367552 275 33554432000 4194304 5064252 140736662222192 140736662221104 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27923/statm: 2287 275 233 213 0 72 0
[pid=27924] ppid=27923 vsize=20108 CPUtime=480.34 cores=0,2,4,6
/proc/27924/stat : 27924 (npSolver-wbo) S 27923 27923 17655 0 -1 4202496 153282 980448 0 0 640 89 46533 772 20 0 1 0 284812188 20590592 4518 33554432000 4194304 5990268 140735850406336 140735850397760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/27924/statm: 5027 4518 166 439 0 4584 0
[pid=29266] ppid=27924 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29266/stat : 29266 (satsolver.sh) S 27924 27923 17655 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284860364 9367552 267 33554432000 4194304 5064252 140736983594800 140736983593712 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29266/statm: 2287 267 226 213 0 72 0
[pid=29267] ppid=29266 vsize=31100 CPUtime=78.21 cores=0,2,4,6
/proc/29267/stat : 29267 (glucose) R 29266 27923 17655 0 -1 4202496 7646 0 0 0 7819 2 0 0 20 0 1 0 284860364 31846400 7096 33554432000 4194304 5208918 140736823589248 140736823587192 4229780 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29267/statm: 7775 7096 103 248 0 7524 0
Current children cumulated CPU time (s) 558.55
Current children cumulated vsize (KiB) 69504
Child status: 0
Real time (s): 560.049
CPU time (s): 558.623
CPU user time (s): 549.964
CPU system time (s): 8.65868
CPU usage (%): 99.7454
Max. virtual memory (cumulated for all children) (KiB): 140252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 549.964
system time used= 8.65868
maximum resident set size= 79092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1145705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 994864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13660
involuntary context switches= 1594
runsolver used 0.971852 second user time and 2.48762 second system time
The end