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-3695353-1338089397/watcher-3695353-1338089397 -o /tmp/evaluation-result-3695353-1338089397/solver-3695353-1338089397 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695353-1338089397.opb 302902839 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.88 3/179 6602
/proc/meminfo: memFree=28378904/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[startup+0.029539 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 6602
/proc/meminfo: memFree=28378904/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100227 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 6602
/proc/meminfo: memFree=28378904/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300232 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 6602
/proc/meminfo: memFree=28378904/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70026 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 6602
/proc/meminfo: memFree=28378904/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.88 3/183 6606
/proc/meminfo: memFree=28298912/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=29444 CPUtime=1.48 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) R 6602 6602 6267 0 -1 4202496 5877 13143 0 0 34 19 92 3 20 0 1 0 275066720 30150656 5557 33554432000 4194304 5873084 140734626862976 140734626858408 5127520 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6603/statm: 7361 5557 174 410 0 6943 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 38592
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 1.88 3/181 6606
/proc/meminfo: memFree=28333588/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=29444 CPUtime=2.25 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 6383 13656 0 0 48 81 92 4 20 0 1 0 275066720 30150656 5558 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6603/statm: 7361 5558 175 410 0 6943 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 38592
heavy processes:
[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 1.88 3/184 6615
/proc/meminfo: memFree=28269776/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=3.94 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 8272 28017 0 0 53 81 250 10 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
[pid=6614] ppid=6603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6614/stat : 6614 (satsolver.sh) S 6603 6602 6267 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 275067117 9367552 266 33554432000 4194304 5064252 140733662584128 140733662583040 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6614/statm: 2287 266 226 213 0 72 0
[pid=6615] ppid=6614 vsize=59344 CPUtime=2.32 cores=1,3,5,7
/proc/6615/stat : 6615 (glucose_static) R 6614 6602 6267 0 -1 4202496 13736 0 0 0 229 3 0 0 20 0 1 0 275067117 60768256 14036 33554432000 4194304 4896791 140734316091360 140734316088680 4225201 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6615/statm: 14836 14036 78 172 0 14662 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 109132
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.88 3/184 6618
/proc/meminfo: memFree=28262048/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=11.09 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 10158 43185 0 0 59 82 952 16 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
[pid=6617] ppid=6603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6617/stat : 6617 (satsolver.sh) S 6603 6602 6267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275067831 9367552 267 33554432000 4194304 5064252 140736877035552 140736877034464 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6617/statm: 2287 267 226 213 0 72 0
[pid=6618] ppid=6617 vsize=58932 CPUtime=1.58 cores=1,3,5,7
/proc/6618/stat : 6618 (glucose_static) R 6617 6602 6267 0 -1 4202496 13050 0 0 0 156 2 0 0 20 0 1 0 275067831 60346368 13862 33554432000 4194304 4896791 140735907189664 140735907186872 4223862 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6618/statm: 14733 13862 78 172 0 14559 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 108720
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.89 3/184 6624
/proc/meminfo: memFree=28292844/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=22.23 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 13935 73005 0 0 70 82 2043 28 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
[pid=6623] ppid=6603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6623/stat : 6623 (satsolver.sh) S 6603 6602 6267 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275068946 9367552 267 33554432000 4194304 5064252 140736830841600 140736830840512 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6623/statm: 2287 267 226 213 0 72 0
[pid=6624] ppid=6623 vsize=59332 CPUtime=3.22 cores=1,3,5,7
/proc/6624/stat : 6624 (glucose_static) R 6623 6602 6267 0 -1 4202496 13766 0 0 0 320 2 0 0 20 0 1 0 275068946 60755968 14113 33554432000 4194304 4896791 140735024745232 140735024742552 4223886 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6624/statm: 14833 14113 78 172 0 14659 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 109120
[startup+51.1004 s]
/proc/loadavg: 2.08 2.02 1.89 3/184 6669
/proc/meminfo: memFree=28149532/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=50.94 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 15775 88492 0 0 76 83 4902 33 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 40640
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 1.90 3/183 6681
/proc/meminfo: memFree=28142676/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=50.94 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 15775 88492 0 0 76 83 4902 33 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
[pid=6671] ppid=6603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6671/stat : 6671 (satsolver.sh) S 6603 6602 6267 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275071818 9367552 267 33554432000 4194304 5064252 140735053461408 140735053460320 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6671/statm: 2287 267 226 213 0 72 0
[pid=6672] ppid=6671 vsize=68612 CPUtime=51.3 cores=1,3,5,7
/proc/6672/stat : 6672 (glucose_static) R 6671 6602 6267 0 -1 4202496 16183 0 0 0 5126 4 0 0 20 0 1 0 275071819 70258688 14696 33554432000 4194304 4896791 140733478922800 140733478920008 4224802 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6672/statm: 17153 14696 78 172 0 16979 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 118400
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 1.90 3/183 6682
/proc/meminfo: memFree=28132360/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=50.94 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 15775 88492 0 0 76 83 4902 33 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
[pid=6671] ppid=6603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6671/stat : 6671 (satsolver.sh) S 6603 6602 6267 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275071818 9367552 267 33554432000 4194304 5064252 140735053461408 140735053460320 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6671/statm: 2287 267 226 213 0 72 0
[pid=6672] ppid=6671 vsize=70492 CPUtime=111.27 cores=1,3,5,7
/proc/6672/stat : 6672 (glucose_static) R 6671 6602 6267 0 -1 4202496 18217 0 0 0 11122 5 0 0 20 0 1 0 275071819 72183808 16141 33554432000 4194304 4896791 140733478922800 140733478920328 4202999 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6672/statm: 17623 16141 78 172 0 17449 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 120280
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/183 6685
/proc/meminfo: memFree=28134204/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=50.94 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 15775 88492 0 0 76 83 4902 33 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.95 3/183 6717
/proc/meminfo: memFree=28118176/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=1106.29 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 21335 152363 0 0 93 84 110383 69 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
[pid=6709] ppid=6603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6709/stat : 6709 (satsolver.sh) S 6603 6602 6267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275177376 9367552 267 33554432000 4194304 5064252 140734749552208 140734749551120 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6709/statm: 2287 267 226 213 0 72 0
[pid=6710] ppid=6709 vsize=74532 CPUtime=315.67 cores=1,3,5,7
/proc/6710/stat : 6710 (glucose_static) R 6709 6602 6267 0 -1 4202496 18561 0 0 0 31558 9 0 0 20 0 1 0 275177376 76320768 16792 33554432000 4194304 4896791 140736828927296 140736828924504 4224684 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6710/statm: 18633 16792 78 172 0 18459 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 124320
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/183 6717
/proc/meminfo: memFree=28116932/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=1106.29 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 21335 152363 0 0 93 84 110383 69 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
[pid=6709] ppid=6603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6709/stat : 6709 (satsolver.sh) S 6603 6602 6267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275177376 9367552 267 33554432000 4194304 5064252 140734749552208 140734749551120 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6709/statm: 2287 267 226 213 0 72 0
[pid=6710] ppid=6709 vsize=75580 CPUtime=375.65 cores=1,3,5,7
/proc/6710/stat : 6710 (glucose_static) R 6709 6602 6267 0 -1 4202496 19782 0 0 0 37556 9 0 0 20 0 1 0 275177376 77393920 17451 33554432000 4194304 4896791 140736828927296 140736828924872 4224971 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6710/statm: 18895 17451 78 172 0 18721 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 125368
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/183 6717
/proc/meminfo: memFree=28110700/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=1106.29 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 21335 152363 0 0 93 84 110383 69 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
[pid=6709] ppid=6603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6709/stat : 6709 (satsolver.sh) S 6603 6602 6267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275177376 9367552 267 33554432000 4194304 5064252 140734749552208 140734749551120 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6709/statm: 2287 267 226 213 0 72 0
[pid=6710] ppid=6709 vsize=88028 CPUtime=435.64 cores=1,3,5,7
/proc/6710/stat : 6710 (glucose_static) R 6709 6602 6267 0 -1 4202496 20457 0 0 0 43554 10 0 0 20 0 1 0 275177376 90140672 19645 33554432000 4194304 4896791 140736828927296 140736828924440 4224996 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6710/statm: 22007 19645 78 172 0 21833 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 137816
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/183 6717
/proc/meminfo: memFree=28106152/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=1106.29 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 21335 152363 0 0 93 84 110383 69 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
[pid=6709] ppid=6603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6709/stat : 6709 (satsolver.sh) S 6603 6602 6267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275177376 9367552 267 33554432000 4194304 5064252 140734749552208 140734749551120 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6709/statm: 2287 267 226 213 0 72 0
[pid=6710] ppid=6709 vsize=88668 CPUtime=495.63 cores=1,3,5,7
/proc/6710/stat : 6710 (glucose_static) R 6709 6602 6267 0 -1 4202496 21474 0 0 0 49551 12 0 0 20 0 1 0 275177376 90796032 19807 33554432000 4194304 4896791 140736828927296 140736828923032 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6710/statm: 22167 19807 78 172 0 21993 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 138456
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/183 6718
/proc/meminfo: memFree=28108652/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=1106.29 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 21335 152363 0 0 93 84 110383 69 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
[pid=6709] ppid=6603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6709/stat : 6709 (satsolver.sh) S 6603 6602 6267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275177376 9367552 267 33554432000 4194304 5064252 140734749552208 140734749551120 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6709/statm: 2287 267 226 213 0 72 0
[pid=6710] ppid=6709 vsize=89672 CPUtime=555.62 cores=1,3,5,7
/proc/6710/stat : 6710 (glucose_static) R 6709 6602 6267 0 -1 4202496 22517 0 0 0 55549 13 0 0 20 0 1 0 275177376 91824128 19461 33554432000 4194304 4896791 140736828927296 140736828924824 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6710/statm: 22418 19461 78 172 0 22244 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 139460
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/183 6718
/proc/meminfo: memFree=28106836/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=1106.29 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 21335 152363 0 0 93 84 110383 69 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
[pid=6709] ppid=6603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6709/stat : 6709 (satsolver.sh) S 6603 6602 6267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275177376 9367552 267 33554432000 4194304 5064252 140734749552208 140734749551120 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6709/statm: 2287 267 226 213 0 72 0
[pid=6710] ppid=6709 vsize=78640 CPUtime=615.61 cores=1,3,5,7
/proc/6710/stat : 6710 (glucose_static) R 6709 6602 6267 0 -1 4202496 23157 0 0 0 61547 14 0 0 20 0 1 0 275177376 80527360 18721 33554432000 4194304 4896791 140736828927296 140736828923032 4224706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6710/statm: 19660 18721 78 172 0 19486 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 128428
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 6718
/proc/meminfo: memFree=28093280/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=1106.29 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 21335 152363 0 0 93 84 110383 69 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
[pid=6709] ppid=6603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6709/stat : 6709 (satsolver.sh) S 6603 6602 6267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275177376 9367552 267 33554432000 4194304 5064252 140734749552208 140734749551120 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6709/statm: 2287 267 226 213 0 72 0
[pid=6710] ppid=6709 vsize=91100 CPUtime=675.6 cores=1,3,5,7
/proc/6710/stat : 6710 (glucose_static) R 6709 6602 6267 0 -1 4202496 23792 0 0 0 67546 14 0 0 20 0 1 0 275177376 93286400 20880 33554432000 4194304 4896791 140736828927296 140736828924520 4224812 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6710/statm: 22775 20880 78 172 0 22601 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 140888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 6718
/proc/meminfo: memFree=28095948/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=1106.29 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 21335 152363 0 0 93 84 110383 69 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
[pid=6709] ppid=6603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6709/stat : 6709 (satsolver.sh) S 6603 6602 6267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275177376 9367552 267 33554432000 4194304 5064252 140734749552208 140734749551120 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6709/statm: 2287 267 226 213 0 72 0
[pid=6710] ppid=6709 vsize=91344 CPUtime=693.8 cores=1,3,5,7
/proc/6710/stat : 6710 (glucose_static) R 6709 6602 6267 0 -1 4202496 23859 0 0 0 69366 14 0 0 20 0 1 0 275177376 93536256 21969 33554432000 4194304 4896791 140736828927296 140736828924824 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6710/statm: 22836 21969 78 172 0 22662 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 141132
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.00 2.00 1.95 3/183 6718
/proc/meminfo: memFree=28095948/32873844 swapFree=7100/7100
[pid=6602] ppid=6600 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6602/stat : 6602 (runPb2satCp2.sh) S 6600 6602 6267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275066720 9367552 275 33554432000 4194304 5064252 140735423485216 140735423484128 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6602/statm: 2287 275 233 213 0 72 0
[pid=6603] ppid=6602 vsize=31492 CPUtime=1106.29 cores=1,3,5,7
/proc/6603/stat : 6603 (pb2sat) S 6602 6602 6267 0 -1 4202496 21335 152363 0 0 93 84 110383 69 20 0 1 0 275066720 32247808 6028 33554432000 4194304 5873084 140734626862976 140734626856792 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6603/statm: 7873 6028 175 410 0 7455 0
[pid=6709] ppid=6603 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6709/stat : 6709 (satsolver.sh) S 6603 6602 6267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275177376 9367552 267 33554432000 4194304 5064252 140734749552208 140734749551120 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6709/statm: 2287 267 226 213 0 72 0
[pid=6710] ppid=6709 vsize=91344 CPUtime=693.8 cores=1,3,5,7
/proc/6710/stat : 6710 (glucose_static) R 6709 6602 6267 0 -1 4202496 23859 0 0 0 69366 14 0 0 20 0 1 0 275177376 93536256 21969 33554432000 4194304 4896791 140736828927296 140736828924824 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6710/statm: 22836 21969 78 172 0 22662 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 141132
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.14
CPU user time (s): 1798.45
CPU system time (s): 1.69274
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 158396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.45
system time used= 1.69274
maximum resident set size= 102488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198546
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 201
involuntary context switches= 1957
runsolver used 5.78312 second user time and 20.3619 second system time
The end