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-3695289-1338126278/watcher-3695289-1338126278 -o /tmp/evaluation-result-3695289-1338126278/solver-3695289-1338126278 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695289-1338126278.opb 2026573407 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: 2.00 2.00 1.95 3/179 26479
/proc/meminfo: memFree=26929372/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[startup+0.0230339 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26479
/proc/meminfo: memFree=26929372/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100255 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26479
/proc/meminfo: memFree=26929372/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300229 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26479
/proc/meminfo: memFree=26929372/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700238 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26479
/proc/meminfo: memFree=26929372/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 26523
/proc/meminfo: memFree=27391752/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=96588 CPUtime=0.9 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 11555 0 0 0 82 8 0 0 20 0 1 0 278755073 98906112 16004 33554432000 4194304 5873084 140733325725760 140733325722184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26480/statm: 24147 16004 171 410 0 23729 0
[pid=26512] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26512/stat : 26512 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278755164 9367552 267 33554432000 4194304 5064252 140735804955024 140735804953936 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 2287 267 226 213 0 72 0
[pid=26513] ppid=26512 vsize=97000 CPUtime=0.57 cores=1,3,5,7
/proc/26513/stat : 26513 (glucose_static) R 26512 26479 26234 0 -1 4202496 20622 0 0 0 53 4 0 0 20 0 1 0 278755164 99328000 22108 33554432000 4194304 4896791 140734644742176 140734643691256 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26513/statm: 24250 22108 76 172 0 24076 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 211884
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 26525
/proc/meminfo: memFree=27172196/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=96588 CPUtime=0.9 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 11555 0 0 0 82 8 0 0 20 0 1 0 278755073 98906112 16004 33554432000 4194304 5873084 140733325725760 140733325722184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26480/statm: 24147 16004 171 410 0 23729 0
[pid=26512] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26512/stat : 26512 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278755164 9367552 267 33554432000 4194304 5064252 140735804955024 140735804953936 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 2287 267 226 213 0 72 0
[pid=26513] ppid=26512 vsize=97476 CPUtime=2.17 cores=1,3,5,7
/proc/26513/stat : 26513 (glucose_static) R 26512 26479 26234 0 -1 4202496 20948 0 0 0 213 4 0 0 20 0 1 0 278755164 99815424 22714 33554432000 4194304 4896791 140734644742176 140734644739688 4225148 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26513/statm: 24369 22714 78 172 0 24195 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 212360
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 26525
/proc/meminfo: memFree=27148460/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=96588 CPUtime=0.9 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 11555 0 0 0 82 8 0 0 20 0 1 0 278755073 98906112 16004 33554432000 4194304 5873084 140733325725760 140733325722184 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26480/statm: 24147 16004 171 410 0 23729 0
[pid=26512] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26512/stat : 26512 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278755164 9367552 267 33554432000 4194304 5064252 140735804955024 140735804953936 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26512/statm: 2287 267 226 213 0 72 0
[pid=26513] ppid=26512 vsize=98028 CPUtime=5.37 cores=1,3,5,7
/proc/26513/stat : 26513 (glucose_static) R 26512 26479 26234 0 -1 4202496 21810 0 0 0 533 4 0 0 20 0 1 0 278755164 100380672 22870 33554432000 4194304 4896791 140734644742176 140734644739704 4202999 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26513/statm: 24507 22870 78 172 0 24333 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 212912
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 1.96 3/183 26531
/proc/meminfo: memFree=27060840/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=99892 CPUtime=9.63 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 13950 22990 0 0 133 280 539 11 20 0 1 0 278755073 102289408 16724 33554432000 4194304 5873084 140733325725760 140733325719576 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26480/statm: 24973 16724 180 410 0 24555 0
[pid=26530] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26530/stat : 26530 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278756038 9367552 267 33554432000 4194304 5064252 140736310465024 140736310463936 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26530/statm: 2287 267 226 213 0 72 0
[pid=26531] ppid=26530 vsize=99212 CPUtime=3.03 cores=1,3,5,7
/proc/26531/stat : 26531 (glucose_static) R 26530 26479 26234 0 -1 4202496 22562 0 0 0 299 4 0 0 20 0 1 0 278756038 101593088 23211 33554432000 4194304 4896791 140733897258080 140733897255592 4203856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26531/statm: 24803 23211 77 172 0 24629 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 217400
[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 1.96 3/183 26534
/proc/meminfo: memFree=27065460/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=99892 CPUtime=9.63 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 13950 22990 0 0 133 280 539 11 20 0 1 0 278755073 102289408 16724 33554432000 4194304 5873084 140733325725760 140733325719576 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26480/statm: 24973 16724 180 410 0 24555 0
[pid=26530] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26530/stat : 26530 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278756038 9367552 267 33554432000 4194304 5064252 140736310465024 140736310463936 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26530/statm: 2287 267 226 213 0 72 0
[pid=26531] ppid=26530 vsize=99436 CPUtime=15.82 cores=1,3,5,7
/proc/26531/stat : 26531 (glucose_static) R 26530 26479 26234 0 -1 4202496 23163 0 0 0 1578 4 0 0 20 0 1 0 278756038 101822464 23330 33554432000 4194304 4896791 140733897258080 140733897255592 4230803 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26531/statm: 24859 23330 77 172 0 24685 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 217624
[startup+51.1004 s]
/proc/loadavg: 2.10 2.03 1.96 3/183 26543
/proc/meminfo: memFree=27062136/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=102964 CPUtime=46.86 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 16309 49293 0 0 146 280 4238 22 20 0 1 0 278755073 105435136 17470 33554432000 4194304 5873084 140733325725760 140733325719576 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26480/statm: 25741 17470 180 410 0 25323 0
[pid=26542] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26542/stat : 26542 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278759762 9367552 266 33554432000 4194304 5064252 140733325800032 140733325798944 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26542/statm: 2287 266 226 213 0 72 0
[pid=26543] ppid=26542 vsize=99748 CPUtime=4.19 cores=1,3,5,7
/proc/26543/stat : 26543 (glucose_static) R 26542 26479 26234 0 -1 4202496 24029 0 0 0 415 4 0 0 20 0 1 0 278759762 102141952 23220 33554432000 4194304 4896791 140733230993264 140733230990408 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26543/statm: 24937 23220 78 172 0 24763 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 221008
[startup+102.3 s]
/proc/loadavg: 2.08 2.04 1.97 3/183 26556
/proc/meminfo: memFree=27053080/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=102964 CPUtime=51.51 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 18672 74557 0 0 158 281 4679 33 20 0 1 0 278755073 105435136 17470 33554432000 4194304 5873084 140733325725760 140733325719576 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26480/statm: 25741 17470 180 410 0 25323 0
[pid=26545] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26545/stat : 26545 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 278760228 9367552 266 33554432000 4194304 5064252 140734868569936 140734868568848 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26545/statm: 2287 266 226 213 0 72 0
[pid=26546] ppid=26545 vsize=113264 CPUtime=50.72 cores=1,3,5,7
/proc/26546/stat : 26546 (glucose_static) R 26545 26479 26234 0 -1 4202496 27175 0 0 0 5067 5 0 0 20 0 1 0 278760228 115982336 24990 33554432000 4194304 4896791 140734558288560 140734558286104 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26546/statm: 28316 24990 78 172 0 28142 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 234524
[startup+162.3 s]
/proc/loadavg: 2.06 2.04 1.97 3/183 26559
/proc/meminfo: memFree=27053084/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=102964 CPUtime=157.05 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 21178 104948 0 0 170 281 15207 47 20 0 1 0 278755073 105435136 17470 33554432000 4194304 5873084 140733325725760 140733325719576 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26480/statm: 25741 17470 180 410 0 25323 0
[pid=26558] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 26602
/proc/meminfo: memFree=26993508/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=102964 CPUtime=1247.33 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 26008 205010 0 0 195 282 124145 111 20 0 1 0 278755073 105435136 17470 33554432000 4194304 5873084 140733325725760 140733325719576 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26480/statm: 25741 17470 180 410 0 25323 0
[pid=26600] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26600/stat : 26600 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278879835 9367552 267 33554432000 4194304 5064252 140735842052080 140735842050992 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26600/statm: 2287 267 226 213 0 72 0
[pid=26601] ppid=26600 vsize=121784 CPUtime=174.62 cores=1,3,5,7
/proc/26601/stat : 26601 (glucose_static) R 26600 26479 26234 0 -1 4202496 40140 0 0 0 17450 12 0 0 20 0 1 0 278879835 124706816 28297 33554432000 4194304 4896791 140734544060560 140734544058072 4203968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26601/statm: 30446 28297 78 172 0 30272 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 243044
[startup+1482.3 s]
/proc/loadavg: 2.10 2.03 1.99 3/183 26602
/proc/meminfo: memFree=26979644/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=102964 CPUtime=1247.33 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 26008 205010 0 0 195 282 124145 111 20 0 1 0 278755073 105435136 17470 33554432000 4194304 5873084 140733325725760 140733325719576 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26480/statm: 25741 17470 180 410 0 25323 0
[pid=26600] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26600/stat : 26600 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278879835 9367552 267 33554432000 4194304 5064252 140735842052080 140735842050992 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26600/statm: 2287 267 226 213 0 72 0
[pid=26601] ppid=26600 vsize=142480 CPUtime=234.62 cores=1,3,5,7
/proc/26601/stat : 26601 (glucose_static) R 26600 26479 26234 0 -1 4202496 43795 0 0 0 23448 14 0 0 20 0 1 0 278879835 145899520 30805 33554432000 4194304 4896791 140734544060560 140734544057784 4204069 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26601/statm: 35620 30805 78 172 0 35446 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 263740
[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 1.99 3/184 26605
/proc/meminfo: memFree=26979524/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=102964 CPUtime=1247.33 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 26008 205010 0 0 195 282 124145 111 20 0 1 0 278755073 105435136 17470 33554432000 4194304 5873084 140733325725760 140733325719576 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26480/statm: 25741 17470 180 410 0 25323 0
[pid=26600] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26600/stat : 26600 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278879835 9367552 267 33554432000 4194304 5064252 140735842052080 140735842050992 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26600/statm: 2287 267 226 213 0 72 0
[pid=26601] ppid=26600 vsize=125840 CPUtime=294.6 cores=1,3,5,7
/proc/26601/stat : 26601 (glucose_static) R 26600 26479 26234 0 -1 4202496 46925 0 0 0 29444 16 0 0 20 0 1 0 278879835 128860160 29743 33554432000 4194304 4896791 140734544060560 140734544058136 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26601/statm: 31460 29743 78 172 0 31286 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 247100
[startup+1602.31 s]
/proc/loadavg: 2.01 2.02 1.99 3/183 26605
/proc/meminfo: memFree=26947988/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=102964 CPUtime=1247.33 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 26008 205010 0 0 195 282 124145 111 20 0 1 0 278755073 105435136 17470 33554432000 4194304 5873084 140733325725760 140733325719576 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26480/statm: 25741 17470 180 410 0 25323 0
[pid=26600] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26600/stat : 26600 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278879835 9367552 267 33554432000 4194304 5064252 140735842052080 140735842050992 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26600/statm: 2287 267 226 213 0 72 0
[pid=26601] ppid=26600 vsize=146480 CPUtime=354.6 cores=1,3,5,7
/proc/26601/stat : 26601 (glucose_static) R 26600 26479 26234 0 -1 4202496 50795 0 0 0 35441 19 0 0 20 0 1 0 278879835 149995520 35009 33554432000 4194304 4896791 140734544060560 140734544057704 4203755 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26601/statm: 36620 35009 78 172 0 36446 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 267740
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 26606
/proc/meminfo: memFree=26914980/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=102964 CPUtime=1247.33 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 26008 205010 0 0 195 282 124145 111 20 0 1 0 278755073 105435136 17470 33554432000 4194304 5873084 140733325725760 140733325719576 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26480/statm: 25741 17470 180 410 0 25323 0
[pid=26600] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26600/stat : 26600 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278879835 9367552 267 33554432000 4194304 5064252 140735842052080 140735842050992 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26600/statm: 2287 267 226 213 0 72 0
[pid=26601] ppid=26600 vsize=179420 CPUtime=414.59 cores=1,3,5,7
/proc/26601/stat : 26601 (glucose_static) R 26600 26479 26234 0 -1 4202496 54497 0 0 0 41436 23 0 0 20 0 1 0 278879835 183726080 39045 33554432000 4194304 4896791 140734544060560 140734544057784 4203968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26601/statm: 44855 39045 78 172 0 44681 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 300680
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 26609
/proc/meminfo: memFree=27011040/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=102964 CPUtime=1247.33 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 26008 205010 0 0 195 282 124145 111 20 0 1 0 278755073 105435136 17470 33554432000 4194304 5873084 140733325725760 140733325719576 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26480/statm: 25741 17470 180 410 0 25323 0
[pid=26600] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26600/stat : 26600 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278879835 9367552 267 33554432000 4194304 5064252 140735842052080 140735842050992 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26600/statm: 2287 267 226 213 0 72 0
[pid=26601] ppid=26600 vsize=149104 CPUtime=474.57 cores=1,3,5,7
/proc/26601/stat : 26601 (glucose_static) R 26600 26479 26234 0 -1 4202496 56037 0 0 0 47433 24 0 0 20 0 1 0 278879835 152682496 35669 33554432000 4194304 4896791 140734544060560 140734544056296 4203775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26601/statm: 37276 35669 78 172 0 37102 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 270364
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 26609
/proc/meminfo: memFree=27017724/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=102964 CPUtime=1247.33 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 26008 205010 0 0 195 282 124145 111 20 0 1 0 278755073 105435136 17470 33554432000 4194304 5873084 140733325725760 140733325719576 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26480/statm: 25741 17470 180 410 0 25323 0
[pid=26600] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26600/stat : 26600 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278879835 9367552 267 33554432000 4194304 5064252 140735842052080 140735842050992 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26600/statm: 2287 267 226 213 0 72 0
[pid=26601] ppid=26600 vsize=150244 CPUtime=534.56 cores=1,3,5,7
/proc/26601/stat : 26601 (glucose_static) R 26600 26479 26234 0 -1 4202496 57068 0 0 0 53431 25 0 0 20 0 1 0 278879835 153849856 32836 33554432000 4194304 4896791 140734544060560 140734544058088 4225151 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26601/statm: 37561 32836 78 172 0 37387 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 271504
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 26609
/proc/meminfo: memFree=27001272/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=102964 CPUtime=1247.33 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 26008 205010 0 0 195 282 124145 111 20 0 1 0 278755073 105435136 17470 33554432000 4194304 5873084 140733325725760 140733325719576 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26480/statm: 25741 17470 180 410 0 25323 0
[pid=26600] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26600/stat : 26600 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278879835 9367552 267 33554432000 4194304 5064252 140735842052080 140735842050992 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26600/statm: 2287 267 226 213 0 72 0
[pid=26601] ppid=26600 vsize=150400 CPUtime=552.67 cores=1,3,5,7
/proc/26601/stat : 26601 (glucose_static) R 26600 26479 26234 0 -1 4202496 57114 0 0 0 55241 26 0 0 20 0 1 0 278879835 154009600 34415 33554432000 4194304 4896791 140734544060560 140734544056232 4203826 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26601/statm: 37600 34415 78 172 0 37426 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 271660
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 26609
/proc/meminfo: memFree=27001272/32873648 swapFree=6336/6336
[pid=26479] ppid=26477 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26479/stat : 26479 (runPb2satCp2.sh) S 26477 26479 26234 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278755072 9367552 275 33554432000 4194304 5064252 140735541499872 140735541498784 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26479/statm: 2287 275 233 213 0 72 0
[pid=26480] ppid=26479 vsize=102964 CPUtime=1247.33 cores=1,3,5,7
/proc/26480/stat : 26480 (pb2sat) S 26479 26479 26234 0 -1 4202496 26008 205010 0 0 195 282 124145 111 20 0 1 0 278755073 105435136 17470 33554432000 4194304 5873084 140733325725760 140733325719576 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26480/statm: 25741 17470 180 410 0 25323 0
[pid=26600] ppid=26480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26600/stat : 26600 (satsolver.sh) S 26480 26479 26234 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278879835 9367552 267 33554432000 4194304 5064252 140735842052080 140735842050992 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26600/statm: 2287 267 226 213 0 72 0
[pid=26601] ppid=26600 vsize=150400 CPUtime=552.67 cores=1,3,5,7
/proc/26601/stat : 26601 (glucose_static) R 26600 26479 26234 0 -1 4202496 57114 0 0 0 55241 26 0 0 20 0 1 0 278879835 154009600 34415 33554432000 4194304 4896791 140734544060560 140734544056232 4203826 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26601/statm: 37600 34415 78 172 0 37426 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 271660
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1795.83
CPU system time (s): 4.21036
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 408976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.83
system time used= 4.21036
maximum resident set size= 231644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 570592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 201
involuntary context switches= 1898
runsolver used 3.2955 second user time and 7.96279 second system time
The end