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-3697035-1338076633/watcher-3697035-1338076633 -o /tmp/evaluation-result-3697035-1338076633/solver-3697035-1338076633 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3697035-1338076633.opb 1097163911 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.02 2.01 2.00 3/179 19219
/proc/meminfo: memFree=27441820/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[startup+0.0507851 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19219
/proc/meminfo: memFree=27441820/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100256 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19219
/proc/meminfo: memFree=27441820/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300231 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19219
/proc/meminfo: memFree=27441820/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700219 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19219
/proc/meminfo: memFree=27441820/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 19221
/proc/meminfo: memFree=27420108/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=34780 CPUtime=1.48 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) R 19219 19219 15605 0 -1 4202496 3252 0 0 0 148 0 0 0 20 0 1 0 273790575 35614720 7823 33554432000 4194304 5873084 140736220253920 140736220250712 4779585 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19220/statm: 8695 7823 146 410 0 8277 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43928
[startup+3.10026 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 19221
/proc/meminfo: memFree=27396968/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=67548 CPUtime=3.08 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) R 19219 19219 15605 0 -1 4202496 3794 0 0 0 307 1 0 0 20 0 1 0 273790575 69169152 15503 33554432000 4194304 5873084 140736220253920 140736220250712 4746158 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19220/statm: 16887 15503 146 410 0 16469 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 76696
[startup+6.30026 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 19221
/proc/meminfo: memFree=27333112/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=133084 CPUtime=6.29 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) R 19219 19219 15605 0 -1 4202496 4366 0 0 0 625 4 0 0 20 0 1 0 273790575 136278016 30351 33554432000 4194304 5873084 140736220253920 140736220250328 4779619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19220/statm: 33271 30351 146 410 0 32853 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142232
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 19223
/proc/meminfo: memFree=26840604/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=264320 CPUtime=8.42 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) S 19219 19219 15605 0 -1 4202496 5840 0 0 0 813 29 0 0 20 0 1 0 273790575 270663680 39085 33554432000 4194304 5873084 140736220253920 140736220250344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19220/statm: 66080 39085 162 410 0 65662 0
[pid=19222] ppid=19220 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19222/stat : 19222 (satsolver.sh) S 19220 19219 15605 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273791420 9367552 267 33554432000 4194304 5064252 140735673905408 140735673904320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19222/statm: 2287 267 226 213 0 72 0
[pid=19223] ppid=19222 vsize=314924 CPUtime=4.24 cores=0,2,4,6
/proc/19223/stat : 19223 (glucose_static) R 19222 19219 15605 0 -1 4202496 23463 0 0 0 413 11 0 0 20 0 1 0 273791420 322482176 68360 33554432000 4194304 4896791 140737180261824 140737180259032 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19223/statm: 78731 68360 76 172 0 78557 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 597540
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 19223
/proc/meminfo: memFree=26820004/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=264320 CPUtime=8.42 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) S 19219 19219 15605 0 -1 4202496 5840 0 0 0 813 29 0 0 20 0 1 0 273790575 270663680 39085 33554432000 4194304 5873084 140736220253920 140736220250344 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19220/statm: 66080 39085 162 410 0 65662 0
[pid=19222] ppid=19220 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19222/stat : 19222 (satsolver.sh) S 19220 19219 15605 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273791420 9367552 267 33554432000 4194304 5064252 140735673905408 140735673904320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19222/statm: 2287 267 226 213 0 72 0
[pid=19223] ppid=19222 vsize=368900 CPUtime=17.04 cores=0,2,4,6
/proc/19223/stat : 19223 (glucose_static) R 19222 19219 15605 0 -1 4202496 33808 0 0 0 1689 15 0 0 20 0 1 0 273791420 377753600 80121 33554432000 4194304 4896791 140737180261824 140737180259256 4224960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19223/statm: 92225 80121 78 172 0 92051 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 651516
[startup+51.1004 s]
/proc/loadavg: 2.14 2.04 2.01 3/183 19226
/proc/meminfo: memFree=26642240/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=264324 CPUtime=32.64 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) S 19219 19219 15605 0 -1 4202496 5918 35652 0 0 890 343 1982 49 20 0 1 0 273790575 270667776 39106 33554432000 4194304 5873084 140736220253920 140736220247736 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19220/statm: 66081 39106 173 410 0 65663 0
[pid=19225] ppid=19220 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19225/stat : 19225 (satsolver.sh) S 19220 19219 15605 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 273793842 9367552 266 33554432000 4194304 5064252 140733889702672 140733889701584 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19225/statm: 2287 266 226 213 0 72 0
[pid=19226] ppid=19225 vsize=374200 CPUtime=18.41 cores=0,2,4,6
/proc/19226/stat : 19226 (glucose_static) R 19225 19219 15605 0 -1 4202496 37177 0 0 0 1829 12 0 0 20 0 1 0 273793843 383180800 80447 33554432000 4194304 4896791 140733365976464 140733365973896 4224975 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19226/statm: 93550 80447 78 172 0 93376 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 656820
[startup+102.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 19229
/proc/meminfo: memFree=26636612/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=264324 CPUtime=60.08 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) S 19219 19219 15605 0 -1 4202496 5984 74762 0 0 890 343 4687 88 20 0 1 0 273790575 270667776 39106 33554432000 4194304 5873084 140736220253920 140736220247736 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19220/statm: 66081 39106 173 410 0 65663 0
[pid=19228] ppid=19220 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (satsolver.sh) S 19220 19219 15605 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273796589 9367552 266 33554432000 4194304 5064252 140733639420768 140733639419680 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19228/statm: 2287 266 226 213 0 72 0
[pid=19229] ppid=19228 vsize=395228 CPUtime=42.14 cores=0,2,4,6
/proc/19229/stat : 19229 (glucose_static) R 19228 19219 15605 0 -1 4202496 38774 0 0 0 4198 16 0 0 20 0 1 0 273796589 404713472 86731 33554432000 4194304 4896791 140736631732000 140736631729256 4224992 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19229/statm: 98807 86731 76 172 0 98633 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 677848
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 19229
/proc/meminfo: memFree=26592236/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=264324 CPUtime=60.08 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) S 19219 19219 15605 0 -1 4202496 5984 74762 0 0 890 343 4687 88 20 0 1 0 273790575 270667776 39106 33554432000 4194304 5873084 140736220253920 140736220247736 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19220/statm: 66081 39106 173 410 0 65663 0
[pid=19228] ppid=19220 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19228/stat : 19228 (satsolver.sh) S 19220 19219 15605 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273796589 9367552 266 33554432000 4194304 5064252 140733639420768 140733639419680 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19228/statm: 2287 266 226 213 0 72 0
[pid=19229] ppid=19228 vsize=411516 CPUtime=102.13 cores=0,2,4,6
/proc/19229/stat : 19229 (glucose_static) R 19228 19219 15605 0 -1 4202496 42323 0 0 0 10194 19 0 0 20 0 1 0 273796589 421392384 93233 33554432000 4194304 4896791 140736631732000 140736631729432 4225002 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19229/statm: 102879 93233 78 172 0 102705 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 694136
[startup+222.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/184 19235
/proc/meminfo: memFree=26652848/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=264324 CPUtime=206.54 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) S 19219 19219 15605 0 -1 4202496 6023 120473 0 0 890 343 19284 137 20 0 1 0 273790575 270667776 39106 33554432000 4194304 5873084 140736220253920 140736220247736 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19220/statm: 66081 39106 173 410 0 65663 0
[pid=19234] ppid=19220 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19234/stat : 19234 (satsolver.sh) S 19220 19219 15605 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273811238 9367552 267 33554432000 4194304 5064252 140735839453600 140735839452512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19234/statm: 2287 267 226 213 0 72 0
[pid=19235] ppid=19234 vsize=364240 CPUtime=15.66 cores=0,2,4,6
/proc/19235/stat : 19235 (glucose_static) R 19234 19219 15605 0 -1 4202496 34992 0 0 0 1553 13 0 0 20 0 1 0 273811238 372981760 79342 33554432000 4194304 4896791 140736612625792 140736612623224 4224960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19235/statm: 91060 79342 76 172 0 90886 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 646860
Solver just ended. Dumping a history of the last processes samples
[startup+230.7 s]
/proc/loadavg: 2.07 2.04 2.00 3/184 19258
/proc/meminfo: memFree=26643876/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=264324 CPUtime=206.54 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) S 19219 19219 15605 0 -1 4202496 6023 120473 0 0 890 343 19284 137 20 0 1 0 273790575 270667776 39106 33554432000 4194304 5873084 140736220253920 140736220247736 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19220/statm: 66081 39106 173 410 0 65663 0
[pid=19234] ppid=19220 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19234/stat : 19234 (satsolver.sh) S 19220 19219 15605 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273811238 9367552 267 33554432000 4194304 5064252 140735839453600 140735839452512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19234/statm: 2287 267 226 213 0 72 0
[pid=19235] ppid=19234 vsize=366968 CPUtime=24.05 cores=0,2,4,6
/proc/19235/stat : 19235 (glucose_static) R 19234 19219 15605 0 -1 4202496 35686 0 0 0 2392 13 0 0 20 0 1 0 273811238 375775232 80542 33554432000 4194304 4896791 140736612625792 140736612623224 4225002 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19235/statm: 91742 80542 76 172 0 91568 0
Current children cumulated CPU time (s) 230.59
Current children cumulated vsize (KiB) 649588
[startup+237.1 s]
/proc/loadavg: 2.06 2.04 2.00 3/184 19259
/proc/meminfo: memFree=26639836/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=264324 CPUtime=206.54 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) S 19219 19219 15605 0 -1 4202496 6023 120473 0 0 890 343 19284 137 20 0 1 0 273790575 270667776 39106 33554432000 4194304 5873084 140736220253920 140736220247736 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19220/statm: 66081 39106 173 410 0 65663 0
[pid=19234] ppid=19220 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19234/stat : 19234 (satsolver.sh) S 19220 19219 15605 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273811238 9367552 267 33554432000 4194304 5064252 140735839453600 140735839452512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19234/statm: 2287 267 226 213 0 72 0
[pid=19235] ppid=19234 vsize=370168 CPUtime=30.44 cores=0,2,4,6
/proc/19235/stat : 19235 (glucose_static) R 19234 19219 15605 0 -1 4202496 36374 0 0 0 3031 13 0 0 20 0 1 0 273811238 379052032 81741 33554432000 4194304 4896791 140736612625792 140736612623336 4224975 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19235/statm: 92542 81741 76 172 0 92368 0
Current children cumulated CPU time (s) 236.98
Current children cumulated vsize (KiB) 652788
[startup+240.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/184 19259
/proc/meminfo: memFree=26637064/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=264324 CPUtime=206.54 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) S 19219 19219 15605 0 -1 4202496 6023 120473 0 0 890 343 19284 137 20 0 1 0 273790575 270667776 39106 33554432000 4194304 5873084 140736220253920 140736220247736 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19220/statm: 66081 39106 173 410 0 65663 0
[pid=19234] ppid=19220 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19234/stat : 19234 (satsolver.sh) S 19220 19219 15605 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273811238 9367552 267 33554432000 4194304 5064252 140735839453600 140735839452512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19234/statm: 2287 267 226 213 0 72 0
[pid=19235] ppid=19234 vsize=371076 CPUtime=33.64 cores=0,2,4,6
/proc/19235/stat : 19235 (glucose_static) R 19234 19219 15605 0 -1 4202496 36533 0 0 0 3351 13 0 0 20 0 1 0 273811238 379981824 81893 33554432000 4194304 4896791 140736612625792 140736612623048 4224992 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19235/statm: 92769 81893 76 172 0 92595 0
Current children cumulated CPU time (s) 240.18
Current children cumulated vsize (KiB) 653696
[startup+243.507 s]
/proc/loadavg: 2.06 2.04 2.00 3/184 19259
/proc/meminfo: memFree=26632348/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=264324 CPUtime=206.54 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) S 19219 19219 15605 0 -1 4202496 6023 120473 0 0 890 343 19284 137 20 0 1 0 273790575 270667776 39106 33554432000 4194304 5873084 140736220253920 140736220247736 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19220/statm: 66081 39106 173 410 0 65663 0
[pid=19234] ppid=19220 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19234/stat : 19234 (satsolver.sh) S 19220 19219 15605 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273811238 9367552 267 33554432000 4194304 5064252 140735839453600 140735839452512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19234/statm: 2287 267 226 213 0 72 0
[pid=19235] ppid=19234 vsize=372576 CPUtime=36.84 cores=0,2,4,6
/proc/19235/stat : 19235 (glucose_static) R 19234 19219 15605 0 -1 4202496 36855 0 0 0 3671 13 0 0 20 0 1 0 273811238 381517824 82726 33554432000 4194304 4896791 140736612625792 140736612623224 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19235/statm: 93144 82726 78 172 0 92970 0
Current children cumulated CPU time (s) 243.38
Current children cumulated vsize (KiB) 655196
[startup+244.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/184 19259
/proc/meminfo: memFree=26632348/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=264324 CPUtime=206.54 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) S 19219 19219 15605 0 -1 4202496 6023 120473 0 0 890 343 19284 137 20 0 1 0 273790575 270667776 39106 33554432000 4194304 5873084 140736220253920 140736220247736 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19220/statm: 66081 39106 173 410 0 65663 0
[pid=19234] ppid=19220 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19234/stat : 19234 (satsolver.sh) S 19220 19219 15605 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273811238 9367552 267 33554432000 4194304 5064252 140735839453600 140735839452512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19234/statm: 2287 267 226 213 0 72 0
[pid=19235] ppid=19234 vsize=373540 CPUtime=37.64 cores=0,2,4,6
/proc/19235/stat : 19235 (glucose_static) R 19234 19219 15605 0 -1 4202496 37166 0 0 0 3750 14 0 0 20 0 1 0 273811238 382504960 83037 33554432000 4194304 4896791 140736612625792 140736612623048 4235563 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19235/statm: 93385 83037 78 172 0 93211 0
Current children cumulated CPU time (s) 244.18
Current children cumulated vsize (KiB) 656160
[startup+244.7 s]
/proc/loadavg: 2.06 2.04 2.00 3/184 19259
/proc/meminfo: memFree=26630860/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=264324 CPUtime=206.54 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) S 19219 19219 15605 0 -1 4202496 6023 120473 0 0 890 343 19284 137 20 0 1 0 273790575 270667776 39106 33554432000 4194304 5873084 140736220253920 140736220247736 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19220/statm: 66081 39106 173 410 0 65663 0
[pid=19234] ppid=19220 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19234/stat : 19234 (satsolver.sh) S 19220 19219 15605 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273811238 9367552 267 33554432000 4194304 5064252 140735839453600 140735839452512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19234/statm: 2287 267 226 213 0 72 0
[pid=19235] ppid=19234 vsize=374340 CPUtime=38.04 cores=0,2,4,6
/proc/19235/stat : 19235 (glucose_static) R 19234 19219 15605 0 -1 4202496 37277 0 0 0 3790 14 0 0 20 0 1 0 273811238 383324160 83148 33554432000 4194304 4896791 140736612625792 140736612623048 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19235/statm: 93585 83148 78 172 0 93411 0
Current children cumulated CPU time (s) 244.58
Current children cumulated vsize (KiB) 656960
[startup+245.1 s]
/proc/loadavg: 2.06 2.04 2.00 3/184 19259
/proc/meminfo: memFree=26630860/32873648 swapFree=6336/6336
[pid=19219] ppid=19217 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19219/stat : 19219 (runPb2sat.sh) S 19217 19219 15605 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273790575 9367552 275 33554432000 4194304 5064252 140736682816880 140736682815792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19219/statm: 2287 275 233 213 0 72 0
[pid=19220] ppid=19219 vsize=264324 CPUtime=244.95 cores=0,2,4,6
/proc/19220/stat : 19220 (pb2sat) S 19219 19219 15605 0 -1 4202496 6085 158873 0 0 890 343 23085 177 20 0 1 0 273790575 270667776 39107 33554432000 4194304 5873084 140736220253920 140736220251480 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19220/statm: 66081 39107 174 410 0 65663 0
Current children cumulated CPU time (s) 244.95
Current children cumulated vsize (KiB) 273472
Child status: 0
Real time (s): 245.104
CPU time (s): 245.023
CPU user time (s): 239.769
CPU system time (s): 5.2542
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 834164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 239.769
system time used= 5.2542
maximum resident set size= 388948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165778
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1855992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94
involuntary context switches= 355
runsolver used 0.620905 second user time and 1.43578 second system time
The end