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-3750187-1339180220/watcher-3750187-1339180220 -o /tmp/evaluation-result-3750187-1339180220/solver-3750187-1339180220 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750187-1339180220.opb 1548080248 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.84 1.97 2.03 4/180 5914
/proc/meminfo: memFree=26593188/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[startup+0.0638791 s]
/proc/loadavg: 1.84 1.97 2.03 4/180 5914
/proc/meminfo: memFree=26593188/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100304 s]
/proc/loadavg: 1.84 1.97 2.03 4/180 5914
/proc/meminfo: memFree=26593188/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300298 s]
/proc/loadavg: 1.84 1.97 2.03 4/180 5914
/proc/meminfo: memFree=26593188/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700279 s]
/proc/loadavg: 1.84 1.97 2.03 4/180 5914
/proc/meminfo: memFree=26593188/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 1.84 1.97 2.03 3/182 5926
/proc/meminfo: memFree=26545392/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=94524 CPUtime=1.43 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) D 5914 5914 5089 0 -1 4202496 8962 14390 0 0 68 16 55 4 20 0 1 0 384146508 96792576 16490 33554432000 4194304 6004724 140733372882800 140733372875640 5190832 0 0 4096 0 18446744071580543392 0 0 17 3 0 0 0 0 0
/proc/5915/statm: 23631 16490 179 442 0 23185 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 103672
[startup+3.10039 s]
/proc/loadavg: 1.84 1.97 2.03 3/182 5936
/proc/meminfo: memFree=26497068/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=94524 CPUtime=1.52 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 9822 14390 0 0 69 24 55 4 20 0 1 0 384146508 96792576 16491 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 44 0 0
/proc/5915/statm: 23631 16491 180 442 0 23185 0
[pid=5934] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5934/stat : 5934 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384146706 9367552 266 33554432000 4194304 5064252 140735642943264 140735642942176 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5934/statm: 2287 266 226 213 0 72 0
[pid=5935] ppid=5934 vsize=122688 CPUtime=1.1 cores=1,3,5,7
/proc/5935/stat : 5935 (glucose) R 5934 5914 5089 0 -1 4202496 24260 0 0 0 105 5 0 0 20 0 1 0 384146707 125632512 26756 33554432000 4194304 5208918 140736550781504 140736550779352 4229244 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5935/statm: 30672 26756 104 248 0 30421 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 235508
[startup+6.30041 s]
/proc/loadavg: 1.86 1.97 2.03 3/184 5938
/proc/meminfo: memFree=25936644/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=94524 CPUtime=1.52 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 9822 14390 0 0 69 24 55 4 20 0 1 0 384146508 96792576 16491 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 44 0 0
/proc/5915/statm: 23631 16491 180 442 0 23185 0
[pid=5934] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5934/stat : 5934 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384146706 9367552 266 33554432000 4194304 5064252 140735642943264 140735642942176 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5934/statm: 2287 266 226 213 0 72 0
[pid=5935] ppid=5934 vsize=123744 CPUtime=4.3 cores=1,3,5,7
/proc/5935/stat : 5935 (glucose) R 5934 5914 5089 0 -1 4202496 24596 0 0 0 425 5 0 0 20 0 1 0 384146707 126713856 27603 33554432000 4194304 5208918 140736550781504 140736550779256 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5935/statm: 30936 27603 105 248 0 30685 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 236564
[startup+12.7004 s]
/proc/loadavg: 1.95 1.99 2.03 3/184 5945
/proc/meminfo: memFree=25702784/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=78132 CPUtime=8.88 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 14981 44850 0 0 123 31 707 27 20 0 1 0 384146508 80007168 11914 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 44 0 0
/proc/5915/statm: 19533 11914 181 442 0 19087 0
[pid=5944] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384147443 9367552 267 33554432000 4194304 5064252 140734145338048 140734145336960 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5944/statm: 2287 267 226 213 0 72 0
[pid=5945] ppid=5944 vsize=116616 CPUtime=3.34 cores=1,3,5,7
/proc/5945/stat : 5945 (glucose) R 5944 5914 5089 0 -1 4202496 21577 0 0 0 329 5 0 0 20 0 1 0 384147444 119414784 24463 33554432000 4194304 5208918 140734827487616 140734827485576 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5945/statm: 29154 24463 96 248 0 28903 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 213044
[startup+25.5004 s]
/proc/loadavg: 1.96 1.99 2.03 3/184 5945
/proc/meminfo: memFree=25683692/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=78132 CPUtime=8.88 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 14981 44850 0 0 123 31 707 27 20 0 1 0 384146508 80007168 11914 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 44 0 0
/proc/5915/statm: 19533 11914 181 442 0 19087 0
[pid=5944] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384147443 9367552 267 33554432000 4194304 5064252 140734145338048 140734145336960 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5944/statm: 2287 267 226 213 0 72 0
[pid=5945] ppid=5944 vsize=120408 CPUtime=16.14 cores=1,3,5,7
/proc/5945/stat : 5945 (glucose) R 5944 5914 5089 0 -1 4202496 22577 0 0 0 1609 5 0 0 20 0 1 0 384147444 123297792 27507 33554432000 4194304 5208918 140734827487616 140734827485448 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5945/statm: 30102 27507 105 248 0 29851 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 216836
[startup+51.1004 s]
/proc/loadavg: 1.97 1.99 2.03 3/183 5945
/proc/meminfo: memFree=25647892/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=78132 CPUtime=8.88 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 14981 44850 0 0 123 31 707 27 20 0 1 0 384146508 80007168 11914 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 44 0 0
/proc/5915/statm: 19533 11914 181 442 0 19087 0
[pid=5944] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384147443 9367552 267 33554432000 4194304 5064252 140734145338048 140734145336960 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5944/statm: 2287 267 226 213 0 72 0
[pid=5945] ppid=5944 vsize=151832 CPUtime=41.73 cores=1,3,5,7
/proc/5945/stat : 5945 (glucose) R 5944 5914 5089 0 -1 4202496 25339 0 0 0 4166 7 0 0 20 0 1 0 384147444 155475968 34884 33554432000 4194304 5208918 140734827487616 140734827485704 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5945/statm: 37958 34884 105 248 0 37707 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 248260
[startup+102.3 s]
/proc/loadavg: 2.09 2.02 2.04 3/184 5946
/proc/meminfo: memFree=25599120/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=78132 CPUtime=8.88 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 14981 44850 0 0 123 31 707 27 20 0 1 0 384146508 80007168 11914 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 44 0 0
/proc/5915/statm: 19533 11914 181 442 0 19087 0
[pid=5944] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384147443 9367552 267 33554432000 4194304 5064252 140734145338048 140734145336960 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5944/statm: 2287 267 226 213 0 72 0
[pid=5945] ppid=5944 vsize=182180 CPUtime=92.92 cores=1,3,5,7
/proc/5945/stat : 5945 (glucose) R 5944 5914 5089 0 -1 4202496 26386 0 0 0 9284 8 0 0 20 0 1 0 384147444 186552320 42052 33554432000 4194304 5208918 140734827487616 140734827485480 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5945/statm: 45545 42052 105 248 0 45294 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 278608
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.03 3/183 5946
/proc/meminfo: memFree=25569788/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=78132 CPUtime=8.88 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 14981 44850 0 0 123 31 707 27 20 0 1 0 384146508 80007168 11914 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 44 0 0
/proc/5915/statm: 19533 11914 181 442 0 19087 0
[pid=5944] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384147443 9367552 267 33554432000 4194304 5064252 140734145338048 140734145336960 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5944/statm: 2287 267 226 213 0 72 0
[pid=5945] ppid=5944 vsize=201148 CPUtime=152.91 cores=1,3,5,7
/proc/5945/stat : 5945 (glucose) R 5944 5914 5089 0 -1 4202496 27196 0 0 0 15282 9 0 0 20 0 1 0 384147444 205975552 47877 33554432000 4194304 5208918 140734827487616 140734827483992 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5945/statm: 50287 47877 105 248 0 50036 0
Current children cumulated CPU time (s) 161.79
################
# More data... #
################
/proc/5945/stat : 5945 (glucose) R 5944 5914 5089 0 -1 4202496 34081 0 0 0 141250 19 0 0 20 0 1 0 384147444 237539328 49074 33554432000 4194304 5208918 140734827487616 140734827483992 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5945/statm: 57993 49074 105 248 0 57742 0
Current children cumulated CPU time (s) 1421.57
Current children cumulated vsize (KiB) 328400
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 5957
/proc/meminfo: memFree=25546756/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=78132 CPUtime=8.88 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 14981 44850 0 0 123 31 707 27 20 0 1 0 384146508 80007168 11914 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 44 0 0
/proc/5915/statm: 19533 11914 181 442 0 19087 0
[pid=5944] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384147443 9367552 267 33554432000 4194304 5064252 140734145338048 140734145336960 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5944/statm: 2287 267 226 213 0 72 0
[pid=5945] ppid=5944 vsize=201152 CPUtime=1472.69 cores=1,3,5,7
/proc/5945/stat : 5945 (glucose) R 5944 5914 5089 0 -1 4202496 34628 0 0 0 147248 21 0 0 20 0 1 0 384147444 205979648 46959 33554432000 4194304 5208918 140734827487616 140734827483992 4229338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5945/statm: 50288 46959 105 248 0 50037 0
Current children cumulated CPU time (s) 1481.57
Current children cumulated vsize (KiB) 297580
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5964
/proc/meminfo: memFree=25574944/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=110644 CPUtime=1528.59 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 20158 86138 0 0 174 37 152582 66 20 0 1 0 384146508 113299456 19498 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/5915/statm: 27661 19498 181 442 0 27215 0
[pid=5963] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5963/stat : 5963 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384299441 9367552 267 33554432000 4194304 5064252 140736999450560 140736999449472 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5963/statm: 2287 267 226 213 0 72 0
[pid=5964] ppid=5963 vsize=115228 CPUtime=12.96 cores=1,3,5,7
/proc/5964/stat : 5964 (glucose) R 5963 5914 5089 0 -1 4202496 21849 0 0 0 1290 6 0 0 20 0 1 0 384299441 117993472 25009 33554432000 4194304 5208918 140736454805696 140736454803528 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5964/statm: 28807 25009 104 248 0 28556 0
Current children cumulated CPU time (s) 1541.55
Current children cumulated vsize (KiB) 244168
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5964
/proc/meminfo: memFree=25600120/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=110644 CPUtime=1528.59 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 20158 86138 0 0 174 37 152582 66 20 0 1 0 384146508 113299456 19498 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/5915/statm: 27661 19498 181 442 0 27215 0
[pid=5963] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5963/stat : 5963 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384299441 9367552 267 33554432000 4194304 5064252 140736999450560 140736999449472 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5963/statm: 2287 267 226 213 0 72 0
[pid=5964] ppid=5963 vsize=119516 CPUtime=72.95 cores=1,3,5,7
/proc/5964/stat : 5964 (glucose) R 5963 5914 5089 0 -1 4202496 23356 0 0 0 7288 7 0 0 20 0 1 0 384299441 122384384 27617 33554432000 4194304 5208918 140736454805696 140736454803528 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5964/statm: 29879 27617 105 248 0 29628 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 248456
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5964
/proc/meminfo: memFree=25547324/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=110644 CPUtime=1528.59 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 20158 86138 0 0 174 37 152582 66 20 0 1 0 384146508 113299456 19498 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/5915/statm: 27661 19498 181 442 0 27215 0
[pid=5963] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5963/stat : 5963 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384299441 9367552 267 33554432000 4194304 5064252 140736999450560 140736999449472 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5963/statm: 2287 267 226 213 0 72 0
[pid=5964] ppid=5963 vsize=198836 CPUtime=132.94 cores=1,3,5,7
/proc/5964/stat : 5964 (glucose) R 5963 5914 5089 0 -1 4202496 25067 0 0 0 13286 8 0 0 20 0 1 0 384299441 203608064 43792 33554432000 4194304 5208918 140736454805696 140736454802072 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5964/statm: 49709 43792 105 248 0 49458 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 327776
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 5965
/proc/meminfo: memFree=25541440/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=110644 CPUtime=1528.59 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 20158 86138 0 0 174 37 152582 66 20 0 1 0 384146508 113299456 19498 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/5915/statm: 27661 19498 181 442 0 27215 0
[pid=5963] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5963/stat : 5963 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384299441 9367552 267 33554432000 4194304 5064252 140736999450560 140736999449472 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5963/statm: 2287 267 226 213 0 72 0
[pid=5964] ppid=5963 vsize=179864 CPUtime=192.93 cores=1,3,5,7
/proc/5964/stat : 5964 (glucose) R 5963 5914 5089 0 -1 4202496 25256 0 0 0 19284 9 0 0 20 0 1 0 384299441 184180736 42681 33554432000 4194304 5208918 140736454805696 140736454802072 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5964/statm: 44966 42681 105 248 0 44715 0
Current children cumulated CPU time (s) 1721.52
Current children cumulated vsize (KiB) 308804
[startup+1782.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/184 5968
/proc/meminfo: memFree=25513036/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=110644 CPUtime=1528.59 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 20158 86138 0 0 174 37 152582 66 20 0 1 0 384146508 113299456 19498 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/5915/statm: 27661 19498 181 442 0 27215 0
[pid=5963] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5963/stat : 5963 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384299441 9367552 267 33554432000 4194304 5064252 140736999450560 140736999449472 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5963/statm: 2287 267 226 213 0 72 0
[pid=5964] ppid=5963 vsize=198832 CPUtime=252.93 cores=1,3,5,7
/proc/5964/stat : 5964 (glucose) R 5963 5914 5089 0 -1 4202496 26270 0 0 0 25283 10 0 0 20 0 1 0 384299441 203603968 47690 33554432000 4194304 5208918 140736454805696 140736454801384 4205227 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5964/statm: 49708 47690 105 248 0 49457 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 327772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.02 2.01 2.00 3/184 6020
/proc/meminfo: memFree=26434892/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=110644 CPUtime=1528.59 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 20158 86138 0 0 174 37 152582 66 20 0 1 0 384146508 113299456 19498 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/5915/statm: 27661 19498 181 442 0 27215 0
[pid=5963] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5963/stat : 5963 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384299441 9367552 267 33554432000 4194304 5064252 140736999450560 140736999449472 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5963/statm: 2287 267 226 213 0 72 0
[pid=5964] ppid=5963 vsize=198832 CPUtime=271.43 cores=1,3,5,7
/proc/5964/stat : 5964 (glucose) R 5963 5914 5089 0 -1 4202496 26270 0 0 0 27133 10 0 0 20 0 1 0 384299441 203603968 47690 33554432000 4194304 5208918 140736454805696 140736454801384 4229125 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5964/statm: 49708 47690 105 248 0 49457 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 327772
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.8 s]
/proc/loadavg: 2.02 2.01 2.00 3/184 6020
/proc/meminfo: memFree=26434892/32873648 swapFree=7388/7388
[pid=5914] ppid=5912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5914/stat : 5914 (npSolver-pbo.sh) S 5912 5914 5089 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384146508 9367552 274 33554432000 4194304 5064252 140737005689760 140737005688672 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 2287 274 233 213 0 72 0
[pid=5915] ppid=5914 vsize=110644 CPUtime=1528.59 cores=1,3,5,7
/proc/5915/stat : 5915 (npSolver-pbo) S 5914 5914 5089 0 -1 4202496 20158 86138 0 0 174 37 152582 66 20 0 1 0 384146508 113299456 19498 33554432000 4194304 6004724 140733372882800 140733372875152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/5915/statm: 27661 19498 181 442 0 27215 0
[pid=5963] ppid=5915 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5963/stat : 5963 (satsolver.sh) S 5915 5914 5089 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384299441 9367552 267 33554432000 4194304 5064252 140736999450560 140736999449472 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5963/statm: 2287 267 226 213 0 72 0
[pid=5964] ppid=5963 vsize=198832 CPUtime=271.43 cores=1,3,5,7
/proc/5964/stat : 5964 (glucose) R 5963 5914 5089 0 -1 4202496 26270 0 0 0 27133 10 0 0 20 0 1 0 384299441 203603968 47690 33554432000 4194304 5208918 140736454805696 140736454801384 4229125 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5964/statm: 49708 47690 105 248 0 49457 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 327772
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5914 and gives
# childrusage.ru_utime.tv_sec=1527
# childrusage.ru_utime.tv_usec=576773
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=43841
# CPU time returned by wait4() is 1528.62
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.81
CPU time (s): 1800.02
CPU user time (s): 1798.89
CPU system time (s): 1.13
CPU usage (%): 99.9559
Max. virtual memory (cumulated for all children) (KiB): 377720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1527.58
system time used= 1.04384
maximum resident set size= 245212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107272
page faults= 0
swaps= 0
block input operations= 0
block output operations= 237208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1026
involuntary context switches= 1618
runsolver used 3.61545 second user time and 7.84481 second system time
The end