0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-22062-serial-file.bin HOME/instance-4305457-1534080717.xml
0.66/0.53
0.66/0.53 scop order+minisat_release (2018-07-31)
0.66/0.53 (Encoding Process)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Sun Aug 12 15:31:57 CEST 2018
0.66/0.56 c PID: 22065
0.66/0.56 c IP: 172.20.3.139
0.66/0.56 c HOST: node139.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.54/0.94 c (0,0) Parsing End
1.54/0.94 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 113 ctr, max domain size 120
1.54/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.54/0.94 c (0,0) Constraint Name Generate Begin
1.54/0.94 c (0,0) Ctr:HOME/instance-4305457-1534080717.xml,AllDifferent:ExtensionSupport:IntVar
1.54/0.94 c (0,0) Constraint Name Generate End
1.54/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.54/0.94 c (0,0) CSP to CSPinCNF Begin
8.44/3.17 c (2,2) translated 12 (10%) constraints
10.56/4.32 c (3,3) translated 23 (20%) constraints
11.72/5.41 c (4,4) translated 34 (30%) constraints
12.89/6.59 c (6,6) translated 46 (40%) constraints
14.14/7.68 c (7,7) translated 57 (50%) constraints
15.86/8.86 c (8,8) translated 68 (60%) constraints
16.96/9.92 c (9,9) translated 80 (70%) constraints
18.02/10.91 c (10,10) translated 91 (80%) constraints
18.92/11.89 c (11,11) translated 102 (90%) constraints
19.93/12.88 c (12,12) translated 113 (100%) constraints
22.46/13.93 c (13,12) STATISTICS1:HOME/instance-4305457-1534080717.xml,AllDifferent:ExtensionSupport:IntVar,13504,289746,120,120,121,2,120:2016,120:552288;2:301056,121:112;64:2;3:260512;2:29120,2:2016;1:849312;0:112,
22.46/13.93 c (13,12) ==========================================
22.46/13.93 c (13,12) Order
22.46/13.93 c (13,12) ==========================================
24.16/14.52 c (13,13) translated 28975 (10%) constraints
24.47/14.85 c (14,13) translated 57950 (20%) constraints
24.84/15.19 c (14,14) translated 86924 (30%) constraints
25.23/15.52 c (14,14) translated 115899 (40%) constraints
25.54/15.85 c (15,14) translated 144873 (50%) constraints
25.87/16.18 c (15,15) translated 173848 (60%) constraints
26.26/16.51 c (15,15) translated 202823 (70%) constraints
26.57/16.84 c (16,15) translated 231797 (80%) constraints
26.88/17.17 c (16,16) translated 260772 (90%) constraints
27.17/17.50 c (16,16) translated 289746 (100%) constraints
27.17/17.50 c (16,16) CSP to CSPinCNF End
27.27/17.50 c (16,16) CSP: 64 int (0 aux), 13440 bool (13440 aux), 289746 ctr, max domain size 120
27.27/17.50 c (16,16) Heap : 2432 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
27.27/17.50 c (16,16) CSPinCNF Propagation Begin
29.92/18.97 c (18,17) 0 values, 112 unsatisfiable literals, and 0 valid clauses are removed
29.92/18.97 c (18,17) CSPinCNF Propagation End
29.92/18.98 c (18,17) CSP: 64 int (0 aux), 13440 bool (13440 aux), 289746 ctr, max domain size 120
29.92/18.98 c (18,17) Heap : 906 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
29.92/18.98 c (18,17) Simplify CSPinCNF Begin
30.58/19.35 c (18,18) Simplify CSPinCNF End
30.58/19.35 c (18,18) CSP: 64 int (0 aux), 17472 bool (17472 aux), 293778 ctr, max domain size 120
30.58/19.35 c (18,18) Heap : 1194 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
30.58/19.35 c (18,18) Calculate Precise Domain Begin
30.58/19.35 c (18,18) 0 values are removed by re-calculation
30.58/19.35 c (18,18) Calculate Precise Domain End
30.58/19.36 c (18,18) CSP: 64 int (0 aux), 17472 bool (17472 aux), 293778 ctr, max domain size 120
30.58/19.36 c (18,18) Heap : 1194 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
30.58/19.36 c (18,18) CSPinCNF to SatSolver Begin
32.87/20.75 c (20,19) 29378 (10 %) CSP clauses are encoded (25088 SAT variables, 516737 SAT clauses)
32.99/20.89 c (20,19) 58756 (20 %) CSP clauses are encoded (25088 SAT variables, 546115 SAT clauses)
33.21/21.02 c (20,19) 88134 (30 %) CSP clauses are encoded (25088 SAT variables, 575493 SAT clauses)
33.31/21.16 c (20,19) 117512 (40 %) CSP clauses are encoded (25088 SAT variables, 604871 SAT clauses)
33.41/21.30 c (20,20) 146889 (50 %) CSP clauses are encoded (25088 SAT variables, 634248 SAT clauses)
33.61/21.43 c (20,20) 176267 (60 %) CSP clauses are encoded (25088 SAT variables, 663626 SAT clauses)
34.49/21.76 c (21,20) 205645 (70 %) CSP clauses are encoded (25088 SAT variables, 693004 SAT clauses)
34.59/21.89 c (21,20) 235023 (80 %) CSP clauses are encoded (25088 SAT variables, 722382 SAT clauses)
34.80/22.02 c (21,20) 264401 (90 %) CSP clauses are encoded (25088 SAT variables, 751760 SAT clauses)
34.90/22.15 c (21,20) 293778 (100 %) CSP clauses are encoded (25088 SAT variables, 781137 SAT clauses)
34.90/22.15 c (21,20) Launch Command will be: minisat_release
34.90/22.15 c (21,20) CSPinCNF to SatSolver End
34.90/22.15 c (21,20) Heap : 738 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
35.79/22.85 c (22,21) STATISTICS2:HOME/instance-4305457-1534080717.xml,AllDifferent:ExtensionSupport:IntVar,17536,293778,120,120,120,2,120:4032,120:556320;2:309120,120:112;64:2;3:260512;2:33152,2:4032;1:857376,
35.79/22.85 c (22,21) 25088 bool, 781138 clause
35.79/22.85 c (22,21) Export Begin
35.93/22.93 c (22,21) Export to HOME/scop-22062-serial-file.bin
35.93/22.93 c (22,21) Export End
35.93/22.94 c (22,21) Export File Size: 0.01 MB
35.93/22.94 c (22,21) 0,0,16,18,18,18,21,STOP-AFTER(DIMACS)
35.93/22.94 c END-Prog: Sun Aug 12 15:32:20 CEST 2018
35.93/22.96 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22062-serial-file.bin
36.60/23.45 c (0,0) Read Serial File Begin
36.60/23.46 c (0,0) HOME/scop-22062-serial-file.bin
36.90/23.62 c (0,0) Read Serial File End
36.90/23.64
36.90/23.64 scop order+minisat_release (2018-07-31)
36.90/23.64 (Solving Process)
36.90/23.64
36.90/23.66 c BEGIN-Prog: Sun Aug 12 15:32:20 CEST 2018
36.90/23.66 c PID: 22080
36.90/23.66 c IP: 172.20.3.139
36.90/23.66 c HOST: node139.alineos.net
36.90/23.66 c (0,0) SatSolver.solve Begin
36.90/23.66 c (0,0) 0 bool, 0 clause
36.90/23.66 c (0,0) minisat_release HOME/instance-4305457-1534080717.xml-scop-22065.cnf
2520.06/2505.11 c (2481,0) receiving signal SIGTERM
2520.06/2505.11 s UNKNOWN
2520.06/2505.11 c (2481,0) SatSolver is killed by some reasons.
2520.06/2505.12 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.06/2505.12 c (scop.sh) Killing background jobs.
runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (5746 MiB free)
memory of node 1: 16384 MiB (6781 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305457-1534080717/watcher-4305457-1534080717 -o /tmp/evaluation-result-4305457-1534080717/solver-4305457-1534080717 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305457-1534080717.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22062, runsolver pid=22059
[startup+0.100198 s]*
/proc/loadavg: 2.00 2.02 2.10 3/223 22079
/proc/meminfo: memFree=12767092/32770624 swapFree=67108860/67108860
[pid=22062] ppid=22059 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22062/stat : 22062 (scop.sh) S 22059 22062 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225634830 115843072 349 33554432000 4194304 5098028 140731084470944 140731084468200 140410987930236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13418496 140731084473408 140731084473607 140731084473607 140731084476365 0
/proc/22062/statm: 28282 349 296 221 0 87 0
[pid=22065] ppid=22062 vsize=15012476 memory=73296 CPUtime=0.11 cores=0,2,4,6
/proc/22065/stat : 22065 (java) S 22062 22062 16770 0 -1 1077944320 6489 0 0 0 9 2 0 0 20 0 15 0 225634831 15372775424 18324 33554432000 4194304 4196468 140727026752208 140727026734752 140711278534391 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
/proc/22065/statm: 3753119 18324 2727 1 0 3715579 0
[pid=22065/tid=22066] ppid=22062 vsize=15012476 memory=-6652799357965090751 CPUtime=0.08 cores=0,2,4,6
/proc/22065/task/22066/stat : 22066 (java) R 22062 22062 16770 0 -1 4202560 4597 0 0 0 7 1 0 0 20 0 15 0 225634831 15372775424 18324 33554432000 4194304 4196468 140727026752208 140711250337240 140711262614878 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22067] ppid=22062 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22067/stat : 22067 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634833 15372775424 18324 33554432000 4194304 4196468 140727026752208 140711282777104 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22068] ppid=22062 vsize=15012476 memory=140529983772288 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22068/stat : 22068 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634833 15372775424 18324 33554432000 4194304 4196468 140727026752208 140711116156048 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22069] ppid=22062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22069/stat : 22069 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634833 15372775424 18324 33554432000 4194304 4196468 140727026752208 140710738123536 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22070] ppid=22062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22070/stat : 22070 (java) S 22062 22062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225634833 15372775424 18324 33554432000 4194304 4196468 140727026752208 140710737070992 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22071] ppid=22062 vsize=15012476 memory=140529983772288 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22071/stat : 22071 (java) S 22062 22062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225634834 15372775424 18324 33554432000 4194304 4196468 140727026752208 140710618147056 140711278545538 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22072] ppid=22062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22072/stat : 22072 (java) S 22062 22062 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225634835 15372775424 18324 33554432000 4194304 4196468 140727026752208 140709906605216 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22073] ppid=22062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22073/stat : 22073 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634835 15372775424 18324 33554432000 4194304 4196468 140727026752208 140709638169328 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22074] ppid=22062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22074/stat : 22074 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225634837 15372775424 18324 33554432000 4194304 4196468 140727026752208 140709263661008 140711278552987 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22075] ppid=22062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22075/stat : 22075 (java) S 22062 22062 16770 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 225634837 15372775424 18324 33554432000 4194304 4196468 140727026752208 140710617094896 140711278545538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22076] ppid=22062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22076/stat : 22076 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225634837 15372775424 18324 33554432000 4194304 4196468 140727026752208 140710616042352 140711278545538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22077] ppid=22062 vsize=15012476 memory=140529983772288 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22077/stat : 22077 (java) S 22062 22062 16770 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 15 0 225634837 15372775424 18324 33554432000 4194304 4196468 140727026752208 140710614989296 140711278545538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22078] ppid=22062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22078/stat : 22078 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225634837 15372775424 18324 33554432000 4194304 4196468 140727026752208 140708765756256 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22079] ppid=22062 vsize=15012476 memory=140529983772288 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22079/stat : 22079 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634838 15372775424 18324 33554432000 4194304 4196468 140727026752208 140710613936688 140711278545538 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74692 KiB
[startup+0.210641 s]*
/proc/loadavg: 2.00 2.02 2.10 4/223 22079
/proc/meminfo: memFree=12753140/32770624 swapFree=67108860/67108860
[pid=22062] ppid=22059 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22062/stat : 22062 (scop.sh) S 22059 22062 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225634830 115843072 349 33554432000 4194304 5098028 140731084470944 140731084468200 140410987930236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13418496 140731084473408 140731084473607 140731084473607 140731084476365 0
/proc/22062/statm: 28282 349 296 221 0 87 0
[pid=22065] ppid=22062 vsize=15012476 memory=87400 CPUtime=0.24 cores=0,2,4,6
/proc/22065/stat : 22065 (java) S 22062 22062 16770 0 -1 1077944320 10117 0 0 0 22 2 0 0 20 0 15 0 225634831 15372775424 21850 33554432000 4194304 4196468 140727026752208 140727026734752 140711278534391 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
/proc/22065/statm: 3753119 21850 2926 1 0 3715579 0
[pid=22065/tid=22066] ppid=22062 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/22065/task/22066/stat : 22066 (java) R 22062 22062 16770 0 -1 4202560 7962 0 0 0 17 2 0 0 20 0 15 0 225634831 15372775424 21850 33554432000 4194304 4196468 140727026752208 140711250322640 140710780648544 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22067] ppid=22062 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22067/stat : 22067 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634833 15372775424 21850 33554432000 4194304 4196468 140727026752208 140711282777104 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22068] ppid=22062 vsize=15012476 memory=140529984975787 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22068/stat : 22068 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634833 15372775424 21850 33554432000 4194304 4196468 140727026752208 140711116156048 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22069] ppid=22062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22069/stat : 22069 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634833 15372775424 21850 33554432000 4194304 4196468 140727026752208 140710738123536 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22070] ppid=22062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22070/stat : 22070 (java) S 22062 22062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225634833 15372775424 21850 33554432000 4194304 4196468 140727026752208 140710737070992 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22071] ppid=22062 vsize=15012476 memory=140529983772288 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22071/stat : 22071 (java) S 22062 22062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225634834 15372775424 21850 33554432000 4194304 4196468 140727026752208 140710618147056 140711278545538 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22072] ppid=22062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22072/stat : 22072 (java) S 22062 22062 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225634835 15372775424 21850 33554432000 4194304 4196468 140727026752208 140709906605216 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22073] ppid=22062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22073/stat : 22073 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634835 15372775424 21850 33554432000 4194304 4196468 140727026752208 140709638169328 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22074] ppid=22062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22074/stat : 22074 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225634837 15372775424 21850 33554432000 4194304 4196468 140727026752208 140709263661008 140711278552987 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22075] ppid=22062 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22065/task/22075/stat : 22075 (java) S 22062 22062 16770 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 15 0 225634837 15372775424 21850 33554432000 4194304 4196468 140727026752208 140710617094896 140711278545538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22076] ppid=22062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22076/stat : 22076 (java) S 22062 22062 16770 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 225634837 15372775424 21850 33554432000 4194304 4196468 140727026752208 140710616042352 140711278545538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22077] ppid=22062 vsize=15012476 memory=140529983772288 CPUtime=0.02 cores=0,2,4,6
/proc/22065/task/22077/stat : 22077 (java) S 22062 22062 16770 0 -1 1077944384 334 0 0 0 2 0 0 0 20 0 15 0 225634837 15372775424 21850 33554432000 4194304 4196468 140727026752208 140710614989296 140711278545538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22078] ppid=22062 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22078/stat : 22078 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225634837 15372775424 21850 33554432000 4194304 4196468 140727026752208 140708765756256 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22079] ppid=22062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22079/stat : 22079 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634838 15372775424 21850 33554432000 4194304 4196468 140727026752208 140710613936688 140711278545538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88796 KiB
[startup+0.310539 s]*
/proc/loadavg: 2.00 2.02 2.10 3/223 22079
/proc/meminfo: memFree=12748968/32770624 swapFree=67108860/67108860
[pid=22062] ppid=22059 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22062/stat : 22062 (scop.sh) S 22059 22062 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225634830 115843072 349 33554432000 4194304 5098028 140731084470944 140731084468200 140410987930236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13418496 140731084473408 140731084473607 140731084473607 140731084476365 0
/proc/22062/statm: 28282 349 296 221 0 87 0
[pid=22065] ppid=22062 vsize=15012476 memory=91212 CPUtime=0.42 cores=0,2,4,6
/proc/22065/stat : 22065 (java) S 22062 22062 16770 0 -1 1077944320 10742 0 0 0 39 3 0 0 20 0 15 0 225634831 15372775424 22803 33554432000 4194304 4196468 140727026752208 140727026734752 140711278534391 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
/proc/22065/statm: 3753119 22803 3008 1 0 3715579 0
[pid=22065/tid=22066] ppid=22062 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22065/task/22066/stat : 22066 (java) R 22062 22062 16770 0 -1 4202560 8336 0 0 0 27 2 0 0 20 0 15 0 225634831 15372775424 22803 33554432000 4194304 4196468 140727026752208 140711250329840 140711258810178 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22067] ppid=22062 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22067/stat : 22067 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634833 15372775424 22803 33554432000 4194304 4196468 140727026752208 140711282777104 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22068] ppid=22062 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22068/stat : 22068 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634833 15372775424 22803 33554432000 4194304 4196468 140727026752208 140711116156048 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22069] ppid=22062 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22069/stat : 22069 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634833 15372775424 22803 33554432000 4194304 4196468 140727026752208 140710738123536 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22070] ppid=22062 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22070/stat : 22070 (java) S 22062 22062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225634833 15372775424 22803 33554432000 4194304 4196468 140727026752208 140710737070992 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22071] ppid=22062 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22071/stat : 22071 (java) S 22062 22062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225634834 15372775424 22803 33554432000 4194304 4196468 140727026752208 140710618147056 140711278545538 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22072] ppid=22062 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22072/stat : 22072 (java) S 22062 22062 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225634835 15372775424 22803 33554432000 4194304 4196468 140727026752208 140709906605216 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22073] ppid=22062 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22073/stat : 22073 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634835 15372775424 22803 33554432000 4194304 4196468 140727026752208 140709638169328 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22074] ppid=22062 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22074/stat : 22074 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225634837 15372775424 22803 33554432000 4194304 4196468 140727026752208 140709263661008 140711278552987 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22075] ppid=22062 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22065/task/22075/stat : 22075 (java) S 22062 22062 16770 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 15 0 225634837 15372775424 22803 33554432000 4194304 4196468 140727026752208 140710617094896 140711278545538 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22076] ppid=22062 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22065/task/22076/stat : 22076 (java) S 22062 22062 16770 0 -1 1077944384 149 0 0 0 2 0 0 0 20 0 15 0 225634837 15372775424 22803 33554432000 4194304 4196468 140727026752208 140710616042352 140711278545538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22077] ppid=22062 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22065/task/22077/stat : 22077 (java) S 22062 22062 16770 0 -1 1077944384 424 0 0 0 7 0 0 0 20 0 15 0 225634837 15372775424 22803 33554432000 4194304 4196468 140727026752208 140710614989296 140711278545538 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22078] ppid=22062 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22078/stat : 22078 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225634837 15372775424 22803 33554432000 4194304 4196468 140727026752208 140708765756256 140711278544597 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22079] ppid=22062 vsize=15012476 memory=3617295605882232881 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22079/stat : 22079 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634838 15372775424 22803 33554432000 4194304 4196468 140727026752208 140710613936688 140711278545538 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 92608 KiB
[startup+0.700759 s]
/proc/loadavg: 2.00 2.02 2.10 3/223 22079
/proc/meminfo: memFree=12724800/32770624 swapFree=67108860/67108860
[pid=22062] ppid=22059 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22062/stat : 22062 (scop.sh) S 22059 22062 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225634830 115843072 349 33554432000 4194304 5098028 140731084470944 140731084468200 140410987930236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13418496 140731084473408 140731084473607 140731084473607 140731084476365 0
/proc/22062/statm: 28282 349 296 221 0 87 0
[pid=22065] ppid=22062 vsize=15020872 memory=128764 CPUtime=0.98 cores=0,2,4,6
/proc/22065/stat : 22065 (java) S 22062 22062 16770 0 -1 1077944320 17784 0 0 0 93 5 0 0 20 0 15 0 225634831 15381372928 32191 33554432000 4194304 4196468 140727026752208 140727026734752 140711278534391 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
/proc/22065/statm: 3755218 32191 3147 1 0 3716603 0
[pid=22065/tid=22066] ppid=22062 vsize=15020872 memory=-7816663703405220396 CPUtime=0.66 cores=0,2,4,6
/proc/22065/task/22066/stat : 22066 (java) S 22062 22062 16770 0 -1 1077944384 14864 0 0 0 62 4 0 0 20 0 15 0 225634831 15381372928 32191 33554432000 4194304 4196468 140727026752208 140711250369328 140711278544597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22067] ppid=22062 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22067/stat : 22067 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634833 15381372928 32191 33554432000 4194304 4196468 140727026752208 140711282777104 140711278544597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22068] ppid=22062 vsize=15020872 memory=61232 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22068/stat : 22068 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634833 15381372928 32191 33554432000 4194304 4196468 140727026752208 140711116156048 140711278544597 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22069] ppid=22062 vsize=15020872 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22069/stat : 22069 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634833 15381372928 32191 33554432000 4194304 4196468 140727026752208 140710738123536 140711278544597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22070] ppid=22062 vsize=15020872 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22070/stat : 22070 (java) S 22062 22062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225634833 15381372928 32191 33554432000 4194304 4196468 140727026752208 140710737070992 140711278544597 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22071] ppid=22062 vsize=15020872 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22071/stat : 22071 (java) S 22062 22062 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225634834 15381372928 32191 33554432000 4194304 4196468 140727026752208 140710618147056 140711278545538 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22072] ppid=22062 vsize=15020872 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22072/stat : 22072 (java) S 22062 22062 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225634835 15381372928 32191 33554432000 4194304 4196468 140727026752208 140709906605216 140711278544597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22073] ppid=22062 vsize=15020872 memory=796 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22073/stat : 22073 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634835 15381372928 32191 33554432000 4194304 4196468 140727026752208 140709638169328 140711278544597 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22074] ppid=22062 vsize=15020872 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22074/stat : 22074 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225634837 15381372928 32191 33554432000 4194304 4196468 140727026752208 140709263661008 140711278552987 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22075] ppid=22062 vsize=15020872 memory=876 CPUtime=0.06 cores=0,2,4,6
/proc/22065/task/22075/stat : 22075 (java) R 22062 22062 16770 0 -1 4202560 602 0 0 0 6 0 0 0 20 0 15 0 225634837 15381372928 32191 33554432000 4194304 4196468 140727026752208 140710617086544 140711262020329 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22076] ppid=22062 vsize=15020872 memory=10096 CPUtime=0.08 cores=0,2,4,6
/proc/22065/task/22076/stat : 22076 (java) S 22062 22062 16770 0 -1 1077944384 380 0 0 0 8 0 0 0 20 0 15 0 225634837 15381372928 32191 33554432000 4194304 4196468 140727026752208 140710616042352 140711278545538 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22077] ppid=22062 vsize=15020872 memory=1228 CPUtime=0.15 cores=0,2,4,6
/proc/22065/task/22077/stat : 22077 (java) R 22062 22062 16770 0 -1 1077944384 604 0 0 0 15 0 0 0 20 0 15 0 225634837 15381372928 32191 33554432000 4194304 4196468 140727026752208 140710614989296 140711278545538 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22078] ppid=22062 vsize=15020872 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22078/stat : 22078 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225634837 15381372928 32191 33554432000 4194304 4196468 140727026752208 140708765756256 140711278544597 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
[pid=22065/tid=22079] ppid=22062 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/22065/task/22079/stat : 22079 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225634838 15381372928 32191 33554432000 4194304 4196468 140727026752208 140710613936688 140711278545538 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140727026758662 140727026758961 140727026758961 140727026761679 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130160 KiB
[startup+1.50617 s]
/proc/loadavg: 2.00 2.02 2.10 6/223 22079
/proc/meminfo: memFree=12689880/32770624 swapFree=67108860/67108860
[pid=22062] ppid=22059 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/22062/stat : 22062 (scop.sh) S 22059 22062 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225634830 115843072 349 33554432000 4194304 5098028 140731084470944 140731084468200 140410987930236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13418496 140731084473408 140731084473607 140731084473607 140731084476365 0
/proc/22062/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=22080/tid=22083] ppid=22062 vsize=8068220 memory=118940 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22083/stat : 22083 (java) S 22062 22062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225637128 8261857280 29735 33554432000 4194304 4196468 140729759597840 139968087079952 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22084] ppid=22062 vsize=8068220 memory=165916 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22084/stat : 22084 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225637128 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967760862096 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22085] ppid=22062 vsize=8068220 memory=165916 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22085/stat : 22085 (java) S 22062 22062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225637128 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967759809296 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22086] ppid=22062 vsize=8068220 memory=118940 CPUtime=0.05 cores=0,2,4,6
/proc/22080/task/22086/stat : 22086 (java) S 22062 22062 16770 0 -1 1077944384 7 0 0 0 3 2 0 0 20 0 19 0 225637130 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967656319344 139968277084802 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22087] ppid=22062 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22087/stat : 22087 (java) S 22062 22062 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225637130 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967145698336 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22088] ppid=22062 vsize=8068220 memory=161616 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22088/stat : 22088 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225637131 8261857280 29735 33554432000 4194304 4196468 140729759597840 139966877262704 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22089] ppid=22062 vsize=8068220 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22089/stat : 22089 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139966502754128 139968277092251 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22090] ppid=22062 vsize=8068220 memory=118940 CPUtime=0.14 cores=0,2,4,6
/proc/22080/task/22090/stat : 22090 (java) S 22062 22062 16770 0 -1 1077944384 775 0 0 0 14 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967655267184 139968277084802 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22091] ppid=22062 vsize=8068220 memory=1472 CPUtime=0.06 cores=0,2,4,6
/proc/22080/task/22091/stat : 22091 (java) S 22062 22062 16770 0 -1 1077944384 173 0 0 0 6 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967654214384 139968277084802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22092] ppid=22062 vsize=8068220 memory=1472 CPUtime=0.21 cores=0,2,4,6
/proc/22080/task/22092/stat : 22092 (java) S 22062 22062 16770 0 -1 1077944384 566 0 0 0 21 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967653161584 139968277084802 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22093] ppid=22062 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22093/stat : 22093 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139966004849376 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22094] ppid=22062 vsize=8068220 memory=1472 CPUtime=1.57 cores=0,2,4,6
/proc/22080/task/22094/stat : 22094 (java) S 22062 22062 16770 0 -1 1077944384 167 0 0 0 82 75 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967652108976 139968277084802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22096] ppid=22062 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22096/stat : 22096 (java) S 22062 22062 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225637199 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967644300480 139968277098265 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22098] ppid=22062 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22098/stat : 22098 (java) S 22062 22062 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225637200 8261857280 29735 33554432000 4194304 4196468 140729759597840 139965467962640 139968277095581 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22099] ppid=22062 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22099/stat : 22099 (java) S 22062 22062 16770 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225637200 8261857280 29735 33554432000 4194304 4196468 140729759597840 139965602185360 139968277095581 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22100] ppid=22062 vsize=8068220 memory=118940 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22100/stat : 22100 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225637202 8261857280 29735 33554432000 4194304 4196468 140729759597840 139965199539872 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
Current children cumulated CPU time: 2517.25 s
Current children cumulated vsize: 8361940 KiB
Current children cumulated memory: 273836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/228 22297
/proc/meminfo: memFree=10525096/32770624 swapFree=67108860/67108860
[pid=22062] ppid=22059 vsize=113128 memory=1472 CPUtime=36.03 cores=0,2,4,6
/proc/22062/stat : 22062 (scop.sh) S 22059 22062 16770 0 -1 4202496 591 52571 0 0 0 0 3487 116 20 0 1 0 225634830 115843072 368 33554432000 4194304 5098028 140731084470944 140731084467688 140410987930236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13418496 140731084473408 140731084473607 140731084473607 140731084476365 0
/proc/22062/statm: 28282 368 311 221 0 87 0
[pid=22080] ppid=22062 vsize=8068220 memory=118940 CPUtime=2.83 cores=0,2,4,6
/proc/22080/stat : 22080 (java) S 22062 22062 16770 0 -1 1077944320 17616 0 0 0 206 77 0 0 20 0 19 0 225637127 8261857280 29735 33554432000 4194304 4196468 140729759597840 140729759580384 139968277073655 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
/proc/22080/statm: 2017055 29735 3150 1 0 1978454 0
[pid=22095] ppid=22080 vsize=180592 memory=155472 CPUtime=2481.2 cores=0,2,4,6
/proc/22095/stat : 22095 (minisat_release) R 22080 22062 16770 0 -1 4202496 630926 0 0 0 248019 101 0 0 20 0 1 0 225637199 184926208 38868 33554432000 4194304 4308513 140733384028464 140733384025912 4262631 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 34385920 140733384033396 140733384033494 140733384033494 140733384036293 0
/proc/22095/statm: 45148 38868 342 28 0 41388 0
[pid=22080/tid=22081] ppid=22062 vsize=8068220 memory=118940 CPUtime=0.75 cores=0,2,4,6
/proc/22080/task/22081/stat : 22081 (java) S 22062 22062 16770 0 -1 1077944384 14525 0 0 0 71 4 0 0 20 0 19 0 225637127 8261857280 29735 33554432000 4194304 4196468 140729759597840 139968248913808 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22082] ppid=22062 vsize=8068220 memory=118940 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22082/stat : 22082 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225637128 8261857280 29735 33554432000 4194304 4196468 140729759597840 139968281316496 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22083] ppid=22062 vsize=8068220 memory=118940 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22083/stat : 22083 (java) S 22062 22062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225637128 8261857280 29735 33554432000 4194304 4196468 140729759597840 139968087079952 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22084] ppid=22062 vsize=8068220 memory=118940 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22084/stat : 22084 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225637128 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967760862096 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22085] ppid=22062 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22085/stat : 22085 (java) S 22062 22062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225637128 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967759809296 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22086] ppid=22062 vsize=8068220 memory=15880 CPUtime=0.05 cores=0,2,4,6
/proc/22080/task/22086/stat : 22086 (java) S 22062 22062 16770 0 -1 1077944384 7 0 0 0 3 2 0 0 20 0 19 0 225637130 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967656319344 139968277084802 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22087] ppid=22062 vsize=8068220 memory=165916 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22087/stat : 22087 (java) S 22062 22062 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225637130 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967145698336 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22088] ppid=22062 vsize=8068220 memory=165916 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22088/stat : 22088 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225637131 8261857280 29735 33554432000 4194304 4196468 140729759597840 139966877262704 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22089] ppid=22062 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22089/stat : 22089 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139966502754128 139968277092251 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22090] ppid=22062 vsize=8068220 memory=916 CPUtime=0.14 cores=0,2,4,6
/proc/22080/task/22090/stat : 22090 (java) S 22062 22062 16770 0 -1 1077944384 775 0 0 0 14 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967655267184 139968277084802 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22091] ppid=22062 vsize=8068220 memory=118940 CPUtime=0.06 cores=0,2,4,6
/proc/22080/task/22091/stat : 22091 (java) S 22062 22062 16770 0 -1 1077944384 173 0 0 0 6 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967654214384 139968277084802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22092] ppid=22062 vsize=8068220 memory=1472 CPUtime=0.21 cores=0,2,4,6
/proc/22080/task/22092/stat : 22092 (java) S 22062 22062 16770 0 -1 1077944384 566 0 0 0 21 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967653161584 139968277084802 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22093] ppid=22062 vsize=8068220 memory=161616 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22093/stat : 22093 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139966004849376 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22094] ppid=22062 vsize=8068220 memory=4128 CPUtime=1.57 cores=0,2,4,6
/proc/22080/task/22094/stat : 22094 (java) S 22062 22062 16770 0 -1 1077944384 167 0 0 0 82 75 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967652108976 139968277084802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22096] ppid=22062 vsize=8068220 memory=118940 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22096/stat : 22096 (java) S 22062 22062 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225637199 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967644300480 139968277098265 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22098] ppid=22062 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22098/stat : 22098 (java) S 22062 22062 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225637200 8261857280 29735 33554432000 4194304 4196468 140729759597840 139965467962640 139968277095581 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22099] ppid=22062 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22099/stat : 22099 (java) S 22062 22062 16770 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225637200 8261857280 29735 33554432000 4194304 4196468 140729759597840 139965602185360 139968277095581 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22100] ppid=22062 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22100/stat : 22100 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225637202 8261857280 29735 33554432000 4194304 4196468 140729759597840 139965199539872 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8361940 KiB
Current children cumulated memory: 275884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.12 s]
# the end of solver process 22062 was just reported to runsolver
# cumulated CPU time of all completed processes: user=34.8731 s, system=1.1696 s
[startup+2505.13 s]
# the end of solver process 22080 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.14 s, system=2.98617 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+2505.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/228 22297
/proc/meminfo: memFree=10525096/32770624 swapFree=67108860/67108860
[pid=22062] ppid=22059 vsize=113128 memory=1472 CPUtime=36.03 cores=0,2,4,6
/proc/22062/stat : 22062 (scop.sh) S 22059 22062 16770 0 -1 4202496 591 52571 0 0 0 0 3487 116 20 0 1 0 225634830 115843072 368 33554432000 4194304 5098028 140731084470944 140731084467688 140410987930236 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13418496 140731084473408 140731084473607 140731084473607 140731084476365 0
/proc/22062/statm: 28282 368 311 221 0 87 0
[pid=22080] ppid=22062 vsize=8068220 memory=118940 CPUtime=2.83 cores=0,2,4,6
/proc/22080/stat : 22080 (java) S 22062 22062 16770 0 -1 1077944320 17616 0 0 0 206 77 0 0 20 0 19 0 225637127 8261857280 29735 33554432000 4194304 4196468 140729759597840 140729759580384 139968277073655 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
/proc/22080/statm: 2017055 29735 3150 1 0 1978454 0
[pid=22095] ppid=22080 vsize=180592 memory=155472 CPUtime=2481.2 cores=0,2,4,6
/proc/22095/stat : 22095 (minisat_release) R 22080 22062 16770 0 -1 4202496 630926 0 0 0 248019 101 0 0 20 0 1 0 225637199 184926208 38868 33554432000 4194304 4308513 140733384028464 140733384025912 4262631 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 34385920 140733384033396 140733384033494 140733384033494 140733384036293 0
/proc/22095/statm: 45148 38868 342 28 0 41388 0
[pid=22080/tid=22081] ppid=22062 vsize=8068220 memory=118940 CPUtime=0.75 cores=0,2,4,6
/proc/22080/task/22081/stat : 22081 (java) S 22062 22062 16770 0 -1 1077944384 14525 0 0 0 71 4 0 0 20 0 19 0 225637127 8261857280 29735 33554432000 4194304 4196468 140729759597840 139968248913808 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22082] ppid=22062 vsize=8068220 memory=118940 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22082/stat : 22082 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225637128 8261857280 29735 33554432000 4194304 4196468 140729759597840 139968281316496 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22083] ppid=22062 vsize=8068220 memory=118940 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22083/stat : 22083 (java) S 22062 22062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225637128 8261857280 29735 33554432000 4194304 4196468 140729759597840 139968087079952 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22084] ppid=22062 vsize=8068220 memory=118940 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22084/stat : 22084 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225637128 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967760862096 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22085] ppid=22062 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22085/stat : 22085 (java) S 22062 22062 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225637128 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967759809296 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22086] ppid=22062 vsize=8068220 memory=15880 CPUtime=0.05 cores=0,2,4,6
/proc/22080/task/22086/stat : 22086 (java) S 22062 22062 16770 0 -1 1077944384 7 0 0 0 3 2 0 0 20 0 19 0 225637130 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967656319344 139968277084802 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22087] ppid=22062 vsize=8068220 memory=165916 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22087/stat : 22087 (java) S 22062 22062 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225637130 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967145698336 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22088] ppid=22062 vsize=8068220 memory=165916 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22088/stat : 22088 (java) S 22062 22062 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225637131 8261857280 29735 33554432000 4194304 4196468 140729759597840 139966877262704 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22089] ppid=22062 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22089/stat : 22089 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139966502754128 139968277092251 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22090] ppid=22062 vsize=8068220 memory=916 CPUtime=0.14 cores=0,2,4,6
/proc/22080/task/22090/stat : 22090 (java) S 22062 22062 16770 0 -1 1077944384 775 0 0 0 14 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967655267184 139968277084802 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22091] ppid=22062 vsize=8068220 memory=118940 CPUtime=0.06 cores=0,2,4,6
/proc/22080/task/22091/stat : 22091 (java) S 22062 22062 16770 0 -1 1077944384 173 0 0 0 6 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967654214384 139968277084802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22092] ppid=22062 vsize=8068220 memory=1472 CPUtime=0.21 cores=0,2,4,6
/proc/22080/task/22092/stat : 22092 (java) S 22062 22062 16770 0 -1 1077944384 566 0 0 0 21 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967653161584 139968277084802 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22093] ppid=22062 vsize=8068220 memory=161616 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22093/stat : 22093 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139966004849376 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22094] ppid=22062 vsize=8068220 memory=4128 CPUtime=1.57 cores=0,2,4,6
/proc/22080/task/22094/stat : 22094 (java) S 22062 22062 16770 0 -1 1077944384 167 0 0 0 82 75 0 0 20 0 19 0 225637133 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967652108976 139968277084802 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22096] ppid=22062 vsize=8068220 memory=118940 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22096/stat : 22096 (java) S 22062 22062 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225637199 8261857280 29735 33554432000 4194304 4196468 140729759597840 139967644300480 139968277098265 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22098] ppid=22062 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22098/stat : 22098 (java) S 22062 22062 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225637200 8261857280 29735 33554432000 4194304 4196468 140729759597840 139965467962640 139968277095581 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22099] ppid=22062 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22099/stat : 22099 (java) S 22062 22062 16770 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225637200 8261857280 29735 33554432000 4194304 4196468 140729759597840 139965602185360 139968277095581 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
[pid=22080/tid=22100] ppid=22062 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/22080/task/22100/stat : 22100 (java) S 22062 22062 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225637202 8261857280 29735 33554432000 4194304 4196468 140729759597840 139965199539872 139968277083861 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39411712 140729759605941 140729759606065 140729759606065 140729759608783 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 8361940 KiB
Current children cumulated memory: 275884 KiB
Child status: 1
Real time (s): 2505.13
CPU time (s): 2520.13
CPU user time (s): 2517.14
CPU system time (s): 2.98617
CPU usage (%): 100.599
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 3547868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.14
system time used= 2.98617
maximum resident set size= 3547016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 701985
page faults= 0
swaps= 0
block input operations= 0
block output operations= 31008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60240
involuntary context switches= 3221
# summary of solver processes directly reported to runsolver:
# pid: 22062,22080
# total CPU time (s): 2520.13
# total CPU user time (s): 2517.14
# total CPU system time (s): 2.98617
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.304 second user time and 26.6933 second system time
The end