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-3696911-1338124133/watcher-3696911-1338124133 -o /tmp/evaluation-result-3696911-1338124133/solver-3696911-1338124133 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3696911-1338124133.opb 642924386 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.85 1.97 1.96 3/171 5736
/proc/meminfo: memFree=28191892/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[startup+0.0156349 s]
/proc/loadavg: 1.85 1.97 1.96 3/171 5736
/proc/meminfo: memFree=28191892/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100248 s]
/proc/loadavg: 1.85 1.97 1.96 3/171 5736
/proc/meminfo: memFree=28191892/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300125 s]
/proc/loadavg: 1.85 1.97 1.96 3/171 5736
/proc/meminfo: memFree=28191892/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700132 s]
/proc/loadavg: 1.85 1.97 1.96 3/171 5736
/proc/meminfo: memFree=28191892/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50014 s]
/proc/loadavg: 1.85 1.97 1.96 3/179 5748
/proc/meminfo: memFree=28178176/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=15136 CPUtime=1.49 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) R 5736 5736 5701 0 -1 4202496 3020 0 0 0 148 1 0 0 20 0 1 0 278539340 15499264 3035 33554432000 4194304 5873084 140734106850416 140734106847784 4693147 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5737/statm: 3784 3035 146 410 0 3366 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24284
[startup+3.10033 s]
/proc/loadavg: 1.85 1.97 1.96 3/179 5748
/proc/meminfo: memFree=28178176/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=66044 CPUtime=3.08 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) R 5736 5736 5701 0 -1 4202496 10659 0 0 0 306 2 0 0 20 0 1 0 278539340 67629056 14239 33554432000 4194304 5873084 140734106850416 140734106847784 4391008 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5737/statm: 16511 14239 157 410 0 16093 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 75192
[startup+6.30027 s]
/proc/loadavg: 1.86 1.97 1.96 3/179 5748
/proc/meminfo: memFree=27630344/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=374780 CPUtime=6.29 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) R 5736 5736 5701 0 -1 4202496 32285 0 0 0 616 13 0 0 20 0 1 0 278539340 383774720 88386 33554432000 4194304 5873084 140734106850416 140734106846472 4664146 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5737/statm: 93695 88386 164 410 0 93277 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 383928
[startup+12.7003 s]
/proc/loadavg: 1.87 1.97 1.96 3/183 5752
/proc/meminfo: memFree=25550552/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=636924 CPUtime=7.32 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) S 5736 5736 5701 0 -1 4202496 33939 0 0 0 673 59 0 0 20 0 1 0 278539340 652210176 98163 33554432000 4194304 5873084 140734106850416 140734106846840 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5737/statm: 159231 98163 171 410 0 158813 0
[pid=5751] ppid=5737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5751/stat : 5751 (satsolver.sh) S 5737 5736 5701 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278540072 9367552 266 33554432000 4194304 5064252 140737405672240 140737405671152 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5751/statm: 2287 266 226 213 0 72 0
[pid=5752] ppid=5751 vsize=724844 CPUtime=5.36 cores=1,3,5,7
/proc/5752/stat : 5752 (glucose_static) R 5751 5736 5701 0 -1 4202496 106868 0 0 0 503 33 0 0 20 0 1 0 278540073 742240256 172541 33554432000 4194304 4896791 140735614522688 140735614519912 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5752/statm: 181211 172541 78 172 0 181037 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1380064
[startup+25.5002 s]
/proc/loadavg: 2.11 2.02 1.97 3/181 5752
/proc/meminfo: memFree=26076144/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=656092 CPUtime=25.37 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) R 5736 5736 5701 0 -1 4202496 42763 108029 0 0 947 802 749 39 20 0 1 0 278539340 671838208 102940 33554432000 4194304 5873084 140734106850416 140734106845848 5127520 0 0 4096 0 0 0 0 17 3 0 0 10 0 0
/proc/5737/statm: 164023 102940 179 410 0 163605 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 665240
[startup+51.1004 s]
/proc/loadavg: 2.14 2.03 1.98 3/183 5755
/proc/meminfo: memFree=25251480/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=656092 CPUtime=33.78 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) S 5736 5736 5701 0 -1 4202496 46304 108543 0 0 1102 1442 750 84 20 0 1 0 278539340 671838208 102941 33554432000 4194304 5873084 140734106850416 140734106844232 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/5737/statm: 164023 102941 180 410 0 163605 0
[pid=5754] ppid=5737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5754/stat : 5754 (satsolver.sh) S 5737 5736 5701 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278542731 9367552 267 33554432000 4194304 5064252 140735885628864 140735885627776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5754/statm: 2287 267 226 213 0 72 0
[pid=5755] ppid=5754 vsize=763624 CPUtime=17.16 cores=1,3,5,7
/proc/5755/stat : 5755 (glucose_static) R 5754 5736 5701 0 -1 4202496 109757 0 0 0 1682 34 0 0 20 0 1 0 278542732 781950976 171522 33554432000 4194304 4896791 140737420448880 140737420446088 4224921 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5755/statm: 190906 171522 77 172 0 190732 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 1438012
[startup+102.307 s]
/proc/loadavg: 2.06 2.02 1.98 3/184 5759
/proc/meminfo: memFree=25236708/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=656092 CPUtime=33.78 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) S 5736 5736 5701 0 -1 4202496 46304 108543 0 0 1102 1442 750 84 20 0 1 0 278539340 671838208 102941 33554432000 4194304 5873084 140734106850416 140734106844232 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/5737/statm: 164023 102941 180 410 0 163605 0
[pid=5754] ppid=5737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5754/stat : 5754 (satsolver.sh) S 5737 5736 5701 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278542731 9367552 267 33554432000 4194304 5064252 140735885628864 140735885627776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5754/statm: 2287 267 226 213 0 72 0
[pid=5755] ppid=5754 vsize=850348 CPUtime=68.36 cores=1,3,5,7
/proc/5755/stat : 5755 (glucose_static) R 5754 5736 5701 0 -1 4202496 111673 0 0 0 6800 36 0 0 20 0 1 0 278542732 870756352 175467 33554432000 4194304 4896791 140737420448880 140737420446024 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5755/statm: 212587 175467 78 172 0 212413 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 1524736
[startup+162.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/183 5759
/proc/meminfo: memFree=25215464/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=656092 CPUtime=33.78 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) S 5736 5736 5701 0 -1 4202496 46304 108543 0 0 1102 1442 750 84 20 0 1 0 278539340 671838208 102941 33554432000 4194304 5873084 140734106850416 140734106844232 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/5737/statm: 164023 102941 180 410 0 163605 0
[pid=5754] ppid=5737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5754/stat : 5754 (satsolver.sh) S 5737 5736 5701 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278542731 9367552 267 33554432000 4194304 5064252 140735885628864 140735885627776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5754/statm: 2287 267 226 213 0 72 0
[pid=5755] ppid=5754 vsize=853320 CPUtime=128.34 cores=1,3,5,7
/proc/5755/stat : 5755 (glucose_static) R 5754 5736 5701 0 -1 4202496 112419 0 0 0 12797 37 0 0 20 0 1 0 278542732 873799680 180812 33554432000 4194304 4896791 140737420448880 140737420446408 4224623 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5755/statm: 213330 180812 78 172 0 213156 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 1527708
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/183 5759
/proc/meminfo: memFree=25232116/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=656092 CPUtime=33.78 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) S 5736 5736 5701 0 -1 4202496 46304 108543 0 0 1102 1442 750 84 20 0 1 0 278539340 671838208 102941 33554432000 4194304 5873084 140734106850416 140734106844232 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/5737/statm: 164023 102941 180 410 0 163605 0
[pid=5754] ppid=5737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5754/stat : 5754 (satsolver.sh) S 5737 5736 5701 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278542731 9367552 267 33554432000 4194304 5064252 140735885628864 140735885627776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5754/statm: 2287 267 226 213 0 72 0
[pid=5755] ppid=5754 vsize=854684 CPUtime=188.34 cores=1,3,5,7
/proc/5755/stat : 5755 (glucose_static) R 5754 5736 5701 0 -1 4202496 113391 0 0 0 18792 42 0 0 20 0 1 0 278542732 875196416 176579 33554432000 4194304 4896791 140737420448880 140737420444616 4225148 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5755/statm: 213671 176579 78 172 0 213497 0
Current children cumulated CPU time (s) 222.12
################
# More data... #
################
/proc/5755/statm: 219298 191305 78 172 0 219124 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1551580
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5770
/proc/meminfo: memFree=25180276/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=656092 CPUtime=33.78 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) S 5736 5736 5701 0 -1 4202496 46304 108543 0 0 1102 1442 750 84 20 0 1 0 278539340 671838208 102941 33554432000 4194304 5873084 140734106850416 140734106844232 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/5737/statm: 164023 102941 180 410 0 163605 0
[pid=5754] ppid=5737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5754/stat : 5754 (satsolver.sh) S 5737 5736 5701 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278542731 9367552 267 33554432000 4194304 5064252 140735885628864 140735885627776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5754/statm: 2287 267 226 213 0 72 0
[pid=5755] ppid=5754 vsize=878108 CPUtime=1388.14 cores=1,3,5,7
/proc/5755/stat : 5755 (glucose_static) R 5754 5736 5701 0 -1 4202496 122721 0 0 0 138730 84 0 0 20 0 1 0 278542732 899182592 189000 33554432000 4194304 4896791 140737420448880 140737420446408 4224680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5755/statm: 219527 189000 78 172 0 219353 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1552496
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5770
/proc/meminfo: memFree=25171104/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=656092 CPUtime=33.78 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) S 5736 5736 5701 0 -1 4202496 46304 108543 0 0 1102 1442 750 84 20 0 1 0 278539340 671838208 102941 33554432000 4194304 5873084 140734106850416 140734106844232 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/5737/statm: 164023 102941 180 410 0 163605 0
[pid=5754] ppid=5737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5754/stat : 5754 (satsolver.sh) S 5737 5736 5701 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278542731 9367552 267 33554432000 4194304 5064252 140735885628864 140735885627776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5754/statm: 2287 267 226 213 0 72 0
[pid=5755] ppid=5754 vsize=879036 CPUtime=1448.11 cores=1,3,5,7
/proc/5755/stat : 5755 (glucose_static) R 5754 5736 5701 0 -1 4202496 123099 0 0 0 144724 87 0 0 20 0 1 0 278542732 900132864 191241 33554432000 4194304 4896791 140737420448880 140737420446408 4203856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5755/statm: 219759 191241 78 172 0 219585 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1553424
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5770
/proc/meminfo: memFree=25136156/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=656092 CPUtime=33.78 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) S 5736 5736 5701 0 -1 4202496 46304 108543 0 0 1102 1442 750 84 20 0 1 0 278539340 671838208 102941 33554432000 4194304 5873084 140734106850416 140734106844232 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/5737/statm: 164023 102941 180 410 0 163605 0
[pid=5754] ppid=5737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5754/stat : 5754 (satsolver.sh) S 5737 5736 5701 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278542731 9367552 267 33554432000 4194304 5064252 140735885628864 140735885627776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5754/statm: 2287 267 226 213 0 72 0
[pid=5755] ppid=5754 vsize=879828 CPUtime=1508.11 cores=1,3,5,7
/proc/5755/stat : 5755 (glucose_static) R 5754 5736 5701 0 -1 4202496 123330 0 0 0 150723 88 0 0 20 0 1 0 278542732 900943872 200371 33554432000 4194304 4896791 140737420448880 140737420446088 4204115 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5755/statm: 219957 200371 78 172 0 219783 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1554216
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5770
/proc/meminfo: memFree=25131340/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=656092 CPUtime=33.78 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) S 5736 5736 5701 0 -1 4202496 46304 108543 0 0 1102 1442 750 84 20 0 1 0 278539340 671838208 102941 33554432000 4194304 5873084 140734106850416 140734106844232 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/5737/statm: 164023 102941 180 410 0 163605 0
[pid=5754] ppid=5737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5754/stat : 5754 (satsolver.sh) S 5737 5736 5701 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278542731 9367552 267 33554432000 4194304 5064252 140735885628864 140735885627776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5754/statm: 2287 267 226 213 0 72 0
[pid=5755] ppid=5754 vsize=880488 CPUtime=1568.1 cores=1,3,5,7
/proc/5755/stat : 5755 (glucose_static) R 5754 5736 5701 0 -1 4202496 123831 0 0 0 156718 92 0 0 20 0 1 0 278542732 901619712 199691 33554432000 4194304 4896791 140737420448880 140737420446088 4224975 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5755/statm: 220122 199691 78 172 0 219948 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1554876
[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 5771
/proc/meminfo: memFree=25137980/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=656092 CPUtime=33.78 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) S 5736 5736 5701 0 -1 4202496 46304 108543 0 0 1102 1442 750 84 20 0 1 0 278539340 671838208 102941 33554432000 4194304 5873084 140734106850416 140734106844232 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/5737/statm: 164023 102941 180 410 0 163605 0
[pid=5754] ppid=5737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5754/stat : 5754 (satsolver.sh) S 5737 5736 5701 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278542731 9367552 267 33554432000 4194304 5064252 140735885628864 140735885627776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5754/statm: 2287 267 226 213 0 72 0
[pid=5755] ppid=5754 vsize=881016 CPUtime=1628.09 cores=1,3,5,7
/proc/5755/stat : 5755 (glucose_static) R 5754 5736 5701 0 -1 4202496 124082 0 0 0 162714 95 0 0 20 0 1 0 278542732 902160384 198128 33554432000 4194304 4896791 140737420448880 140737420446408 4225407 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5755/statm: 220254 198128 78 172 0 220080 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1555404
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 5771
/proc/meminfo: memFree=25145752/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=656092 CPUtime=33.78 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) S 5736 5736 5701 0 -1 4202496 46304 108543 0 0 1102 1442 750 84 20 0 1 0 278539340 671838208 102941 33554432000 4194304 5873084 140734106850416 140734106844232 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/5737/statm: 164023 102941 180 410 0 163605 0
[pid=5754] ppid=5737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5754/stat : 5754 (satsolver.sh) S 5737 5736 5701 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278542731 9367552 267 33554432000 4194304 5064252 140735885628864 140735885627776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5754/statm: 2287 267 226 213 0 72 0
[pid=5755] ppid=5754 vsize=881832 CPUtime=1688.08 cores=1,3,5,7
/proc/5755/stat : 5755 (glucose_static) R 5754 5736 5701 0 -1 4202496 124622 0 0 0 168710 98 0 0 20 0 1 0 278542732 902995968 195952 33554432000 4194304 4896791 140737420448880 140737420446456 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5755/statm: 220458 195952 78 172 0 220284 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1556220
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5771
/proc/meminfo: memFree=25155320/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=656092 CPUtime=33.78 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) S 5736 5736 5701 0 -1 4202496 46304 108543 0 0 1102 1442 750 84 20 0 1 0 278539340 671838208 102941 33554432000 4194304 5873084 140734106850416 140734106844232 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/5737/statm: 164023 102941 180 410 0 163605 0
[pid=5754] ppid=5737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5754/stat : 5754 (satsolver.sh) S 5737 5736 5701 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278542731 9367552 267 33554432000 4194304 5064252 140735885628864 140735885627776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5754/statm: 2287 267 226 213 0 72 0
[pid=5755] ppid=5754 vsize=882764 CPUtime=1748.07 cores=1,3,5,7
/proc/5755/stat : 5755 (glucose_static) R 5754 5736 5701 0 -1 4202496 125931 0 0 0 174706 101 0 0 20 0 1 0 278542732 903950336 193305 33554432000 4194304 4896791 140737420448880 140737420446456 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5755/statm: 220691 193305 78 172 0 220517 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1557152
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 5794
/proc/meminfo: memFree=26167008/32873648 swapFree=6864/6864
[pid=5736] ppid=5734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5736/stat : 5736 (runPb2sat.sh) S 5734 5736 5701 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278539339 9367552 275 33554432000 4194304 5064252 140736185926112 140736185925024 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5736/statm: 2287 275 233 213 0 72 0
[pid=5737] ppid=5736 vsize=656092 CPUtime=33.78 cores=1,3,5,7
/proc/5737/stat : 5737 (pb2sat) S 5736 5736 5701 0 -1 4202496 46304 108543 0 0 1102 1442 750 84 20 0 1 0 278539340 671838208 102941 33554432000 4194304 5873084 140734106850416 140734106844232 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/5737/statm: 164023 102941 180 410 0 163605 0
[pid=5754] ppid=5737 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5754/stat : 5754 (satsolver.sh) S 5737 5736 5701 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278542731 9367552 267 33554432000 4194304 5064252 140735885628864 140735885627776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5754/statm: 2287 267 226 213 0 72 0
[pid=5755] ppid=5754 vsize=882904 CPUtime=1766.28 cores=1,3,5,7
/proc/5755/stat : 5755 (glucose_static) R 5754 5736 5701 0 -1 4202496 125961 0 0 0 176526 102 0 0 20 0 1 0 278542732 904093696 196401 33554432000 4194304 4896791 140737420448880 140737420444616 4225426 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5755/statm: 220726 196401 78 172 0 220552 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1557292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5736 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.06
CPU user time (s): 1783.78
CPU system time (s): 16.28
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1901028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2
runsolver used 4.17237 second user time and 11.3243 second system time
The end