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-3752610-1339209850/watcher-3752610-1339209850 -o /tmp/evaluation-result-3752610-1339209850/solver-3752610-1339209850 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752610-1339209850.wbo 527579456 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.85 1.97 1.99 3/177 2456
/proc/meminfo: memFree=29887780/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[startup+0.06676 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 2456
/proc/meminfo: memFree=29887780/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100227 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 2456
/proc/meminfo: memFree=29887780/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300142 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 2456
/proc/meminfo: memFree=29887780/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70012 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 2456
/proc/meminfo: memFree=29887780/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 1.85 1.97 1.99 3/183 2580
/proc/meminfo: memFree=29856476/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1.47 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) R 2456 2456 2126 0 -1 4202496 8473 14833 0 0 28 10 106 3 20 0 1 0 387110960 35422208 6901 33554432000 4194304 6006132 140734722763040 140734722756144 4583817 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2457/statm: 8648 6901 176 443 0 8201 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 43740
[startup+3.10029 s]
/proc/loadavg: 1.85 1.97 1.99 3/183 2716
/proc/meminfo: memFree=29812768/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1.48 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 8475 14833 0 0 29 10 106 3 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=2649] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2649/stat : 2649 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387111111 9367552 267 33554432000 4194304 5064252 140736827214368 140736827213280 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2649/statm: 2287 267 226 213 0 72 0
[pid=2650] ppid=2649 vsize=52296 CPUtime=1.57 cores=1,3,5,7
/proc/2650/stat : 2650 (glucose) R 2649 2456 2126 0 -1 4202496 10734 0 0 0 156 1 0 0 20 0 1 0 387111112 53551104 11851 33554432000 4194304 5208918 140733478363168 140733478360840 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2650/statm: 13074 11851 95 248 0 12823 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 105184
[startup+6.30021 s]
/proc/loadavg: 1.86 1.97 1.99 3/183 3073
/proc/meminfo: memFree=29811860/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1.48 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 8475 14833 0 0 29 10 106 3 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=2649] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2649/stat : 2649 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387111111 9367552 267 33554432000 4194304 5064252 140736827214368 140736827213280 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2649/statm: 2287 267 226 213 0 72 0
[pid=2650] ppid=2649 vsize=52296 CPUtime=4.77 cores=1,3,5,7
/proc/2650/stat : 2650 (glucose) R 2649 2456 2126 0 -1 4202496 10734 0 0 0 476 1 0 0 20 0 1 0 387111112 53551104 11851 33554432000 4194304 5208918 140733478363168 140733478360840 4211888 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2650/statm: 13074 11851 95 248 0 12823 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 105184
[startup+12.7002 s]
/proc/loadavg: 1.87 1.97 1.99 3/183 3826
/proc/meminfo: memFree=29813684/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1.48 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 8475 14833 0 0 29 10 106 3 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=2649] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2649/stat : 2649 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387111111 9367552 267 33554432000 4194304 5064252 140736827214368 140736827213280 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2649/statm: 2287 267 226 213 0 72 0
[pid=2650] ppid=2649 vsize=52296 CPUtime=11.16 cores=1,3,5,7
/proc/2650/stat : 2650 (glucose) R 2649 2456 2126 0 -1 4202496 10735 0 0 0 1115 1 0 0 20 0 1 0 387111112 53551104 11852 33554432000 4194304 5208918 140733478363168 140733478360840 4211632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2650/statm: 13074 11852 95 248 0 12823 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 105184
[startup+25.5002 s]
/proc/loadavg: 1.90 1.97 1.99 3/183 5338
/proc/meminfo: memFree=29809672/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1.48 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 8475 14833 0 0 29 10 106 3 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=2649] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2649/stat : 2649 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387111111 9367552 267 33554432000 4194304 5064252 140736827214368 140736827213280 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2649/statm: 2287 267 226 213 0 72 0
[pid=2650] ppid=2649 vsize=52296 CPUtime=23.96 cores=1,3,5,7
/proc/2650/stat : 2650 (glucose) R 2649 2456 2126 0 -1 4202496 10736 0 0 0 2395 1 0 0 20 0 1 0 387111112 53551104 11853 33554432000 4194304 5208918 140733478363168 140733478360840 4211744 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2650/statm: 13074 11853 95 248 0 12823 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 105184
[startup+51.1003 s]
/proc/loadavg: 1.72 1.92 1.97 3/181 8199
/proc/meminfo: memFree=29813888/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1.48 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 8475 14833 0 0 29 10 106 3 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=2649] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2649/stat : 2649 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387111111 9367552 267 33554432000 4194304 5064252 140736827214368 140736827213280 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2649/statm: 2287 267 226 213 0 72 0
[pid=2650] ppid=2649 vsize=52296 CPUtime=49.56 cores=1,3,5,7
/proc/2650/stat : 2650 (glucose) R 2649 2456 2126 0 -1 4202496 10742 0 0 0 4955 1 0 0 20 0 1 0 387111112 53551104 11857 33554432000 4194304 5208918 140733478363168 140733478360840 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2650/statm: 13074 11857 95 248 0 12823 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 105184
[startup+102.306 s]
/proc/loadavg: 1.51 1.83 1.94 3/183 14208
/proc/meminfo: memFree=29810548/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=97.99 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 11443 31212 0 0 37 11 9736 15 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=13741] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13741/stat : 13741 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387120763 9367552 266 33554432000 4194304 5064252 140735573847216 140735573846128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13741/statm: 2287 266 226 213 0 72 0
[pid=13742] ppid=13741 vsize=52296 CPUtime=4.25 cores=1,3,5,7
/proc/13742/stat : 13742 (glucose) R 13741 2456 2126 0 -1 4202496 11634 0 0 0 423 2 0 0 20 0 1 0 387120763 53551104 11673 33554432000 4194304 5208918 140735889637680 140735889635352 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13742/statm: 13074 11673 95 248 0 12823 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 105184
[startup+162.3 s]
/proc/loadavg: 1.45 1.76 1.90 3/183 21103
/proc/meminfo: memFree=29807936/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=97.99 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 11443 31212 0 0 37 11 9736 15 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=13741] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13741/stat : 13741 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387120763 9367552 266 33554432000 4194304 5064252 140735573847216 140735573846128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13741/statm: 2287 266 226 213 0 72 0
[pid=13742] ppid=13741 vsize=52296 CPUtime=64.23 cores=1,3,5,7
/proc/13742/stat : 13742 (glucose) R 13741 2456 2126 0 -1 4202496 11800 0 0 0 6421 2 0 0 20 0 1 0 387120763 53551104 11836 33554432000 4194304 5208918 140735889637680 140735889635352 4211537 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13742/statm: 13074 11836 95 248 0 12823 0
Current children cumulated CPU time (s) 162.22
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 1.43 1.53 1.65 3/181 30133
/proc/meminfo: memFree=29802516/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1351.78 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 50027 255174 0 0 148 26 134818 186 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=29014] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29014/stat : 29014 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 387246165 9367552 266 33554432000 4194304 5064252 140735541079216 140735541078128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29014/statm: 2287 266 226 213 0 72 0
[pid=29015] ppid=29014 vsize=52300 CPUtime=10.23 cores=1,3,5,7
/proc/29015/stat : 29015 (glucose) R 29014 2456 2126 0 -1 4202496 11142 0 0 0 1021 2 0 0 20 0 1 0 387246165 53555200 11749 33554432000 4194304 5208918 140736198327312 140736198324984 4211871 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29015/statm: 13075 11749 95 248 0 12824 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 105188
[startup+1422.31 s]
/proc/loadavg: 1.41 1.50 1.63 3/181 4610
/proc/meminfo: memFree=29801560/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1351.78 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 50027 255174 0 0 148 26 134818 186 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=29014] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29014/stat : 29014 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 387246165 9367552 266 33554432000 4194304 5064252 140735541079216 140735541078128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29014/statm: 2287 266 226 213 0 72 0
[pid=29015] ppid=29014 vsize=52300 CPUtime=70.23 cores=1,3,5,7
/proc/29015/stat : 29015 (glucose) R 29014 2456 2126 0 -1 4202496 11250 0 0 0 7021 2 0 0 20 0 1 0 387246165 53555200 11867 33554432000 4194304 5208918 140736198327312 140736198324984 4211744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29015/statm: 13075 11867 95 248 0 12824 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 105188
[startup+1482.3 s]
/proc/loadavg: 1.53 1.51 1.63 3/181 11240
/proc/meminfo: memFree=29801480/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1447.86 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 52995 272027 0 0 156 27 144403 200 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=7548] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7548/stat : 7548 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387255776 9367552 266 33554432000 4194304 5064252 140733348507616 140733348506528 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7548/statm: 2287 266 226 213 0 72 0
[pid=7549] ppid=7548 vsize=52296 CPUtime=34.11 cores=1,3,5,7
/proc/7549/stat : 7549 (glucose) R 7548 2456 2126 0 -1 4202496 11724 0 0 0 3410 1 0 0 20 0 1 0 387255776 53551104 11777 33554432000 4194304 5208918 140734109989520 140734109987192 4211584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7549/statm: 13074 11777 95 248 0 12823 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 105184
[startup+1542.3 s]
/proc/loadavg: 1.51 1.51 1.62 3/183 18228
/proc/meminfo: memFree=29797452/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1447.86 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 52995 272027 0 0 156 27 144403 200 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=7548] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7548/stat : 7548 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387255776 9367552 266 33554432000 4194304 5064252 140733348507616 140733348506528 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7548/statm: 2287 266 226 213 0 72 0
[pid=7549] ppid=7548 vsize=56716 CPUtime=94.1 cores=1,3,5,7
/proc/7549/stat : 7549 (glucose) R 7548 2456 2126 0 -1 4202496 11889 0 0 0 9409 1 0 0 20 0 1 0 387255776 58077184 11939 33554432000 4194304 5208918 140734109989520 140734109987672 4211584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7549/statm: 14179 11939 95 248 0 13928 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 109604
[startup+1602.3 s]
/proc/loadavg: 1.68 1.55 1.63 3/184 25166
/proc/meminfo: memFree=29797884/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1544.03 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 55963 289456 0 0 165 29 153996 213 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=18496] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18496/stat : 18496 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387265394 9367552 267 33554432000 4194304 5064252 140735007132016 140735007130928 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18496/statm: 2287 267 226 213 0 72 0
[pid=18497] ppid=18496 vsize=52304 CPUtime=57.94 cores=1,3,5,7
/proc/18497/stat : 18497 (glucose) R 18496 2456 2126 0 -1 4202496 11771 0 0 0 5792 2 0 0 20 0 1 0 387265394 53559296 11820 33554432000 4194304 5208918 140737446069344 140737446067016 4211732 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18497/statm: 13076 11820 95 248 0 12825 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 105192
[startup+1662.3 s]
/proc/loadavg: 1.52 1.54 1.62 3/182 32021
/proc/meminfo: memFree=29801540/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1640.29 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 58931 307387 0 0 173 30 163599 227 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=29638] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29638/stat : 29638 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387275021 9367552 267 33554432000 4194304 5064252 140736453711824 140736453710736 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29638/statm: 2287 267 226 213 0 72 0
[pid=29639] ppid=29638 vsize=52300 CPUtime=21.67 cores=1,3,5,7
/proc/29639/stat : 29639 (glucose) R 29638 2456 2126 0 -1 4202496 11110 0 0 0 2164 3 0 0 20 0 1 0 387275022 53555200 11723 33554432000 4194304 5208918 140736010471232 140736010468904 4211674 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29639/statm: 13075 11723 95 248 0 12824 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 105188
[startup+1722.3 s]
/proc/loadavg: 1.52 1.52 1.61 3/183 6343
/proc/meminfo: memFree=29795796/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1640.29 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 58931 307387 0 0 173 30 163599 227 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=29638] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29638/stat : 29638 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387275021 9367552 267 33554432000 4194304 5064252 140736453711824 140736453710736 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29638/statm: 2287 267 226 213 0 72 0
[pid=29639] ppid=29638 vsize=52300 CPUtime=81.66 cores=1,3,5,7
/proc/29639/stat : 29639 (glucose) R 29638 2456 2126 0 -1 4202496 11272 0 0 0 8163 3 0 0 20 0 1 0 387275022 53555200 11883 33554432000 4194304 5208918 140736010471232 140736010468904 4211656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29639/statm: 13075 11883 95 248 0 12824 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 105188
[startup+1782.3 s]
/proc/loadavg: 1.59 1.53 1.60 3/182 13220
/proc/meminfo: memFree=29799308/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1736.34 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 61899 324237 0 0 182 30 173180 242 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=8050] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8050/stat : 8050 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387284629 9367552 267 33554432000 4194304 5064252 140735232881968 140735232880880 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8050/statm: 2287 267 226 213 0 72 0
[pid=8051] ppid=8050 vsize=52304 CPUtime=45.58 cores=1,3,5,7
/proc/8051/stat : 8051 (glucose) R 8050 2456 2126 0 -1 4202496 11751 0 0 0 4557 1 0 0 20 0 1 0 387284629 53559296 11832 33554432000 4194304 5208918 140733746803936 140733746801608 4211897 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8051/statm: 13076 11832 95 248 0 12825 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 105192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.58 1.53 1.60 3/183 15359
/proc/meminfo: memFree=29795488/32873648 swapFree=7112/7112
[pid=2456] ppid=2454 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2456/stat : 2456 (npSolver-wbo-It) S 2454 2456 2126 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110959 9367552 274 33554432000 4194304 5064252 140737189514064 140737189512976 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2456/statm: 2287 274 233 213 0 72 0
[pid=2457] ppid=2456 vsize=34592 CPUtime=1736.34 cores=1,3,5,7
/proc/2457/stat : 2457 (npSolver-wbo) S 2456 2456 2126 0 -1 4202496 61899 324237 0 0 182 30 173180 242 20 0 1 0 387110960 35422208 7413 33554432000 4194304 6006132 140734722763040 140734722754400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2457/statm: 8648 7413 176 443 0 8201 0
[pid=8050] ppid=2457 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8050/stat : 8050 (satsolver.sh) S 2457 2456 2126 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387284629 9367552 267 33554432000 4194304 5064252 140735232881968 140735232880880 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8050/statm: 2287 267 226 213 0 72 0
[pid=8051] ppid=8050 vsize=52304 CPUtime=63.69 cores=1,3,5,7
/proc/8051/stat : 8051 (glucose) R 8050 2456 2126 0 -1 4202496 11802 0 0 0 6368 1 0 0 20 0 1 0 387284629 53559296 11881 33554432000 4194304 5208918 140733746803936 140733746801608 4211834 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8051/statm: 13076 11881 95 248 0 12825 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 105192
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.07
CPU user time (s): 1797.31
CPU system time (s): 2.75358
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 112564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.31
system time used= 2.75358
maximum resident set size= 52600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 398928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 317616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6063
involuntary context switches= 3403
runsolver used 2.66659 second user time and 7.16691 second system time
The end