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-3695078-1338075454/watcher-3695078-1338075454 -o /tmp/evaluation-result-3695078-1338075454/solver-3695078-1338075454 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695078-1338075454.opb 580599383 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.02 2.00 3/179 14423
/proc/meminfo: memFree=26905024/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[startup+0.0683619 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 14423
/proc/meminfo: memFree=26905024/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100276 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 14423
/proc/meminfo: memFree=26905024/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300241 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 14423
/proc/meminfo: memFree=26905024/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70024 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 14423
/proc/meminfo: memFree=26905024/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 14428
/proc/meminfo: memFree=26876548/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=48900 CPUtime=1.26 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 6841 3707 0 0 97 25 4 0 20 0 1 0 273669739 50073600 10296 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14424/statm: 12225 10296 179 410 0 11807 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 58048
[startup+3.10034 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14430
/proc/meminfo: memFree=26759804/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=48900 CPUtime=1.26 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 6841 3707 0 0 97 25 4 0 20 0 1 0 273669739 50073600 10296 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14424/statm: 12225 10296 179 410 0 11807 0
[pid=14429] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273669868 9367552 267 33554432000 4194304 5064252 140737365255392 140737365254304 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2287 267 226 213 0 72 0
[pid=14430] ppid=14429 vsize=80776 CPUtime=1.79 cores=0,2,4,6
/proc/14430/stat : 14430 (glucose_static) R 14429 14423 9863 0 -1 4202496 16784 0 0 0 174 5 0 0 20 0 1 0 273669868 82714624 17915 33554432000 4194304 4896791 140735376182176 140735376179720 4203802 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14430/statm: 20194 17915 77 172 0 20020 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 147972
[startup+6.30035 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14430
/proc/meminfo: memFree=26760540/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=48900 CPUtime=1.26 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 6841 3707 0 0 97 25 4 0 20 0 1 0 273669739 50073600 10296 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14424/statm: 12225 10296 179 410 0 11807 0
[pid=14429] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273669868 9367552 267 33554432000 4194304 5064252 140737365255392 140737365254304 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2287 267 226 213 0 72 0
[pid=14430] ppid=14429 vsize=80916 CPUtime=4.99 cores=0,2,4,6
/proc/14430/stat : 14430 (glucose_static) R 14429 14423 9863 0 -1 4202496 16831 0 0 0 494 5 0 0 20 0 1 0 273669868 82857984 18473 33554432000 4194304 4896791 140735376182176 140735376179496 4203058 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14430/statm: 20229 18473 77 172 0 20055 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 148112
[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14430
/proc/meminfo: memFree=26757640/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=48900 CPUtime=1.26 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 6841 3707 0 0 97 25 4 0 20 0 1 0 273669739 50073600 10296 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14424/statm: 12225 10296 179 410 0 11807 0
[pid=14429] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273669868 9367552 267 33554432000 4194304 5064252 140737365255392 140737365254304 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2287 267 226 213 0 72 0
[pid=14430] ppid=14429 vsize=81752 CPUtime=11.39 cores=0,2,4,6
/proc/14430/stat : 14430 (glucose_static) R 14429 14423 9863 0 -1 4202496 17020 0 0 0 1134 5 0 0 20 0 1 0 273669868 83714048 18662 33554432000 4194304 4896791 140735376182176 140735376179384 4203058 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14430/statm: 20438 18662 77 172 0 20264 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 148948
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 14430
/proc/meminfo: memFree=26755144/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=48900 CPUtime=1.26 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 6841 3707 0 0 97 25 4 0 20 0 1 0 273669739 50073600 10296 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14424/statm: 12225 10296 179 410 0 11807 0
[pid=14429] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273669868 9367552 267 33554432000 4194304 5064252 140737365255392 140737365254304 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2287 267 226 213 0 72 0
[pid=14430] ppid=14429 vsize=83780 CPUtime=24.2 cores=0,2,4,6
/proc/14430/stat : 14430 (glucose_static) R 14429 14423 9863 0 -1 4202496 17672 0 0 0 2414 6 0 0 20 0 1 0 273669868 85790720 19302 33554432000 4194304 4896791 140735376182176 140735376179384 4203806 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14430/statm: 20945 19302 77 172 0 20771 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 150976
[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 14431
/proc/meminfo: memFree=26749344/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=48900 CPUtime=1.26 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 6841 3707 0 0 97 25 4 0 20 0 1 0 273669739 50073600 10296 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14424/statm: 12225 10296 179 410 0 11807 0
[pid=14429] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273669868 9367552 267 33554432000 4194304 5064252 140737365255392 140737365254304 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2287 267 226 213 0 72 0
[pid=14430] ppid=14429 vsize=97748 CPUtime=49.79 cores=0,2,4,6
/proc/14430/stat : 14430 (glucose_static) R 14429 14423 9863 0 -1 4202496 18689 0 0 0 4973 6 0 0 20 0 1 0 273669868 100093952 20804 33554432000 4194304 4896791 140735376182176 140735376179400 4203891 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14430/statm: 24437 20804 77 172 0 24263 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 164944
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14434
/proc/meminfo: memFree=26726896/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=78672 CPUtime=98.89 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 12096 24827 0 0 152 30 9697 10 20 0 1 0 273669739 80560128 17784 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14424/statm: 19668 17784 179 410 0 19250 0
[pid=14433] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14433/stat : 14433 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273679632 9367552 267 33554432000 4194304 5064252 140735082794640 140735082793552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14433/statm: 2287 267 226 213 0 72 0
[pid=14434] ppid=14433 vsize=81048 CPUtime=3.36 cores=0,2,4,6
/proc/14434/stat : 14434 (glucose_static) R 14433 14423 9863 0 -1 4202496 17404 0 0 0 332 4 0 0 20 0 1 0 273679633 82993152 18462 33554432000 4194304 4896791 140735921013984 140735921011192 4223840 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14434/statm: 20262 18462 77 172 0 20088 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 178016
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 14437
/proc/meminfo: memFree=26716372/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=78672 CPUtime=98.89 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 12096 24827 0 0 152 30 9697 10 20 0 1 0 273669739 80560128 17784 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14424/statm: 19668 17784 179 410 0 19250 0
[pid=14433] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14433/stat : 14433 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273679632 9367552 267 33554432000 4194304 5064252 140735082794640 140735082793552 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14433/statm: 2287 267 226 213 0 72 0
[pid=14434] ppid=14433 vsize=96968 CPUtime=63.34 cores=0,2,4,6
/proc/14434/stat : 14434 (glucose_static) R 14433 14423 9863 0 -1 4202496 19019 0 0 0 6329 5 0 0 20 0 1 0 273679633 99295232 20562 33554432000 4194304 4896791 140735921013984 140735921011208 4202982 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14434/statm: 24242 20562 77 172 0 24068 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
/proc/14720/stat : 14720 (glucose_static) R 14719 14423 9863 0 -1 4202496 18456 0 0 0 6438 3 0 0 20 0 1 0 273805526 85942272 19475 33554432000 4194304 4896791 140735758366768 140735758363976 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14720/statm: 20982 19475 77 172 0 20808 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 180896
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 14743
/proc/meminfo: memFree=28238800/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=78672 CPUtime=1357.52 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 64103 240916 0 0 737 75 134846 94 20 0 1 0 273669739 80560128 17784 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14424/statm: 19668 17784 179 410 0 19250 0
[pid=14719] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14719/stat : 14719 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273805525 9367552 267 33554432000 4194304 5064252 140733557541024 140733557539936 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14719/statm: 2287 267 226 213 0 72 0
[pid=14720] ppid=14719 vsize=100304 CPUtime=124.4 cores=0,2,4,6
/proc/14720/stat : 14720 (glucose_static) R 14719 14423 9863 0 -1 4202496 21385 0 0 0 12435 5 0 0 20 0 1 0 273805526 102711296 21379 33554432000 4194304 4896791 140735758366768 140735758363992 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14720/statm: 25076 21379 77 172 0 24902 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 197272
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 14746
/proc/meminfo: memFree=28243064/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=78672 CPUtime=1484.53 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 69335 263465 0 0 796 79 147476 102 20 0 1 0 273669739 80560128 17784 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14424/statm: 19668 17784 179 410 0 19250 0
[pid=14745] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14745/stat : 14745 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273818228 9367552 266 33554432000 4194304 5064252 140736686301520 140736686300432 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14745/statm: 2287 266 226 213 0 72 0
[pid=14746] ppid=14745 vsize=96368 CPUtime=57.38 cores=0,2,4,6
/proc/14746/stat : 14746 (glucose_static) R 14745 14423 9863 0 -1 4202496 19277 0 0 0 5732 6 0 0 20 0 1 0 273818229 98680832 20308 33554432000 4194304 4896791 140735085794512 140735085792040 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14746/statm: 24092 20308 77 172 0 23918 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 193336
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 14750
/proc/meminfo: memFree=28250612/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=78672 CPUtime=1590.06 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 74475 285025 0 0 854 84 157957 111 20 0 1 0 273669739 80560128 17784 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14424/statm: 19668 17784 179 410 0 19250 0
[pid=14749] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14749/stat : 14749 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273828784 9367552 267 33554432000 4194304 5064252 140734501876752 140734501875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14749/statm: 2287 267 226 213 0 72 0
[pid=14750] ppid=14749 vsize=80780 CPUtime=11.82 cores=0,2,4,6
/proc/14750/stat : 14750 (glucose_static) R 14749 14423 9863 0 -1 4202496 18557 0 0 0 1178 4 0 0 20 0 1 0 273828785 82718720 18114 33554432000 4194304 4896791 140736228308800 140736228306008 4224142 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14750/statm: 20195 18114 77 172 0 20021 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 177748
[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 14750
/proc/meminfo: memFree=28244144/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=78672 CPUtime=1590.06 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 74475 285025 0 0 854 84 157957 111 20 0 1 0 273669739 80560128 17784 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14424/statm: 19668 17784 179 410 0 19250 0
[pid=14749] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14749/stat : 14749 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273828784 9367552 267 33554432000 4194304 5064252 140734501876752 140734501875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14749/statm: 2287 267 226 213 0 72 0
[pid=14750] ppid=14749 vsize=84848 CPUtime=71.8 cores=0,2,4,6
/proc/14750/stat : 14750 (glucose_static) R 14749 14423 9863 0 -1 4202496 19766 0 0 0 7176 4 0 0 20 0 1 0 273828785 86884352 19815 33554432000 4194304 4896791 140736228308800 140736228306008 4225523 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14750/statm: 21212 19815 77 172 0 21038 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 181816
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 14750
/proc/meminfo: memFree=28239492/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=78672 CPUtime=1590.06 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 74475 285025 0 0 854 84 157957 111 20 0 1 0 273669739 80560128 17784 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14424/statm: 19668 17784 179 410 0 19250 0
[pid=14749] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14749/stat : 14749 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273828784 9367552 267 33554432000 4194304 5064252 140734501876752 140734501875664 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14749/statm: 2287 267 226 213 0 72 0
[pid=14750] ppid=14749 vsize=99904 CPUtime=131.8 cores=0,2,4,6
/proc/14750/stat : 14750 (glucose_static) R 14749 14423 9863 0 -1 4202496 21891 0 0 0 13174 6 0 0 20 0 1 0 273828785 102301696 20957 33554432000 4194304 4896791 140736228308800 140736228306312 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14750/statm: 24976 20957 77 172 0 24802 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 196872
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 14753
/proc/meminfo: memFree=28241728/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=78672 CPUtime=1722.97 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 79616 308086 0 0 913 89 171176 119 20 0 1 0 273669739 80560128 17784 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14424/statm: 19668 17784 179 410 0 19250 0
[pid=14752] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14752/stat : 14752 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273842078 9367552 266 33554432000 4194304 5064252 140735886773264 140735886772176 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14752/statm: 2287 266 226 213 0 72 0
[pid=14753] ppid=14752 vsize=82760 CPUtime=58.88 cores=0,2,4,6
/proc/14753/stat : 14753 (glucose_static) R 14752 14423 9863 0 -1 4202496 17302 0 0 0 5884 4 0 0 20 0 1 0 273842079 84746240 19297 33554432000 4194304 4896791 140736045998304 140736045995848 4203102 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14753/statm: 20690 19297 77 172 0 20516 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 179728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 14753
/proc/meminfo: memFree=28239372/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=78672 CPUtime=1722.97 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 79616 308086 0 0 913 89 171176 119 20 0 1 0 273669739 80560128 17784 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14424/statm: 19668 17784 179 410 0 19250 0
[pid=14752] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14752/stat : 14752 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273842078 9367552 266 33554432000 4194304 5064252 140735886773264 140735886772176 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14752/statm: 2287 266 226 213 0 72 0
[pid=14753] ppid=14752 vsize=84376 CPUtime=77.08 cores=0,2,4,6
/proc/14753/stat : 14753 (glucose_static) R 14752 14423 9863 0 -1 4202496 17968 0 0 0 7704 4 0 0 20 0 1 0 273842079 86401024 19949 33554432000 4194304 4896791 140736045998304 140736045995560 4225148 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14753/statm: 21094 19949 77 172 0 20920 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 181344
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 14753
/proc/meminfo: memFree=28239372/32873844 swapFree=7612/7612
[pid=14423] ppid=14421 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14423/stat : 14423 (runPb2satCp2.sh) S 14421 14423 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273669739 9367552 275 33554432000 4194304 5064252 140734145402336 140734145401248 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14423/statm: 2287 275 233 213 0 72 0
[pid=14424] ppid=14423 vsize=78672 CPUtime=1722.97 cores=0,2,4,6
/proc/14424/stat : 14424 (pb2sat) S 14423 14423 9863 0 -1 4202496 79616 308086 0 0 913 89 171176 119 20 0 1 0 273669739 80560128 17784 33554432000 4194304 5873084 140735480819888 140735480813704 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14424/statm: 19668 17784 179 410 0 19250 0
[pid=14752] ppid=14424 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14752/stat : 14752 (satsolver.sh) S 14424 14423 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273842078 9367552 266 33554432000 4194304 5064252 140735886773264 140735886772176 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14752/statm: 2287 266 226 213 0 72 0
[pid=14753] ppid=14752 vsize=84376 CPUtime=77.08 cores=0,2,4,6
/proc/14753/stat : 14753 (glucose_static) R 14752 14423 9863 0 -1 4202496 17968 0 0 0 7704 4 0 0 20 0 1 0 273842079 86401024 19949 33554432000 4194304 4896791 140736045998304 140736045995560 4225148 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14753/statm: 21094 19949 77 172 0 20920 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 181344
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14423 and gives
# childrusage.ru_utime.tv_sec=1720
# childrusage.ru_utime.tv_usec=899383
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=93681
# CPU time returned by wait4() is 1722.99
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1797.93
CPU system time (s): 2.12
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 227852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1720.9
system time used= 2.09368
maximum resident set size= 111564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388679
page faults= 0
swaps= 0
block input operations= 0
block output operations= 898424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 364
involuntary context switches= 2101
runsolver used 3.43748 second user time and 9.27659 second system time
The end