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-23129-serial-file.bin HOME/instance-4305468-1534087845.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 17:30:45 CEST 2018
0.66/0.55 c PID: 23132
0.66/0.55 c IP: 172.20.3.139
0.66/0.55 c HOST: node139.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.63/1.21 c (0,0) Parsing End
2.63/1.22 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 445 ctr, max domain size 23
2.63/1.22 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.63/1.22 c (0,0) Constraint Name Generate Begin
2.63/1.23 c (0,0) Ctr:HOME/instance-4305468-1534087845.xml,ExtensionConflict:ExtensionSupport:IntVar
2.63/1.23 c (0,0) Constraint Name Generate End
2.63/1.23 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.63/1.23 c (0,0) CSP to CSPinCNF Begin
5.44/2.12 c (1,1) translated 45 (10%) constraints
7.05/2.60 c (2,2) translated 89 (20%) constraints
7.96/2.94 c (2,2) translated 134 (30%) constraints
8.87/3.27 c (2,2) translated 178 (40%) constraints
10.08/3.60 c (3,3) translated 223 (50%) constraints
10.68/3.89 c (3,3) translated 267 (60%) constraints
11.62/4.19 c (3,3) translated 312 (70%) constraints
12.50/4.46 c (3,3) translated 356 (80%) constraints
13.41/4.74 c (4,4) translated 401 (90%) constraints
14.34/5.02 c (4,4) translated 445 (100%) constraints
15.23/5.39 c (4,4) STATISTICS1:HOME/instance-4305468-1534087845.xml,ExtensionConflict:ExtensionSupport:IntVar,234,49161,-1,23,24,1,,23:186554;2:2564,24:8;4:41987;3:6654;2:512,1:189118;0:8,
15.23/5.39 c (4,4) ==========================================
15.23/5.39 c (4,4) Order
15.23/5.39 c (4,4) ==========================================
15.91/5.55 c (5,5) translated 4917 (10%) constraints
16.21/5.69 c (5,5) translated 9833 (20%) constraints
16.81/5.81 c (5,5) translated 14749 (30%) constraints
17.12/5.91 c (5,5) translated 19665 (40%) constraints
17.12/6.00 c (5,5) translated 24581 (50%) constraints
17.44/6.09 c (5,5) translated 29497 (60%) constraints
17.59/6.18 c (5,5) translated 34413 (70%) constraints
17.69/6.26 c (5,5) translated 39329 (80%) constraints
17.80/6.34 c (5,5) translated 44245 (90%) constraints
17.91/6.42 c (5,5) translated 49161 (100%) constraints
17.91/6.42 c (5,5) CSP to CSPinCNF End
17.91/6.42 c (5,5) CSP: 50 int (0 aux), 184 bool (184 aux), 49161 ctr, max domain size 23
17.91/6.42 c (5,5) Heap : 1971 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
17.91/6.42 c (5,5) CSPinCNF Propagation Begin
18.66/6.79 c (6,6) 0 values, 4879 unsatisfiable literals, and 0 valid clauses are removed
18.66/6.79 c (6,6) CSPinCNF Propagation End
18.66/6.79 c (6,6) CSP: 50 int (0 aux), 184 bool (184 aux), 49161 ctr, max domain size 23
18.66/6.79 c (6,6) Heap : 2253 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
18.66/6.79 c (6,6) Simplify CSPinCNF Begin
19.05/6.93 c (6,6) Simplify CSPinCNF End
19.05/6.93 c (6,6) CSP: 50 int (0 aux), 184 bool (184 aux), 49161 ctr, max domain size 23
19.05/6.93 c (6,6) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.05/6.93 c (6,6) Calculate Precise Domain Begin
19.05/6.93 c (6,6) 0 values are removed by re-calculation
19.05/6.93 c (6,6) Calculate Precise Domain End
19.05/6.93 c (6,6) CSP: 50 int (0 aux), 184 bool (184 aux), 49161 ctr, max domain size 23
19.05/6.93 c (6,6) Heap : 2309 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
19.05/6.93 c (6,6) CSPinCNF to SatSolver Begin
19.27/7.07 c (6,6) 4917 (10 %) CSP clauses are encoded (1284 SAT variables, 5966 SAT clauses)
19.58/7.16 c (6,6) 9833 (20 %) CSP clauses are encoded (1284 SAT variables, 10882 SAT clauses)
19.85/7.20 c (6,6) 14749 (30 %) CSP clauses are encoded (1284 SAT variables, 15798 SAT clauses)
19.85/7.24 c (6,6) 19665 (40 %) CSP clauses are encoded (1284 SAT variables, 20714 SAT clauses)
19.85/7.27 c (6,6) 24581 (50 %) CSP clauses are encoded (1284 SAT variables, 25630 SAT clauses)
20.00/7.30 c (6,6) 29497 (60 %) CSP clauses are encoded (1284 SAT variables, 30546 SAT clauses)
20.00/7.33 c (6,6) 34413 (70 %) CSP clauses are encoded (1284 SAT variables, 35462 SAT clauses)
20.00/7.36 c (6,6) 39329 (80 %) CSP clauses are encoded (1284 SAT variables, 40378 SAT clauses)
20.12/7.40 c (6,6) 44245 (90 %) CSP clauses are encoded (1284 SAT variables, 45294 SAT clauses)
20.12/7.43 c (6,6) 49161 (100 %) CSP clauses are encoded (1284 SAT variables, 50210 SAT clauses)
20.12/7.43 c (6,6) Launch Command will be: minisat_release
20.12/7.43 c (6,6) CSPinCNF to SatSolver End
20.12/7.43 c (6,6) Heap : 2591 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.95/7.70 c (7,7) STATISTICS2:HOME/instance-4305468-1534087845.xml,ExtensionConflict:ExtensionSupport:IntVar,234,49161,-1,23,23,1,,23:181683;2:2564,23:8;4:37500;3:10757;2:896,1:184247,
20.95/7.70 c (7,7) 1284 bool, 50211 clause
20.95/7.70 c (7,7) Export Begin
20.95/7.79 c (7,7) Export to HOME/scop-23129-serial-file.bin
20.95/7.79 c (7,7) Export End
20.95/7.79 c (7,7) Export File Size: 0.01 MB
20.95/7.79 c (7,7) 0,0,5,6,6,6,6,STOP-AFTER(DIMACS)
20.95/7.79 c END-Prog: Sun Aug 12 17:30:52 CEST 2018
21.16/7.82 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23129-serial-file.bin
21.80/8.31 c (0,0) Read Serial File Begin
21.80/8.31 c (0,0) HOME/scop-23129-serial-file.bin
21.96/8.48 c (0,0) Read Serial File End
21.96/8.49
21.96/8.49 scop order+minisat_release (2018-07-31)
21.96/8.49 (Solving Process)
21.96/8.49
22.10/8.52 c BEGIN-Prog: Sun Aug 12 17:30:53 CEST 2018
22.10/8.52 c PID: 23147
22.10/8.52 c IP: 172.20.3.139
22.10/8.52 c HOST: node139.alineos.net
22.10/8.52 c (0,0) SatSolver.solve Begin
22.10/8.52 c (0,0) 0 bool, 0 clause
22.10/8.52 c (0,0) minisat_release HOME/instance-4305468-1534087845.xml-scop-23132.cnf
852.03/838.00 c (829,0) c This is COMiniSatPS.
852.03/838.00 c (829,0) c WARNING: for repeatability, setting FPU to use double precision
852.03/838.00 c (829,0) c ============================[ Problem Statistics ]=============================
852.03/838.00 c (829,0) c | |
852.03/838.00 c (829,0) c | Number of variables: 1284 |
852.03/838.00 c (829,0) c | Number of clauses: 50211 |
852.03/838.00 c (829,0) c | Parse time: 0.01 s |
852.03/838.00 c (829,0) c Reduced to 1284 vars, 50211 cls (grow=0)
852.03/838.00 c (829,0) c No iterative elimination performed. (vars=1284, c/v ratio=39.1)
852.03/838.00 c (829,0) c | Simplification time: 0.05 s |
852.03/838.00 c (829,0) c | |
852.03/838.00 c (829,0) c ============================[ Search Statistics ]==============================
852.03/838.00 c (829,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
852.03/838.00 c (829,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
852.03/838.00 c (829,0) c ===============================================================================
852.03/838.00 c (829,0) c ===============================================================================
852.03/838.00 c (829,0) c restarts : 11423
852.03/838.00 c (829,0) c conflicts : 7033211 (8480 /sec)
852.03/838.00 c (829,0) c decisions : 8445877 (0.00 % random) (10184 /sec)
852.03/838.00 c (829,0) c propagations : 1272009450 (1533738 /sec)
852.03/838.00 c (829,0) c conflict literals : 150571719 (47.28 % deleted)
852.03/838.00 c (829,0) c CPU time : 829.352 s
852.03/838.00 c (829,0)
852.03/838.00 c (829,0) s SATISFIABLE
852.16/838.02 c (829,0) SatSolver.solve End
852.16/838.02 c (829,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
852.16/838.02 c (829,0) Show results Begin
852.16/838.07 s SATISFIABLE
852.16/838.08 v <instantiation>
852.16/838.08 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49]</list>
852.16/838.08 v <values>9 22 17 5 1 14 12 22 16 3 14 12 9 20 1 11 13 3 6 21 6 16 7 0 14 22 1 18 19 11 3 14 14 3 8 10 6 13 9 14 20 12 22 12 13 21 19 6 9 9</values>
852.16/838.08 v </instantiation>
852.16/838.08 c (829,0) Show results End
852.16/838.08 c (829,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
852.16/838.08 c (829,0) 829,829,STOP-AFTER(ALL)
852.16/838.08 c END-Prog: Sun Aug 12 17:44:43 CEST 2018
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 (5743 MiB free)
memory of node 1: 16384 MiB (6836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305468-1534087845/watcher-4305468-1534087845 -o /tmp/evaluation-result-4305468-1534087845/solver-4305468-1534087845 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305468-1534087845.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23129, runsolver pid=23126
[startup+0.108753 s]*
/proc/loadavg: 2.30 2.09 2.07 4/223 23146
/proc/meminfo: memFree=12819776/32770624 swapFree=67108860/67108860
[pid=23129] ppid=23126 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (scop.sh) S 23126 23129 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226347628 115843072 349 33554432000 4194304 5098028 140726964822496 140726964819752 140289773830780 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7475200 140726964831296 140726964831495 140726964831495 140726964834253 0
/proc/23129/statm: 28282 349 296 221 0 87 0
[pid=23132] ppid=23129 vsize=15012476 memory=74756 CPUtime=0.12 cores=0,2,4,6
/proc/23132/stat : 23132 (java) S 23129 23129 16770 0 -1 1077944320 7307 0 0 0 10 2 0 0 20 0 15 0 226347628 15372775424 18689 33554432000 4194304 4196468 140729502568960 140729502551504 140464041897719 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
/proc/23132/statm: 3753119 18689 2773 1 0 3715579 0
[pid=23132/tid=23133] ppid=23129 vsize=15012476 memory=-6006813186902507461 CPUtime=0.1 cores=0,2,4,6
/proc/23132/task/23133/stat : 23133 (java) R 23129 23129 16770 0 -1 4202560 5380 0 0 0 8 2 0 0 20 0 15 0 226347629 15372775424 18689 33554432000 4194304 4196468 140729502568960 140464013721712 140464034138090 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23134] ppid=23129 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23134/stat : 23134 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347631 15372775424 18752 33554432000 4194304 4196468 140729502568960 140464046140048 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23135] ppid=23129 vsize=15012476 memory=140454419764864 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23135/stat : 23135 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347631 15372775424 18752 33554432000 4194304 4196468 140729502568960 140463821842960 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23136] ppid=23129 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23136/stat : 23136 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347631 15372775424 18752 33554432000 4194304 4196468 140729502568960 140463820790160 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23137] ppid=23129 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23137/stat : 23137 (java) S 23129 23129 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226347631 15372775424 18752 33554432000 4194304 4196468 140729502568960 140463819737360 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23138] ppid=23129 vsize=15012476 memory=140454419764864 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23138/stat : 23138 (java) S 23129 23129 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226347632 15372775424 18752 33554432000 4194304 4196468 140729502568960 140462810676080 140464041908866 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23139] ppid=23129 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23139/stat : 23139 (java) S 23129 23129 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226347633 15372775424 18752 33554432000 4194304 4196468 140729502568960 140462677550624 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23140] ppid=23129 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23140/stat : 23140 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347633 15372775424 18752 33554432000 4194304 4196468 140729502568960 140462409114992 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23141] ppid=23129 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23141/stat : 23141 (java) S 23129 23129 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226347635 15372775424 18752 33554432000 4194304 4196468 140729502568960 140462034606416 140464041916315 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23142] ppid=23129 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23142/stat : 23142 (java) R 23129 23129 16770 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 226347635 15372775424 18752 33554432000 4194304 4196468 140729502568960 140462809622896 140464041908866 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23143] ppid=23129 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23143/stat : 23143 (java) R 23129 23129 16770 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 15 0 226347635 15372775424 18752 33554432000 4194304 4196468 140729502568960 140462808570392 140464019571744 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23144] ppid=23129 vsize=15012476 memory=140454419764864 CPUtime=0.01 cores=0,2,4,6
/proc/23132/task/23144/stat : 23144 (java) S 23129 23129 16770 0 -1 1077944384 292 0 0 0 1 0 0 0 20 0 15 0 226347635 15372775424 18752 33554432000 4194304 4196468 140729502568960 140462807517296 140464041908866 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23145] ppid=23129 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23145/stat : 23145 (java) S 23129 23129 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226347635 15372775424 18752 33554432000 4194304 4196468 140729502568960 140461536700640 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23146] ppid=23129 vsize=15012476 memory=140454419764864 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23146/stat : 23146 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347636 15372775424 18752 33554432000 4194304 4196468 140729502568960 140462806465712 140464041908866 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 76152 KiB
[startup+0.210673 s]*
/proc/loadavg: 2.30 2.09 2.07 3/223 23146
/proc/meminfo: memFree=12808316/32770624 swapFree=67108860/67108860
[pid=23129] ppid=23126 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (scop.sh) S 23126 23129 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226347628 115843072 349 33554432000 4194304 5098028 140726964822496 140726964819752 140289773830780 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7475200 140726964831296 140726964831495 140726964831495 140726964834253 0
/proc/23129/statm: 28282 349 296 221 0 87 0
[pid=23132] ppid=23129 vsize=15012476 memory=85668 CPUtime=0.25 cores=0,2,4,6
/proc/23132/stat : 23132 (java) S 23129 23129 16770 0 -1 1077944320 10261 0 0 0 22 3 0 0 20 0 15 0 226347628 15372775424 21417 33554432000 4194304 4196468 140729502568960 140729502551504 140464041897719 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
/proc/23132/statm: 3753119 21417 2926 1 0 3715579 0
[pid=23132/tid=23133] ppid=23129 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/23132/task/23133/stat : 23133 (java) R 23129 23129 16770 0 -1 4202560 8155 0 0 0 17 2 0 0 20 0 15 0 226347629 15372775424 21417 33554432000 4194304 4196468 140729502568960 140464013724112 140464041909654 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23134] ppid=23129 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23134/stat : 23134 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347631 15372775424 21417 33554432000 4194304 4196468 140729502568960 140464046140048 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23135] ppid=23129 vsize=15012476 memory=140454419915081 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23135/stat : 23135 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347631 15372775424 21417 33554432000 4194304 4196468 140729502568960 140463821842960 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23136] ppid=23129 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23136/stat : 23136 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347631 15372775424 21417 33554432000 4194304 4196468 140729502568960 140463820790160 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23137] ppid=23129 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23137/stat : 23137 (java) S 23129 23129 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226347631 15372775424 21417 33554432000 4194304 4196468 140729502568960 140463819737360 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23138] ppid=23129 vsize=15012476 memory=140454419764864 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23138/stat : 23138 (java) S 23129 23129 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226347632 15372775424 21417 33554432000 4194304 4196468 140729502568960 140462810676080 140464041908866 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23139] ppid=23129 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23139/stat : 23139 (java) S 23129 23129 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226347633 15372775424 21417 33554432000 4194304 4196468 140729502568960 140462677550624 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23140] ppid=23129 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23140/stat : 23140 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347633 15372775424 21417 33554432000 4194304 4196468 140729502568960 140462409114992 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23141] ppid=23129 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23141/stat : 23141 (java) S 23129 23129 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226347635 15372775424 21417 33554432000 4194304 4196468 140729502568960 140462034606416 140464041916315 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23142] ppid=23129 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23132/task/23142/stat : 23142 (java) S 23129 23129 16770 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 15 0 226347635 15372775424 21417 33554432000 4194304 4196468 140729502568960 140462809622896 140464041908866 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23143] ppid=23129 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23143/stat : 23143 (java) S 23129 23129 16770 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 226347635 15372775424 21417 33554432000 4194304 4196468 140729502568960 140462808570096 140464041908866 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23144] ppid=23129 vsize=15012476 memory=140454419764864 CPUtime=0.03 cores=0,2,4,6
/proc/23132/task/23144/stat : 23144 (java) R 23129 23129 16770 0 -1 4202560 300 0 0 0 3 0 0 0 20 0 15 0 226347635 15372775424 21417 33554432000 4194304 4196468 140729502568960 140462807517296 140464020602480 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23145] ppid=23129 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23145/stat : 23145 (java) S 23129 23129 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226347635 15372775424 21417 33554432000 4194304 4196468 140729502568960 140461536700640 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23146] ppid=23129 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23146/stat : 23146 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347636 15372775424 21417 33554432000 4194304 4196468 140729502568960 140462806465712 140464041908866 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87064 KiB
[startup+0.310647 s]*
/proc/loadavg: 2.30 2.09 2.07 3/223 23146
/proc/meminfo: memFree=12803912/32770624 swapFree=67108860/67108860
[pid=23129] ppid=23126 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (scop.sh) S 23126 23129 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226347628 115843072 349 33554432000 4194304 5098028 140726964822496 140726964819752 140289773830780 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7475200 140726964831296 140726964831495 140726964831495 140726964834253 0
/proc/23129/statm: 28282 349 296 221 0 87 0
[pid=23132] ppid=23129 vsize=15012476 memory=89628 CPUtime=0.43 cores=0,2,4,6
/proc/23132/stat : 23132 (java) S 23129 23129 16770 0 -1 1077944320 10885 0 0 0 40 3 0 0 20 0 15 0 226347628 15372775424 22407 33554432000 4194304 4196468 140729502568960 140729502551504 140464041897719 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
/proc/23132/statm: 3753119 22407 2968 1 0 3715579 0
[pid=23132/tid=23133] ppid=23129 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/23132/task/23133/stat : 23133 (java) R 23129 23129 16770 0 -1 4202560 8592 0 0 0 27 2 0 0 20 0 15 0 226347629 15372775424 22407 33554432000 4194304 4196468 140729502568960 140464013692720 140464025941349 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23134] ppid=23129 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23134/stat : 23134 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347631 15372775424 22407 33554432000 4194304 4196468 140729502568960 140464046140048 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23135] ppid=23129 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23135/stat : 23135 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347631 15372775424 22407 33554432000 4194304 4196468 140729502568960 140463821842960 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23136] ppid=23129 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23136/stat : 23136 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347631 15372775424 22407 33554432000 4194304 4196468 140729502568960 140463820790160 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23137] ppid=23129 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23137/stat : 23137 (java) S 23129 23129 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226347631 15372775424 22407 33554432000 4194304 4196468 140729502568960 140463819737360 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23138] ppid=23129 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23138/stat : 23138 (java) S 23129 23129 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226347632 15372775424 22407 33554432000 4194304 4196468 140729502568960 140462810676080 140464041908866 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23139] ppid=23129 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23139/stat : 23139 (java) S 23129 23129 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226347633 15372775424 22407 33554432000 4194304 4196468 140729502568960 140462677550624 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23140] ppid=23129 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23140/stat : 23140 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347633 15372775424 22407 33554432000 4194304 4196468 140729502568960 140462409114992 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23141] ppid=23129 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23141/stat : 23141 (java) S 23129 23129 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226347635 15372775424 22407 33554432000 4194304 4196468 140729502568960 140462034606416 140464041916315 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23142] ppid=23129 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23132/task/23142/stat : 23142 (java) S 23129 23129 16770 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 15 0 226347635 15372775424 22407 33554432000 4194304 4196468 140729502568960 140462809622896 140464041908866 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23143] ppid=23129 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23132/task/23143/stat : 23143 (java) S 23129 23129 16770 0 -1 1077944384 182 0 0 0 2 0 0 0 20 0 15 0 226347635 15372775424 22407 33554432000 4194304 4196468 140729502568960 140462808570096 140464041908866 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23144] ppid=23129 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23132/task/23144/stat : 23144 (java) S 23129 23129 16770 0 -1 1077944384 343 0 0 0 7 0 0 0 20 0 15 0 226347635 15372775424 22407 33554432000 4194304 4196468 140729502568960 140462807517296 140464041908866 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23145] ppid=23129 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23145/stat : 23145 (java) S 23129 23129 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226347635 15372775424 22407 33554432000 4194304 4196468 140729502568960 140461536700640 140464041907925 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23146] ppid=23129 vsize=15012476 memory=3905525982033944625 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23146/stat : 23146 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347636 15372775424 22407 33554432000 4194304 4196468 140729502568960 140462806465712 140464041908866 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91024 KiB
[startup+0.708693 s]
/proc/loadavg: 2.30 2.09 2.07 3/223 23146
/proc/meminfo: memFree=12779856/32770624 swapFree=67108860/67108860
[pid=23129] ppid=23126 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (scop.sh) S 23126 23129 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226347628 115843072 349 33554432000 4194304 5098028 140726964822496 140726964819752 140289773830780 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7475200 140726964831296 140726964831495 140726964831495 140726964834253 0
/proc/23129/statm: 28282 349 296 221 0 87 0
[pid=23132] ppid=23129 vsize=15018748 memory=129648 CPUtime=1.04 cores=0,2,4,6
/proc/23132/stat : 23132 (java) S 23129 23129 16770 0 -1 1077944320 17987 0 0 0 98 6 0 0 20 0 15 0 226347628 15379197952 32412 33554432000 4194304 4196468 140729502568960 140729502551504 140464041897719 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
/proc/23132/statm: 3754687 32412 3147 1 0 3716091 0
[pid=23132/tid=23133] ppid=23129 vsize=15018748 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/23132/task/23133/stat : 23133 (java) R 23129 23129 16770 0 -1 4202560 15113 0 0 0 62 5 0 0 20 0 15 0 226347629 15379197952 32412 33554432000 4194304 4196468 140729502568960 140464013728968 140464025978206 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23134] ppid=23129 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23134/stat : 23134 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347631 15379197952 32412 33554432000 4194304 4196468 140729502568960 140464046140048 140464041907925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23135] ppid=23129 vsize=15018748 memory=61436 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23135/stat : 23135 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347631 15379197952 32412 33554432000 4194304 4196468 140729502568960 140463821842960 140464041907925 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23136] ppid=23129 vsize=15018748 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23136/stat : 23136 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347631 15379197952 32412 33554432000 4194304 4196468 140729502568960 140463820790160 140464041907925 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23137] ppid=23129 vsize=15018748 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23137/stat : 23137 (java) S 23129 23129 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226347631 15379197952 32412 33554432000 4194304 4196468 140729502568960 140463819737360 140464041907925 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23138] ppid=23129 vsize=15018748 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23138/stat : 23138 (java) S 23129 23129 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226347632 15379197952 32412 33554432000 4194304 4196468 140729502568960 140462810676080 140464041908866 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23139] ppid=23129 vsize=15018748 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23139/stat : 23139 (java) S 23129 23129 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226347633 15379197952 32412 33554432000 4194304 4196468 140729502568960 140462677550624 140464041907925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23140] ppid=23129 vsize=15018748 memory=796 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23140/stat : 23140 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347633 15379197952 32412 33554432000 4194304 4196468 140729502568960 140462409114992 140464041907925 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23141] ppid=23129 vsize=15018748 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23141/stat : 23141 (java) S 23129 23129 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226347635 15379197952 32412 33554432000 4194304 4196468 140729502568960 140462034606416 140464041916315 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23142] ppid=23129 vsize=15018748 memory=876 CPUtime=0.1 cores=0,2,4,6
/proc/23132/task/23142/stat : 23142 (java) S 23129 23129 16770 0 -1 1077944384 669 0 0 0 10 0 0 0 20 0 15 0 226347635 15379197952 32412 33554432000 4194304 4196468 140729502568960 140462809622896 140464041908866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23143] ppid=23129 vsize=15018748 memory=10096 CPUtime=0.07 cores=0,2,4,6
/proc/23132/task/23143/stat : 23143 (java) S 23129 23129 16770 0 -1 1077944384 358 0 0 0 7 0 0 0 20 0 15 0 226347635 15379197952 32412 33554432000 4194304 4196468 140729502568960 140462808570096 140464041908866 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23144] ppid=23129 vsize=15018748 memory=1228 CPUtime=0.17 cores=0,2,4,6
/proc/23132/task/23144/stat : 23144 (java) R 23129 23129 16770 0 -1 4202560 513 0 0 0 17 0 0 0 20 0 15 0 226347635 15379197952 32412 33554432000 4194304 4196468 140729502568960 140462807514552 140464027377990 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23145] ppid=23129 vsize=15018748 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23145/stat : 23145 (java) S 23129 23129 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226347635 15379197952 32412 33554432000 4194304 4196468 140729502568960 140461536700640 140464041907925 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
[pid=23132/tid=23146] ppid=23129 vsize=15018748 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23146/stat : 23146 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226347636 15379197952 32412 33554432000 4194304 4196468 140729502568960 140462806465712 140464041908866 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38756352 140729502573574 140729502573873 140729502573873 140729502576591 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 131044 KiB
[startup+1.50179 s]
/proc/loadavg: 2.30 2.09 2.07 5/223 23146
/proc/meminfo: memFree=12686528/32770624 swapFree=67108860/67108860
[pid=23129] ppid=23126 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23129/stat : 23129 (scop.sh) S 23126 23129 16770 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226347628 115843072 349 33554432000 4194304 5098028 140726964822496 140726964819752 140289773830780 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7475200 140726964831296 140726964831495 140726964831495 140726964834253 0
/proc/23129/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/23147/task/23165/stat : 23165 (java) S 23129 23129 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226348483 8261857280 29232 33554432000 4194304 4196468 140732259149632 140339599879824 140342424786077 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23166] ppid=23129 vsize=8068220 memory=960 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23166/stat : 23166 (java) S 23129 23129 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226348483 8261857280 29232 33554432000 4194304 4196468 140732259149632 140339734101776 140342424786077 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23167] ppid=23129 vsize=8068220 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23167/stat : 23167 (java) S 23129 23129 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226348485 8261857280 29232 33554432000 4194304 4196468 140732259149632 140339331456544 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
Current children cumulated CPU time: 849.33 s
Current children cumulated vsize: 8278660 KiB
Current children cumulated memory: 190816 KiB
[startup+836.801 s]
/proc/loadavg: 2.00 2.09 2.10 3/227 23389
/proc/meminfo: memFree=12758604/32770624 swapFree=67108860/67108860
[pid=23129] ppid=23126 vsize=113128 memory=1472 CPUtime=21.18 cores=0,2,4,6
/proc/23129/stat : 23129 (scop.sh) S 23126 23129 16770 0 -1 4202496 590 34494 0 0 0 0 2063 55 20 0 1 0 226347628 115843072 368 33554432000 4194304 5098028 140726964822496 140726964819240 140289773830780 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7475200 140726964831296 140726964831495 140726964831495 140726964834253 0
/proc/23129/statm: 28282 368 311 221 0 87 0
[pid=23147] ppid=23129 vsize=8068220 memory=116928 CPUtime=1.54 cores=0,2,4,6
/proc/23147/stat : 23147 (java) S 23129 23129 16770 0 -1 1077944320 17501 0 0 0 130 24 0 0 20 0 19 0 226348411 8261857280 29232 33554432000 4194304 4196468 140732259149632 140732259132176 140342424764151 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
/proc/23147/statm: 2017055 29232 3149 1 0 1978454 0
[pid=23162] ppid=23147 vsize=97312 memory=72416 CPUtime=828.21 cores=0,2,4,6
/proc/23162/stat : 23162 (minisat_release) R 23147 23129 16770 0 -1 4202496 63107 0 0 0 82814 7 0 0 20 0 1 0 226348483 99647488 18104 33554432000 4194304 4308513 140736198684880 140736198681784 4276036 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 22601728 140736198689908 140736198690006 140736198690006 140736198692805 0
/proc/23162/statm: 24328 18104 341 28 0 20568 0
[pid=23147/tid=23148] ppid=23129 vsize=8068220 memory=1472 CPUtime=0.74 cores=0,2,4,6
/proc/23147/task/23148/stat : 23148 (java) S 23129 23129 16770 0 -1 1077944384 14551 0 0 0 69 5 0 0 20 0 19 0 226348411 8261857280 29232 33554432000 4194304 4196468 140732259149632 140342396604304 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23149] ppid=23129 vsize=8068220 memory=116928 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23149/stat : 23149 (java) S 23129 23129 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226348412 8261857280 29232 33554432000 4194304 4196468 140732259149632 140342429006608 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23150] ppid=23129 vsize=8068220 memory=72416 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23150/stat : 23150 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226348412 8261857280 29232 33554432000 4194304 4196468 140732259149632 140342229175184 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23151] ppid=23129 vsize=8068220 memory=3524 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23151/stat : 23151 (java) S 23129 23129 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226348412 8261857280 29232 33554432000 4194304 4196468 140732259149632 140342228122640 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23152] ppid=23129 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23152/stat : 23152 (java) S 23129 23129 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226348412 8261857280 29232 33554432000 4194304 4196468 140732259149632 140342227070096 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23153] ppid=23129 vsize=8068220 memory=116928 CPUtime=0.01 cores=0,2,4,6
/proc/23147/task/23153/stat : 23153 (java) S 23129 23129 16770 0 -1 1077944384 8 0 0 0 0 1 0 0 20 0 19 0 226348414 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341669742576 140342424775298 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23154] ppid=23129 vsize=8068220 memory=280908578557200 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23154/stat : 23154 (java) S 23129 23129 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226348414 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341277615008 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23155] ppid=23129 vsize=8068220 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23155/stat : 23155 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226348414 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341009179632 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23156] ppid=23129 vsize=8068220 memory=301741416374337836 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23156/stat : 23156 (java) S 23129 23129 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226348417 8261857280 29232 33554432000 4194304 4196468 140732259149632 140340634671312 140342424782747 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23157] ppid=23129 vsize=8068220 memory=13567085250872709 CPUtime=0.07 cores=0,2,4,6
/proc/23147/task/23157/stat : 23157 (java) S 23129 23129 16770 0 -1 1077944384 623 0 0 0 7 0 0 0 20 0 19 0 226348417 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341668690416 140342424775298 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23158] ppid=23129 vsize=8068220 memory=1472 CPUtime=0.09 cores=0,2,4,6
/proc/23147/task/23158/stat : 23158 (java) S 23129 23129 16770 0 -1 1077944384 328 0 0 0 9 0 0 0 20 0 19 0 226348417 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341667637872 140342424775298 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23159] ppid=23129 vsize=8068220 memory=1472 CPUtime=0.19 cores=0,2,4,6
/proc/23147/task/23159/stat : 23159 (java) S 23129 23129 16770 0 -1 1077944384 529 0 0 0 19 0 0 0 20 0 19 0 226348417 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341666585328 140342424775298 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23160] ppid=23129 vsize=8068220 memory=116928 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23160/stat : 23160 (java) S 23129 23129 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226348417 8261857280 29232 33554432000 4194304 4196468 140732259149632 140340136766560 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23161] ppid=23129 vsize=8068220 memory=72416 CPUtime=0.37 cores=0,2,4,6
/proc/23147/task/23161/stat : 23161 (java) S 23129 23129 16770 0 -1 1077944384 55 0 0 0 18 19 0 0 20 0 19 0 226348417 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341665532208 140342424775298 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23163] ppid=23129 vsize=8068220 memory=-7824251494390585706 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23163/stat : 23163 (java) S 23129 23129 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226348483 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341657723968 140342424788761 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23165] ppid=23129 vsize=8068220 memory=61440 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23165/stat : 23165 (java) S 23129 23129 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226348483 8261857280 29232 33554432000 4194304 4196468 140732259149632 140339599879824 140342424786077 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23166] ppid=23129 vsize=8068220 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23166/stat : 23166 (java) S 23129 23129 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226348483 8261857280 29232 33554432000 4194304 4196468 140732259149632 140339734101776 140342424786077 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23167] ppid=23129 vsize=8068220 memory=7528 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23167/stat : 23167 (java) S 23129 23129 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226348485 8261857280 29232 33554432000 4194304 4196468 140732259149632 140339331456544 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
Current children cumulated CPU time: 850.93 s
Current children cumulated vsize: 8278660 KiB
Current children cumulated memory: 190816 KiB
[startup+837.601 s]
/proc/loadavg: 2.00 2.09 2.10 3/227 23389
/proc/meminfo: memFree=12758604/32770624 swapFree=67108860/67108860
[pid=23129] ppid=23126 vsize=113128 memory=1472 CPUtime=21.18 cores=0,2,4,6
/proc/23129/stat : 23129 (scop.sh) S 23126 23129 16770 0 -1 4202496 590 34494 0 0 0 0 2063 55 20 0 1 0 226347628 115843072 368 33554432000 4194304 5098028 140726964822496 140726964819240 140289773830780 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7475200 140726964831296 140726964831495 140726964831495 140726964834253 0
/proc/23129/statm: 28282 368 311 221 0 87 0
[pid=23147] ppid=23129 vsize=8068220 memory=116928 CPUtime=1.54 cores=0,2,4,6
/proc/23147/stat : 23147 (java) S 23129 23129 16770 0 -1 1077944320 17503 0 0 0 130 24 0 0 20 0 19 0 226348411 8261857280 29232 33554432000 4194304 4196468 140732259149632 140732259132176 140342424764151 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
/proc/23147/statm: 2017055 29232 3149 1 0 1978454 0
[pid=23162] ppid=23147 vsize=97312 memory=72416 CPUtime=829.01 cores=0,2,4,6
/proc/23162/stat : 23162 (minisat_release) R 23147 23129 16770 0 -1 4202496 63109 0 0 0 82894 7 0 0 20 0 1 0 226348483 99647488 18104 33554432000 4194304 4308513 140736198684880 140736198681784 4276036 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 22601728 140736198689908 140736198690006 140736198690006 140736198692805 0
/proc/23162/statm: 24328 18104 341 28 0 20568 0
[pid=23147/tid=23148] ppid=23129 vsize=8068220 memory=2416 CPUtime=0.74 cores=0,2,4,6
/proc/23147/task/23148/stat : 23148 (java) S 23129 23129 16770 0 -1 1077944384 14551 0 0 0 69 5 0 0 20 0 19 0 226348411 8261857280 29232 33554432000 4194304 4196468 140732259149632 140342396604304 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23149] ppid=23129 vsize=8068220 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23149/stat : 23149 (java) S 23129 23129 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226348412 8261857280 29232 33554432000 4194304 4196468 140732259149632 140342429006608 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23150] ppid=23129 vsize=8068220 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23150/stat : 23150 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226348412 8261857280 29232 33554432000 4194304 4196468 140732259149632 140342229175184 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23151] ppid=23129 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23151/stat : 23151 (java) S 23129 23129 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226348412 8261857280 29232 33554432000 4194304 4196468 140732259149632 140342228122640 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23152] ppid=23129 vsize=8068220 memory=116928 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23152/stat : 23152 (java) S 23129 23129 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226348412 8261857280 29232 33554432000 4194304 4196468 140732259149632 140342227070096 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23153] ppid=23129 vsize=8068220 memory=72416 CPUtime=0.01 cores=0,2,4,6
/proc/23147/task/23153/stat : 23153 (java) S 23129 23129 16770 0 -1 1077944384 8 0 0 0 0 1 0 0 20 0 19 0 226348414 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341669742576 140342424775298 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23154] ppid=23129 vsize=8068220 memory=8475934422147845324 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23154/stat : 23154 (java) S 23129 23129 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226348414 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341277615008 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23155] ppid=23129 vsize=8068220 memory=8475934422147845324 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23155/stat : 23155 (java) S 23129 23129 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226348414 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341009179632 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23156] ppid=23129 vsize=8068220 memory=-6876588628788210059 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23156/stat : 23156 (java) S 23129 23129 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226348417 8261857280 29232 33554432000 4194304 4196468 140732259149632 140340634671312 140342424782747 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23157] ppid=23129 vsize=8068220 memory=-7595754389018307680 CPUtime=0.07 cores=0,2,4,6
/proc/23147/task/23157/stat : 23157 (java) S 23129 23129 16770 0 -1 1077944384 623 0 0 0 7 0 0 0 20 0 19 0 226348417 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341668690416 140342424775298 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23158] ppid=23129 vsize=8068220 memory=796 CPUtime=0.09 cores=0,2,4,6
/proc/23147/task/23158/stat : 23158 (java) S 23129 23129 16770 0 -1 1077944384 328 0 0 0 9 0 0 0 20 0 19 0 226348417 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341667637872 140342424775298 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23159] ppid=23129 vsize=8068220 memory=5408 CPUtime=0.19 cores=0,2,4,6
/proc/23147/task/23159/stat : 23159 (java) S 23129 23129 16770 0 -1 1077944384 529 0 0 0 19 0 0 0 20 0 19 0 226348417 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341666585328 140342424775298 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23160] ppid=23129 vsize=8068220 memory=876 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23160/stat : 23160 (java) S 23129 23129 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226348417 8261857280 29232 33554432000 4194304 4196468 140732259149632 140340136766560 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23161] ppid=23129 vsize=8068220 memory=10096 CPUtime=0.37 cores=0,2,4,6
/proc/23147/task/23161/stat : 23161 (java) S 23129 23129 16770 0 -1 1077944384 57 0 0 0 18 19 0 0 20 0 19 0 226348417 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341665532208 140342424775298 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23163] ppid=23129 vsize=8068220 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23163/stat : 23163 (java) S 23129 23129 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226348483 8261857280 29232 33554432000 4194304 4196468 140732259149632 140341657723968 140342424788761 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23165] ppid=23129 vsize=8068220 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23165/stat : 23165 (java) S 23129 23129 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226348483 8261857280 29232 33554432000 4194304 4196468 140732259149632 140339599879824 140342424786077 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23166] ppid=23129 vsize=8068220 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23166/stat : 23166 (java) S 23129 23129 16770 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 226348483 8261857280 29232 33554432000 4194304 4196468 140732259149632 140339734101776 140342424786077 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23167] ppid=23129 vsize=8068220 memory=8804 CPUtime=0 cores=0,2,4,6
/proc/23147/task/23167/stat : 23167 (java) S 23129 23129 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226348485 8261857280 29232 33554432000 4194304 4196468 140732259149632 140339331456544 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
Current children cumulated CPU time: 851.73 s
Current children cumulated vsize: 8278660 KiB
Current children cumulated memory: 190816 KiB
[startup+838.001 s]*
/proc/loadavg: 2.00 2.09 2.10 3/227 23389
/proc/meminfo: memFree=12758604/32770624 swapFree=67108860/67108860
[pid=23129] ppid=23126 vsize=113128 memory=1472 CPUtime=21.18 cores=0,2,4,6
/proc/23129/stat : 23129 (scop.sh) S 23126 23129 16770 0 -1 4202496 590 34494 0 0 0 0 2063 55 20 0 1 0 226347628 115843072 368 33554432000 4194304 5098028 140726964822496 140726964819240 140289773830780 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 7475200 140726964831296 140726964831495 140726964831495 140726964834253 0
/proc/23129/statm: 28282 368 311 221 0 87 0
[pid=23147] ppid=23129 vsize=8068220 memory=118976 CPUtime=830.98 cores=0,2,4,6
/proc/23147/stat : 23147 (java) S 23129 23129 16770 0 -1 1077944320 17535 63129 0 0 131 24 82935 8 20 0 18 0 226348411 8261857280 29744 33554432000 4194304 4196468 140732259149632 140732259132176 140342424764151 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
/proc/23147/statm: 2017055 29744 3149 1 0 1978454 0
[pid=23147/tid=23148] ppid=23129 vsize=8068220 memory=-7824251494390650984 CPUtime=830.17 cores=0,2,4,6
/proc/23147/task/23148/stat : 23148 (java) S 23129 23129 16770 0 -1 1077944384 14551 63129 0 0 69 5 82935 8 20 0 18 0 226348411 8261857280 29744 33554432000 4194304 4196468 140732259149632 140342396604304 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23149] ppid=23129 vsize=8068220 memory=4126316290023845779 CPUtime=829.43 cores=0,2,4,6
/proc/23147/task/23149/stat : 23149 (java) S 23129 23129 16770 0 -1 1077944384 2 63129 0 0 0 0 82935 8 20 0 18 0 226348412 8261857280 29744 33554432000 4194304 4196468 140732259149632 140342429006608 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23150] ppid=23129 vsize=8068220 memory=4126316290023845779 CPUtime=829.43 cores=0,2,4,6
/proc/23147/task/23150/stat : 23150 (java) S 23129 23129 16770 0 -1 1077944384 1 63129 0 0 0 0 82935 8 20 0 18 0 226348412 8261857280 29744 33554432000 4194304 4196468 140732259149632 140342229175184 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23151] ppid=23129 vsize=8068220 memory=7451884447749074285 CPUtime=829.43 cores=0,2,4,6
/proc/23147/task/23151/stat : 23151 (java) S 23129 23129 16770 0 -1 1077944384 3 63129 0 0 0 0 82935 8 20 0 18 0 226348412 8261857280 29744 33554432000 4194304 4196468 140732259149632 140342228122640 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23152] ppid=23129 vsize=8068220 memory=-7824251494390585706 CPUtime=829.43 cores=0,2,4,6
/proc/23147/task/23152/stat : 23152 (java) S 23129 23129 16770 0 -1 1077944384 2 63129 0 0 0 0 82935 8 20 0 18 0 226348412 8261857280 29744 33554432000 4194304 4196468 140732259149632 140342227070096 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23153] ppid=23129 vsize=8068220 memory=7234308641554715220 CPUtime=829.44 cores=0,2,4,6
/proc/23147/task/23153/stat : 23153 (java) S 23129 23129 16770 0 -1 1077944384 8 63129 0 0 0 1 82935 8 20 0 18 0 226348414 8261857280 29744 33554432000 4194304 4196468 140732259149632 140341669742576 140342424775298 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23154] ppid=23129 vsize=8068220 memory=-7824251494390585706 CPUtime=829.43 cores=0,2,4,6
/proc/23147/task/23154/stat : 23154 (java) S 23129 23129 16770 0 -1 1077944384 13 63129 0 0 0 0 82935 8 20 0 18 0 226348414 8261857280 29744 33554432000 4194304 4196468 140732259149632 140341277615008 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23155] ppid=23129 vsize=8068220 memory=140454290279409 CPUtime=829.43 cores=0,2,4,6
/proc/23147/task/23155/stat : 23155 (java) S 23129 23129 16770 0 -1 1077944384 1 63129 0 0 0 0 82935 8 20 0 18 0 226348414 8261857280 29744 33554432000 4194304 4196468 140732259149632 140341009179632 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23156] ppid=23129 vsize=8068220 memory=3047711553219693942 CPUtime=829.43 cores=0,2,4,6
/proc/23147/task/23156/stat : 23156 (java) S 23129 23129 16770 0 -1 1077944384 3 63129 0 0 0 0 82935 8 20 0 18 0 226348417 8261857280 29744 33554432000 4194304 4196468 140732259149632 140340634671312 140342424782747 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23157] ppid=23129 vsize=8068220 memory=4426639978525455914 CPUtime=829.5 cores=0,2,4,6
/proc/23147/task/23157/stat : 23157 (java) S 23129 23129 16770 0 -1 1077944384 627 63129 0 0 7 0 82935 8 20 0 18 0 226348417 8261857280 29744 33554432000 4194304 4196468 140732259149632 140341668690416 140342424775298 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23158] ppid=23129 vsize=8068220 memory=4572164749098055210 CPUtime=829.52 cores=0,2,4,6
/proc/23147/task/23158/stat : 23158 (java) R 23129 23129 16770 0 -1 4202560 328 63129 0 0 9 0 82935 8 20 0 18 0 226348417 8261857280 29744 33554432000 4194304 4196468 140732259149632 140341667637872 140342410828144 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23159] ppid=23129 vsize=8068220 memory=8328453600958622283 CPUtime=829.63 cores=0,2,4,6
/proc/23147/task/23159/stat : 23159 (java) S 23129 23129 16770 0 -1 1077944384 536 63129 0 0 20 0 82935 8 20 0 18 0 226348417 8261857280 29744 33554432000 4194304 4196468 140732259149632 140341666585328 140342424775298 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23160] ppid=23129 vsize=8068220 memory=-8412652160765825907 CPUtime=829.43 cores=0,2,4,6
/proc/23147/task/23160/stat : 23160 (java) S 23129 23129 16770 0 -1 1077944384 3 63129 0 0 0 0 82935 8 20 0 18 0 226348417 8261857280 29744 33554432000 4194304 4196468 140732259149632 140340136766560 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23161] ppid=23129 vsize=8068220 memory=-8634980985311628903 CPUtime=829.8 cores=0,2,4,6
/proc/23147/task/23161/stat : 23161 (java) S 23129 23129 16770 0 -1 1077944384 57 63129 0 0 18 19 82935 8 20 0 18 0 226348417 8261857280 29744 33554432000 4194304 4196468 140732259149632 140341665532208 140342424775298 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23163] ppid=23129 vsize=8068220 memory=7100839878645619564 CPUtime=829.43 cores=0,2,4,6
/proc/23147/task/23163/stat : 23163 (java) S 23129 23129 16770 0 -1 1077944384 24 63129 0 0 0 0 82935 8 20 0 18 0 226348483 8261857280 29744 33554432000 4194304 4196468 140732259149632 140341657723152 140342424775298 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23165] ppid=23129 vsize=8068220 memory=7897517683652307531 CPUtime=829.43 cores=0,2,4,6
/proc/23147/task/23165/stat : 23165 (java) R 23129 23129 16770 0 -1 4202560 58 63129 0 0 0 0 82935 8 20 0 18 0 226348483 8261857280 29744 33554432000 4194304 4196468 140732259149632 140339599885728 140342408844638 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
[pid=23147/tid=23167] ppid=23129 vsize=8068220 memory=8514726395715349656 CPUtime=829.43 cores=0,2,4,6
/proc/23147/task/23167/stat : 23167 (java) S 23129 23129 16770 0 -1 1077944384 5 63129 0 0 0 0 82935 8 20 0 18 0 226348485 8261857280 29744 33554432000 4194304 4196468 140732259149632 140339331456304 140342424774357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27316224 140732259153077 140732259153201 140732259153201 140732259155919 0
Current children cumulated CPU time: 852.16 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 120448 KiB
Child status: 0
Real time (s): 838.092
CPU time (s): 852.32
CPU user time (s): 851.431
CPU system time (s): 0.88923
CPU usage (%): 101.698
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2925432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 851.431
system time used= 0.88923
maximum resident set size= 2924488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116099
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23833
involuntary context switches= 423
# summary of solver processes directly reported to runsolver:
# pid: 23129
# total CPU time (s): 852.32
# total CPU user time (s): 851.431
# total CPU system time (s): 0.88923
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34655 second user time and 8.3345 second system time
The end