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-3696313-1338049839/watcher-3696313-1338049839 -o /tmp/evaluation-result-3696313-1338049839/solver-3696313-1338049839 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3696313-1338049839.opb 1807646938 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.02 1.45 1.77 3/174 5901
/proc/meminfo: memFree=28958532/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0

[startup+0.087998 s]
/proc/loadavg: 1.02 1.45 1.77 3/174 5901
/proc/meminfo: memFree=28958532/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100247 s]
/proc/loadavg: 1.02 1.45 1.77 3/174 5901
/proc/meminfo: memFree=28958532/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30024 s]
/proc/loadavg: 1.02 1.45 1.77 3/174 5901
/proc/meminfo: memFree=28958532/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700208 s]
/proc/loadavg: 1.02 1.45 1.77 3/174 5901
/proc/meminfo: memFree=28958532/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50036 s]
/proc/loadavg: 1.02 1.45 1.77 3/184 5914
/proc/meminfo: memFree=28885732/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=8440 CPUtime=0.57 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 2896 4937 0 0 16 26 14 1 20 0 1 0 271109653 8642560 1756 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5904/statm: 2110 1756 176 410 0 1692 0
[pid=5913] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5913/stat : 5913 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271109712 9367552 267 33554432000 4194304 5064252 140735973368576 140735973367488 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5913/statm: 2287 267 226 213 0 72 0
[pid=5914] ppid=5913 vsize=22272 CPUtime=0.9 cores=1,3,5,7
/proc/5914/stat : 5914 (glucose_static) R 5913 5901 3226 0 -1 4202496 5264 0 0 0 89 1 0 0 20 0 1 0 271109712 22806528 5153 33554432000 4194304 4896791 140737084872064 140737084869464 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 5568 5153 78 172 0 5394 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 49008

[startup+3.10042 s]
/proc/loadavg: 1.02 1.45 1.77 3/184 5914
/proc/meminfo: memFree=28882872/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=8440 CPUtime=0.57 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 2896 4937 0 0 16 26 14 1 20 0 1 0 271109653 8642560 1756 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5904/statm: 2110 1756 176 410 0 1692 0
[pid=5913] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5913/stat : 5913 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271109712 9367552 267 33554432000 4194304 5064252 140735973368576 140735973367488 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5913/statm: 2287 267 226 213 0 72 0
[pid=5914] ppid=5913 vsize=22624 CPUtime=2.49 cores=1,3,5,7
/proc/5914/stat : 5914 (glucose_static) R 5913 5901 3226 0 -1 4202496 6453 0 0 0 248 1 0 0 20 0 1 0 271109712 23166976 5093 33554432000 4194304 4896791 140737084872064 140737084869576 4225376 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5914/statm: 5656 5093 78 172 0 5482 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 49360

[startup+6.30037 s]
/proc/loadavg: 1.02 1.45 1.77 3/184 5917
/proc/meminfo: memFree=28882428/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=9332 CPUtime=5.23 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 3481 13539 0 0 17 26 476 4 20 0 1 0 271109653 9555968 1904 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5904/statm: 2333 1904 176 410 0 1915 0
[pid=5916] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5916/stat : 5916 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271110178 9367552 266 33554432000 4194304 5064252 140734731828384 140734731827296 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5916/statm: 2287 266 226 213 0 72 0
[pid=5917] ppid=5916 vsize=22100 CPUtime=1.03 cores=1,3,5,7
/proc/5917/stat : 5917 (glucose_static) R 5916 5901 3226 0 -1 4202496 5220 0 0 0 102 1 0 0 20 0 1 0 271110179 22630400 5077 33554432000 4194304 4896791 140735960751664 140735960749176 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5917/statm: 5525 5077 78 172 0 5351 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 49728

[startup+12.7004 s]
/proc/loadavg: 1.17 1.46 1.77 3/184 5917
/proc/meminfo: memFree=28877476/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=9332 CPUtime=5.23 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 3481 13539 0 0 17 26 476 4 20 0 1 0 271109653 9555968 1904 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5904/statm: 2333 1904 176 410 0 1915 0
[pid=5916] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5916/stat : 5916 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271110178 9367552 266 33554432000 4194304 5064252 140734731828384 140734731827296 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5916/statm: 2287 266 226 213 0 72 0
[pid=5917] ppid=5916 vsize=25784 CPUtime=7.43 cores=1,3,5,7
/proc/5917/stat : 5917 (glucose_static) R 5916 5901 3226 0 -1 4202496 8745 0 0 0 741 2 0 0 20 0 1 0 271110179 26402816 5440 33554432000 4194304 4896791 140735960751664 140735960749064 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5917/statm: 6446 5440 78 172 0 6272 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 53412

