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-3714191-1338178106/watcher-3714191-1338178106 -o /tmp/evaluation-result-3714191-1338178106/solver-3714191-1338178106 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714191-1338178106.wbo 1266200129 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.13 2.08 2.02 3/179 16595
/proc/meminfo: memFree=27995516/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[startup+0.0584401 s]
/proc/loadavg: 2.13 2.08 2.02 3/179 16595
/proc/meminfo: memFree=27995516/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100237 s]
/proc/loadavg: 2.13 2.08 2.02 3/179 16595
/proc/meminfo: memFree=27995516/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300247 s]
/proc/loadavg: 2.13 2.08 2.02 3/179 16595
/proc/meminfo: memFree=27995516/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700242 s]
/proc/loadavg: 2.13 2.08 2.02 3/179 16595
/proc/meminfo: memFree=27995516/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.13 2.08 2.02 3/183 16602
/proc/meminfo: memFree=27987308/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=7648 CPUtime=1.3 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 2876 13586 0 0 8 3 111 8 20 0 1 0 283939136 7831552 1248 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1912 1248 164 439 0 1469 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 16796
[startup+3.10025 s]
/proc/loadavg: 2.12 2.08 2.02 3/183 16609
/proc/meminfo: memFree=27967544/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=2.29 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 3310 23623 0 0 9 3 204 13 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 14748
heavy processes:
[startup+6.30027 s]
/proc/loadavg: 2.12 2.08 2.02 3/183 16623
/proc/meminfo: memFree=27974660/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 14748
[startup+12.7004 s]
/proc/loadavg: 2.10 2.08 2.02 3/183 16644
/proc/meminfo: memFree=27952652/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
[pid=16643] ppid=16596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16643/stat : 16643 (satsolver.sh) S 16596 16595 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283939749 9367552 266 33554432000 4194304 5064252 140736932737584 140736932736496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16643/statm: 2287 266 226 213 0 72 0
[pid=16644] ppid=16643 vsize=23860 CPUtime=6.55 cores=0,2,4,6
/proc/16644/stat : 16644 (glucose) R 16643 16595 14026 0 -1 4202496 4160 0 0 0 654 1 0 0 20 0 1 0 283939749 24432640 4648 33554432000 4194304 5208918 140734886534336 140734886530712 4229999 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 5965 4648 105 248 0 5714 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 47756
[startup+25.5004 s]
/proc/loadavg: 2.09 2.08 2.02 3/183 16644
/proc/meminfo: memFree=27980468/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
[pid=16643] ppid=16596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16643/stat : 16643 (satsolver.sh) S 16596 16595 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283939749 9367552 266 33554432000 4194304 5064252 140736932737584 140736932736496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16643/statm: 2287 266 226 213 0 72 0
[pid=16644] ppid=16643 vsize=23860 CPUtime=19.36 cores=0,2,4,6
/proc/16644/stat : 16644 (glucose) R 16643 16595 14026 0 -1 4202496 6657 0 0 0 1934 2 0 0 20 0 1 0 283939749 24432640 4658 33554432000 4194304 5208918 140734886534336 140734886532280 4229507 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 5965 4658 105 248 0 5714 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 47756
[startup+51.1004 s]
/proc/loadavg: 2.06 2.07 2.01 3/183 16644
/proc/meminfo: memFree=27992588/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
[pid=16643] ppid=16596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16643/stat : 16643 (satsolver.sh) S 16596 16595 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283939749 9367552 266 33554432000 4194304 5064252 140736932737584 140736932736496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16643/statm: 2287 266 226 213 0 72 0
[pid=16644] ppid=16643 vsize=42940 CPUtime=44.95 cores=0,2,4,6
/proc/16644/stat : 16644 (glucose) R 16643 16595 14026 0 -1 4202496 7203 0 0 0 4493 2 0 0 20 0 1 0 283939749 43970560 9800 33554432000 4194304 5208918 140734886534336 140734886530104 4229728 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 10735 9800 105 248 0 10484 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 66836
[startup+102.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/184 16647
/proc/meminfo: memFree=27901284/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
[pid=16643] ppid=16596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16643/stat : 16643 (satsolver.sh) S 16596 16595 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283939749 9367552 266 33554432000 4194304 5064252 140736932737584 140736932736496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16643/statm: 2287 266 226 213 0 72 0
[pid=16644] ppid=16643 vsize=73272 CPUtime=96.14 cores=0,2,4,6
/proc/16644/stat : 16644 (glucose) R 16643 16595 14026 0 -1 4202496 8643 0 0 0 9611 3 0 0 20 0 1 0 283939749 75030528 16961 33554432000 4194304 5208918 140734886534336 140734886530104 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 18318 16961 105 248 0 18067 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 97168
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 16647
/proc/meminfo: memFree=27908600/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
[pid=16643] ppid=16596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16643/stat : 16643 (satsolver.sh) S 16596 16595 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283939749 9367552 266 33554432000 4194304 5064252 140736932737584 140736932736496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16643/statm: 2287 266 226 213 0 72 0
[pid=16644] ppid=16643 vsize=73272 CPUtime=156.13 cores=0,2,4,6
/proc/16644/stat : 16644 (glucose) R 16643 16595 14026 0 -1 4202496 8643 0 0 0 15609 4 0 0 20 0 1 0 283939749 75030528 17297 33554432000 4194304 5208918 140734886534336 140734886530712 4229731 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 18318 17297 105 248 0 18067 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 97168
[startup+222.307 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 16647
/proc/meminfo: memFree=27897772/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16765
/proc/meminfo: memFree=27915536/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
[pid=16643] ppid=16596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16643/stat : 16643 (satsolver.sh) S 16596 16595 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283939749 9367552 266 33554432000 4194304 5064252 140736932737584 140736932736496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16643/statm: 2287 266 226 213 0 72 0
[pid=16644] ppid=16643 vsize=99428 CPUtime=1415.94 cores=0,2,4,6
/proc/16644/stat : 16644 (glucose) R 16643 16595 14026 0 -1 4202496 12200 0 0 0 141567 27 0 0 20 0 1 0 283939749 101814272 23019 33554432000 4194304 5208918 140734886534336 140734886532424 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 24857 23019 105 248 0 24606 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 123324
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16765
/proc/meminfo: memFree=27837900/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
[pid=16643] ppid=16596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16643/stat : 16643 (satsolver.sh) S 16596 16595 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283939749 9367552 266 33554432000 4194304 5064252 140736932737584 140736932736496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16643/statm: 2287 266 226 213 0 72 0
[pid=16644] ppid=16643 vsize=179568 CPUtime=1475.92 cores=0,2,4,6
/proc/16644/stat : 16644 (glucose) R 16643 16595 14026 0 -1 4202496 12618 0 0 0 147564 28 0 0 20 0 1 0 283939749 183877632 38250 33554432000 4194304 5208918 140734886534336 140734886532488 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 44892 38250 105 248 0 44641 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 203464
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16766
/proc/meminfo: memFree=27831084/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
[pid=16643] ppid=16596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16643/stat : 16643 (satsolver.sh) S 16596 16595 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283939749 9367552 266 33554432000 4194304 5064252 140736932737584 140736932736496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16643/statm: 2287 266 226 213 0 72 0
[pid=16644] ppid=16643 vsize=148748 CPUtime=1535.92 cores=0,2,4,6
/proc/16644/stat : 16644 (glucose) R 16643 16595 14026 0 -1 4202496 12653 0 0 0 153563 29 0 0 20 0 1 0 283939749 152317952 35111 33554432000 4194304 5208918 140734886534336 140734886530712 4229374 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 37187 35111 105 248 0 36936 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 172644
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 16767
/proc/meminfo: memFree=27865596/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
[pid=16643] ppid=16596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16643/stat : 16643 (satsolver.sh) S 16596 16595 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283939749 9367552 266 33554432000 4194304 5064252 140736932737584 140736932736496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16643/statm: 2287 266 226 213 0 72 0
[pid=16644] ppid=16643 vsize=99428 CPUtime=1595.91 cores=0,2,4,6
/proc/16644/stat : 16644 (glucose) R 16643 16595 14026 0 -1 4202496 12731 0 0 0 159561 30 0 0 20 0 1 0 283939749 101814272 24348 33554432000 4194304 5208918 140734886534336 140734886532424 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 24857 24348 105 248 0 24606 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 123324
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16767
/proc/meminfo: memFree=27809008/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
[pid=16643] ppid=16596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16643/stat : 16643 (satsolver.sh) S 16596 16595 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283939749 9367552 266 33554432000 4194304 5064252 140736932737584 140736932736496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16643/statm: 2287 266 226 213 0 72 0
[pid=16644] ppid=16643 vsize=179568 CPUtime=1655.9 cores=0,2,4,6
/proc/16644/stat : 16644 (glucose) R 16643 16595 14026 0 -1 4202496 12837 0 0 0 165559 31 0 0 20 0 1 0 283939749 183877632 38250 33554432000 4194304 5208918 140734886534336 140734886532488 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 44892 38250 105 248 0 44641 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 203464
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 16767
/proc/meminfo: memFree=27796112/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
[pid=16643] ppid=16596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16643/stat : 16643 (satsolver.sh) S 16596 16595 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283939749 9367552 266 33554432000 4194304 5064252 140736932737584 140736932736496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16643/statm: 2287 266 226 213 0 72 0
[pid=16644] ppid=16643 vsize=148748 CPUtime=1715.89 cores=0,2,4,6
/proc/16644/stat : 16644 (glucose) R 16643 16595 14026 0 -1 4202496 12874 0 0 0 171557 32 0 0 20 0 1 0 283939749 152317952 36135 33554432000 4194304 5208918 140734886534336 140734886532328 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 37187 36135 105 248 0 36936 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 172644
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 16767
/proc/meminfo: memFree=27773456/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
[pid=16643] ppid=16596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16643/stat : 16643 (satsolver.sh) S 16596 16595 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283939749 9367552 266 33554432000 4194304 5064252 140736932737584 140736932736496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16643/statm: 2287 266 226 213 0 72 0
[pid=16644] ppid=16643 vsize=179568 CPUtime=1775.88 cores=0,2,4,6
/proc/16644/stat : 16644 (glucose) R 16643 16595 14026 0 -1 4202496 12949 0 0 0 177555 33 0 0 20 0 1 0 283939749 183877632 39786 33554432000 4194304 5208918 140734886534336 140734886532488 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 44892 39786 105 248 0 44641 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 203464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 16767
/proc/meminfo: memFree=27835096/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
[pid=16643] ppid=16596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16643/stat : 16643 (satsolver.sh) S 16596 16595 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283939749 9367552 266 33554432000 4194304 5064252 140736932737584 140736932736496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16643/statm: 2287 266 226 213 0 72 0
[pid=16644] ppid=16643 vsize=100568 CPUtime=1793.98 cores=0,2,4,6
/proc/16644/stat : 16644 (glucose) R 16643 16595 14026 0 -1 4202496 12951 0 0 0 179365 33 0 0 20 0 1 0 283939749 102981632 24349 33554432000 4194304 5208918 140734886534336 140734886532424 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 25142 24349 105 248 0 24891 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 124464
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 16767
/proc/meminfo: memFree=27835096/32873844 swapFree=7620/7620
[pid=16595] ppid=16593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16595/stat : 16595 (npSolver-wbo-I.) S 16593 16595 14026 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283939136 9367552 275 33554432000 4194304 5064252 140737360091632 140737360090544 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16595/statm: 2287 275 233 213 0 72 0
[pid=16596] ppid=16595 vsize=5600 CPUtime=6.11 cores=0,2,4,6
/proc/16596/stat : 16596 (npSolver-wbo) S 16595 16595 14026 0 -1 4202496 4136 51589 0 0 10 3 577 21 20 0 1 0 283939136 5734400 863 33554432000 4194304 5990268 140734501237216 140734501228656 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16596/statm: 1400 863 164 439 0 957 0
[pid=16643] ppid=16596 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16643/stat : 16643 (satsolver.sh) S 16596 16595 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283939749 9367552 266 33554432000 4194304 5064252 140736932737584 140736932736496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16643/statm: 2287 266 226 213 0 72 0
[pid=16644] ppid=16643 vsize=100568 CPUtime=1793.98 cores=0,2,4,6
/proc/16644/stat : 16644 (glucose) R 16643 16595 14026 0 -1 4202496 12951 0 0 0 179365 33 0 0 20 0 1 0 283939749 102981632 24349 33554432000 4194304 5208918 140734886534336 140734886532424 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16644/statm: 25142 24349 105 248 0 24891 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 124464
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.13
CPU user time (s): 1799.54
CPU system time (s): 0.593909
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 204604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.593909
maximum resident set size= 161196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 343
involuntary context switches= 1930
runsolver used 2.71759 second user time and 7.12792 second system time
The end