1671.13/1675.33 c initialize IPBHS solver
1671.13/1675.33 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
1671.13/1675.33 c optimizer = "gurobi"
1671.13/1675.33 c pbsolver = "roundingsat"
1671.13/1675.33 c load symmetries from file ""
1671.13/1675.33 c set time limit for symmetry computation to 100 seconds.
1671.13/1675.33 c set interchangeable summation variable limit to 3
1671.13/1675.33 c set abs symmetric core budget per WCE-iteration to 100
1671.13/1675.33 c set rel symmetric core budget per WCE-iteration to 0
1671.13/1675.33 c set lit symmetric core budget per WCE-iteration to 0
1671.13/1675.33 c set sym generation to 's'
1671.13/1675.33 c set abstraction set creation to 10 iterations without LB change
1671.13/1675.33 c set abstraction set inputs to 0
1671.13/1675.33 c set abstraction set cluster min size to 2
1671.13/1675.33 c set abstraction set cluster max size to 100000000
1671.13/1675.33 c set abstraction set cluster activation limit to 2
1671.13/1675.33 c enable abstraction set require equal cost
1671.13/1675.33 c set abstraction set assumptions to 0
1671.13/1675.33 c set abstraction set constraint type to 0
1671.13/1675.33 c set abstract core extraction strategy to b
1671.13/1675.33 c set core extraction strategy to 2
1671.13/1675.33 c set core extraction shuffles 10
1671.13/1675.33 c set cores per iteration to 5
1671.13/1675.33 c set optimizer bound usage strategy to 2
1671.13/1675.33 c set optimizer max non-optimal iterations to 1000
1671.13/1675.33 c set small core cardinality limit to 2
1671.13/1675.33 c set max coef in cores to 1000000000
1671.13/1675.33 c set SIS iterations to 5
1671.13/1675.33 c set SIS budget abs to 1000
1671.13/1675.33 c set SIS budget rel to 0.05
1671.13/1675.33 c limit for coefficient in constraints and objective to 9223372036854775807
1671.13/1675.33 c will solve HOME/instance-4431622-1721126767.opb
1671.13/1675.33 c [0.76] solve iteration 1, LB=0, UB=3221
1671.13/1675.33 c [8.88] solve iteration 2, LB=0, UB=188
1671.13/1675.33 c [13.95] solve iteration 3, LB=20, UB=182
1671.13/1675.33 c [18.52] solve iteration 4, LB=20, UB=171
1671.13/1675.33 c [23.43] solve iteration 5, LB=21, UB=169
1671.13/1675.33 c [28.45] solve iteration 6, LB=21, UB=138
1671.13/1675.33 c [33.36] solve iteration 7, LB=21, UB=138
1671.13/1675.33 c [37.34] solve iteration 8, LB=21, UB=138
1671.13/1675.33 c [40.92] solve iteration 9, LB=21, UB=138
1671.13/1675.33 c [44.52] solve iteration 10, LB=21, UB=138
1671.13/1675.33 c [75.03] solve iteration 11, LB=22, UB=138
1671.13/1675.33 c [81.89] solve iteration 12, LB=23, UB=138
1671.13/1675.33 c [85.47] solve iteration 13, LB=23, UB=138
1671.13/1675.33 c [87.68] solve iteration 14, LB=23, UB=134
1671.13/1675.33 c [90.46] solve iteration 15, LB=23, UB=134
1671.13/1675.33 c [129.52] solve iteration 16, LB=23, UB=123
1671.13/1675.33 c [131.89] solve iteration 17, LB=23, UB=91
1671.13/1675.33 c [134.48] solve iteration 18, LB=23, UB=91
1671.13/1675.33 c [137.24] solve iteration 19, LB=23, UB=91
1671.13/1675.33 c [142.17] solve iteration 20, LB=24, UB=91
1671.13/1675.33 c [218.8] solve iteration 21, LB=24, UB=91
1671.13/1675.33 c [225.93] solve iteration 22, LB=24, UB=91
1671.13/1675.33 c [231.91] solve iteration 23, LB=24, UB=91
1671.13/1675.33 c [235.23] solve iteration 24, LB=24, UB=91
1671.13/1675.33 c [237.8] solve iteration 25, LB=24, UB=91
1671.13/1675.33 c [327.88] solve iteration 26, LB=24, UB=91
1671.13/1675.33 c [333.33] solve iteration 27, LB=24, UB=91
1671.13/1675.33 c [339.35] solve iteration 28, LB=24, UB=91
1671.13/1675.33 c [342.73] solve iteration 29, LB=24, UB=91
1671.13/1675.33 c [344.97] solve iteration 30, LB=24, UB=91
1671.13/1675.33 c [476.78] solve iteration 31, LB=24, UB=91
1671.13/1675.33 c [479.24] solve iteration 32, LB=24, UB=80
1671.13/1675.33 c [482.82] solve iteration 33, LB=24, UB=80
1671.13/1675.33 c [485.54] solve iteration 34, LB=24, UB=80
1671.13/1675.33 c [489.61] solve iteration 35, LB=24, UB=80
1671.13/1675.33 c [637.79] solve iteration 36, LB=24, UB=80
1671.13/1675.33 c [641.67] solve iteration 37, LB=24, UB=80
1671.13/1675.33 c [649.64] solve iteration 38, LB=24, UB=80
1671.13/1675.33 c [655.34] solve iteration 39, LB=24, UB=80
1671.13/1675.33 c [660.63] solve iteration 40, LB=24, UB=80
1671.13/1675.33 c [857.22] solve iteration 41, LB=24, UB=80
1671.13/1675.33 c [869.85] solve iteration 42, LB=24, UB=80
1671.13/1675.33 c [876.98] solve iteration 43, LB=25, UB=80
1671.13/1675.33 c [884.57] solve iteration 44, LB=25, UB=80
1671.13/1675.33 c [889.36] solve iteration 45, LB=25, UB=80
1671.13/1675.33 c [1165.21] solve iteration 46, LB=25, UB=80
1671.13/1675.33 c [1170.28] solve iteration 47, LB=25, UB=72
1671.13/1675.33 c [1176.46] solve iteration 48, LB=25, UB=72
1671.13/1675.33 c [1181.51] solve iteration 49, LB=25, UB=72
1671.13/1675.33 c [1186.34] solve iteration 50, LB=25, UB=72
1671.13/1675.33 c [1189.7] solve iteration 51, LB=25, UB=68
1671.13/1675.33 c [1194.97] solve iteration 52, LB=25, UB=68
1671.13/1675.33 c [1199.74] solve iteration 53, LB=25, UB=68
1671.13/1675.33 c [1204.68] solve iteration 54, LB=25, UB=68
1671.13/1675.33 c [1206.8] solve iteration 55, LB=25, UB=66
1671.13/1675.33 c [1561.57] solve iteration 56, LB=25, UB=66
1671.13/1675.33 c [1584.36] solve iteration 57, LB=25, UB=66
1671.13/1675.33 c [1598.98] solve iteration 58, LB=25, UB=66
1671.13/1675.33 c [1612] solve iteration 59, LB=25, UB=66
1671.13/1675.33 c [16
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62715 MiB free)
memory of node 1: 64473 MiB (63143 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431622-1721126767/watcher-4431622-1721126767 -o /tmp/evaluation-result-4431622-1721126767/solver-4431622-1721126767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721126780-855648 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431622-1721126767.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=855712, runsolver pid=855709
[startup+0.100095 s]*
/proc/loadavg: 3.90 4.09 4.08 5/260 855714
/proc/meminfo: memFree=128821192/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=120084 memory=37472 CPUtime=0.09 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 7874 0 0 0 8 1 0 0 20 0 1 0 164847602 122966016 9368 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 30021 9368 1648 46 0 10636 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 130012 KiB
Current children cumulated memory: 40124 KiB
[startup+0.205637 s]*
/proc/loadavg: 3.90 4.09 4.08 5/260 855714
/proc/meminfo: memFree=128766260/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=130244 memory=49616 CPUtime=0.19 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 10928 0 0 0 18 1 0 0 20 0 1 0 164847602 133369856 12404 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 32561 12404 1648 46 0 13176 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 140172 KiB
Current children cumulated memory: 52268 KiB
[startup+0.305548 s]*
/proc/loadavg: 3.90 4.09 4.08 5/260 855714
/proc/meminfo: memFree=128677320/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=140540 memory=59844 CPUtime=0.3 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 12953 0 0 0 28 2 0 0 20 0 1 0 164847602 143912960 14961 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 35135 14961 1648 46 0 15750 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 150468 KiB
Current children cumulated memory: 62496 KiB
[startup+0.700255 s]
/proc/loadavg: 3.90 4.09 4.08 5/260 855714
/proc/meminfo: memFree=128617488/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=215420 memory=135008 CPUtime=0.68 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 24035 0 0 0 63 5 0 0 20 0 1 0 164847602 220590080 33752 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 53855 33752 1744 46 0 34470 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 225348 KiB
Current children cumulated memory: 137660 KiB
[startup+1.50025 s]
/proc/loadavg: 3.90 4.09 4.08 5/262 855716
/proc/meminfo: memFree=128445152/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=345828 memory=223220 CPUtime=1.48 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 41230 0 0 0 126 22 0 0 20 0 2 0 164847602 354127872 55805 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 86457 55805 2725 46 0 59052 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 355756 KiB
Current children cumulated memory: 225872 KiB
[startup+3.10548 s]
/proc/loadavg: 3.90 4.09 4.08 5/263 855719
/proc/meminfo: memFree=128136744/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=424304 memory=293296 CPUtime=3.08 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 92729 0 0 0 278 30 0 0 20 0 2 0 164847602 434487296 73324 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 106076 73324 3430 46 0 78671 0
[pid=855714/tid=855717] ppid=855712 vsize=424304 memory=0 CPUtime=0 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 164847724 434487296 73324 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 434232 KiB
Current children cumulated memory: 295948 KiB
[startup+6.30025 s]
/proc/loadavg: 3.91 4.09 4.08 5/263 855719
/proc/meminfo: memFree=128111432/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=430272 memory=301352 CPUtime=6.27 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 109278 0 0 0 509 118 0 0 20 0 2 0 164847602 440598528 75338 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 107568 75338 3430 46 0 80163 0
[pid=855714/tid=855717] ppid=855712 vsize=430272 memory=301276 CPUtime=0 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 2 0 164847724 440598528 75338 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 440200 KiB
Current children cumulated memory: 304004 KiB
[startup+12.7003 s]
/proc/loadavg: 3.92 4.09 4.08 5/263 855720
/proc/meminfo: memFree=128105560/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=444160 memory=306976 CPUtime=12.66 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 141727 0 0 0 930 336 0 0 20 0 2 0 164847602 454819840 76744 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 111040 76744 3430 46 0 83635 0
[pid=855714/tid=855717] ppid=855712 vsize=444160 memory=11588 CPUtime=0 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 2 0 164847724 454819840 76744 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 454088 KiB
Current children cumulated memory: 309628 KiB
[startup+25.5002 s]
/proc/loadavg: 4.01 4.10 4.09 5/263 855722
/proc/meminfo: memFree=127986548/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=468720 memory=344936 CPUtime=25.41 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 288106 0 0 0 1961 580 0 0 20 0 2 0 164847602 479969280 86234 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 117180 86234 3812 46 0 89775 0
[pid=855714/tid=855717] ppid=855712 vsize=468720 memory=2652 CPUtime=0 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 2 0 164847724 479969280 86234 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 478648 KiB
Current children cumulated memory: 347588 KiB
[startup+51.1055 s]
/proc/loadavg: 4.00 4.09 4.09 5/263 855725
/proc/meminfo: memFree=127947992/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=539124 memory=402340 CPUtime=50.91 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 532480 0 0 0 4182 909 0 0 20 0 2 0 164847602 552062976 100585 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 134781 100585 3812 46 0 107376 0
[pid=855714/tid=855717] ppid=855712 vsize=539124 memory=404008 CPUtime=0.02 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 31 0 0 0 1 1 0 0 20 0 2 0 164847724 552062976 100585 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 549052 KiB
Current children cumulated memory: 404992 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/263 855736
/proc/meminfo: memFree=127727028/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=621492 memory=482844 CPUtime=101.94 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 799558 0 0 0 8846 1348 0 0 20 0 2 0 164847602 636407808 120711 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 155373 120711 3812 46 0 127968 0
[pid=855714/tid=855717] ppid=855712 vsize=621492 memory=11588 CPUtime=0.05 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 40 0 0 0 2 3 0 0 20 0 2 0 164847724 636407808 120711 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 631420 KiB
Current children cumulated memory: 485496 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/263 855747
/proc/meminfo: memFree=127587140/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=709876 memory=536644 CPUtime=161.75 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 1076118 0 0 0 14506 1669 0 0 20 0 2 0 164847602 726913024 134161 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 177469 134161 3812 46 0 150064 0
[pid=855714/tid=855717] ppid=855712 vsize=709876 memory=2652 CPUtime=0.09 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 47 0 0 0 3 6 0 0 20 0 2 0 164847724 726913024 134161 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/263 857496
/proc/meminfo: memFree=124899728/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=2266972 memory=1958308 CPUtime=3215.31 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 7210025 0 0 0 315794 5737 0 0 20 0 2 0 164847602 2321379328 489577 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 566743 489577 3980 46 0 539338 0
[pid=855714/tid=855717] ppid=855712 vsize=2266972 memory=1902524 CPUtime=2.3 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 195 0 0 0 95 135 0 0 20 0 2 0 164847724 2321379328 489577 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 3215.31 s
Current children cumulated vsize: 2276900 KiB
Current children cumulated memory: 1960960 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/265 857512
/proc/meminfo: memFree=124879796/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=2278668 memory=1980216 CPUtime=3275.23 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 7219800 0 0 0 321764 5759 0 0 20 0 2 0 164847602 2333356032 495054 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 569667 495054 3980 46 0 542262 0
[pid=855714/tid=855717] ppid=855712 vsize=2278668 memory=2652 CPUtime=2.35 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 196 0 0 0 97 138 0 0 20 0 2 0 164847724 2333356032 495054 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 3275.23 s
Current children cumulated vsize: 2288596 KiB
Current children cumulated memory: 1982868 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.13 5/265 857522
/proc/meminfo: memFree=124835784/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=2313812 memory=2020660 CPUtime=3335.1 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 7350996 0 0 0 327665 5845 0 0 20 0 2 0 164847602 2369343488 505165 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 578453 505165 3980 46 0 551048 0
[pid=855714/tid=855717] ppid=855712 vsize=2313812 memory=2652 CPUtime=2.4 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 199 0 0 0 99 141 0 0 20 0 2 0 164847724 2369343488 505165 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 3335.1 s
Current children cumulated vsize: 2323740 KiB
Current children cumulated memory: 2023312 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.13 6/264 857533
/proc/meminfo: memFree=124794716/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=2317068 memory=2040208 CPUtime=3395.01 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 7386758 0 0 0 333613 5888 0 0 20 0 2 0 164847602 2372677632 510052 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 579267 510052 3980 46 0 551862 0
[pid=855714/tid=855717] ppid=855712 vsize=2317068 memory=11588 CPUtime=2.45 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 202 0 0 0 101 144 0 0 20 0 2 0 164847724 2372677632 510052 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 3395.01 s
Current children cumulated vsize: 2326996 KiB
Current children cumulated memory: 2042860 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/264 857543
/proc/meminfo: memFree=124768704/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=2343748 memory=2078832 CPUtime=3454.91 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 7402195 0 0 0 339576 5915 0 0 20 0 2 0 164847602 2399997952 519708 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 585937 519708 3980 46 0 558532 0
[pid=855714/tid=855717] ppid=855712 vsize=2343748 memory=2652 CPUtime=2.5 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 205 0 0 0 103 147 0 0 20 0 2 0 164847724 2399997952 519708 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 3454.91 s
Current children cumulated vsize: 2353676 KiB
Current children cumulated memory: 2081484 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/264 857554
/proc/meminfo: memFree=124536340/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=2365496 memory=2112488 CPUtime=3514.82 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 7423477 0 0 0 345542 5940 0 0 20 0 2 0 164847602 2422267904 528122 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 591374 528122 3980 46 0 563969 0
[pid=855714/tid=855717] ppid=855712 vsize=2365496 memory=2092636 CPUtime=2.55 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 208 0 0 0 105 150 0 0 20 0 2 0 164847724 2422267904 528122 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 3514.82 s
Current children cumulated vsize: 2375424 KiB
Current children cumulated memory: 2115140 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/263 857565
/proc/meminfo: memFree=124570984/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=2384340 memory=2143832 CPUtime=3574.73 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 7446927 0 0 0 351508 5965 0 0 20 0 2 0 164847602 2441564160 535958 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 596085 535958 3980 46 0 568680 0
[pid=855714/tid=855717] ppid=855712 vsize=2384340 memory=13184 CPUtime=2.59 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 211 0 0 0 107 152 0 0 20 0 2 0 164847724 2441564160 535958 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 3574.73 s
Current children cumulated vsize: 2394268 KiB
Current children cumulated memory: 2146484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.7 s]
/proc/loadavg: 4.20 4.14 4.12 4/258 857631
/proc/meminfo: memFree=125577532/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=2391732 memory=2155240 CPUtime=3600.09 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 7461186 0 0 0 354034 5975 0 0 20 0 2 0 164847602 2449133568 538810 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 597933 538810 3980 46 0 570528 0
[pid=855714/tid=855717] ppid=855712 vsize=2391732 memory=2652 CPUtime=2.61 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 211 0 0 0 108 153 0 0 20 0 2 0 164847724 2449133568 538810 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2401660 KiB
Current children cumulated memory: 2157892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.71 s]
# the end of solver process 855712 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.001544 s
[startup+3607.72 s]
# the end of solver process 855714 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3540.35 s, system=59.7761 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.7 s]
/proc/loadavg: 4.20 4.14 4.12 4/258 857631
/proc/meminfo: memFree=125577532/131524600 swapFree=131071996/131071996
[pid=855712] ppid=855709 vsize=9928 memory=2652 CPUtime=0 cores=1,3
/proc/855712/stat : 855712 (run-glibc-2.34.) S 855709 855712 855636 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 164847602 10166272 663 134679101440 94632939409408 94632940488728 140731338252816 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94632942587184 94632942634372 94632966455296 140731338261451 140731338261596 140731338261596 140731338268611 0
/proc/855712/statm: 2482 663 582 264 0 133 0
[pid=855714] ppid=855712 vsize=2391732 memory=2155240 CPUtime=3600.09 cores=1,3
/proc/855714/stat : 855714 (ld-linux-x86-64) R 855712 855712 855636 0 -1 4194304 7461186 0 0 0 354034 5975 0 0 20 0 2 0 164847602 2449133568 538810 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
/proc/855714/statm: 597933 538810 3980 46 0 570528 0
[pid=855714/tid=855717] ppid=855712 vsize=2391732 memory=2652 CPUtime=2.61 cores=1,3
/proc/855714/task/855717/stat : 855717 (ld-linux-x86-64) S 855712 855712 855636 0 -1 1077936192 211 0 0 0 108 153 0 0 20 0 2 0 164847724 2449133568 538810 134679101440 140353881686016 140353881873628 140733842194192 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140353883974528 140353883983976 93825021390848 140733842199395 140733842199547 140733842199547 140733842206642 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2401660 KiB
Current children cumulated memory: 2157892 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3607.72
CPU time (s): 3600.13
CPU user time (s): 3540.35
CPU system time (s): 59.7761
CPU usage (%): 99.7895
Max. virtual memory (cumulated for all children) (KiB): 2401660
Max. memory (cumulated for all children) (KiB): 2157892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3540.35
system time used= 59.7761
maximum resident set size= 2155240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7461391
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357405
involuntary context switches= 4484
# summary of solver processes directly reported to runsolver:
# pid: 855712,855714
# total CPU time (s): 3600.13
# total CPU user time (s): 3540.35
# total CPU system time (s): 59.7761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21803 second user time and 17.5363 second system time
The end