[startup+25.5004 s]
/proc/loadavg: 1.29 1.48 1.77 3/183 5917
/proc/meminfo: memFree=28867496/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=9332 CPUtime=5.23 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 3481 13539 0 0 17 26 476 4 20 0 1 0 271109653 9555968 1904 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5904/statm: 2333 1904 176 410 0 1915 0
[pid=5916] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5916/stat : 5916 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271110178 9367552 266 33554432000 4194304 5064252 140734731828384 140734731827296 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5916/statm: 2287 266 226 213 0 72 0
[pid=5917] ppid=5916 vsize=26736 CPUtime=20.22 cores=1,3,5,7
/proc/5917/stat : 5917 (glucose_static) R 5916 5901 3226 0 -1 4202496 11754 0 0 0 2019 3 0 0 20 0 1 0 271110179 27377664 6215 33554432000 4194304 4896791 140735960751664 140735960749176 4224963 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5917/statm: 6684 6215 78 172 0 6510 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 54364

[startup+51.1004 s]
/proc/loadavg: 1.53 1.52 1.78 3/183 5923
/proc/meminfo: memFree=28867164/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=9332 CPUtime=37.41 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 4104 35801 0 0 19 26 3685 11 20 0 1 0 271109653 9555968 1904 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 2333 1904 176 410 0 1915 0
[pid=5922] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5922/stat : 5922 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271113397 9367552 267 33554432000 4194304 5064252 140736666835248 140736666834160 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5922/statm: 2287 267 226 213 0 72 0
[pid=5923] ppid=5922 vsize=23728 CPUtime=13.64 cores=1,3,5,7
/proc/5923/stat : 5923 (glucose_static) R 5922 5901 3226 0 -1 4202496 9997 0 0 0 1362 2 0 0 20 0 1 0 271113397 24297472 5486 33554432000 4194304 4896791 140736499236752 140736499234264 4225029 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5923/statm: 5932 5486 78 172 0 5758 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 51356

[startup+102.307 s]
/proc/loadavg: 1.81 1.60 1.79 3/183 5929
/proc/meminfo: memFree=28844688/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=9332 CPUtime=96.42 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 4578 63249 0 0 19 26 9577 20 20 0 1 0 271109653 9555968 1904 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 2333 1904 176 410 0 1915 0
[pid=5928] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5928/stat : 5928 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271119301 9367552 266 33554432000 4194304 5064252 140736521347888 140736521346800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5928/statm: 2287 266 226 213 0 72 0
[pid=5929] ppid=5928 vsize=25640 CPUtime=5.82 cores=1,3,5,7
/proc/5929/stat : 5929 (glucose_static) R 5928 5901 3226 0 -1 4202496 8344 0 0 0 580 2 0 0 20 0 1 0 271119301 26255360 5322 33554432000 4194304 4896791 140737451253248 140737451250760 4225029 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5929/statm: 6410 5322 78 172 0 6236 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 53268

Solver just ended. Dumping a history of the last processes samples

[startup+127.9 s]
/proc/loadavg: 1.88 1.63 1.79 3/183 5929
/proc/meminfo: memFree=28804248/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=9332 CPUtime=96.42 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 4578 63249 0 0 19 26 9577 20 20 0 1 0 271109653 9555968 1904 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 2333 1904 176 410 0 1915 0
[pid=5928] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5928/stat : 5928 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271119301 9367552 266 33554432000 4194304 5064252 140736521347888 140736521346800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5928/statm: 2287 266 226 213 0 72 0
[pid=5929] ppid=5928 vsize=27500 CPUtime=31.39 cores=1,3,5,7
/proc/5929/stat : 5929 (glucose_static) R 5928 5901 3226 0 -1 4202496 12455 0 0 0 3136 3 0 0 20 0 1 0 271119301 28160000 6452 33554432000 4194304 4896791 140737451253248 140737451250760 4224999 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5929/statm: 6875 6452 78 172 0 6701 0
Current children cumulated CPU time (s) 127.81
Current children cumulated vsize (KiB) 55128

