0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-30188-serial-file.bin HOME/instance-4305650-1534132194.xml
0.55/0.51
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Mon Aug 13 05:49:55 CEST 2018
0.67/0.54 c PID: 30191
0.67/0.54 c IP: 172.20.3.139
0.67/0.54 c HOST: node139.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.70/1.02 c (0,0) Parsing End
1.70/1.03 c (0,0) CSP: 276 int (0 aux), 0 bool (0 aux), 266 ctr, max domain size 12
1.70/1.03 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.70/1.03 c (0,0) Constraint Name Generate Begin
1.70/1.04 c (0,0) Ctr:HOME/instance-4305650-1534132194.xml,AllDifferentMatrix:Element:Instantiation:IntVar
1.70/1.04 c (0,0) Constraint Name Generate End
1.70/1.04 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.70/1.04 c (0,0) CSP to CSPinCNF Begin
3.06/1.52 c (1,0) translated 27 (10%) constraints
3.06/1.56 c (1,1) translated 54 (20%) constraints
3.06/1.58 c (1,1) translated 80 (30%) constraints
3.34/1.61 c (1,1) translated 107 (40%) constraints
3.34/1.63 c (1,1) translated 133 (50%) constraints
3.34/1.66 c (1,1) translated 160 (60%) constraints
3.34/1.68 c (1,1) translated 187 (70%) constraints
3.64/1.70 c (1,1) translated 213 (80%) constraints
3.64/1.73 c (1,1) translated 240 (90%) constraints
3.64/1.75 c (1,1) translated 266 (100%) constraints
3.99/1.86 c (1,1) STATISTICS1:HOME/instance-4305650-1534132194.xml,AllDifferentMatrix:Element:Instantiation:IntVar,276,4812,12,12,12,2,12:7128;1:792,12:12672;1:588,12:48;3:3168;2:1584;1:12,2:7920;1:3768,
3.99/1.86 c (1,1) ==========================================
3.99/1.86 c (1,1) Both Encoding selects:
3.99/1.86 c (1,1) Order
3.99/1.86 c (1,1) ==========================================
4.32/1.93 c (1,1) translated 482 (10%) constraints
4.32/1.98 c (1,1) translated 963 (20%) constraints
4.32/2.00 c (1,1) translated 1444 (30%) constraints
4.71/2.10 c (1,1) translated 1925 (40%) constraints
5.04/2.19 c (1,1) translated 2406 (50%) constraints
5.33/2.26 c (1,1) translated 2888 (60%) constraints
5.63/2.33 c (1,1) translated 3369 (70%) constraints
5.63/2.39 c (1,1) translated 3850 (80%) constraints
5.93/2.45 c (1,1) translated 4331 (90%) constraints
6.23/2.51 c (1,1) translated 4812 (100%) constraints
6.23/2.51 c (1,1) CSP to CSPinCNF End
6.23/2.52 c (1,1) CSP: 276 int (0 aux), 3036 bool (3036 aux), 11160 ctr, max domain size 12
6.23/2.52 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.23/2.52 c (1,1) CSPinCNF Propagation Begin
6.56/2.67 c (2,2) 2 values, 804 unsatisfiable literals, and 216 valid clauses are removed
6.56/2.67 c (2,2) CSPinCNF Propagation End
6.56/2.67 c (2,2) CSP: 276 int (0 aux), 3036 bool (3036 aux), 10944 ctr, max domain size 12
6.56/2.67 c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.56/2.67 c (2,2) Simplify CSPinCNF Begin
6.90/2.78 c (2,2) Simplify CSPinCNF End
6.90/2.78 c (2,2) CSP: 276 int (0 aux), 6108 bool (6108 aux), 14016 ctr, max domain size 12
6.90/2.78 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.90/2.78 c (2,2) Calculate Precise Domain Begin
6.90/2.78 c (2,2) 0 values are removed by re-calculation
6.90/2.78 c (2,2) Calculate Precise Domain End
6.90/2.78 c (2,2) CSP: 276 int (0 aux), 6108 bool (6108 aux), 14016 ctr, max domain size 12
6.90/2.78 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.90/2.78 c (2,2) CSPinCNF to SatSolver Begin
7.56/2.96 c (2,2) 1402 (10 %) CSP clauses are encoded (8964 SAT variables, 12284 SAT clauses)
7.90/3.05 c (2,2) 2804 (20 %) CSP clauses are encoded (8964 SAT variables, 21953 SAT clauses)
8.20/3.12 c (2,2) 4205 (30 %) CSP clauses are encoded (8964 SAT variables, 31696 SAT clauses)
8.20/3.18 c (2,2) 5607 (40 %) CSP clauses are encoded (8964 SAT variables, 41607 SAT clauses)
8.47/3.23 c (2,2) 7008 (50 %) CSP clauses are encoded (8964 SAT variables, 51467 SAT clauses)
8.47/3.27 c (2,2) 8410 (60 %) CSP clauses are encoded (8964 SAT variables, 61348 SAT clauses)
8.77/3.31 c (2,2) 9812 (70 %) CSP clauses are encoded (8964 SAT variables, 71336 SAT clauses)
8.77/3.35 c (2,2) 11213 (80 %) CSP clauses are encoded (8964 SAT variables, 81241 SAT clauses)
8.77/3.38 c (2,2) 12615 (90 %) CSP clauses are encoded (8964 SAT variables, 91185 SAT clauses)
9.04/3.41 c (2,2) 14016 (100 %) CSP clauses are encoded (8964 SAT variables, 101103 SAT clauses)
9.04/3.41 c (2,2) Launch Command will be: minisat_release
9.04/3.41 c (2,2) CSPinCNF to SatSolver End
9.04/3.41 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.33/3.51 c (2,2) STATISTICS2:HOME/instance-4305650-1534132194.xml,AllDifferentMatrix:Element:Instantiation:IntVar,6384,14016,12,12,10,2,12:5400;11:2552;10:496;1:916,12:18532;11:4608;10:728;2:15508;1:916,10:44;3:2544;2:11428,2:9364;1:21564,
9.33/3.52 c (2,2) 8964 bool, 101104 clause
9.33/3.52 c (2,2) Export Begin
9.67/3.61 c (3,3) Export to HOME/scop-30188-serial-file.bin
9.67/3.61 c (3,3) Export End
9.67/3.61 c (3,3) Export File Size: 0.05 MB
9.67/3.61 c (3,3) 0,0,1,2,2,2,2,STOP-AFTER(DIMACS)
9.67/3.61 c END-Prog: Mon Aug 13 05:49:58 CEST 2018
9.67/3.64 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-30188-serial-file.bin
10.37/4.12 c (0,0) Read Serial File Begin
10.37/4.12 c (0,0) HOME/scop-30188-serial-file.bin
10.70/4.30 c (0,0) Read Serial File End
10.70/4.32
10.70/4.32 scop order+minisat_release (2018-07-31)
10.70/4.32 (Solving Process)
10.70/4.32
10.70/4.34 c BEGIN-Prog: Mon Aug 13 05:49:59 CEST 2018
10.70/4.34 c PID: 30206
10.70/4.34 c IP: 172.20.3.139
10.70/4.34 c HOST: node139.alineos.net
10.70/4.35 c (0,0) SatSolver.solve Begin
10.70/4.35 c (0,0) 0 bool, 0 clause
10.70/4.35 c (0,0) minisat_release HOME/instance-4305650-1534132194.xml-scop-30191.cnf
2512.31/2504.74 c (2500,0) c This is COMiniSatPS.
2512.31/2504.74 c (2500,0) c WARNING: for repeatability, setting FPU to use double precision
2512.31/2504.74 c (2500,0) c ============================[ Problem Statistics ]=============================
2512.31/2504.74 c (2500,0) c | |
2512.31/2504.74 c (2500,0) c | Number of variables: 8964 |
2512.31/2504.74 c (2500,0) c | Number of clauses: 101104 |
2512.31/2504.74 c (2500,0) c | Parse time: 0.02 s |
2512.31/2504.74 c (2500,0) c | Eliminated clauses: 0.10 Mb |
2512.31/2504.74 c (2500,0) c Reduced to 4132 vars, 88872 cls (grow=0)
2512.31/2504.74 c (2500,0) c No iterative elimination performed. (vars=4132, c/v ratio=21.5)
2512.31/2504.74 c (2500,0) c | Simplification time: 0.11 s |
2512.31/2504.74 c (2500,0) c | |
2512.31/2504.74 c (2500,0) c ============================[ Search Statistics ]==============================
2512.31/2504.74 c (2500,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2512.31/2504.74 c (2500,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2512.31/2504.74 c (2500,0) c ===============================================================================
2512.31/2504.74 c (2500,0) c Switched to VSIDS.
2520.01/2512.40 c (2508,0) SatSolver is killed by some reasons.
2520.01/2512.40 c (2508,0) receiving signal SIGTERM
2520.01/2512.40 s UNKNOWN
2520.01/2512.41 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.01/2512.41 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 (5609 MiB free)
memory of node 1: 16384 MiB (7009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305650-1534132194/watcher-4305650-1534132194 -o /tmp/evaluation-result-4305650-1534132194/solver-4305650-1534132194 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534129696-29821 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305650-1534132194.xml
running on 4 cores: 1,3,5,7
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=30188, runsolver pid=30185
[startup+0.100058 s]*
/proc/loadavg: 2.02 2.07 2.02 5/222 30205
/proc/meminfo: memFree=12862104/32770624 swapFree=67108860/67108860
[pid=30188] ppid=30185 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/30188/stat : 30188 (scop.sh) S 30185 30188 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230782620 115843072 348 33554432000 4194304 5098028 140722638651072 140722638648328 139707522019964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37621760 140722638652481 140722638652679 140722638652679 140722638655437 0
/proc/30188/statm: 28282 348 296 221 0 87 0
[pid=30191] ppid=30188 vsize=15012476 memory=71816 CPUtime=0.11 cores=1,3,5,7
/proc/30191/stat : 30191 (java) S 30188 30188 29789 0 -1 1077944320 6097 0 0 0 9 2 0 0 20 0 15 0 230782620 15372775424 17954 33554432000 4194304 4196468 140730565671952 140730565654496 140686082354935 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
/proc/30191/statm: 3753119 17954 2770 1 0 3715579 0
[pid=30191/tid=30192] ppid=30188 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=1,3,5,7
/proc/30191/task/30192/stat : 30192 (java) R 30188 30188 29789 0 -1 4202560 4193 0 0 0 7 1 0 0 20 0 15 0 230782620 15372775424 18020 33554432000 4194304 4196468 140730565671952 140686054166920 140686062630763 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30193] ppid=30188 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30193/stat : 30193 (java) S 30188 30188 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230782622 15372775424 18020 33554432000 4194304 4196468 140730565671952 140686086596880 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30194] ppid=30188 vsize=15012476 memory=140596936550016 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30194/stat : 30194 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230782622 15372775424 18020 33554432000 4194304 4196468 140730565671952 140685885372816 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30195] ppid=30188 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30195/stat : 30195 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230782622 15372775424 18020 33554432000 4194304 4196468 140730565671952 140685884320272 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30196] ppid=30188 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30196/stat : 30196 (java) S 30188 30188 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230782622 15372775424 18020 33554432000 4194304 4196468 140730565671952 140685883267728 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30197] ppid=30188 vsize=15012476 memory=140596936550016 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30197/stat : 30197 (java) S 30188 30188 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230782623 15372775424 18020 33554432000 4194304 4196468 140730565671952 140685052795376 140686082366082 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30198] ppid=30188 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30198/stat : 30198 (java) S 30188 30188 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230782624 15372775424 18020 33554432000 4194304 4196468 140730565671952 140684673672608 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30199] ppid=30188 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30199/stat : 30199 (java) S 30188 30188 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230782624 15372775424 18020 33554432000 4194304 4196468 140730565671952 140684539450864 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30200] ppid=30188 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30200/stat : 30200 (java) S 30188 30188 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230782626 15372775424 18020 33554432000 4194304 4196468 140730565671952 140684164946640 140686082373531 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30201] ppid=30188 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30201/stat : 30201 (java) S 30188 30188 29789 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 230782626 15372775424 18020 33554432000 4194304 4196468 140730565671952 140685051742192 140686082366082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30202] ppid=30188 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30202/stat : 30202 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230782626 15372775424 18086 33554432000 4194304 4196468 140730565671952 140685050689648 140686082366082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30203] ppid=30188 vsize=15012476 memory=140596936550016 CPUtime=0.01 cores=1,3,5,7
/proc/30191/task/30203/stat : 30203 (java) S 30188 30188 29789 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 230782626 15372775424 18086 33554432000 4194304 4196468 140730565671952 140685049637104 140686082366082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30204] ppid=30188 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30204/stat : 30204 (java) S 30188 30188 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230782627 15372775424 18086 33554432000 4194304 4196468 140730565671952 140683667040864 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30205] ppid=30188 vsize=15012476 memory=140596936550016 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30205/stat : 30205 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230782627 15372775424 18086 33554432000 4194304 4196468 140730565671952 140685048585008 140686082366082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73208 KiB
[startup+0.210565 s]*
/proc/loadavg: 2.02 2.07 2.02 3/222 30205
/proc/meminfo: memFree=12848276/32770624 swapFree=67108860/67108860
[pid=30188] ppid=30185 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/30188/stat : 30188 (scop.sh) S 30185 30188 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230782620 115843072 348 33554432000 4194304 5098028 140722638651072 140722638648328 139707522019964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37621760 140722638652481 140722638652679 140722638652679 140722638655437 0
/proc/30188/statm: 28282 348 296 221 0 87 0
[pid=30191] ppid=30188 vsize=15012476 memory=84572 CPUtime=0.25 cores=1,3,5,7
/proc/30191/stat : 30191 (java) S 30188 30188 29789 0 -1 1077944320 9518 0 0 0 23 2 0 0 20 0 15 0 230782620 15372775424 21143 33554432000 4194304 4196468 140730565671952 140730565654496 140686082354935 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
/proc/30191/statm: 3753119 21143 2905 1 0 3715579 0
[pid=30191/tid=30192] ppid=30188 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/30191/task/30192/stat : 30192 (java) R 30188 30188 29789 0 -1 4202560 7398 0 0 0 18 2 0 0 20 0 15 0 230782620 15372775424 21143 33554432000 4194304 4196468 140730565671952 140686054180320 140686082366870 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30193] ppid=30188 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30193/stat : 30193 (java) S 30188 30188 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230782622 15372775424 21143 33554432000 4194304 4196468 140730565671952 140686086596880 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30194] ppid=30188 vsize=15012476 memory=4051468456501552800 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30194/stat : 30194 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230782622 15372775424 21143 33554432000 4194304 4196468 140730565671952 140685885372816 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30195] ppid=30188 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30195/stat : 30195 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230782622 15372775424 21143 33554432000 4194304 4196468 140730565671952 140685884320272 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30196] ppid=30188 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30196/stat : 30196 (java) S 30188 30188 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230782622 15372775424 21143 33554432000 4194304 4196468 140730565671952 140685883267728 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30197] ppid=30188 vsize=15012476 memory=140596936550016 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30197/stat : 30197 (java) S 30188 30188 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230782623 15372775424 21143 33554432000 4194304 4196468 140730565671952 140685052795376 140686082366082 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30198] ppid=30188 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30198/stat : 30198 (java) S 30188 30188 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230782624 15372775424 21143 33554432000 4194304 4196468 140730565671952 140684673672608 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30199] ppid=30188 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30199/stat : 30199 (java) S 30188 30188 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230782624 15372775424 21143 33554432000 4194304 4196468 140730565671952 140684539450864 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30200] ppid=30188 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30200/stat : 30200 (java) S 30188 30188 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230782626 15372775424 21143 33554432000 4194304 4196468 140730565671952 140684164946640 140686082373531 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30201] ppid=30188 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30201/stat : 30201 (java) S 30188 30188 29789 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 230782626 15372775424 21143 33554432000 4194304 4196468 140730565671952 140685051742192 140686082366082 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30202] ppid=30188 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30202/stat : 30202 (java) R 30188 30188 29789 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 15 0 230782626 15372775424 21143 33554432000 4194304 4196468 140730565671952 140685050689648 140686075339977 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30203] ppid=30188 vsize=15012476 memory=140596936550016 CPUtime=0.03 cores=1,3,5,7
/proc/30191/task/30203/stat : 30203 (java) R 30188 30188 29789 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 15 0 230782626 15372775424 21143 33554432000 4194304 4196468 140730565671952 140685049637104 140686082366082 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30204] ppid=30188 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30204/stat : 30204 (java) S 30188 30188 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230782627 15372775424 21143 33554432000 4194304 4196468 140730565671952 140683667040864 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30205] ppid=30188 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30205/stat : 30205 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230782627 15372775424 21143 33554432000 4194304 4196468 140730565671952 140685048585008 140686082366082 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85964 KiB
[startup+0.310571 s]*
/proc/loadavg: 2.02 2.07 2.02 3/222 30205
/proc/meminfo: memFree=12844460/32770624 swapFree=67108860/67108860
[pid=30188] ppid=30185 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/30188/stat : 30188 (scop.sh) S 30185 30188 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230782620 115843072 348 33554432000 4194304 5098028 140722638651072 140722638648328 139707522019964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37621760 140722638652481 140722638652679 140722638652679 140722638655437 0
/proc/30188/statm: 28282 348 296 221 0 87 0
[pid=30191] ppid=30188 vsize=15012476 memory=88356 CPUtime=0.43 cores=1,3,5,7
/proc/30191/stat : 30191 (java) S 30188 30188 29789 0 -1 1077944320 10050 0 0 0 40 3 0 0 20 0 15 0 230782620 15372775424 22089 33554432000 4194304 4196468 140730565671952 140730565654496 140686082354935 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
/proc/30191/statm: 3753119 22089 3008 1 0 3715579 0
[pid=30191/tid=30192] ppid=30188 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/30191/task/30192/stat : 30192 (java) R 30188 30188 29789 0 -1 4202560 7769 0 0 0 27 2 0 0 20 0 15 0 230782620 15372775424 22089 33554432000 4194304 4196468 140730565671952 140686054150384 140686066398565 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30193] ppid=30188 vsize=15012476 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30193/stat : 30193 (java) S 30188 30188 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230782622 15372775424 22089 33554432000 4194304 4196468 140730565671952 140686086596880 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30194] ppid=30188 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30194/stat : 30194 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230782622 15372775424 22089 33554432000 4194304 4196468 140730565671952 140685885372816 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30195] ppid=30188 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30195/stat : 30195 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230782622 15372775424 22089 33554432000 4194304 4196468 140730565671952 140685884320272 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30196] ppid=30188 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30196/stat : 30196 (java) S 30188 30188 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230782622 15372775424 22089 33554432000 4194304 4196468 140730565671952 140685883267728 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30197] ppid=30188 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30197/stat : 30197 (java) S 30188 30188 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230782623 15372775424 22089 33554432000 4194304 4196468 140730565671952 140685052795376 140686082366082 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30198] ppid=30188 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30198/stat : 30198 (java) S 30188 30188 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230782624 15372775424 22089 33554432000 4194304 4196468 140730565671952 140684673672608 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30199] ppid=30188 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30199/stat : 30199 (java) S 30188 30188 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230782624 15372775424 22089 33554432000 4194304 4196468 140730565671952 140684539450864 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30200] ppid=30188 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30200/stat : 30200 (java) S 30188 30188 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230782626 15372775424 22089 33554432000 4194304 4196468 140730565671952 140684164946640 140686082373531 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30201] ppid=30188 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30191/task/30201/stat : 30201 (java) R 30188 30188 29789 0 -1 4202560 410 0 0 0 2 0 0 0 20 0 15 0 230782626 15372775424 22089 33554432000 4194304 4196468 140730565671952 140685051742192 140686065853569 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30202] ppid=30188 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30191/task/30202/stat : 30202 (java) R 30188 30188 29789 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 15 0 230782626 15372775424 22089 33554432000 4194304 4196468 140730565671952 140685050689648 140686082366082 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30203] ppid=30188 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30191/task/30203/stat : 30203 (java) R 30188 30188 29789 0 -1 4202560 313 0 0 0 7 0 0 0 20 0 15 0 230782626 15372775424 22089 33554432000 4194304 4196468 140730565671952 140685049637104 140686082366870 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30204] ppid=30188 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30204/stat : 30204 (java) S 30188 30188 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230782627 15372775424 22089 33554432000 4194304 4196468 140730565671952 140683667040864 140686082365141 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30205] ppid=30188 vsize=15012476 memory=3689353199920160817 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30205/stat : 30205 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230782627 15372775424 22089 33554432000 4194304 4196468 140730565671952 140685048585008 140686082366082 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89748 KiB
[startup+0.700855 s]
/proc/loadavg: 2.02 2.07 2.02 3/222 30205
/proc/meminfo: memFree=12819796/32770624 swapFree=67108860/67108860
[pid=30188] ppid=30185 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/30188/stat : 30188 (scop.sh) S 30185 30188 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230782620 115843072 348 33554432000 4194304 5098028 140722638651072 140722638648328 139707522019964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37621760 140722638652481 140722638652679 140722638652679 140722638655437 0
/proc/30188/statm: 28282 348 296 221 0 87 0
[pid=30191] ppid=30188 vsize=15020872 memory=125496 CPUtime=1.01 cores=1,3,5,7
/proc/30191/stat : 30191 (java) S 30188 30188 29789 0 -1 1077944320 17013 0 0 0 96 5 0 0 20 0 15 0 230782620 15381372928 31374 33554432000 4194304 4196468 140730565671952 140730565654496 140686082354935 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
/proc/30191/statm: 3755218 31374 3125 1 0 3716603 0
[pid=30191/tid=30192] ppid=30188 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/30191/task/30192/stat : 30192 (java) R 30188 30188 29789 0 -1 4202560 14293 0 0 0 63 4 0 0 20 0 15 0 230782620 15381372928 31374 33554432000 4194304 4196468 140730565671952 140686054181664 140685564204995 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30193] ppid=30188 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30193/stat : 30193 (java) S 30188 30188 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230782622 15381372928 31374 33554432000 4194304 4196468 140730565671952 140686086596880 140686082365141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30194] ppid=30188 vsize=15020872 memory=62576 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30194/stat : 30194 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230782622 15381372928 31374 33554432000 4194304 4196468 140730565671952 140685885372816 140686082365141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30195] ppid=30188 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30195/stat : 30195 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230782622 15381372928 31374 33554432000 4194304 4196468 140730565671952 140685884320272 140686082365141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30196] ppid=30188 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30196/stat : 30196 (java) S 30188 30188 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230782622 15381372928 31374 33554432000 4194304 4196468 140730565671952 140685883267728 140686082365141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30197] ppid=30188 vsize=15020872 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30197/stat : 30197 (java) S 30188 30188 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230782623 15381372928 31374 33554432000 4194304 4196468 140730565671952 140685052795376 140686082366082 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30198] ppid=30188 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30198/stat : 30198 (java) S 30188 30188 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230782624 15381372928 31374 33554432000 4194304 4196468 140730565671952 140684673672608 140686082365141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30199] ppid=30188 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30199/stat : 30199 (java) S 30188 30188 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230782624 15381372928 31374 33554432000 4194304 4196468 140730565671952 140684539450864 140686082365141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30200] ppid=30188 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30200/stat : 30200 (java) S 30188 30188 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230782626 15381372928 31886 33554432000 4194304 4196468 140730565671952 140684164946640 140686082373531 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30201] ppid=30188 vsize=15020872 memory=876 CPUtime=0.05 cores=1,3,5,7
/proc/30191/task/30201/stat : 30201 (java) S 30188 30188 29789 0 -1 1077944384 438 0 0 0 5 0 0 0 20 0 15 0 230782626 15381372928 31886 33554432000 4194304 4196468 140730565671952 140685051742192 140686082366082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30202] ppid=30188 vsize=15020872 memory=10096 CPUtime=0.09 cores=1,3,5,7
/proc/30191/task/30202/stat : 30202 (java) R 30188 30188 29789 0 -1 4202560 445 0 0 0 9 0 0 0 20 0 15 0 230782626 15381372928 31886 33554432000 4194304 4196468 140730565671952 140685050689648 140686067260328 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30203] ppid=30188 vsize=15020872 memory=1228 CPUtime=0.17 cores=1,3,5,7
/proc/30191/task/30203/stat : 30203 (java) S 30188 30188 29789 0 -1 1077944384 481 0 0 0 17 0 0 0 20 0 15 0 230782626 15381372928 31886 33554432000 4194304 4196468 140730565671952 140685049637104 140686082366082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30204] ppid=30188 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30204/stat : 30204 (java) S 30188 30188 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230782627 15381372928 31886 33554432000 4194304 4196468 140730565671952 140683667040864 140686082365141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
[pid=30191/tid=30205] ppid=30188 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/30191/task/30205/stat : 30205 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230782627 15381372928 31886 33554432000 4194304 4196468 140730565671952 140685048585008 140686082366082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26533888 140730565678087 140730565678385 140730565678385 140730565681103 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 126888 KiB
[startup+1.50274 s]
/proc/loadavg: 2.02 2.07 2.02 4/222 30205
/proc/meminfo: memFree=12792500/32770624 swapFree=67108860/67108860
[pid=30188] ppid=30185 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/30188/stat : 30188 (scop.sh) S 30185 30188 29789 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 230782620 115843072 348 33554432000 4194304 5098028 140722638651072 140722638648328 139707522019964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37621760 140722638652481 140722638652679 140722638652679 140722638655437 0
/proc/30188/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=30206/tid=30209] ppid=30188 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30209/stat : 30209 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230782985 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664770779408 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30210] ppid=30188 vsize=8068220 memory=118364 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30210/stat : 30210 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230782985 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664769727120 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30211] ppid=30188 vsize=8068220 memory=62996 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30211/stat : 30211 (java) S 30188 30188 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230782985 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664768674320 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30212] ppid=30188 vsize=8068220 memory=62996 CPUtime=0.03 cores=1,3,5,7
/proc/30206/task/30212/stat : 30212 (java) S 30188 30188 29789 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 19 0 230782987 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664345242224 139664966380162 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30213] ppid=30188 vsize=8068220 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30213/stat : 30213 (java) S 30188 30188 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230782987 8261857280 29591 33554432000 4194304 4196468 140725948157552 139663813633312 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30214] ppid=30188 vsize=8068220 memory=16228 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30214/stat : 30214 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230782987 8261857280 29591 33554432000 4194304 4196468 140725948157552 139663545198192 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30215] ppid=30188 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30215/stat : 30215 (java) S 30188 30188 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139663170689616 139664966387611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30216] ppid=30188 vsize=8068220 memory=1468 CPUtime=0.16 cores=1,3,5,7
/proc/30206/task/30216/stat : 30216 (java) S 30188 30188 29789 0 -1 1077944384 1063 0 0 0 15 1 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664344189040 139664966380162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30217] ppid=30188 vsize=8068220 memory=62996 CPUtime=0.09 cores=1,3,5,7
/proc/30206/task/30217/stat : 30217 (java) S 30188 30188 29789 0 -1 1077944384 326 0 0 0 9 0 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664343136240 139664966380162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30218] ppid=30188 vsize=8068220 memory=62996 CPUtime=0.22 cores=1,3,5,7
/proc/30206/task/30218/stat : 30218 (java) S 30188 30188 29789 0 -1 1077944384 578 0 0 0 22 0 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664342083952 139664966380162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30219] ppid=30188 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30219/stat : 30219 (java) S 30188 30188 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139662672783840 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30220] ppid=30188 vsize=8068220 memory=1468 CPUtime=0.92 cores=1,3,5,7
/proc/30206/task/30220/stat : 30220 (java) S 30188 30188 29789 0 -1 1077944384 163 0 0 0 49 43 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664341031856 139664966380162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30222] ppid=30188 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30222/stat : 30222 (java) S 30188 30188 29789 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230783057 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664333555136 139664966393625 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30224] ppid=30188 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30224/stat : 30224 (java) S 30188 30188 29789 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230783057 8261857280 29591 33554432000 4194304 4196468 140725948157552 139662135898160 139664966390941 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30225] ppid=30188 vsize=8068220 memory=932 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30225/stat : 30225 (java) S 30188 30188 29789 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230783057 8261857280 29591 33554432000 4194304 4196468 140725948157552 139662270119344 139664966390941 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30226] ppid=30188 vsize=8068220 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30226/stat : 30226 (java) S 30188 30188 29789 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230783059 8261857280 29591 33554432000 4194304 4196468 140725948157552 139661867473824 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
Current children cumulated CPU time: 2449.87 s
Current children cumulated vsize: 8263448 KiB
Current children cumulated memory: 183808 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/228 30533
/proc/meminfo: memFree=12806000/32770624 swapFree=67108860/67108860
[pid=30188] ppid=30185 vsize=113128 memory=1468 CPUtime=9.76 cores=1,3,5,7
/proc/30188/stat : 30188 (scop.sh) S 30185 30188 29789 0 -1 4202496 590 28538 0 0 0 0 953 23 20 0 1 0 230782620 115843072 367 33554432000 4194304 5098028 140722638651072 140722638647816 139707522019964 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37621760 140722638652481 140722638652679 140722638652679 140722638655437 0
/proc/30188/statm: 28282 367 311 221 0 87 0
[pid=30206] ppid=30188 vsize=8068220 memory=118364 CPUtime=2.27 cores=1,3,5,7
/proc/30206/stat : 30206 (java) S 30188 30188 29789 0 -1 1077944320 18006 0 0 0 175 52 0 0 20 0 19 0 230782984 8261857280 29591 33554432000 4194304 4196468 140725948157552 140725948140096 139664966369015 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
/proc/30206/statm: 2017055 29591 3143 1 0 1978454 0
[pid=30221] ppid=30206 vsize=82100 memory=64116 CPUtime=2497.88 cores=1,3,5,7
/proc/30221/stat : 30221 (minisat_release) R 30206 30188 29789 0 -1 4202496 210603 0 0 0 249768 20 0 0 20 0 1 0 230783057 84070400 16029 33554432000 4194304 4308513 140736785688608 140736785685608 4262505 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 35799040 140736785691764 140736785691862 140736785691862 140736785694661 0
/proc/30221/statm: 20525 16029 340 28 0 16765 0
[pid=30206/tid=30207] ppid=30188 vsize=8068220 memory=118364 CPUtime=0.75 cores=1,3,5,7
/proc/30206/task/30207/stat : 30207 (java) S 30188 30188 29789 0 -1 1077944384 14461 0 0 0 70 5 0 0 20 0 19 0 230782984 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664938209168 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30208] ppid=30188 vsize=8068220 memory=118364 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30208/stat : 30208 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230782985 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664970611088 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30209] ppid=30188 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30209/stat : 30209 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230782985 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664770779408 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30210] ppid=30188 vsize=8068220 memory=8932 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30210/stat : 30210 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230782985 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664769727120 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30211] ppid=30188 vsize=8068220 memory=118364 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30211/stat : 30211 (java) S 30188 30188 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230782985 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664768674320 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30212] ppid=30188 vsize=8068220 memory=118364 CPUtime=0.03 cores=1,3,5,7
/proc/30206/task/30212/stat : 30212 (java) S 30188 30188 29789 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 19 0 230782987 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664345242224 139664966380162 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30213] ppid=30188 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30213/stat : 30213 (java) S 30188 30188 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230782987 8261857280 29591 33554432000 4194304 4196468 140725948157552 139663813633312 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30214] ppid=30188 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30214/stat : 30214 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230782987 8261857280 29591 33554432000 4194304 4196468 140725948157552 139663545198192 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30215] ppid=30188 vsize=8068220 memory=-1189914978686163229 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30215/stat : 30215 (java) S 30188 30188 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139663170689616 139664966387611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30216] ppid=30188 vsize=8068220 memory=1468 CPUtime=0.16 cores=1,3,5,7
/proc/30206/task/30216/stat : 30216 (java) S 30188 30188 29789 0 -1 1077944384 1063 0 0 0 15 1 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664344189040 139664966380162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30217] ppid=30188 vsize=8068220 memory=1468 CPUtime=0.09 cores=1,3,5,7
/proc/30206/task/30217/stat : 30217 (java) S 30188 30188 29789 0 -1 1077944384 326 0 0 0 9 0 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664343136240 139664966380162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30218] ppid=30188 vsize=8068220 memory=3468 CPUtime=0.22 cores=1,3,5,7
/proc/30206/task/30218/stat : 30218 (java) S 30188 30188 29789 0 -1 1077944384 578 0 0 0 22 0 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664342083952 139664966380162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30219] ppid=30188 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30219/stat : 30219 (java) S 30188 30188 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139662672783840 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30220] ppid=30188 vsize=8068220 memory=118848 CPUtime=0.95 cores=1,3,5,7
/proc/30206/task/30220/stat : 30220 (java) S 30188 30188 29789 0 -1 1077944384 167 0 0 0 51 44 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664341031856 139664966380162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30222] ppid=30188 vsize=8068220 memory=186808 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30222/stat : 30222 (java) S 30188 30188 29789 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230783057 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664333555136 139664966393625 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30224] ppid=30188 vsize=8068220 memory=-7824251494390652265 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30224/stat : 30224 (java) S 30188 30188 29789 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230783057 8261857280 29591 33554432000 4194304 4196468 140725948157552 139662135898160 139664966390941 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30225] ppid=30188 vsize=8068220 memory=2656 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30225/stat : 30225 (java) S 30188 30188 29789 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230783057 8261857280 29591 33554432000 4194304 4196468 140725948157552 139662270119344 139664966390941 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30226] ppid=30188 vsize=8068220 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30226/stat : 30226 (java) S 30188 30188 29789 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230783059 8261857280 29591 33554432000 4194304 4196468 140725948157552 139661867473824 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
Current children cumulated CPU time: 2509.91 s
Current children cumulated vsize: 8263448 KiB
Current children cumulated memory: 183948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.4 s]
/proc/loadavg: 2.04 2.03 2.05 3/228 30533
/proc/meminfo: memFree=12773420/32770624 swapFree=67108860/67108860
[pid=30188] ppid=30185 vsize=113128 memory=1468 CPUtime=9.76 cores=1,3,5,7
/proc/30188/stat : 30188 (scop.sh) S 30185 30188 29789 0 -1 4202496 590 28538 0 0 0 0 953 23 20 0 1 0 230782620 115843072 367 33554432000 4194304 5098028 140722638651072 140722638647816 139707522019964 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37621760 140722638652481 140722638652679 140722638652679 140722638655437 0
/proc/30188/statm: 28282 367 311 221 0 87 0
[pid=30206] ppid=30188 vsize=8068220 memory=118364 CPUtime=2.27 cores=1,3,5,7
/proc/30206/stat : 30206 (java) S 30188 30188 29789 0 -1 1077944320 18014 0 0 0 175 52 0 0 20 0 19 0 230782984 8261857280 29591 33554432000 4194304 4196468 140725948157552 140725948140096 139664966369015 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
/proc/30206/statm: 2017055 29591 3143 1 0 1978454 0
[pid=30221] ppid=30206 vsize=82100 memory=64836 CPUtime=2507.98 cores=1,3,5,7
/proc/30221/stat : 30221 (minisat_release) R 30206 30188 29789 0 -1 4202496 211049 0 0 0 250778 20 0 0 20 0 1 0 230783057 84070400 16209 33554432000 4194304 4308513 140736785688608 140736785686104 4275941 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 35799040 140736785691764 140736785691862 140736785691862 140736785694661 0
/proc/30221/statm: 20525 16209 341 28 0 16765 0
[pid=30206/tid=30207] ppid=30188 vsize=8068220 memory=636 CPUtime=0.75 cores=1,3,5,7
/proc/30206/task/30207/stat : 30207 (java) S 30188 30188 29789 0 -1 1077944384 14461 0 0 0 70 5 0 0 20 0 19 0 230782984 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664938209168 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30208] ppid=30188 vsize=8068220 memory=960 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30208/stat : 30208 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230782985 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664970611088 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30209] ppid=30188 vsize=8068220 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30209/stat : 30209 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230782985 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664770779408 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30210] ppid=30188 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30210/stat : 30210 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230782985 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664769727120 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30211] ppid=30188 vsize=8068220 memory=118364 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30211/stat : 30211 (java) S 30188 30188 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230782985 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664768674320 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30212] ppid=30188 vsize=8068220 memory=64836 CPUtime=0.03 cores=1,3,5,7
/proc/30206/task/30212/stat : 30212 (java) S 30188 30188 29789 0 -1 1077944384 7 0 0 0 2 1 0 0 20 0 19 0 230782987 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664345242224 139664966380162 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30213] ppid=30188 vsize=8068220 memory=118364 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30213/stat : 30213 (java) S 30188 30188 29789 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230782987 8261857280 29591 33554432000 4194304 4196468 140725948157552 139663813633312 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30214] ppid=30188 vsize=8068220 memory=2100 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30214/stat : 30214 (java) S 30188 30188 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230782987 8261857280 29591 33554432000 4194304 4196468 140725948157552 139663545198192 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30215] ppid=30188 vsize=8068220 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30215/stat : 30215 (java) S 30188 30188 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139663170689616 139664966387611 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30216] ppid=30188 vsize=8068220 memory=1580 CPUtime=0.16 cores=1,3,5,7
/proc/30206/task/30216/stat : 30216 (java) S 30188 30188 29789 0 -1 1077944384 1063 0 0 0 15 1 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664344189040 139664966380162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30217] ppid=30188 vsize=8068220 memory=2240 CPUtime=0.09 cores=1,3,5,7
/proc/30206/task/30217/stat : 30217 (java) S 30188 30188 29789 0 -1 1077944384 326 0 0 0 9 0 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664343136240 139664966380162 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30218] ppid=30188 vsize=8068220 memory=4124 CPUtime=0.22 cores=1,3,5,7
/proc/30206/task/30218/stat : 30218 (java) S 30188 30188 29789 0 -1 1077944384 582 0 0 0 22 0 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664342083952 139664966380162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30219] ppid=30188 vsize=8068220 memory=2100 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30219/stat : 30219 (java) S 30188 30188 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139662672783840 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30220] ppid=30188 vsize=8068220 memory=7528 CPUtime=0.96 cores=1,3,5,7
/proc/30206/task/30220/stat : 30220 (java) S 30188 30188 29789 0 -1 1077944384 169 0 0 0 51 45 0 0 20 0 19 0 230782990 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664341031856 139664966380162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30222] ppid=30188 vsize=8068220 memory=840 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30222/stat : 30222 (java) S 30188 30188 29789 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230783057 8261857280 29591 33554432000 4194304 4196468 140725948157552 139664333555136 139664966393625 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30224] ppid=30188 vsize=8068220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30224/stat : 30224 (java) S 30188 30188 29789 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 230783057 8261857280 29591 33554432000 4194304 4196468 140725948157552 139662135898160 139664966390941 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30225] ppid=30188 vsize=8068220 memory=916 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30225/stat : 30225 (java) S 30188 30188 29789 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230783057 8261857280 29591 33554432000 4194304 4196468 140725948157552 139662270119344 139664966390941 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
[pid=30206/tid=30226] ppid=30188 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/30206/task/30226/stat : 30226 (java) S 30188 30188 29789 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230783059 8261857280 29591 33554432000 4194304 4196468 140725948157552 139661867473824 139664966379221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9457664 140725948163253 140725948163377 140725948163377 140725948166095 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 8263448 KiB
Current children cumulated memory: 184668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.41 s]
# the end of solver process 30188 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.53245 s, system=0.231822 s
[startup+2512.41 s]
# the end of solver process 30206 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.07 s, system=0.972808 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
Child status: 1
Real time (s): 2512.41
CPU time (s): 2520.05
CPU user time (s): 2519.07
CPU system time (s): 0.972808
CPU usage (%): 100.304
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 792860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.07
system time used= 0.972808
maximum resident set size= 795364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258475
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59621
involuntary context switches= 697
# summary of solver processes directly reported to runsolver:
# pid: 30188,30206
# total CPU time (s): 2520.05
# total CPU user time (s): 2519.07
# total CPU system time (s): 0.972808
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.4188 second user time and 20.1598 second system time
The end