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-3694947-1338068188/watcher-3694947-1338068188 -o /tmp/evaluation-result-3694947-1338068188/solver-3694947-1338068188 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694947-1338068188.opb 1567492685 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: 4.57 3.08 2.39 3/179 13631
/proc/meminfo: memFree=28344404/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[startup+0.0693981 s]
/proc/loadavg: 4.57 3.08 2.39 3/179 13631
/proc/meminfo: memFree=28344404/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100291 s]
/proc/loadavg: 4.57 3.08 2.39 3/179 13631
/proc/meminfo: memFree=28344404/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300296 s]
/proc/loadavg: 4.57 3.08 2.39 3/179 13631
/proc/meminfo: memFree=28344404/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700283 s]
/proc/loadavg: 4.57 3.08 2.39 3/179 13631
/proc/meminfo: memFree=28344404/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 4.36 3.07 2.38 3/181 13636
/proc/meminfo: memFree=28300816/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 63312
[startup+3.10043 s]
/proc/loadavg: 4.36 3.07 2.38 3/183 13638
/proc/meminfo: memFree=28194132/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=83920 CPUtime=1.92 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 17694 0 0 0 189 3 0 0 20 0 1 0 272943175 85934080 18190 33554432000 4194304 4896791 140734152206688 140734152203896 4223805 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13638/statm: 20980 18190 77 172 0 20806 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 156380
[startup+6.30038 s]
/proc/loadavg: 4.25 3.07 2.39 3/183 13638
/proc/meminfo: memFree=28191884/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=84412 CPUtime=5.12 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 17811 0 0 0 509 3 0 0 20 0 1 0 272943175 86437888 18307 33554432000 4194304 4896791 140734152206688 140734152204008 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13638/statm: 21103 18307 77 172 0 20929 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 156872
[startup+12.7004 s]
/proc/loadavg: 4.07 3.05 2.39 3/183 13638
/proc/meminfo: memFree=28189140/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=85900 CPUtime=11.52 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 18569 0 0 0 1149 3 0 0 20 0 1 0 272943175 87961600 19210 33554432000 4194304 4896791 140734152206688 140734152204200 4224999 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13638/statm: 21475 19210 77 172 0 21301 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 158360
[startup+25.5004 s]
/proc/loadavg: 3.75 3.01 2.38 3/183 13638
/proc/meminfo: memFree=28189956/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=85900 CPUtime=24.32 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 18570 0 0 0 2429 3 0 0 20 0 1 0 272943175 87961600 19211 33554432000 4194304 4896791 140734152206688 140734152204200 4224706 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13638/statm: 21475 19211 77 172 0 21301 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 158360
[startup+51.1004 s]
/proc/loadavg: 3.06 2.91 2.37 3/183 13638
/proc/meminfo: memFree=28182144/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=85900 CPUtime=49.91 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 18571 0 0 0 4988 3 0 0 20 0 1 0 272943175 87961600 19212 33554432000 4194304 4896791 140734152206688 140734152204200 4224177 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13638/statm: 21475 19212 77 172 0 21301 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 158360
[startup+102.307 s]
/proc/loadavg: 2.46 2.77 2.35 3/183 13641
/proc/meminfo: memFree=28175076/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=104792 CPUtime=101.11 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 21674 0 0 0 10106 5 0 0 20 0 1 0 272943175 107307008 21864 33554432000 4194304 4896791 140734152206688 140734152204232 4224663 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13638/statm: 26198 21864 77 172 0 26024 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 177252
[startup+162.3 s]
/proc/loadavg: 2.17 2.63 2.32 3/183 13641
/proc/meminfo: memFree=28159620/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=112724 CPUtime=161.08 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 24749 0 0 0 16100 8 0 0 20 0 1 0 272943175 115429376 25627 33554432000 4194304 4896791 140734152206688 140734152203896 4203003 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13638/statm: 28181 25627 77 172 0 28007 0
Current children cumulated CPU time (s) 162.21
################
# More data... #
################
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 42418 0 0 0 136053 33 0 0 20 0 1 0 272943175 189128704 43017 33554432000 4194304 4896791 140734152206688 140734152204216 4203968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13638/statm: 46174 43017 78 172 0 46000 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 257156
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.07 3/184 13759
/proc/meminfo: memFree=28573108/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=235656 CPUtime=1420.86 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 43458 0 0 0 142052 34 0 0 20 0 1 0 272943175 241311744 47113 33554432000 4194304 4896791 140734152206688 140734152203912 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13638/statm: 58914 47113 78 172 0 58740 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 308116
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/184 13782
/proc/meminfo: memFree=28607432/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=185936 CPUtime=1480.84 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 44270 0 0 0 148048 36 0 0 20 0 1 0 272943175 190398464 39222 33554432000 4194304 4896791 140734152206688 140734152203832 4204062 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13638/statm: 46484 39222 78 172 0 46310 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 258396
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.06 3/183 13783
/proc/meminfo: memFree=28590044/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=186176 CPUtime=1540.83 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 44375 0 0 0 154046 37 0 0 20 0 1 0 272943175 190644224 42896 33554432000 4194304 4896791 140734152206688 140734152202424 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13638/statm: 46544 42896 78 172 0 46370 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 258636
[startup+1602.3 s]
/proc/loadavg: 2.10 2.03 2.06 3/183 13783
/proc/meminfo: memFree=28573828/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=237004 CPUtime=1600.82 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 45380 0 0 0 160044 38 0 0 20 0 1 0 272943175 242692096 46443 33554432000 4194304 4896791 140734152206688 140734152202424 4204115 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13638/statm: 59251 46443 78 172 0 59077 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 309464
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.06 3/183 13783
/proc/meminfo: memFree=28548324/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=237900 CPUtime=1660.81 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 45600 0 0 0 166043 38 0 0 20 0 1 0 272943175 243609600 50239 33554432000 4194304 4896791 140734152206688 140734152203912 4225540 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13638/statm: 59475 50239 78 172 0 59301 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 310360
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 13783
/proc/meminfo: memFree=28586880/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=187916 CPUtime=1720.8 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 45782 0 0 0 172040 40 0 0 20 0 1 0 272943175 192425984 42256 33554432000 4194304 4896791 140734152206688 140734152202424 4203903 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13638/statm: 46979 42256 78 172 0 46805 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 260376
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 13783
/proc/meminfo: memFree=28561292/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=238484 CPUtime=1780.79 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 46719 0 0 0 178038 41 0 0 20 0 1 0 272943175 244207616 46253 33554432000 4194304 4896791 140734152206688 140734152203896 4203853 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13638/statm: 59621 46253 78 172 0 59447 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 310944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/183 13783
/proc/meminfo: memFree=28565248/32873844 swapFree=7612/7612
[pid=13631] ppid=13629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13631/stat : 13631 (runPb2satCp2.sh) S 13629 13631 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272943059 9367552 275 33554432000 4194304 5064252 140733242553712 140733242552624 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13631/statm: 2287 275 233 213 0 72 0
[pid=13632] ppid=13631 vsize=54164 CPUtime=1.13 cores=0,2,4,6
/proc/13632/stat : 13632 (pb2sat) S 13631 13631 9863 0 -1 4202496 8863 5723 0 0 68 35 8 2 20 0 1 0 272943059 55463936 11271 33554432000 4194304 5873084 140735824122864 140735824116680 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13632/statm: 13541 11271 179 410 0 13123 0
[pid=13637] ppid=13632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13637/stat : 13637 (satsolver.sh) S 13632 13631 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272943175 9367552 267 33554432000 4194304 5064252 140736969363744 140736969362656 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13637/statm: 2287 267 226 213 0 72 0
[pid=13638] ppid=13637 vsize=238732 CPUtime=1798.89 cores=0,2,4,6
/proc/13638/stat : 13638 (glucose_static) R 13637 13631 9863 0 -1 4202496 46777 0 0 0 179848 41 0 0 20 0 1 0 272943175 244461568 47333 33554432000 4194304 4896791 140734152206688 140734152204216 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13638/statm: 59683 47333 78 172 0 59509 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 311192
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 13631 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=778881
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=386941
# CPU time returned by wait4() is 1.16582
# 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.41
CPU time (s): 1800.02
CPU user time (s): 1799.24
CPU system time (s): 0.78
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 390500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.778881
system time used= 0.386941
maximum resident set size= 68976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 71136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 11
runsolver used 2.67359 second user time and 7.18591 second system time
The end