[startup+140.7 s]
/proc/loadavg: 1.90 1.65 1.79 3/183 5930
/proc/meminfo: memFree=28819308/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=9332 CPUtime=96.42 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 4578 63249 0 0 19 26 9577 20 20 0 1 0 271109653 9555968 1904 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 2333 1904 176 410 0 1915 0
[pid=5928] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5928/stat : 5928 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271119301 9367552 266 33554432000 4194304 5064252 140736521347888 140736521346800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5928/statm: 2287 266 226 213 0 72 0
[pid=5929] ppid=5928 vsize=28116 CPUtime=44.2 cores=1,3,5,7
/proc/5929/stat : 5929 (glucose_static) R 5928 5901 3226 0 -1 4202496 13838 0 0 0 4416 4 0 0 20 0 1 0 271119301 28790784 6575 33554432000 4194304 4896791 140737451253248 140737451250648 4224718 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5929/statm: 7029 6575 78 172 0 6855 0
Current children cumulated CPU time (s) 140.62
Current children cumulated vsize (KiB) 55744

[startup+143.9 s]
/proc/loadavg: 1.90 1.65 1.79 3/183 5930
/proc/meminfo: memFree=28815212/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=9332 CPUtime=96.42 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 4578 63249 0 0 19 26 9577 20 20 0 1 0 271109653 9555968 1904 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 2333 1904 176 410 0 1915 0
[pid=5928] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5928/stat : 5928 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271119301 9367552 266 33554432000 4194304 5064252 140736521347888 140736521346800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5928/statm: 2287 266 226 213 0 72 0
[pid=5929] ppid=5928 vsize=28116 CPUtime=47.4 cores=1,3,5,7
/proc/5929/stat : 5929 (glucose_static) R 5928 5901 3226 0 -1 4202496 13874 0 0 0 4736 4 0 0 20 0 1 0 271119301 28790784 6575 33554432000 4194304 4896791 140737451253248 140737451250760 4224823 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5929/statm: 7029 6575 78 172 0 6855 0
Current children cumulated CPU time (s) 143.82
Current children cumulated vsize (KiB) 55744

[startup+145.5 s]
/proc/loadavg: 1.90 1.65 1.79 3/183 5930
/proc/meminfo: memFree=28852404/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=9332 CPUtime=96.42 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 4578 63249 0 0 19 26 9577 20 20 0 1 0 271109653 9555968 1904 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 2333 1904 176 410 0 1915 0
[pid=5928] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5928/stat : 5928 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271119301 9367552 266 33554432000 4194304 5064252 140736521347888 140736521346800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5928/statm: 2287 266 226 213 0 72 0
[pid=5929] ppid=5928 vsize=28152 CPUtime=49 cores=1,3,5,7
/proc/5929/stat : 5929 (glucose_static) R 5928 5901 3226 0 -1 4202496 14430 0 0 0 4896 4 0 0 20 0 1 0 271119301 28827648 6305 33554432000 4194304 4896791 140737451253248 140737451250648 4225141 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5929/statm: 7038 6305 78 172 0 6864 0
Current children cumulated CPU time (s) 145.42
Current children cumulated vsize (KiB) 55780

[startup+146.307 s]
/proc/loadavg: 1.91 1.65 1.80 3/183 5930
/proc/meminfo: memFree=28846448/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=9332 CPUtime=96.42 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 4578 63249 0 0 19 26 9577 20 20 0 1 0 271109653 9555968 1904 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 2333 1904 176 410 0 1915 0
[pid=5928] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5928/stat : 5928 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271119301 9367552 266 33554432000 4194304 5064252 140736521347888 140736521346800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5928/statm: 2287 266 226 213 0 72 0
[pid=5929] ppid=5928 vsize=28152 CPUtime=49.8 cores=1,3,5,7
/proc/5929/stat : 5929 (glucose_static) R 5928 5901 3226 0 -1 4202496 14464 0 0 0 4976 4 0 0 20 0 1 0 271119301 28827648 6305 33554432000 4194304 4896791 140737451253248 140737451250760 4224706 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5929/statm: 7038 6305 78 172 0 6864 0
Current children cumulated CPU time (s) 146.22
Current children cumulated vsize (KiB) 55780

