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-4158-serial-file.bin HOME/instance-4305415-1534130789.xml
0.54/0.51
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Mon Aug 13 05:26:29 CEST 2018
0.66/0.54 c PID: 4161
0.66/0.54 c IP: 172.20.3.137
0.66/0.54 c HOST: node137.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.81/1.28 c (0,0) Parsing End
1.81/1.29 c (0,0) CSP: 378 int (0 aux), 0 bool (0 aux), 366 ctr, max domain size 14
1.81/1.29 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.81/1.29 c (0,0) Constraint Name Generate Begin
2.07/1.30 c (0,0) Ctr:HOME/instance-4305415-1534130789.xml,AllDifferentMatrix:Element:Instantiation:IntVar
2.07/1.30 c (0,0) Constraint Name Generate End
2.07/1.30 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.07/1.30 c (0,0) CSP to CSPinCNF Begin
3.43/1.83 c (1,1) translated 37 (10%) constraints
3.43/1.87 c (1,1) translated 74 (20%) constraints
3.74/1.91 c (1,1) translated 110 (30%) constraints
3.74/1.95 c (1,1) translated 147 (40%) constraints
3.74/1.99 c (1,1) translated 183 (50%) constraints
4.04/2.03 c (1,1) translated 220 (60%) constraints
4.04/2.06 c (1,1) translated 257 (70%) constraints
4.04/2.10 c (1,1) translated 293 (80%) constraints
4.38/2.13 c (1,1) translated 330 (90%) constraints
4.38/2.16 c (1,1) translated 366 (100%) constraints
4.72/2.30 c (1,1) STATISTICS1:HOME/instance-4305415-1534130789.xml,AllDifferentMatrix:Element:Instantiation:IntVar,378,7714,14,14,14,2,14:11648;1:1092,14:20384;1:798,14:56;3:5096;2:2548;1:14,2:12740;1:5908,
4.72/2.30 c (1,1) ==========================================
4.72/2.30 c (1,1) Order
4.72/2.30 c (1,1) ==========================================
4.99/2.38 c (1,1) translated 772 (10%) constraints
5.39/2.42 c (1,1) translated 1543 (20%) constraints
5.39/2.46 c (1,1) translated 2315 (30%) constraints
5.70/2.58 c (2,1) translated 3086 (40%) constraints
6.39/2.70 c (2,1) translated 3857 (50%) constraints
6.39/2.79 c (2,2) translated 4629 (60%) constraints
6.69/2.87 c (2,2) translated 5400 (70%) constraints
6.99/2.96 c (2,2) translated 6172 (80%) constraints
7.30/3.04 c (2,2) translated 6943 (90%) constraints
7.62/3.11 c (2,2) translated 7714 (100%) constraints
7.62/3.11 c (2,2) CSP to CSPinCNF End
7.62/3.12 c (2,2) CSP: 378 int (0 aux), 4914 bool (4914 aux), 17920 ctr, max domain size 14
7.62/3.12 c (2,2) Heap : 563 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
7.62/3.12 c (2,2) CSPinCNF Propagation Begin
8.24/3.31 c (2,2) 2 values, 1052 unsatisfiable literals, and 252 valid clauses are removed
8.24/3.31 c (2,2) CSPinCNF Propagation End
8.24/3.31 c (2,2) CSP: 378 int (0 aux), 4914 bool (4914 aux), 17668 ctr, max domain size 14
8.24/3.31 c (2,2) Heap : 619 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.24/3.31 c (2,2) Simplify CSPinCNF Begin
8.55/3.48 c (2,2) Simplify CSPinCNF End
8.55/3.48 c (2,2) CSP: 378 int (0 aux), 9898 bool (9898 aux), 22652 ctr, max domain size 14
8.55/3.48 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.55/3.48 c (2,2) Calculate Precise Domain Begin
8.55/3.48 c (2,2) 0 values are removed by re-calculation
8.55/3.48 c (2,2) Calculate Precise Domain End
8.55/3.48 c (2,2) CSP: 378 int (0 aux), 9898 bool (9898 aux), 22652 ctr, max domain size 14
8.55/3.48 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.55/3.48 c (2,2) CSPinCNF to SatSolver Begin
9.55/3.74 c (3,2) 2266 (10 %) CSP clauses are encoded (14574 SAT variables, 23065 SAT clauses)
9.84/3.85 c (3,3) 4531 (20 %) CSP clauses are encoded (14574 SAT variables, 41838 SAT clauses)
10.15/3.94 c (3,3) 6796 (30 %) CSP clauses are encoded (14574 SAT variables, 60431 SAT clauses)
10.45/4.02 c (3,3) 9061 (40 %) CSP clauses are encoded (14574 SAT variables, 79498 SAT clauses)
10.45/4.08 c (3,3) 11326 (50 %) CSP clauses are encoded (14574 SAT variables, 98472 SAT clauses)
10.73/4.14 c (3,3) 13592 (60 %) CSP clauses are encoded (14574 SAT variables, 117448 SAT clauses)
10.73/4.20 c (3,3) 15857 (70 %) CSP clauses are encoded (14574 SAT variables, 136565 SAT clauses)
10.91/4.26 c (3,3) 18122 (80 %) CSP clauses are encoded (14574 SAT variables, 155602 SAT clauses)
11.05/4.32 c (3,3) 20387 (90 %) CSP clauses are encoded (14574 SAT variables, 174643 SAT clauses)
11.05/4.38 c (3,3) 22652 (100 %) CSP clauses are encoded (14574 SAT variables, 193691 SAT clauses)
11.05/4.38 c (3,3) Launch Command will be: minisat_release
11.05/4.38 c (3,3) CSPinCNF to SatSolver End
11.05/4.38 c (3,3) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.51/4.53 c (4,3) STATISTICS2:HOME/instance-4305415-1534130789.xml,AllDifferentMatrix:Element:Instantiation:IntVar,10276,22652,14,14,12,2,14:9504;13:3736;12:592;1:1292,14:31260;13:6688;12:872;2:25092;1:1292,12:52;3:4256;2:18344,2:15124;1:34956,
11.51/4.53 c (4,3) 14574 bool, 193692 clause
11.51/4.53 c (4,3) Export Begin
11.83/4.64 c (4,3) Export to HOME/scop-4158-serial-file.bin
11.83/4.64 c (4,3) Export End
11.83/4.64 c (4,3) Export File Size: 0.06 MB
11.83/4.64 c (4,3) 0,0,2,2,2,2,3,STOP-AFTER(DIMACS)
11.83/4.64 c END-Prog: Mon Aug 13 05:26:33 CEST 2018
11.83/4.66 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-4158-serial-file.bin
12.55/5.15 c (0,0) Read Serial File Begin
12.55/5.15 c (0,0) HOME/scop-4158-serial-file.bin
12.85/5.34 c (0,0) Read Serial File End
12.85/5.35
12.85/5.35 scop order+minisat_release (2018-07-31)
12.85/5.35 (Solving Process)
12.85/5.35
12.85/5.37 c BEGIN-Prog: Mon Aug 13 05:26:34 CEST 2018
12.85/5.37 c PID: 4176
12.85/5.37 c IP: 172.20.3.137
12.85/5.37 c HOST: node137.alineos.net
12.85/5.38 c (0,0) SatSolver.solve Begin
12.85/5.38 c (0,0) 0 bool, 0 clause
12.85/5.38 c (0,0) minisat_release HOME/instance-4305415-1534130789.xml-scop-4161.cnf
2515.04/2505.72 c (2500,0) c This is COMiniSatPS.
2515.04/2505.72 c (2500,0) c WARNING: for repeatability, setting FPU to use double precision
2515.04/2505.72 c (2500,0) c ============================[ Problem Statistics ]=============================
2515.04/2505.72 c (2500,0) c | |
2515.04/2505.72 c (2500,0) c | Number of variables: 14574 |
2515.04/2505.72 c (2500,0) c | Number of clauses: 193692 |
2515.04/2505.72 c (2500,0) c | Parse time: 0.05 s |
2515.04/2505.72 c (2500,0) c | Eliminated clauses: 0.16 Mb |
2515.04/2505.72 c (2500,0) c Reduced to 6808 vars, 174188 cls (grow=0)
2515.04/2505.72 c (2500,0) c No iterative elimination performed. (vars=6808, c/v ratio=25.6)
2515.04/2505.72 c (2500,0) c | Simplification time: 0.21 s |
2515.04/2505.72 c (2500,0) c | |
2515.04/2505.72 c (2500,0) c ============================[ Search Statistics ]==============================
2515.04/2505.72 c (2500,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
2515.04/2505.72 c (2500,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2515.04/2505.72 c (2500,0) c ===============================================================================
2515.04/2505.72 c (2500,0) c Switched to VSIDS.
2520.05/2510.70 c (2505,0) SatSolver is killed by some reasons.
2520.05/2510.70 c (2505,0) receiving signal SIGTERM
2520.05/2510.70 s UNKNOWN
2520.05/2510.71 c (scop.sh) Receiving Signal. Removing all intermediate files.
2520.05/2510.71 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 (12049 MiB free)
memory of node 1: 16384 MiB (11096 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305415-1534130789/watcher-4305415-1534130789 -o /tmp/evaluation-result-4305415-1534130789/solver-4305415-1534130789 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534130784-3992 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305415-1534130789.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=4158, runsolver pid=4155
[startup+0.10014 s]*
/proc/loadavg: 0.79 0.74 0.78 3/223 4175
/proc/meminfo: memFree=23640952/32770624 swapFree=67108372/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3960 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230642035 115843072 349 33554432000 4194304 5098028 140734725077424 140734725074680 139780496839292 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15052800 140734725084224 140734725084423 140734725084423 140734725087181 0
/proc/4158/statm: 28282 349 296 221 0 87 0
[pid=4161] ppid=4158 vsize=15012476 memory=70812 CPUtime=0.1 cores=1,3,5,7
/proc/4161/stat : 4161 (java) S 4158 4158 3960 0 -1 1077944320 6325 0 0 0 8 2 0 0 20 0 15 0 230642035 15372775424 17703 33554432000 4194304 4196468 140726297214368 140726297196912 140010073431799 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
/proc/4161/statm: 3753119 17703 2769 1 0 3715579 0
[pid=4161/tid=4162] ppid=4158 vsize=15012476 memory=-2843871798703735966 CPUtime=0.09 cores=1,3,5,7
/proc/4161/task/4162/stat : 4162 (java) R 4158 4158 3960 0 -1 4202560 4425 0 0 0 7 2 0 0 20 0 15 0 230642035 15372775424 17703 33554432000 4194304 4196468 140726297214368 140010045243784 140010053707627 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4163] ppid=4158 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4163/stat : 4163 (java) S 4158 4158 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230642037 15372775424 17703 33554432000 4194304 4196468 140726297214368 140010077674512 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4164] ppid=4158 vsize=15012476 memory=140651253175936 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4164/stat : 4164 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230642037 15372775424 17703 33554432000 4194304 4196468 140726297214368 140009895763088 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4165] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4165/stat : 4165 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230642037 15372775424 17703 33554432000 4194304 4196468 140726297214368 140009532893968 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4166] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4166/stat : 4166 (java) S 4158 4158 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230642037 15372775424 17769 33554432000 4194304 4196468 140726297214368 140009531841424 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4167] ppid=4158 vsize=15012476 memory=140651253175936 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4167/stat : 4167 (java) S 4158 4158 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230642038 15372775424 17769 33554432000 4194304 4196468 140726297214368 140009111062768 140010073442946 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4168] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4168/stat : 4168 (java) S 4158 4158 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230642039 15372775424 17769 33554432000 4194304 4196468 140726297214368 140008618976416 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4169] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4169/stat : 4169 (java) S 4158 4158 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230642039 15372775424 17769 33554432000 4194304 4196468 140726297214368 140008484754160 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4170] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4170/stat : 4170 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230642042 15372775424 17769 33554432000 4194304 4196468 140726297214368 140008110249936 140010073450395 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4171] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4171/stat : 4171 (java) S 4158 4158 3960 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 230642042 15372775424 17769 33554432000 4194304 4196468 140726297214368 140009110010608 140010073442946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4172] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4172/stat : 4172 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230642042 15372775424 17769 33554432000 4194304 4196468 140726297214368 140009108958064 140010073442946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4173] ppid=4158 vsize=15012476 memory=140651253175936 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4173/stat : 4173 (java) S 4158 4158 3960 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 230642042 15372775424 17769 33554432000 4194304 4196468 140726297214368 140009107905008 140010073442946 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4174] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4174/stat : 4174 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230642042 15372775424 17769 33554432000 4194304 4196468 140726297214368 140007612345184 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4175] ppid=4158 vsize=15012476 memory=140651253175936 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4175/stat : 4175 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230642042 15372775424 17769 33554432000 4194304 4196468 140726297214368 140009106852400 140010073442946 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72208 KiB
[startup+0.210753 s]*
/proc/loadavg: 0.79 0.74 0.78 3/223 4175
/proc/meminfo: memFree=23627124/32770624 swapFree=67108372/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3960 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230642035 115843072 349 33554432000 4194304 5098028 140734725077424 140734725074680 139780496839292 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15052800 140734725084224 140734725084423 140734725084423 140734725087181 0
/proc/4158/statm: 28282 349 296 221 0 87 0
[pid=4161] ppid=4158 vsize=15012476 memory=83884 CPUtime=0.25 cores=1,3,5,7
/proc/4161/stat : 4161 (java) S 4158 4158 3960 0 -1 1077944320 9846 0 0 0 22 3 0 0 20 0 15 0 230642035 15372775424 20971 33554432000 4194304 4196468 140726297214368 140726297196912 140010073431799 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
/proc/4161/statm: 3753119 20971 2903 1 0 3715579 0
[pid=4161/tid=4162] ppid=4158 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/4161/task/4162/stat : 4162 (java) R 4158 4158 3960 0 -1 4202560 7738 0 0 0 17 2 0 0 20 0 15 0 230642035 15372775424 20971 33554432000 4194304 4196468 140726297214368 140010045257008 140010073443734 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4163] ppid=4158 vsize=15012476 memory=404 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4163/stat : 4163 (java) S 4158 4158 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230642037 15372775424 20971 33554432000 4194304 4196468 140726297214368 140010077674512 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4164] ppid=4158 vsize=15012476 memory=140651253191502 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4164/stat : 4164 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230642037 15372775424 20971 33554432000 4194304 4196468 140726297214368 140009895763088 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4165] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4165/stat : 4165 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230642037 15372775424 20971 33554432000 4194304 4196468 140726297214368 140009532893968 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4166] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4166/stat : 4166 (java) S 4158 4158 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230642037 15372775424 20971 33554432000 4194304 4196468 140726297214368 140009531841424 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4167] ppid=4158 vsize=15012476 memory=140651253175936 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4167/stat : 4167 (java) S 4158 4158 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230642038 15372775424 20971 33554432000 4194304 4196468 140726297214368 140009111062768 140010073442946 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4168] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4168/stat : 4168 (java) S 4158 4158 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230642039 15372775424 20971 33554432000 4194304 4196468 140726297214368 140008618976416 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4169] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4169/stat : 4169 (java) S 4158 4158 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230642039 15372775424 20971 33554432000 4194304 4196468 140726297214368 140008484754160 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4170] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4170/stat : 4170 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230642042 15372775424 20971 33554432000 4194304 4196468 140726297214368 140008110249936 140010073450395 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4171] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4171/stat : 4171 (java) R 4158 4158 3960 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 230642042 15372775424 20971 33554432000 4194304 4196468 140726297214368 140009110010608 140010073442946 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4172] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4172/stat : 4172 (java) R 4158 4158 3960 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 15 0 230642042 15372775424 20971 33554432000 4194304 4196468 140726297214368 140009108958064 140010066416841 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4173] ppid=4158 vsize=15012476 memory=140651253175936 CPUtime=0.03 cores=1,3,5,7
/proc/4161/task/4173/stat : 4173 (java) R 4158 4158 3960 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 15 0 230642042 15372775424 20971 33554432000 4194304 4196468 140726297214368 140009107905008 140010073442946 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4174] ppid=4158 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4174/stat : 4174 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230642042 15372775424 20971 33554432000 4194304 4196468 140726297214368 140007612345184 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4175] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4175/stat : 4175 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230642042 15372775424 20971 33554432000 4194304 4196468 140726297214368 140009106852400 140010073442946 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85280 KiB
[startup+0.310782 s]*
/proc/loadavg: 0.79 0.74 0.78 3/223 4175
/proc/meminfo: memFree=23623836/32770624 swapFree=67108372/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3960 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230642035 115843072 349 33554432000 4194304 5098028 140734725077424 140734725074680 139780496839292 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15052800 140734725084224 140734725084423 140734725084423 140734725087181 0
/proc/4158/statm: 28282 349 296 221 0 87 0
[pid=4161] ppid=4158 vsize=15012476 memory=87200 CPUtime=0.42 cores=1,3,5,7
/proc/4161/stat : 4161 (java) S 4158 4158 3960 0 -1 1077944320 10379 0 0 0 38 4 0 0 20 0 15 0 230642035 15372775424 21800 33554432000 4194304 4196468 140726297214368 140726297196912 140010073431799 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
/proc/4161/statm: 3753119 21800 2955 1 0 3715579 0
[pid=4161/tid=4162] ppid=4158 vsize=15012476 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/4161/task/4162/stat : 4162 (java) R 4158 4158 3960 0 -1 4202560 8128 0 0 0 27 3 0 0 20 0 15 0 230642035 15372775424 21800 33554432000 4194304 4196468 140726297214368 140010045262128 140010073453146 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4163] ppid=4158 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4163/stat : 4163 (java) S 4158 4158 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230642037 15372775424 21800 33554432000 4194304 4196468 140726297214368 140010077674512 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4164] ppid=4158 vsize=15012476 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4164/stat : 4164 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230642037 15372775424 21800 33554432000 4194304 4196468 140726297214368 140009895763088 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4165] ppid=4158 vsize=15012476 memory=7089317150647820184 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4165/stat : 4165 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230642037 15372775424 21800 33554432000 4194304 4196468 140726297214368 140009532893968 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4166] ppid=4158 vsize=15012476 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4166/stat : 4166 (java) S 4158 4158 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230642037 15372775424 21800 33554432000 4194304 4196468 140726297214368 140009531841424 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4167] ppid=4158 vsize=15012476 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4167/stat : 4167 (java) S 4158 4158 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230642038 15372775424 21800 33554432000 4194304 4196468 140726297214368 140009111062768 140010073442946 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4168] ppid=4158 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4168/stat : 4168 (java) S 4158 4158 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230642039 15372775424 21800 33554432000 4194304 4196468 140726297214368 140008618976416 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4169] ppid=4158 vsize=15012476 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4169/stat : 4169 (java) S 4158 4158 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230642039 15372775424 21800 33554432000 4194304 4196468 140726297214368 140008484754160 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4170] ppid=4158 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4170/stat : 4170 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230642042 15372775424 21800 33554432000 4194304 4196468 140726297214368 140008110249936 140010073450395 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4171] ppid=4158 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4161/task/4171/stat : 4171 (java) R 4158 4158 3960 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 15 0 230642042 15372775424 21800 33554432000 4194304 4196468 140726297214368 140009110010704 140010073442005 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4172] ppid=4158 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4161/task/4172/stat : 4172 (java) R 4158 4158 3960 0 -1 4202560 263 0 0 0 3 0 0 0 20 0 15 0 230642042 15372775424 21800 33554432000 4194304 4196468 140726297214368 140009108958064 140010057334870 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4173] ppid=4158 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4161/task/4173/stat : 4173 (java) R 4158 4158 3960 0 -1 4202560 311 0 0 0 7 0 0 0 20 0 15 0 230642042 15372775424 21800 33554432000 4194304 4196468 140726297214368 140009107901944 140010065448570 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4174] ppid=4158 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4174/stat : 4174 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230642042 15372775424 21866 33554432000 4194304 4196468 140726297214368 140007612345184 140010073442005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4175] ppid=4158 vsize=15012476 memory=3906372610265919539 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4175/stat : 4175 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230642042 15372775424 21866 33554432000 4194304 4196468 140726297214368 140009106852400 140010073442946 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88596 KiB
[startup+0.700779 s]
/proc/loadavg: 0.79 0.74 0.78 3/223 4175
/proc/meminfo: memFree=23598908/32770624 swapFree=67108372/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3960 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230642035 115843072 349 33554432000 4194304 5098028 140734725077424 140734725074680 139780496839292 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15052800 140734725084224 140734725084423 140734725084423 140734725087181 0
/proc/4158/statm: 28282 349 296 221 0 87 0
[pid=4161] ppid=4158 vsize=15018748 memory=123928 CPUtime=0.9 cores=1,3,5,7
/proc/4161/stat : 4161 (java) S 4158 4158 3960 0 -1 1077944320 17150 0 0 0 83 7 0 0 20 0 15 0 230642035 15379197952 30982 33554432000 4194304 4196468 140726297214368 140726297196912 140010073431799 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
/proc/4161/statm: 3754687 30982 3125 1 0 3716091 0
[pid=4161/tid=4162] ppid=4158 vsize=15018748 memory=2372 CPUtime=0.62 cores=1,3,5,7
/proc/4161/task/4162/stat : 4162 (java) D 4158 4158 3960 0 -1 4202560 14502 0 0 0 57 5 0 0 20 0 15 0 230642035 15379197952 30982 33554432000 4194304 4196468 140726297214368 140010045271200 140010073453725 0 4 2 25189581 18446744072100383877 0 0 -1 3 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4163] ppid=4158 vsize=15018748 memory=116 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4163/stat : 4163 (java) S 4158 4158 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230642037 15379197952 30982 33554432000 4194304 4196468 140726297214368 140010077674512 140010073442005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4164] ppid=4158 vsize=15018748 memory=11742 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4164/stat : 4164 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230642037 15379197952 30982 33554432000 4194304 4196468 140726297214368 140009895763088 140010073442005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4165] ppid=4158 vsize=15018748 memory=26079 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4165/stat : 4165 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230642037 15379197952 30982 33554432000 4194304 4196468 140726297214368 140009532893968 140010073442005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4166] ppid=4158 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4166/stat : 4166 (java) S 4158 4158 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230642037 15379197952 30982 33554432000 4194304 4196468 140726297214368 140009531841424 140010073442005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4167] ppid=4158 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4167/stat : 4167 (java) S 4158 4158 3960 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230642038 15379197952 30982 33554432000 4194304 4196468 140726297214368 140009111062768 140010073442946 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4168] ppid=4158 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4168/stat : 4168 (java) S 4158 4158 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230642039 15379197952 30982 33554432000 4194304 4196468 140726297214368 140008618976416 140010073442005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4169] ppid=4158 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4169/stat : 4169 (java) S 4158 4158 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230642039 15379197952 30982 33554432000 4194304 4196468 140726297214368 140008484754160 140010073442005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4170] ppid=4158 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4170/stat : 4170 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230642042 15379197952 30982 33554432000 4194304 4196468 140726297214368 140008110249936 140010073450395 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4171] ppid=4158 vsize=15018748 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4161/task/4171/stat : 4171 (java) S 4158 4158 3960 0 -1 1077944384 421 0 0 0 4 0 0 0 20 0 15 0 230642042 15379197952 30982 33554432000 4194304 4196468 140726297214368 140009110010608 140010073442946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4172] ppid=4158 vsize=15018748 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4161/task/4172/stat : 4172 (java) S 4158 4158 3960 0 -1 1077944384 485 0 0 0 8 0 0 0 20 0 15 0 230642042 15379197952 30982 33554432000 4194304 4196468 140726297214368 140009108958064 140010073442946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4173] ppid=4158 vsize=15018748 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/4161/task/4173/stat : 4173 (java) S 4158 4158 3960 0 -1 1077944384 384 0 0 0 13 0 0 0 20 0 15 0 230642042 15379197952 30982 33554432000 4194304 4196468 140726297214368 140009107905008 140010073442946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4174] ppid=4158 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4174/stat : 4174 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230642042 15379197952 30982 33554432000 4194304 4196468 140726297214368 140007612345184 140010073442005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
[pid=4161/tid=4175] ppid=4158 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4161/task/4175/stat : 4175 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230642042 15379197952 30982 33554432000 4194304 4196468 140726297214368 140009106852400 140010073442946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21434368 140726297220103 140726297220401 140726297220401 140726297223119 0
Current children cumulated CPU time: 0.9 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 125324 KiB
[startup+1.5007 s]
/proc/loadavg: 1.05 0.79 0.79 4/223 4175
/proc/meminfo: memFree=23567064/32770624 swapFree=67108372/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3960 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230642035 115843072 349 33554432000 4194304 5098028 140734725077424 140734725074680 139780496839292 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15052800 140734725084224 140734725084423 140734725084423 140734725087181 0
/proc/4158/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=4176/tid=4179] ppid=4158 vsize=8068220 memory=7668059407395808338 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4179/stat : 4179 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230642503 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864413211664 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4180] ppid=4158 vsize=8068220 memory=7380108242840087399 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4180/stat : 4180 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230642503 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864412158864 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4181] ppid=4158 vsize=8068220 memory=7662427687346595430 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4181/stat : 4181 (java) S 4158 4158 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230642503 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864411106064 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4182] ppid=4158 vsize=8068220 memory=7811605061400358208 CPUtime=0.05 cores=1,3,5,7
/proc/4176/task/4182/stat : 4182 (java) S 4158 4158 3960 0 -1 1077944384 7 0 0 0 2 3 0 0 20 0 19 0 230642504 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864307480944 139864928266882 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4183] ppid=4158 vsize=8068220 memory=6226616147515958888 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4183/stat : 4183 (java) S 4158 4158 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230642505 8261857280 29033 33554432000 4194304 4196468 140732021247168 139863798047776 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4184] ppid=4158 vsize=8068220 memory=7307206305374366056 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4184/stat : 4184 (java) S 4158 4158 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230642505 8261857280 29033 33554432000 4194304 4196468 140732021247168 139863663825776 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4185] ppid=4158 vsize=8068220 memory=4643328225498916718 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4185/stat : 4185 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230642507 8261857280 29033 33554432000 4194304 4196468 140732021247168 139863289321296 139864928274331 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4186] ppid=4158 vsize=8068220 memory=5859293531895980903 CPUtime=0.16 cores=1,3,5,7
/proc/4176/task/4186/stat : 4186 (java) S 4158 4158 3960 0 -1 1077944384 872 0 0 0 15 1 0 0 20 0 19 0 230642507 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864306428784 139864928266882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4187] ppid=4158 vsize=8068220 memory=7450188893160697191 CPUtime=0.11 cores=1,3,5,7
/proc/4176/task/4187/stat : 4187 (java) S 4158 4158 3960 0 -1 1077944384 474 0 0 0 10 1 0 0 20 0 19 0 230642507 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864305375984 139864928266882 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4188] ppid=4158 vsize=8068220 memory=7305803307197485929 CPUtime=0.22 cores=1,3,5,7
/proc/4176/task/4188/stat : 4188 (java) S 4158 4158 3960 0 -1 1077944384 587 0 0 0 22 0 0 0 20 0 19 0 230642507 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864304323184 139864928266882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4189] ppid=4158 vsize=8068220 memory=7307767034896805736 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4189/stat : 4189 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230642508 8261857280 29033 33554432000 4194304 4196468 140732021247168 139862791416544 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4190] ppid=4158 vsize=8068220 memory=204904 CPUtime=1.36 cores=1,3,5,7
/proc/4176/task/4190/stat : 4190 (java) S 4158 4158 3960 0 -1 1077944384 163 0 0 0 62 74 0 0 20 0 19 0 230642508 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864303270576 139864928266882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4192] ppid=4158 vsize=8068220 memory=-5059952977386882957 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4192/stat : 4192 (java) S 4158 4158 3960 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230642575 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864295462080 139864928280345 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4194] ppid=4158 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4194/stat : 4194 (java) S 4158 4158 3960 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230642576 8261857280 29033 33554432000 4194304 4196468 140732021247168 139862254529840 139864928277661 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4195] ppid=4158 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4195/stat : 4195 (java) S 4158 4158 3960 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 230642576 8261857280 29033 33554432000 4194304 4196468 140732021247168 139862388752560 139864928277661 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4196] ppid=4158 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4196/stat : 4196 (java) S 4158 4158 3960 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230642578 8261857280 29033 33554432000 4194304 4196468 140732021247168 139861986107040 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
Current children cumulated CPU time: 2451.59 s
Current children cumulated vsize: 8272296 KiB
Current children cumulated memory: 192080 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/227 4791
/proc/meminfo: memFree=23264068/32770624 swapFree=67108372/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1472 CPUtime=11.96 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3960 0 -1 4202496 591 28300 0 0 0 0 1165 31 20 0 1 0 230642035 115843072 368 33554432000 4194304 5098028 140734725077424 140734725074168 139780496839292 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15052800 140734725084224 140734725084423 140734725084423 140734725087181 0
/proc/4158/statm: 28282 368 311 221 0 87 0
[pid=4176] ppid=4158 vsize=8068220 memory=116132 CPUtime=2.74 cores=1,3,5,7
/proc/4176/stat : 4176 (java) S 4158 4158 3960 0 -1 1077944320 18002 0 0 0 193 81 0 0 20 0 19 0 230642501 8261857280 29033 33554432000 4194304 4196468 140732021247168 140732021229712 139864928255735 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
/proc/4176/statm: 2017055 29033 3156 1 0 1978454 0
[pid=4191] ppid=4176 vsize=90948 memory=74476 CPUtime=2496.94 cores=1,3,5,7
/proc/4191/stat : 4191 (minisat_release) R 4176 4158 3960 0 -1 4202496 245214 0 0 0 249671 23 0 0 20 0 1 0 230642575 93130752 18619 33554432000 4194304 4308513 140732230861392 140732230858296 4276400 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 24047616 140732230866037 140732230866134 140732230866134 140732230868933 0
/proc/4191/statm: 22737 18619 341 28 0 18977 0
[pid=4176/tid=4177] ppid=4158 vsize=8068220 memory=1408 CPUtime=0.75 cores=1,3,5,7
/proc/4176/task/4177/stat : 4177 (java) S 4158 4158 3960 0 -1 1077944384 14472 0 0 0 71 4 0 0 20 0 19 0 230642502 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864900095888 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4178] ppid=4158 vsize=8068220 memory=5548 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4178/stat : 4178 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230642503 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864932498576 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4179] ppid=4158 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4179/stat : 4179 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230642503 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864413211664 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4180] ppid=4158 vsize=8068220 memory=116132 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4180/stat : 4180 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230642503 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864412158864 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4181] ppid=4158 vsize=8068220 memory=74476 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4181/stat : 4181 (java) S 4158 4158 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230642503 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864411106064 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4182] ppid=4158 vsize=8068220 memory=1408 CPUtime=0.06 cores=1,3,5,7
/proc/4176/task/4182/stat : 4182 (java) S 4158 4158 3960 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 230642504 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864307480944 139864928266882 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4183] ppid=4158 vsize=8068220 memory=3452 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4183/stat : 4183 (java) S 4158 4158 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230642505 8261857280 29033 33554432000 4194304 4196468 140732021247168 139863798047776 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4184] ppid=4158 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4184/stat : 4184 (java) S 4158 4158 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230642505 8261857280 29033 33554432000 4194304 4196468 140732021247168 139863663825776 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4185] ppid=4158 vsize=8068220 memory=122556 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4185/stat : 4185 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230642507 8261857280 29033 33554432000 4194304 4196468 140732021247168 139863289321296 139864928274331 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4186] ppid=4158 vsize=8068220 memory=230272 CPUtime=0.16 cores=1,3,5,7
/proc/4176/task/4186/stat : 4186 (java) S 4158 4158 3960 0 -1 1077944384 872 0 0 0 15 1 0 0 20 0 19 0 230642507 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864306428784 139864928266882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4187] ppid=4158 vsize=8068220 memory=-5059952977386882957 CPUtime=0.11 cores=1,3,5,7
/proc/4176/task/4187/stat : 4187 (java) S 4158 4158 3960 0 -1 1077944384 474 0 0 0 10 1 0 0 20 0 19 0 230642507 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864305375984 139864928266882 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4188] ppid=4158 vsize=8068220 memory=1068 CPUtime=0.22 cores=1,3,5,7
/proc/4176/task/4188/stat : 4188 (java) S 4158 4158 3960 0 -1 1077944384 587 0 0 0 22 0 0 0 20 0 19 0 230642507 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864304323184 139864928266882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4189] ppid=4158 vsize=8068220 memory=15064 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4189/stat : 4189 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230642508 8261857280 29033 33554432000 4194304 4196468 140732021247168 139862791416544 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4190] ppid=4158 vsize=8068220 memory=34624 CPUtime=1.39 cores=1,3,5,7
/proc/4176/task/4190/stat : 4190 (java) S 4158 4158 3960 0 -1 1077944384 165 0 0 0 64 75 0 0 20 0 19 0 230642508 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864303270576 139864928266882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4192] ppid=4158 vsize=8068220 memory=13756 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4192/stat : 4192 (java) S 4158 4158 3960 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230642575 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864295462080 139864928280345 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4194] ppid=4158 vsize=8068220 memory=3316 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4194/stat : 4194 (java) S 4158 4158 3960 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230642576 8261857280 29033 33554432000 4194304 4196468 140732021247168 139862254529840 139864928277661 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4195] ppid=4158 vsize=8068220 memory=488 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4195/stat : 4195 (java) S 4158 4158 3960 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 230642576 8261857280 29033 33554432000 4194304 4196468 140732021247168 139862388752560 139864928277661 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4196] ppid=4158 vsize=8068220 memory=290763849282617370 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4196/stat : 4196 (java) S 4158 4158 3960 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230642578 8261857280 29033 33554432000 4194304 4196468 140732021247168 139861986107040 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
Current children cumulated CPU time: 2511.64 s
Current children cumulated vsize: 8272296 KiB
Current children cumulated memory: 192080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510.7 s]
/proc/loadavg: 2.00 2.02 1.95 3/227 4791
/proc/meminfo: memFree=23257676/32770624 swapFree=67108372/67108860
[pid=4158] ppid=4155 vsize=113128 memory=1472 CPUtime=11.96 cores=1,3,5,7
/proc/4158/stat : 4158 (scop.sh) S 4155 4158 3960 0 -1 4202496 591 28300 0 0 0 0 1165 31 20 0 1 0 230642035 115843072 368 33554432000 4194304 5098028 140734725077424 140734725074168 139780496839292 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15052800 140734725084224 140734725084423 140734725084423 140734725087181 0
/proc/4158/statm: 28282 368 311 221 0 87 0
[pid=4176] ppid=4158 vsize=8068220 memory=116132 CPUtime=2.75 cores=1,3,5,7
/proc/4176/stat : 4176 (java) S 4158 4158 3960 0 -1 1077944320 18010 0 0 0 194 81 0 0 20 0 19 0 230642501 8261857280 29033 33554432000 4194304 4196468 140732021247168 140732021229712 139864928255735 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
/proc/4176/statm: 2017055 29033 3156 1 0 1978454 0
[pid=4191] ppid=4176 vsize=90948 memory=74480 CPUtime=2505.34 cores=1,3,5,7
/proc/4191/stat : 4191 (minisat_release) R 4176 4158 3960 0 -1 4202496 245381 0 0 0 250511 23 0 0 20 0 1 0 230642575 93130752 18620 33554432000 4194304 4308513 140732230861392 140732230858888 4276036 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 24047616 140732230866037 140732230866134 140732230866134 140732230868933 0
/proc/4191/statm: 22737 18620 342 28 0 18977 0
[pid=4176/tid=4177] ppid=4158 vsize=8068220 memory=1752 CPUtime=0.75 cores=1,3,5,7
/proc/4176/task/4177/stat : 4177 (java) S 4158 4158 3960 0 -1 1077944384 14472 0 0 0 71 4 0 0 20 0 19 0 230642502 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864900095888 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4178] ppid=4158 vsize=8068220 memory=5752 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4178/stat : 4178 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230642503 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864932498576 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4179] ppid=4158 vsize=8068220 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4179/stat : 4179 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230642503 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864413211664 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4180] ppid=4158 vsize=8068220 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4180/stat : 4180 (java) S 4158 4158 3960 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230642503 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864412158864 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4181] ppid=4158 vsize=8068220 memory=6416 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4181/stat : 4181 (java) S 4158 4158 3960 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230642503 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864411106064 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4182] ppid=4158 vsize=8068220 memory=1572 CPUtime=0.06 cores=1,3,5,7
/proc/4176/task/4182/stat : 4182 (java) S 4158 4158 3960 0 -1 1077944384 7 0 0 0 3 3 0 0 20 0 19 0 230642504 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864307480944 139864928266882 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4183] ppid=4158 vsize=8068220 memory=928 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4183/stat : 4183 (java) S 4158 4158 3960 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230642505 8261857280 29033 33554432000 4194304 4196468 140732021247168 139863798047776 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4184] ppid=4158 vsize=8068220 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4184/stat : 4184 (java) S 4158 4158 3960 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230642505 8261857280 29033 33554432000 4194304 4196468 140732021247168 139863663825776 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4185] ppid=4158 vsize=8068220 memory=3988 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4185/stat : 4185 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230642507 8261857280 29033 33554432000 4194304 4196468 140732021247168 139863289321296 139864928274331 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4186] ppid=4158 vsize=8068220 memory=1924 CPUtime=0.16 cores=1,3,5,7
/proc/4176/task/4186/stat : 4186 (java) S 4158 4158 3960 0 -1 1077944384 872 0 0 0 15 1 0 0 20 0 19 0 230642507 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864306428784 139864928266882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4187] ppid=4158 vsize=8068220 memory=1472 CPUtime=0.11 cores=1,3,5,7
/proc/4176/task/4187/stat : 4187 (java) S 4158 4158 3960 0 -1 1077944384 474 0 0 0 10 1 0 0 20 0 19 0 230642507 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864305375984 139864928266882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4188] ppid=4158 vsize=8068220 memory=868 CPUtime=0.22 cores=1,3,5,7
/proc/4176/task/4188/stat : 4188 (java) S 4158 4158 3960 0 -1 1077944384 589 0 0 0 22 0 0 0 20 0 19 0 230642507 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864304323184 139864928266882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4189] ppid=4158 vsize=8068220 memory=6792 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4189/stat : 4189 (java) S 4158 4158 3960 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230642508 8261857280 29033 33554432000 4194304 4196468 140732021247168 139862791416544 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4190] ppid=4158 vsize=8068220 memory=11628 CPUtime=1.4 cores=1,3,5,7
/proc/4176/task/4190/stat : 4190 (java) S 4158 4158 3960 0 -1 1077944384 167 0 0 0 65 75 0 0 20 0 19 0 230642508 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864303270576 139864928266882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4192] ppid=4158 vsize=8068220 memory=752 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4192/stat : 4192 (java) S 4158 4158 3960 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230642575 8261857280 29033 33554432000 4194304 4196468 140732021247168 139864295462080 139864928280345 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4194] ppid=4158 vsize=8068220 memory=1276 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4194/stat : 4194 (java) S 4158 4158 3960 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 19 0 230642576 8261857280 29033 33554432000 4194304 4196468 140732021247168 139862254529840 139864928277661 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4195] ppid=4158 vsize=8068220 memory=1068 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4195/stat : 4195 (java) S 4158 4158 3960 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 230642576 8261857280 29033 33554432000 4194304 4196468 140732021247168 139862388752560 139864928277661 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
[pid=4176/tid=4196] ppid=4158 vsize=8068220 memory=15064 CPUtime=0 cores=1,3,5,7
/proc/4176/task/4196/stat : 4196 (java) S 4158 4158 3960 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230642578 8261857280 29033 33554432000 4194304 4196468 140732021247168 139861986107040 139864928265941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32075776 140732021249206 140732021249329 140732021249329 140732021252047 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 8272296 KiB
Current children cumulated memory: 192084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.71 s]
# the end of solver process 4158 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.6569 s, system=0.316569 s
[startup+2510.71 s]
# the end of solver process 4176 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.73 s, system=1.36605 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): 2510.71
CPU time (s): 2520.09
CPU user time (s): 2518.73
CPU system time (s): 1.36605
CPU usage (%): 100.374
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1254716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.73
system time used= 1.36605
maximum resident set size= 1256112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292595
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59734
involuntary context switches= 795
# summary of solver processes directly reported to runsolver:
# pid: 4158,4176
# total CPU time (s): 2520.09
# total CPU user time (s): 2518.73
# total CPU system time (s): 1.36605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7628 second user time and 26.9785 second system time
The end