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-3695391-1338084483/watcher-3695391-1338084483 -o /tmp/evaluation-result-3695391-1338084483/solver-3695391-1338084483 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695391-1338084483.opb 1838059811 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.00 2.00 2.00 3/179 11180
/proc/meminfo: memFree=29456972/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[startup+0.086517 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11180
/proc/meminfo: memFree=29456972/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100332 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11180
/proc/meminfo: memFree=29456972/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300242 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11180
/proc/meminfo: memFree=29456972/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700293 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11180
/proc/meminfo: memFree=29456972/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11190
/proc/meminfo: memFree=29423512/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=1.21 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 6122 16005 0 0 20 19 77 5 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 19256
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11199
/proc/meminfo: memFree=29424556/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=1.95 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 9276 28328 0 0 29 20 138 8 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11198] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11198/stat : 11198 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274573530 9367552 267 33554432000 4194304 5064252 140736902063664 140736902062576 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11198/statm: 2287 267 226 213 0 72 0
[pid=11199] ppid=11198 vsize=23428 CPUtime=1.12 cores=0,2,4,6
/proc/11199/stat : 11199 (glucose_static) R 11198 11180 7219 0 -1 4202496 6236 0 0 0 111 1 0 0 20 0 1 0 274573530 23990272 5276 33554432000 4194304 4896791 140734376152880 140734376150392 4203775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11199/statm: 5857 5276 78 172 0 5683 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 51832
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11199
/proc/meminfo: memFree=29426084/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=1.95 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 9276 28328 0 0 29 20 138 8 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11198] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11198/stat : 11198 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274573530 9367552 267 33554432000 4194304 5064252 140736902063664 140736902062576 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11198/statm: 2287 267 226 213 0 72 0
[pid=11199] ppid=11198 vsize=31164 CPUtime=4.32 cores=0,2,4,6
/proc/11199/stat : 11199 (glucose_static) R 11198 11180 7219 0 -1 4202496 9475 0 0 0 430 2 0 0 20 0 1 0 274573530 31911936 6937 33554432000 4194304 4896791 140734376152880 140734376150088 4224921 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11199/statm: 7791 6937 78 172 0 7617 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 59568
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11202
/proc/meminfo: memFree=29416716/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=6.91 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 10853 39126 0 0 33 20 627 11 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11201] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11201/stat : 11201 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274574026 9367552 266 33554432000 4194304 5064252 140736679824272 140736679823184 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11201/statm: 2287 266 226 213 0 72 0
[pid=11202] ppid=11201 vsize=27108 CPUtime=5.75 cores=0,2,4,6
/proc/11202/stat : 11202 (glucose_static) R 11201 11180 7219 0 -1 4202496 7510 0 0 0 573 2 0 0 20 0 1 0 274574027 27758592 5944 33554432000 4194304 4896791 140734304745584 140734304743112 4203709 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11202/statm: 6777 5944 78 172 0 6603 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 55512
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11202
/proc/meminfo: memFree=29396276/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=6.91 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 10853 39126 0 0 33 20 627 11 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11201] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11201/stat : 11201 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274574026 9367552 266 33554432000 4194304 5064252 140736679824272 140736679823184 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11201/statm: 2287 266 226 213 0 72 0
[pid=11202] ppid=11201 vsize=52008 CPUtime=18.54 cores=0,2,4,6
/proc/11202/stat : 11202 (glucose_static) R 11201 11180 7219 0 -1 4202496 12465 0 0 0 1849 5 0 0 20 0 1 0 274574027 53256192 12278 33554432000 4194304 4896791 140734304745584 140734304742952 4203968 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11202/statm: 13002 12278 78 172 0 12828 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 80412
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11202
/proc/meminfo: memFree=29411072/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=6.91 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 10853 39126 0 0 33 20 627 11 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11201] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11201/stat : 11201 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274574026 9367552 266 33554432000 4194304 5064252 140736679824272 140736679823184 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11201/statm: 2287 266 226 213 0 72 0
[pid=11202] ppid=11201 vsize=42816 CPUtime=44.13 cores=0,2,4,6
/proc/11202/stat : 11202 (glucose_static) R 11201 11180 7219 0 -1 4202496 21227 0 0 0 4403 10 0 0 20 0 1 0 274574027 43843584 9538 33554432000 4194304 4896791 140734304745584 140734304743112 4225038 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11202/statm: 10704 9538 78 172 0 10530 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 71220
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11205
/proc/meminfo: memFree=29386420/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=6.91 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 10853 39126 0 0 33 20 627 11 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11201] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11201/stat : 11201 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274574026 9367552 266 33554432000 4194304 5064252 140736679824272 140736679823184 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11201/statm: 2287 266 226 213 0 72 0
[pid=11202] ppid=11201 vsize=107996 CPUtime=95.32 cores=0,2,4,6
/proc/11202/stat : 11202 (glucose_static) R 11201 11180 7219 0 -1 4202496 32179 0 0 0 9514 18 0 0 20 0 1 0 274574027 110587904 20518 33554432000 4194304 4896791 140734304745584 140734304743112 4224960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11202/statm: 26999 20518 78 172 0 26825 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 136400
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 11209
/proc/meminfo: memFree=29366396/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=6.91 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 10853 39126 0 0 33 20 627 11 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11201] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11201/stat : 11201 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274574026 9367552 266 33554432000 4194304 5064252 140736679824272 140736679823184 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11201/statm: 2287 266 226 213 0 72 0
[pid=11202] ppid=11201 vsize=112440 CPUtime=155.29 cores=0,2,4,6
/proc/11202/stat : 11202 (glucose_static) R 11201 11180 7219 0 -1 4202496 38852 0 0 0 15504 25 0 0 20 0 1 0 274574027 115138560 20152 33554432000 4194304 4896791 140734304745584 140734304742792 4225008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11202/statm: 28110 20152 78 172 0 27936 0
Current children cumulated CPU time (s) 162.2
################
# More data... #
################
/proc/11220/stat : 11220 (glucose_static) R 11219 11180 7219 0 -1 4202496 80330 0 0 0 57612 63 0 0 20 0 1 0 274651872 265003008 51767 33554432000 4194304 4896791 140737093350304 140737093347560 4225180 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11220/statm: 64698 51767 78 172 0 64524 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 287196
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11225
/proc/meminfo: memFree=29255640/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=785.11 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 13924 150084 0 0 41 21 78362 87 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11219] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11219/stat : 11219 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274651871 9367552 267 33554432000 4194304 5064252 140735665421504 140735665420416 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11219/statm: 2287 267 226 213 0 72 0
[pid=11220] ppid=11219 vsize=178732 CPUtime=636.74 cores=0,2,4,6
/proc/11220/stat : 11220 (glucose_static) R 11219 11180 7219 0 -1 4202496 81695 0 0 0 63608 66 0 0 20 0 1 0 274651872 183021568 35218 33554432000 4194304 4896791 140737093350304 140737093347832 4203856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11220/statm: 44683 35218 78 172 0 44509 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 207136
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11225
/proc/meminfo: memFree=29139076/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=785.11 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 13924 150084 0 0 41 21 78362 87 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11219] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11219/stat : 11219 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274651871 9367552 267 33554432000 4194304 5064252 140735665421504 140735665420416 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11219/statm: 2287 267 226 213 0 72 0
[pid=11220] ppid=11219 vsize=261144 CPUtime=696.73 cores=0,2,4,6
/proc/11220/stat : 11220 (glucose_static) R 11219 11180 7219 0 -1 4202496 82483 0 0 0 69606 67 0 0 20 0 1 0 274651872 267411456 62105 33554432000 4194304 4896791 140737093350304 140737093347560 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11220/statm: 65286 62105 78 172 0 65112 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 289548
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11225
/proc/meminfo: memFree=29228100/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=785.11 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 13924 150084 0 0 41 21 78362 87 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11219] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11219/stat : 11219 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274651871 9367552 267 33554432000 4194304 5064252 140735665421504 140735665420416 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11219/statm: 2287 267 226 213 0 72 0
[pid=11220] ppid=11219 vsize=179940 CPUtime=756.72 cores=0,2,4,6
/proc/11220/stat : 11220 (glucose_static) R 11219 11180 7219 0 -1 4202496 84245 0 0 0 75598 74 0 0 20 0 1 0 274651872 184258560 39255 33554432000 4194304 4896791 140737093350304 140737093347832 4203877 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11220/statm: 44985 39255 78 172 0 44811 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 208344
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11276
/proc/meminfo: memFree=29345332/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=785.11 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 13924 150084 0 0 41 21 78362 87 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11219] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11219/stat : 11219 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274651871 9367552 267 33554432000 4194304 5064252 140735665421504 140735665420416 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11219/statm: 2287 267 226 213 0 72 0
[pid=11220] ppid=11219 vsize=132064 CPUtime=816.69 cores=0,2,4,6
/proc/11220/stat : 11220 (glucose_static) R 11219 11180 7219 0 -1 4202496 86082 0 0 0 81593 76 0 0 20 0 1 0 274651872 135233536 30590 33554432000 4194304 4896791 140737093350304 140737093347512 4203886 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11220/statm: 33016 30590 78 172 0 32842 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 160468
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/182 11279
/proc/meminfo: memFree=29332264/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=785.11 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 13924 150084 0 0 41 21 78362 87 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11219] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11219/stat : 11219 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274651871 9367552 267 33554432000 4194304 5064252 140735665421504 140735665420416 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11219/statm: 2287 267 226 213 0 72 0
[pid=11220] ppid=11219 vsize=133172 CPUtime=876.66 cores=0,2,4,6
/proc/11220/stat : 11220 (glucose_static) R 11219 11180 7219 0 -1 4202496 89391 0 0 0 87587 79 0 0 20 0 1 0 274651872 136368128 32540 33554432000 4194304 4896791 140737093350304 140737093347816 4225379 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11220/statm: 33293 32540 78 172 0 33119 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 161576
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 11280
/proc/meminfo: memFree=29383160/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=785.11 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 13924 150084 0 0 41 21 78362 87 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11219] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11219/stat : 11219 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274651871 9367552 267 33554432000 4194304 5064252 140735665421504 140735665420416 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11219/statm: 2287 267 226 213 0 72 0
[pid=11220] ppid=11219 vsize=85364 CPUtime=936.64 cores=0,2,4,6
/proc/11220/stat : 11220 (glucose_static) R 11219 11180 7219 0 -1 4202496 94110 0 0 0 93579 85 0 0 20 0 1 0 274651872 87412736 18578 33554432000 4194304 4896791 140737093350304 140737093347512 4203856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11220/statm: 21341 18578 78 172 0 21167 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 113768
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 11280
/proc/meminfo: memFree=29329068/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=785.11 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 13924 150084 0 0 41 21 78362 87 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11219] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11219/stat : 11219 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274651871 9367552 267 33554432000 4194304 5064252 140735665421504 140735665420416 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11219/statm: 2287 267 226 213 0 72 0
[pid=11220] ppid=11219 vsize=135936 CPUtime=996.64 cores=0,2,4,6
/proc/11220/stat : 11220 (glucose_static) R 11219 11180 7219 0 -1 4202496 98082 0 0 0 99574 90 0 0 20 0 1 0 274651872 139198464 30583 33554432000 4194304 4896791 140737093350304 140737093347832 4224684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11220/statm: 33984 30583 78 172 0 33810 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 164340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 11329
/proc/meminfo: memFree=29263168/32873844 swapFree=7116/7116
[pid=11180] ppid=11178 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11180/stat : 11180 (runPb2satCp2.sh) S 11178 11180 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274573333 9367552 275 33554432000 4194304 5064252 140735298544864 140735298543776 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11180/statm: 2287 275 233 213 0 72 0
[pid=11181] ppid=11180 vsize=10108 CPUtime=785.11 cores=0,2,4,6
/proc/11181/stat : 11181 (pb2sat) S 11180 11180 7219 0 -1 4202496 13924 150084 0 0 41 21 78362 87 20 0 1 0 274573333 10350592 1897 33554432000 4194304 5873084 140737106606976 140737106600792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11181/statm: 2527 1897 174 410 0 2109 0
[pid=11219] ppid=11181 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11219/stat : 11219 (satsolver.sh) S 11181 11180 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274651871 9367552 267 33554432000 4194304 5064252 140735665421504 140735665420416 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11219/statm: 2287 267 226 213 0 72 0
[pid=11220] ppid=11219 vsize=186296 CPUtime=1014.93 cores=0,2,4,6
/proc/11220/stat : 11220 (glucose_static) R 11219 11180 7219 0 -1 4202496 99054 0 0 0 101402 91 0 0 20 0 1 0 274651872 190767104 41723 33554432000 4194304 4896791 140737093350304 140737093347816 4203772 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11220/statm: 46574 41723 78 172 0 46400 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 214700
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11180 and gives
# childrusage.ru_utime.tv_sec=784
# childrusage.ru_utime.tv_usec=35808
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=95833
# CPU time returned by wait4() is 785.132
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.62
CPU time (s): 1800.04
CPU user time (s): 1798.05
CPU system time (s): 1.99
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 471312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 784.036
system time used= 1.09583
maximum resident set size= 228920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164984
page faults= 0
swaps= 0
block input operations= 0
block output operations= 58840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 203
involuntary context switches= 934
runsolver used 6.77997 second user time and 19.3131 second system time
The end