[startup+147.1 s]
/proc/loadavg: 1.91 1.65 1.80 3/183 5930
/proc/meminfo: memFree=28846448/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=9332 CPUtime=96.42 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 4578 63249 0 0 19 26 9577 20 20 0 1 0 271109653 9555968 1904 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 2333 1904 176 410 0 1915 0
[pid=5928] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5928/stat : 5928 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271119301 9367552 266 33554432000 4194304 5064252 140736521347888 140736521346800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5928/statm: 2287 266 226 213 0 72 0
[pid=5929] ppid=5928 vsize=25432 CPUtime=50.6 cores=1,3,5,7
/proc/5929/stat : 5929 (glucose_static) R 5928 5901 3226 0 -1 4202496 14523 0 0 0 5056 4 0 0 20 0 1 0 271119301 26042368 5904 33554432000 4194304 4896791 140737451253248 140737451250760 4224983 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5929/statm: 6358 5904 78 172 0 6184 0
Current children cumulated CPU time (s) 147.02
Current children cumulated vsize (KiB) 53060

[startup+147.3 s]
/proc/loadavg: 1.91 1.65 1.80 3/183 5930
/proc/meminfo: memFree=28841856/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=9332 CPUtime=96.42 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 4578 63249 0 0 19 26 9577 20 20 0 1 0 271109653 9555968 1904 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 2333 1904 176 410 0 1915 0
[pid=5928] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5928/stat : 5928 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271119301 9367552 266 33554432000 4194304 5064252 140736521347888 140736521346800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5928/statm: 2287 266 226 213 0 72 0
[pid=5929] ppid=5928 vsize=25432 CPUtime=50.8 cores=1,3,5,7
/proc/5929/stat : 5929 (glucose_static) R 5928 5901 3226 0 -1 4202496 14561 0 0 0 5076 4 0 0 20 0 1 0 271119301 26042368 5908 33554432000 4194304 4896791 140737451253248 140737451250760 4204963 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5929/statm: 6358 5908 78 172 0 6184 0
Current children cumulated CPU time (s) 147.22
Current children cumulated vsize (KiB) 53060

[startup+147.407 s]
/proc/loadavg: 1.91 1.65 1.80 3/183 5930
/proc/meminfo: memFree=28841856/32873660 swapFree=7108/7108
[pid=5901] ppid=5898 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5901/stat : 5901 (runPb2sat.sh) S 5898 5901 3226 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271109652 9367552 275 33554432000 4194304 5064252 140735053055056 140735053053968 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5901/statm: 2287 275 233 213 0 72 0
[pid=5904] ppid=5901 vsize=9332 CPUtime=96.42 cores=1,3,5,7
/proc/5904/stat : 5904 (pb2sat) S 5901 5901 3226 0 -1 4202496 4578 63249 0 0 19 26 9577 20 20 0 1 0 271109653 9555968 1904 33554432000 4194304 5873084 140734399876960 140734399870776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 2333 1904 176 410 0 1915 0
[pid=5928] ppid=5904 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5928/stat : 5928 (satsolver.sh) S 5904 5901 3226 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271119301 9367552 266 33554432000 4194304 5064252 140736521347888 140736521346800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5928/statm: 2287 266 226 213 0 72 0
[pid=5929] ppid=5928 vsize=25432 CPUtime=50.9 cores=1,3,5,7
/proc/5929/stat : 5929 (glucose_static) R 5928 5901 3226 0 -1 4202496 14567 0 0 0 5086 4 0 0 20 0 1 0 271119301 26042368 5914 33554432000 4194304 4896791 140737451253248 140737451250760 4225171 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5929/statm: 6358 5914 78 172 0 6184 0
Current children cumulated CPU time (s) 147.32
Current children cumulated vsize (KiB) 53060

Child status: 0
Real time (s): 147.496
CPU time (s): 147.451
CPU user time (s): 146.924
CPU system time (s): 0.526919
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 58152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 146.924
system time used= 0.526919
maximum resident set size= 32076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84483
page faults= 0
swaps= 0
block input operations= 0
block output operations= 68368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99
involuntary context switches= 381

runsolver used 0.250961 second user time and 0.694894 second system time

The end