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-3714940-1338186498/watcher-3714940-1338186498 -o /tmp/evaluation-result-3714940-1338186498/solver-3714940-1338186498 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714940-1338186498.wbo 492084771 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.92 1.97 1.99 3/179 4407
/proc/meminfo: memFree=30868916/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[startup+0.0906279 s]
/proc/loadavg: 1.92 1.97 1.99 3/179 4407
/proc/meminfo: memFree=30868916/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100326 s]
/proc/loadavg: 1.92 1.97 1.99 3/179 4407
/proc/meminfo: memFree=30868916/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300229 s]
/proc/loadavg: 1.92 1.97 1.99 3/179 4407
/proc/meminfo: memFree=30868916/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700229 s]
/proc/loadavg: 1.92 1.97 1.99 3/179 4407
/proc/meminfo: memFree=30868916/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 1.92 1.97 1.99 3/183 4414
/proc/meminfo: memFree=30860868/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=5964 CPUtime=1.34 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 2564 8996 0 0 7 3 121 3 20 0 1 0 284778338 6107136 947 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4408/statm: 1491 947 160 439 0 1048 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 15112
[startup+3.10035 s]
/proc/loadavg: 1.92 1.97 1.99 3/183 4424
/proc/meminfo: memFree=30853672/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=7992 CPUtime=2.89 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 4656 24132 0 0 12 3 261 13 20 0 1 0 284778338 8183808 1403 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4408/statm: 1998 1403 160 439 0 1555 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 17140
[startup+6.30027 s]
/proc/loadavg: 1.92 1.97 1.99 3/183 4456
/proc/meminfo: memFree=30844248/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=7952 CPUtime=5.94 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 8610 54476 0 0 20 5 535 34 20 0 1 0 284778338 8142848 1317 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4408/statm: 1988 1317 160 439 0 1545 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 17100
[startup+12.7003 s]
/proc/loadavg: 1.93 1.97 1.99 3/183 4519
/proc/meminfo: memFree=30903644/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=5876 CPUtime=12.4 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 14919 116131 0 0 33 8 1132 67 20 0 1 0 284778338 6017024 991 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4408/statm: 1469 991 160 439 0 1026 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 15024
[startup+25.5004 s]
/proc/loadavg: 1.94 1.97 1.99 3/183 4638
/proc/meminfo: memFree=30866764/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=5876 CPUtime=25.28 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 23937 219144 0 0 50 10 2349 119 20 0 1 0 284778338 6017024 991 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4408/statm: 1469 991 160 439 0 1026 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 15024
[startup+51.1004 s]
/proc/loadavg: 1.96 1.97 1.99 3/183 4715
/proc/meminfo: memFree=30853420/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=5876 CPUtime=49.5 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 27275 283930 0 0 56 11 4738 145 20 0 1 0 284778338 6017024 991 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4408/statm: 1469 991 160 439 0 1026 0
[pid=4714] ppid=4408 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4714/stat : 4714 (satsolver.sh) S 4408 4407 27229 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284783292 9367552 267 33554432000 4194304 5064252 140736464904544 140736464903456 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4714/statm: 2287 267 226 213 0 72 0
[pid=4715] ppid=4714 vsize=12508 CPUtime=1.55 cores=1,3,5,7
/proc/4715/stat : 4715 (glucose) R 4714 4407 27229 0 -1 4202496 3132 0 0 0 155 0 0 0 20 0 1 0 284783292 12808192 2704 33554432000 4194304 5208918 140734132129152 140734132127016 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4715/statm: 3127 2704 104 248 0 2876 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 36680
[startup+102.307 s]
/proc/loadavg: 2.06 1.99 1.99 3/183 4771
/proc/meminfo: memFree=30856484/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=5876 CPUtime=101.75 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 29088 346125 0 0 59 12 9941 163 20 0 1 0 284778338 6017024 991 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4408/statm: 1469 991 160 439 0 1026 0
[pid=4770] ppid=4408 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4770/stat : 4770 (satsolver.sh) S 4408 4407 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284788519 9367552 267 33554432000 4194304 5064252 140733203530240 140733203529152 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4770/statm: 2287 267 226 213 0 72 0
[pid=4771] ppid=4770 vsize=7452 CPUtime=0.48 cores=1,3,5,7
/proc/4771/stat : 4771 (glucose) R 4770 4407 27229 0 -1 4202496 1621 0 0 0 48 0 0 0 20 0 1 0 284788519 7630848 1380 33554432000 4194304 5208918 140734784028816 140734784026776 4211901 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4771/statm: 1863 1380 104 248 0 1612 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 31624
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 2.04 1.99 1.99 3/184 4795
/proc/meminfo: memFree=30866904/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=5876 CPUtime=124.53 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 29639 368220 0 0 59 12 12213 169 20 0 1 0 284778338 6017024 991 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4408/statm: 1469 991 160 439 0 1026 0
[pid=4794] ppid=4408 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4794/stat : 4794 (satsolver.sh) S 4408 4407 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284790798 9367552 267 33554432000 4194304 5064252 140735813295616 140735813294528 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4794/statm: 2287 267 226 213 0 72 0
[pid=4795] ppid=4794 vsize=11296 CPUtime=3.29 cores=1,3,5,7
/proc/4795/stat : 4795 (glucose) R 4794 4407 27229 0 -1 4202496 3086 0 0 0 329 0 0 0 20 0 1 0 284790798 11567104 2485 33554432000 4194304 5208918 140734349274656 140734349272520 4229699 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4795/statm: 2824 2485 105 248 0 2573 0
Current children cumulated CPU time (s) 127.82
Current children cumulated vsize (KiB) 35468
[startup+140.7 s]
/proc/loadavg: 2.03 1.99 1.99 3/184 4809
/proc/meminfo: memFree=30856480/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=5876 CPUtime=133.82 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 29977 382063 0 0 60 12 13137 173 20 0 1 0 284778338 6017024 991 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4408/statm: 1469 991 160 439 0 1026 0
[pid=4808] ppid=4408 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4808/stat : 4808 (satsolver.sh) S 4408 4407 27229 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284791727 9367552 266 33554432000 4194304 5064252 140735801983376 140735801982288 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4808/statm: 2287 266 226 213 0 72 0
[pid=4809] ppid=4808 vsize=13876 CPUtime=6.81 cores=1,3,5,7
/proc/4809/stat : 4809 (glucose) R 4808 4407 27229 0 -1 4202496 4030 0 0 0 680 1 0 0 20 0 1 0 284791727 14209024 3108 33554432000 4194304 5208918 140737289423584 140737289421448 4229517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4809/statm: 3469 3108 104 248 0 3218 0
Current children cumulated CPU time (s) 140.63
Current children cumulated vsize (KiB) 38048
[startup+147.1 s]
/proc/loadavg: 2.03 1.99 1.99 3/184 4816
/proc/meminfo: memFree=30854432/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=5876 CPUtime=142.07 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 30134 389873 0 0 60 13 13959 175 20 0 1 0 284778338 6017024 991 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4408/statm: 1469 991 160 439 0 1026 0
[pid=4815] ppid=4408 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4815/stat : 4815 (satsolver.sh) S 4408 4407 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284792551 9367552 267 33554432000 4194304 5064252 140736620041280 140736620040192 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4815/statm: 2287 267 226 213 0 72 0
[pid=4816] ppid=4815 vsize=11328 CPUtime=4.96 cores=1,3,5,7
/proc/4816/stat : 4816 (glucose) R 4815 4407 27229 0 -1 4202496 3397 0 0 0 496 0 0 0 20 0 1 0 284792551 11599872 2467 33554432000 4194304 5208918 140733810708720 140733810706584 4229296 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4816/statm: 2832 2467 105 248 0 2581 0
Current children cumulated CPU time (s) 147.03
Current children cumulated vsize (KiB) 35500
[startup+148.7 s]
/proc/loadavg: 2.03 1.99 1.99 3/184 4816
/proc/meminfo: memFree=30850772/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=5876 CPUtime=142.07 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 30134 389873 0 0 60 13 13959 175 20 0 1 0 284778338 6017024 991 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4408/statm: 1469 991 160 439 0 1026 0
[pid=4815] ppid=4408 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4815/stat : 4815 (satsolver.sh) S 4408 4407 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284792551 9367552 267 33554432000 4194304 5064252 140736620041280 140736620040192 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4815/statm: 2287 267 226 213 0 72 0
[pid=4816] ppid=4815 vsize=13000 CPUtime=6.56 cores=1,3,5,7
/proc/4816/stat : 4816 (glucose) R 4815 4407 27229 0 -1 4202496 3835 0 0 0 656 0 0 0 20 0 1 0 284792551 13312000 2879 33554432000 4194304 5208918 140733810708720 140733810706584 4229776 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4816/statm: 3250 2879 105 248 0 2999 0
Current children cumulated CPU time (s) 148.63
Current children cumulated vsize (KiB) 37172
[startup+149.5 s]
/proc/loadavg: 2.03 1.99 1.99 3/184 4816
/proc/meminfo: memFree=30850772/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=5876 CPUtime=142.07 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 30134 389873 0 0 60 13 13959 175 20 0 1 0 284778338 6017024 991 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4408/statm: 1469 991 160 439 0 1026 0
[pid=4815] ppid=4408 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4815/stat : 4815 (satsolver.sh) S 4408 4407 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284792551 9367552 267 33554432000 4194304 5064252 140736620041280 140736620040192 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4815/statm: 2287 267 226 213 0 72 0
[pid=4816] ppid=4815 vsize=13000 CPUtime=7.36 cores=1,3,5,7
/proc/4816/stat : 4816 (glucose) R 4815 4407 27229 0 -1 4202496 3835 0 0 0 736 0 0 0 20 0 1 0 284792551 13312000 2879 33554432000 4194304 5208918 140733810708720 140733810706584 4229512 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4816/statm: 3250 2879 105 248 0 2999 0
Current children cumulated CPU time (s) 149.43
Current children cumulated vsize (KiB) 37172
[startup+150.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/184 4816
/proc/meminfo: memFree=30850772/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=5876 CPUtime=142.07 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 30134 389873 0 0 60 13 13959 175 20 0 1 0 284778338 6017024 991 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4408/statm: 1469 991 160 439 0 1026 0
[pid=4815] ppid=4408 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4815/stat : 4815 (satsolver.sh) S 4408 4407 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284792551 9367552 267 33554432000 4194304 5064252 140736620041280 140736620040192 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4815/statm: 2287 267 226 213 0 72 0
[pid=4816] ppid=4815 vsize=14236 CPUtime=8.16 cores=1,3,5,7
/proc/4816/stat : 4816 (glucose) R 4815 4407 27229 0 -1 4202496 4108 0 0 0 816 0 0 0 20 0 1 0 284792551 14577664 3134 33554432000 4194304 5208918 140733810708720 140733810706584 4229155 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4816/statm: 3559 3134 105 248 0 3308 0
Current children cumulated CPU time (s) 150.23
Current children cumulated vsize (KiB) 38408
[startup+150.707 s]
/proc/loadavg: 2.03 1.99 1.99 3/184 4816
/proc/meminfo: memFree=30849656/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=5876 CPUtime=142.07 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 30134 389873 0 0 60 13 13959 175 20 0 1 0 284778338 6017024 991 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4408/statm: 1469 991 160 439 0 1026 0
[pid=4815] ppid=4408 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4815/stat : 4815 (satsolver.sh) S 4408 4407 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284792551 9367552 267 33554432000 4194304 5064252 140736620041280 140736620040192 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4815/statm: 2287 267 226 213 0 72 0
[pid=4816] ppid=4815 vsize=14236 CPUtime=8.56 cores=1,3,5,7
/proc/4816/stat : 4816 (glucose) R 4815 4407 27229 0 -1 4202496 4165 0 0 0 856 0 0 0 20 0 1 0 284792551 14577664 3188 33554432000 4194304 5208918 140733810708720 140733810706584 4229894 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4816/statm: 3559 3188 105 248 0 3308 0
Current children cumulated CPU time (s) 150.63
Current children cumulated vsize (KiB) 38408
[startup+150.8 s]
/proc/loadavg: 2.03 1.99 1.99 3/184 4816
/proc/meminfo: memFree=30849656/32873844 swapFree=6872/6872
[pid=4407] ppid=4405 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4407/stat : 4407 (npSolver-wbo-It) S 4405 4407 27229 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284778338 9367552 275 33554432000 4194304 5064252 140734098293296 140734098292208 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4407/statm: 2287 275 233 213 0 72 0
[pid=4408] ppid=4407 vsize=5876 CPUtime=142.07 cores=1,3,5,7
/proc/4408/stat : 4408 (npSolver-wbo) S 4407 4407 27229 0 -1 4202496 30134 389873 0 0 60 13 13959 175 20 0 1 0 284778338 6017024 991 33554432000 4194304 5990268 140733261950448 140733261941872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4408/statm: 1469 991 160 439 0 1026 0
[pid=4815] ppid=4408 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4815/stat : 4815 (satsolver.sh) S 4408 4407 27229 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284792551 9367552 267 33554432000 4194304 5064252 140736620041280 140736620040192 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4815/statm: 2287 267 226 213 0 72 0
[pid=4816] ppid=4815 vsize=14236 CPUtime=8.66 cores=1,3,5,7
/proc/4816/stat : 4816 (glucose) R 4815 4407 27229 0 -1 4202496 4165 0 0 0 866 0 0 0 20 0 1 0 284792551 14577664 3188 33554432000 4194304 5208918 140733810708720 140733810706584 4229692 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4816/statm: 3559 3188 105 248 0 3308 0
Current children cumulated CPU time (s) 150.73
Current children cumulated vsize (KiB) 38408
Child status: 0
Real time (s): 150.829
CPU time (s): 150.786
CPU user time (s): 148.876
CPU system time (s): 1.90971
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 45920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 148.876
system time used= 1.90971
maximum resident set size= 17916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 428746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 151752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2261
involuntary context switches= 955
runsolver used 0.279957 second user time and 0.936857 second system time
The end