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-3755319-1339193960/watcher-3755319-1339193960 -o /tmp/evaluation-result-3755319-1339193960/solver-3755319-1339193960 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755319-1339193960.wbo 1114699669 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: 2.06 2.03 2.00 3/179 24569
/proc/meminfo: memFree=30251256/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[startup+0.0837151 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 24569
/proc/meminfo: memFree=30251256/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100311 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 24569
/proc/meminfo: memFree=30251256/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300236 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 24569
/proc/meminfo: memFree=30251256/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700217 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 24569
/proc/meminfo: memFree=30251256/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 24576
/proc/meminfo: memFree=30243084/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=3100 CPUtime=0.17 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 1453 2730 0 0 2 0 15 0 20 0 1 0 385524631 3174400 383 33554432000 4194304 6006132 140733841986912 140733841981104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24570/statm: 775 383 158 443 0 328 0
[pid=24575] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24575/stat : 24575 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385524650 9367552 267 33554432000 4194304 5064252 140735094163488 140735094162400 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24575/statm: 2287 267 226 213 0 72 0
[pid=24576] ppid=24575 vsize=9336 CPUtime=1.3 cores=1,3,5,7
/proc/24576/stat : 24576 (glucose) R 24575 24569 22170 0 -1 4202496 2724 0 0 0 130 0 0 0 20 0 1 0 385524650 9560064 1703 33554432000 4194304 5208918 140733833547728 140733833545672 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24576/statm: 2334 1703 96 248 0 2083 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30732
[startup+3.10033 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 24576
/proc/meminfo: memFree=30236456/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=3100 CPUtime=0.17 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 1453 2730 0 0 2 0 15 0 20 0 1 0 385524631 3174400 383 33554432000 4194304 6006132 140733841986912 140733841981104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24570/statm: 775 383 158 443 0 328 0
[pid=24575] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24575/stat : 24575 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385524650 9367552 267 33554432000 4194304 5064252 140735094163488 140735094162400 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24575/statm: 2287 267 226 213 0 72 0
[pid=24576] ppid=24575 vsize=11580 CPUtime=2.9 cores=1,3,5,7
/proc/24576/stat : 24576 (glucose) R 24575 24569 22170 0 -1 4202496 3691 0 0 0 290 0 0 0 20 0 1 0 385524650 11857920 2477 33554432000 4194304 5208918 140733833547728 140733833545672 4229361 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24576/statm: 2895 2477 96 248 0 2644 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 32976
[startup+6.30033 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 24576
/proc/meminfo: memFree=30224480/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=3100 CPUtime=0.17 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 1453 2730 0 0 2 0 15 0 20 0 1 0 385524631 3174400 383 33554432000 4194304 6006132 140733841986912 140733841981104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24570/statm: 775 383 158 443 0 328 0
[pid=24575] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24575/stat : 24575 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385524650 9367552 267 33554432000 4194304 5064252 140735094163488 140735094162400 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24575/statm: 2287 267 226 213 0 72 0
[pid=24576] ppid=24575 vsize=18652 CPUtime=6.1 cores=1,3,5,7
/proc/24576/stat : 24576 (glucose) R 24575 24569 22170 0 -1 4202496 3927 0 0 0 609 1 0 0 20 0 1 0 385524650 19099648 4246 33554432000 4194304 5208918 140733833547728 140733833545672 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24576/statm: 4663 4246 96 248 0 4412 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 40048
[startup+12.7004 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 24576
/proc/meminfo: memFree=30209232/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=3100 CPUtime=0.17 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 1453 2730 0 0 2 0 15 0 20 0 1 0 385524631 3174400 383 33554432000 4194304 6006132 140733841986912 140733841981104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24570/statm: 775 383 158 443 0 328 0
[pid=24575] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24575/stat : 24575 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385524650 9367552 267 33554432000 4194304 5064252 140735094163488 140735094162400 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24575/statm: 2287 267 226 213 0 72 0
[pid=24576] ppid=24575 vsize=21396 CPUtime=12.5 cores=1,3,5,7
/proc/24576/stat : 24576 (glucose) R 24575 24569 22170 0 -1 4202496 4624 0 0 0 1249 1 0 0 20 0 1 0 385524650 21909504 4915 33554432000 4194304 5208918 140733833547728 140733833545592 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24576/statm: 5349 4915 96 248 0 5098 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 42792
[startup+25.5003 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 24621
/proc/meminfo: memFree=30420284/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=3100 CPUtime=0.17 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 1453 2730 0 0 2 0 15 0 20 0 1 0 385524631 3174400 383 33554432000 4194304 6006132 140733841986912 140733841981104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24570/statm: 775 383 158 443 0 328 0
[pid=24575] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24575/stat : 24575 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385524650 9367552 267 33554432000 4194304 5064252 140735094163488 140735094162400 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24575/statm: 2287 267 226 213 0 72 0
[pid=24576] ppid=24575 vsize=49352 CPUtime=25.29 cores=1,3,5,7
/proc/24576/stat : 24576 (glucose) R 24575 24569 22170 0 -1 4202496 6116 0 0 0 2528 1 0 0 20 0 1 0 385524650 50536448 8076 33554432000 4194304 5208918 140733833547728 140733833545672 4229299 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24576/statm: 12338 8076 96 248 0 12087 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 70748
[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 24638
/proc/meminfo: memFree=30358460/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=11232 CPUtime=35.23 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 2845 11762 0 0 5 3 3513 2 20 0 1 0 385524631 11501568 2126 33554432000 4194304 6006132 140733841986912 140733841978320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24570/statm: 2808 2126 168 443 0 2361 0
[pid=24634] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24634/stat : 24634 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385528157 9367552 266 33554432000 4194304 5064252 140736961597136 140736961596048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24634/statm: 2287 266 226 213 0 72 0
[pid=24635] ppid=24634 vsize=43448 CPUtime=15.82 cores=1,3,5,7
/proc/24635/stat : 24635 (glucose) R 24634 24569 22170 0 -1 4202496 8281 0 0 0 1581 1 0 0 20 0 1 0 385528158 44490752 10294 33554432000 4194304 5208918 140734693469152 140734693467016 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24635/statm: 10862 10294 96 248 0 10611 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 72976
[startup+102.307 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 24702
/proc/meminfo: memFree=30343296/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=11232 CPUtime=35.23 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 2845 11762 0 0 5 3 3513 2 20 0 1 0 385524631 11501568 2126 33554432000 4194304 6006132 140733841986912 140733841978320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24570/statm: 2808 2126 168 443 0 2361 0
[pid=24634] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24634/stat : 24634 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385528157 9367552 266 33554432000 4194304 5064252 140736961597136 140736961596048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24634/statm: 2287 266 226 213 0 72 0
[pid=24635] ppid=24634 vsize=62788 CPUtime=67.02 cores=1,3,5,7
/proc/24635/stat : 24635 (glucose) R 24634 24569 22170 0 -1 4202496 9563 0 0 0 6699 3 0 0 20 0 1 0 385528158 64294912 14542 33554432000 4194304 5208918 140734693469152 140734693467096 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24635/statm: 15697 14542 96 248 0 15446 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 92316
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 24716
/proc/meminfo: memFree=30369608/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=11232 CPUtime=112.69 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 3764 25409 0 0 7 3 11247 12 20 0 1 0 385524631 11501568 2126 33554432000 4194304 6006132 140733841986912 140733841978320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24570/statm: 2808 2126 168 443 0 2361 0
[pid=24708] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/24885/statm: 2287 267 226 213 0 72 0
[pid=24886] ppid=24885 vsize=13912 CPUtime=7 cores=1,3,5,7
/proc/24886/stat : 24886 (glucose) R 24885 24569 22170 0 -1 4202496 4100 0 0 0 700 0 0 0 20 0 1 0 385558159 14245888 3054 33554432000 4194304 5208918 140734925641824 140734925639768 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24886/statm: 3478 3054 96 248 0 3227 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 43440
Solver just ended. Dumping a history of the last processes samples
[startup+358.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24886
/proc/meminfo: memFree=30374784/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=11232 CPUtime=335.17 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 4716 78234 0 0 8 3 33476 30 20 0 1 0 385524631 11501568 2126 33554432000 4194304 6006132 140733841986912 140733841978320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24570/statm: 2808 2126 168 443 0 2361 0
[pid=24885] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24885/stat : 24885 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385558159 9367552 267 33554432000 4194304 5064252 140735831939136 140735831938048 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24885/statm: 2287 267 226 213 0 72 0
[pid=24886] ppid=24885 vsize=20984 CPUtime=22.99 cores=1,3,5,7
/proc/24886/stat : 24886 (glucose) R 24885 24569 22170 0 -1 4202496 4354 0 0 0 2299 0 0 0 20 0 1 0 385558159 21487616 4836 33554432000 4194304 5208918 140734925641824 140734925639768 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24886/statm: 5246 4836 102 248 0 4995 0
Current children cumulated CPU time (s) 358.16
Current children cumulated vsize (KiB) 50512
[startup+371.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24893
/proc/meminfo: memFree=30380872/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=11232 CPUtime=366.91 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 4767 86024 0 0 8 3 36648 32 20 0 1 0 385524631 11501568 2126 33554432000 4194304 6006132 140733841986912 140733841978320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24570/statm: 2808 2126 168 443 0 2361 0
[pid=24892] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24892/stat : 24892 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385561334 9367552 267 33554432000 4194304 5064252 140736051597984 140736051596896 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24892/statm: 2287 267 226 213 0 72 0
[pid=24893] ppid=24892 vsize=13940 CPUtime=4.05 cores=1,3,5,7
/proc/24893/stat : 24893 (glucose) R 24892 24569 22170 0 -1 4202496 3715 0 0 0 405 0 0 0 20 0 1 0 385561335 14274560 2813 33554432000 4194304 5208918 140735637516144 140735637514008 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24893/statm: 3485 2813 96 248 0 3234 0
Current children cumulated CPU time (s) 370.96
Current children cumulated vsize (KiB) 43468
[startup+377.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24893
/proc/meminfo: memFree=30372380/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=11232 CPUtime=366.91 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 4767 86024 0 0 8 3 36648 32 20 0 1 0 385524631 11501568 2126 33554432000 4194304 6006132 140733841986912 140733841978320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24570/statm: 2808 2126 168 443 0 2361 0
[pid=24892] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24892/stat : 24892 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385561334 9367552 267 33554432000 4194304 5064252 140736051597984 140736051596896 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24892/statm: 2287 267 226 213 0 72 0
[pid=24893] ppid=24892 vsize=21012 CPUtime=10.45 cores=1,3,5,7
/proc/24893/stat : 24893 (glucose) R 24892 24569 22170 0 -1 4202496 4206 0 0 0 1045 0 0 0 20 0 1 0 385561335 21516288 4778 33554432000 4194304 5208918 140735637516144 140735637514088 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24893/statm: 5253 4778 96 248 0 5002 0
Current children cumulated CPU time (s) 377.36
Current children cumulated vsize (KiB) 50540
[startup+380.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24893
/proc/meminfo: memFree=30371760/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=11232 CPUtime=366.91 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 4767 86024 0 0 8 3 36648 32 20 0 1 0 385524631 11501568 2126 33554432000 4194304 6006132 140733841986912 140733841978320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24570/statm: 2808 2126 168 443 0 2361 0
[pid=24892] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24892/stat : 24892 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385561334 9367552 267 33554432000 4194304 5064252 140736051597984 140736051596896 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24892/statm: 2287 267 226 213 0 72 0
[pid=24893] ppid=24892 vsize=21012 CPUtime=13.65 cores=1,3,5,7
/proc/24893/stat : 24893 (glucose) R 24892 24569 22170 0 -1 4202496 4261 0 0 0 1365 0 0 0 20 0 1 0 385561335 21516288 4832 33554432000 4194304 5208918 140735637516144 140735637514088 4205203 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24893/statm: 5253 4832 96 248 0 5002 0
Current children cumulated CPU time (s) 380.56
Current children cumulated vsize (KiB) 50540
[startup+383.907 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24893
/proc/meminfo: memFree=30371884/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=11232 CPUtime=366.91 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 4767 86024 0 0 8 3 36648 32 20 0 1 0 385524631 11501568 2126 33554432000 4194304 6006132 140733841986912 140733841978320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24570/statm: 2808 2126 168 443 0 2361 0
[pid=24892] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24892/stat : 24892 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385561334 9367552 267 33554432000 4194304 5064252 140736051597984 140736051596896 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24892/statm: 2287 267 226 213 0 72 0
[pid=24893] ppid=24892 vsize=21012 CPUtime=16.86 cores=1,3,5,7
/proc/24893/stat : 24893 (glucose) R 24892 24569 22170 0 -1 4202496 4261 0 0 0 1686 0 0 0 20 0 1 0 385561335 21516288 4832 33554432000 4194304 5208918 140735637516144 140735637514088 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24893/statm: 5253 4832 96 248 0 5002 0
Current children cumulated CPU time (s) 383.77
Current children cumulated vsize (KiB) 50540
[startup+385.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24893
/proc/meminfo: memFree=30371760/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=11232 CPUtime=366.91 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 4767 86024 0 0 8 3 36648 32 20 0 1 0 385524631 11501568 2126 33554432000 4194304 6006132 140733841986912 140733841978320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24570/statm: 2808 2126 168 443 0 2361 0
[pid=24892] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24892/stat : 24892 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385561334 9367552 267 33554432000 4194304 5064252 140736051597984 140736051596896 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24892/statm: 2287 267 226 213 0 72 0
[pid=24893] ppid=24892 vsize=21012 CPUtime=18.45 cores=1,3,5,7
/proc/24893/stat : 24893 (glucose) R 24892 24569 22170 0 -1 4202496 4261 0 0 0 1845 0 0 0 20 0 1 0 385561335 21516288 4832 33554432000 4194304 5208918 140735637516144 140735637514088 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24893/statm: 5253 4832 96 248 0 5002 0
Current children cumulated CPU time (s) 385.36
Current children cumulated vsize (KiB) 50540
[startup+385.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24893
/proc/meminfo: memFree=30371760/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=11232 CPUtime=366.91 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 4767 86024 0 0 8 3 36648 32 20 0 1 0 385524631 11501568 2126 33554432000 4194304 6006132 140733841986912 140733841978320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24570/statm: 2808 2126 168 443 0 2361 0
[pid=24892] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24892/stat : 24892 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385561334 9367552 267 33554432000 4194304 5064252 140736051597984 140736051596896 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24892/statm: 2287 267 226 213 0 72 0
[pid=24893] ppid=24892 vsize=21012 CPUtime=18.85 cores=1,3,5,7
/proc/24893/stat : 24893 (glucose) R 24892 24569 22170 0 -1 4202496 4261 0 0 0 1885 0 0 0 20 0 1 0 385561335 21516288 4832 33554432000 4194304 5208918 140735637516144 140735637514088 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24893/statm: 5253 4832 96 248 0 5002 0
Current children cumulated CPU time (s) 385.76
Current children cumulated vsize (KiB) 50540
[startup+386.107 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24893
/proc/meminfo: memFree=30371636/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=11232 CPUtime=366.91 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 4767 86024 0 0 8 3 36648 32 20 0 1 0 385524631 11501568 2126 33554432000 4194304 6006132 140733841986912 140733841978320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24570/statm: 2808 2126 168 443 0 2361 0
[pid=24892] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24892/stat : 24892 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385561334 9367552 267 33554432000 4194304 5064252 140736051597984 140736051596896 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24892/statm: 2287 267 226 213 0 72 0
[pid=24893] ppid=24892 vsize=21012 CPUtime=19.06 cores=1,3,5,7
/proc/24893/stat : 24893 (glucose) R 24892 24569 22170 0 -1 4202496 4267 0 0 0 1906 0 0 0 20 0 1 0 385561335 21516288 4838 33554432000 4194304 5208918 140735637516144 140735637514088 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24893/statm: 5253 4838 102 248 0 5002 0
Current children cumulated CPU time (s) 385.97
Current children cumulated vsize (KiB) 50540
[startup+386.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24893
/proc/meminfo: memFree=30371636/32873844 swapFree=7636/7636
[pid=24569] ppid=24567 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24569/stat : 24569 (npSolver-wbo.sh) S 24567 24569 22170 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385524631 9367552 275 33554432000 4194304 5064252 140737204533888 140737204532800 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24569/statm: 2287 275 233 213 0 72 0
[pid=24570] ppid=24569 vsize=11232 CPUtime=366.91 cores=1,3,5,7
/proc/24570/stat : 24570 (npSolver-wbo) S 24569 24569 22170 0 -1 4202496 4767 86024 0 0 8 3 36648 32 20 0 1 0 385524631 11501568 2126 33554432000 4194304 6006132 140733841986912 140733841978320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24570/statm: 2808 2126 168 443 0 2361 0
[pid=24892] ppid=24570 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24892/stat : 24892 (satsolver.sh) S 24570 24569 22170 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385561334 9367552 267 33554432000 4194304 5064252 140736051597984 140736051596896 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24892/statm: 2287 267 226 213 0 72 0
[pid=24893] ppid=24892 vsize=21012 CPUtime=19.15 cores=1,3,5,7
/proc/24893/stat : 24893 (glucose) R 24892 24569 22170 0 -1 4202496 4267 0 0 0 1915 0 0 0 20 0 1 0 385561335 21516288 4838 33554432000 4194304 5208918 140735637516144 140735637514088 4211670 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24893/statm: 5253 4838 102 248 0 5002 0
Current children cumulated CPU time (s) 386.06
Current children cumulated vsize (KiB) 50540
Child status: 0
Real time (s): 386.294
CPU time (s): 386.183
CPU user time (s): 385.806
CPU system time (s): 0.376942
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 92316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 385.806
system time used= 0.376942
maximum resident set size= 58436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99364
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 397
involuntary context switches= 505
runsolver used 0.811876 second user time and 2.25566 second system time
The end