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-3752920-1339204236/watcher-3752920-1339204236 -o /tmp/evaluation-result-3752920-1339204236/solver-3752920-1339204236 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752920-1339204236.wbo 652425947 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.90 2.16 2.16 3/181 16442
/proc/meminfo: memFree=31372316/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[startup+0.0340549 s]
/proc/loadavg: 1.90 2.16 2.16 3/181 16442
/proc/meminfo: memFree=31372316/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100341 s]
/proc/loadavg: 1.90 2.16 2.16 3/181 16442
/proc/meminfo: memFree=31372316/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300249 s]
/proc/loadavg: 1.90 2.16 2.16 3/181 16442
/proc/meminfo: memFree=31372316/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700209 s]
/proc/loadavg: 1.90 2.16 2.16 3/181 16442
/proc/meminfo: memFree=31372316/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 1.90 2.16 2.16 3/187 16468
/proc/meminfo: memFree=31253088/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=0.23 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 4411 5939 0 0 12 2 8 1 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16467] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16467/stat : 16467 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30390252 9367552 267 33554432000 4194304 5064252 140733271640128 140733271639040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16467/statm: 2287 267 226 213 0 72 0
[pid=16468] ppid=16467 vsize=48632 CPUtime=1.24 cores=1,3,5,7
/proc/16468/stat : 16468 (glucose) R 16467 16442 16397 0 -1 4202496 10206 0 0 0 122 2 0 0 20 0 1 0 30390252 49799168 10878 33554432000 4194304 5208918 140734349896288 140734349894696 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16468/statm: 12158 10878 95 248 0 11907 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 87572
[startup+3.10032 s]
/proc/loadavg: 1.90 2.16 2.16 3/187 16468
/proc/meminfo: memFree=31251452/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=0.23 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 4411 5939 0 0 12 2 8 1 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16467] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16467/stat : 16467 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30390252 9367552 267 33554432000 4194304 5064252 140733271640128 140733271639040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16467/statm: 2287 267 226 213 0 72 0
[pid=16468] ppid=16467 vsize=48632 CPUtime=2.84 cores=1,3,5,7
/proc/16468/stat : 16468 (glucose) R 16467 16442 16397 0 -1 4202496 10206 0 0 0 282 2 0 0 20 0 1 0 30390252 49799168 10878 33554432000 4194304 5208918 140734349896288 140734349894696 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16468/statm: 12158 10878 95 248 0 11907 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 87572
[startup+6.30032 s]
/proc/loadavg: 1.99 2.17 2.16 3/187 16468
/proc/meminfo: memFree=31250832/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=0.23 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 4411 5939 0 0 12 2 8 1 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16467] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16467/stat : 16467 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30390252 9367552 267 33554432000 4194304 5064252 140733271640128 140733271639040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16467/statm: 2287 267 226 213 0 72 0
[pid=16468] ppid=16467 vsize=53192 CPUtime=6.04 cores=1,3,5,7
/proc/16468/stat : 16468 (glucose) R 16467 16442 16397 0 -1 4202496 10354 0 0 0 602 2 0 0 20 0 1 0 30390252 54468608 11024 33554432000 4194304 5208918 140734349896288 140734349894248 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16468/statm: 13298 11024 95 248 0 13047 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 92132
[startup+12.7003 s]
/proc/loadavg: 1.99 2.17 2.16 3/187 16468
/proc/meminfo: memFree=31246876/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=0.23 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 4411 5939 0 0 12 2 8 1 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16467] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16467/stat : 16467 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30390252 9367552 267 33554432000 4194304 5064252 140733271640128 140733271639040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16467/statm: 2287 267 226 213 0 72 0
[pid=16468] ppid=16467 vsize=53324 CPUtime=12.43 cores=1,3,5,7
/proc/16468/stat : 16468 (glucose) R 16467 16442 16397 0 -1 4202496 10577 0 0 0 1241 2 0 0 20 0 1 0 30390252 54603776 11755 33554432000 4194304 5208918 140734349896288 140734349894136 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16468/statm: 13331 11755 95 248 0 13080 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 92264
[startup+25.5003 s]
/proc/loadavg: 1.99 2.16 2.16 3/187 16468
/proc/meminfo: memFree=31244348/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=0.23 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 4411 5939 0 0 12 2 8 1 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16467] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16467/stat : 16467 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30390252 9367552 267 33554432000 4194304 5064252 140733271640128 140733271639040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16467/statm: 2287 267 226 213 0 72 0
[pid=16468] ppid=16467 vsize=53592 CPUtime=25.23 cores=1,3,5,7
/proc/16468/stat : 16468 (glucose) R 16467 16442 16397 0 -1 4202496 10858 0 0 0 2521 2 0 0 20 0 1 0 30390252 54878208 12033 33554432000 4194304 5208918 140734349896288 140734349894136 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16468/statm: 13398 12033 95 248 0 13147 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 92532
[startup+51.1003 s]
/proc/loadavg: 1.99 2.15 2.16 3/186 16468
/proc/meminfo: memFree=31243824/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=0.23 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 4411 5939 0 0 12 2 8 1 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16467] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16467/stat : 16467 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30390252 9367552 267 33554432000 4194304 5064252 140733271640128 140733271639040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16467/statm: 2287 267 226 213 0 72 0
[pid=16468] ppid=16467 vsize=53724 CPUtime=50.82 cores=1,3,5,7
/proc/16468/stat : 16468 (glucose) R 16467 16442 16397 0 -1 4202496 11714 0 0 0 5080 2 0 0 20 0 1 0 30390252 55013376 12074 33554432000 4194304 5208918 140734349896288 140734349894136 4211670 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16468/statm: 13431 12074 96 248 0 13180 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 92664
[startup+102.3 s]
/proc/loadavg: 1.99 2.12 2.15 3/186 16469
/proc/meminfo: memFree=31222132/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=0.23 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 4411 5939 0 0 12 2 8 1 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16467] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16467/stat : 16467 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30390252 9367552 267 33554432000 4194304 5064252 140733271640128 140733271639040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16467/statm: 2287 267 226 213 0 72 0
[pid=16468] ppid=16467 vsize=72816 CPUtime=102.01 cores=1,3,5,7
/proc/16468/stat : 16468 (glucose) R 16467 16442 16397 0 -1 4202496 13123 0 0 0 10198 3 0 0 20 0 1 0 30390252 74563584 16212 33554432000 4194304 5208918 140734349896288 140734349894232 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16468/statm: 18204 16212 96 248 0 17953 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 111756
[startup+162.3 s]
/proc/loadavg: 2.06 2.11 2.14 3/186 16476
/proc/meminfo: memFree=31212352/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=0.23 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 4411 5939 0 0 12 2 8 1 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16467] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/186 16563
/proc/meminfo: memFree=31207172/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=1102.2 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 10672 64223 0 0 36 5 110130 49 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16544] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16544/stat : 16544 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30500469 9367552 267 33554432000 4194304 5064252 140734775271392 140734775270304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16544/statm: 2287 267 226 213 0 72 0
[pid=16545] ppid=16544 vsize=103172 CPUtime=259.82 cores=1,3,5,7
/proc/16545/stat : 16545 (glucose) R 16544 16442 16397 0 -1 4202496 14436 0 0 0 25977 5 0 0 20 0 1 0 30500469 105648128 20279 33554432000 4194304 5208918 140737261795088 140737261793032 4211668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16545/statm: 25793 20279 96 248 0 25542 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 142112
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/186 16563
/proc/meminfo: memFree=31187000/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=1102.2 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 10672 64223 0 0 36 5 110130 49 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16544] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16544/stat : 16544 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30500469 9367552 267 33554432000 4194304 5064252 140734775271392 140734775270304 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16544/statm: 2287 267 226 213 0 72 0
[pid=16545] ppid=16544 vsize=103172 CPUtime=319.82 cores=1,3,5,7
/proc/16545/stat : 16545 (glucose) R 16544 16442 16397 0 -1 4202496 15022 0 0 0 31976 6 0 0 20 0 1 0 30500469 105648128 24991 33554432000 4194304 5208918 140737261795088 140737261793032 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16545/statm: 25793 24991 96 248 0 25542 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 142112
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.01 3/186 16577
/proc/meminfo: memFree=31245192/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=1464.78 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 12759 84241 0 0 45 6 146360 67 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16576] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16576/stat : 16576 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30536733 9367552 266 33554432000 4194304 5064252 140733330660928 140733330659840 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16576/statm: 2287 266 226 213 0 72 0
[pid=16577] ppid=16576 vsize=53460 CPUtime=17.22 cores=1,3,5,7
/proc/16577/stat : 16577 (glucose) R 16576 16442 16397 0 -1 4202496 11377 0 0 0 1720 2 0 0 20 0 1 0 30536733 54743040 12021 33554432000 4194304 5208918 140735121306016 140735121303864 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16577/statm: 13365 12021 95 248 0 13114 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 92400
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/186 16577
/proc/meminfo: memFree=31240036/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=1464.78 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 12759 84241 0 0 45 6 146360 67 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16576] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16576/stat : 16576 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30536733 9367552 266 33554432000 4194304 5064252 140733330660928 140733330659840 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16576/statm: 2287 266 226 213 0 72 0
[pid=16577] ppid=16576 vsize=54072 CPUtime=77.21 cores=1,3,5,7
/proc/16577/stat : 16577 (glucose) R 16576 16442 16397 0 -1 4202496 13951 0 0 0 7718 3 0 0 20 0 1 0 30536733 55369728 12282 33554432000 4194304 5208918 140735121306016 140735121304104 4211652 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16577/statm: 13518 12282 96 248 0 13267 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 93012
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/186 16577
/proc/meminfo: memFree=31208068/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=1464.78 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 12759 84241 0 0 45 6 146360 67 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16576] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16576/stat : 16576 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30536733 9367552 266 33554432000 4194304 5064252 140733330660928 140733330659840 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16576/statm: 2287 266 226 213 0 72 0
[pid=16577] ppid=16576 vsize=84312 CPUtime=137.2 cores=1,3,5,7
/proc/16577/stat : 16577 (glucose) R 16576 16442 16397 0 -1 4202496 14899 0 0 0 13716 4 0 0 20 0 1 0 30536733 86335488 19869 33554432000 4194304 5208918 140735121306016 140735121303880 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16577/statm: 21078 19869 96 248 0 20827 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 123252
[startup+1662.3 s]
/proc/loadavg: 2.22 2.05 2.02 3/191 16754
/proc/meminfo: memFree=31183608/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=1464.78 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 12759 84241 0 0 45 6 146360 67 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16576] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16576/stat : 16576 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30536733 9367552 266 33554432000 4194304 5064252 140733330660928 140733330659840 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16576/statm: 2287 266 226 213 0 72 0
[pid=16577] ppid=16576 vsize=84312 CPUtime=197.19 cores=1,3,5,7
/proc/16577/stat : 16577 (glucose) R 16576 16442 16397 0 -1 4202496 14941 0 0 0 19715 4 0 0 20 0 1 0 30536733 86335488 20178 33554432000 4194304 5208918 140735121306016 140735121304104 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16577/statm: 21078 20178 96 248 0 20827 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 123252
[startup+1722.3 s]
/proc/loadavg: 2.32 2.12 2.04 3/186 16787
/proc/meminfo: memFree=31168148/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=1464.78 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 12759 84241 0 0 45 6 146360 67 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16576] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16576/stat : 16576 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30536733 9367552 266 33554432000 4194304 5064252 140733330660928 140733330659840 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16576/statm: 2287 266 226 213 0 72 0
[pid=16577] ppid=16576 vsize=103168 CPUtime=257.18 cores=1,3,5,7
/proc/16577/stat : 16577 (glucose) R 16576 16442 16397 0 -1 4202496 14943 0 0 0 25714 4 0 0 20 0 1 0 30536733 105644032 20180 33554432000 4194304 5208918 140735121306016 140735121303960 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16577/statm: 25792 20180 96 248 0 25541 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 142108
[startup+1782.3 s]
/proc/loadavg: 2.11 2.10 2.04 3/185 16797
/proc/meminfo: memFree=31151204/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=1464.78 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 12759 84241 0 0 45 6 146360 67 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16576] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16576/stat : 16576 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30536733 9367552 266 33554432000 4194304 5064252 140733330660928 140733330659840 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16576/statm: 2287 266 226 213 0 72 0
[pid=16577] ppid=16576 vsize=103168 CPUtime=317.18 cores=1,3,5,7
/proc/16577/stat : 16577 (glucose) R 16576 16442 16397 0 -1 4202496 15528 0 0 0 31713 5 0 0 20 0 1 0 30536733 105644032 24848 33554432000 4194304 5208918 140735121306016 140735121303960 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16577/statm: 25792 24848 96 248 0 25541 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 142108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.08 2.09 2.03 3/185 16797
/proc/meminfo: memFree=31151700/32873844 swapFree=7632/7632
[pid=16442] ppid=16440 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16442/stat : 16442 (npSolver-wbo-It) S 16440 16442 16397 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 30390226 9367552 275 33554432000 4194304 5064252 140736620877376 140736620876288 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16442/statm: 2287 275 233 213 0 72 0
[pid=16443] ppid=16442 vsize=20644 CPUtime=1464.78 cores=1,3,5,7
/proc/16443/stat : 16443 (npSolver-wbo) S 16442 16442 16397 0 -1 4202496 12759 84241 0 0 45 6 146360 67 20 0 1 0 30390227 21139456 4548 33554432000 4194304 6006132 140734183206784 140734183198144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/16443/statm: 5161 4548 176 443 0 4714 0
[pid=16576] ppid=16443 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16576/stat : 16576 (satsolver.sh) S 16443 16442 16397 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30536733 9367552 266 33554432000 4194304 5064252 140733330660928 140733330659840 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16576/statm: 2287 266 226 213 0 72 0
[pid=16577] ppid=16576 vsize=103168 CPUtime=335.28 cores=1,3,5,7
/proc/16577/stat : 16577 (glucose) R 16576 16442 16397 0 -1 4202496 15528 0 0 0 33523 5 0 0 20 0 1 0 30536733 105644032 24848 33554432000 4194304 5208918 140735121306016 140735121303960 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16577/statm: 25792 24848 96 248 0 25541 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 142108
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.28
CPU system time (s): 0.806877
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 153608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.806877
maximum resident set size= 103916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113518
page faults= 0
swaps= 0
block input operations= 8
block output operations= 69408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1251
involuntary context switches= 2097
runsolver used 6.31904 second user time and 19.2461 second system time
The end