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-23359-serial-file.bin HOME/instance-4305465-1534088366.xml
0.54/0.51
0.54/0.52 scop order+minisat_release (2018-07-31)
0.54/0.52 (Encoding Process)
0.54/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 17:39:26 CEST 2018
0.66/0.54 c PID: 23362
0.66/0.54 c IP: 172.20.3.107
0.66/0.54 c HOST: node107.alineos.net
0.66/0.55 c (0,0) Parsing Begin
2.09/1.10 c (0,0) Parsing End
2.09/1.10 c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 321 ctr, max domain size 19
2.61/1.23 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.61/1.23 c (0,0) Constraint Name Generate Begin
2.61/1.23 c (0,0) Ctr:HOME/instance-4305465-1534088366.xml,ExtensionConflict:ExtensionSupport:IntVar
2.61/1.23 c (0,0) Constraint Name Generate End
2.61/1.23 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.61/1.23 c (0,0) CSP to CSPinCNF Begin
4.62/1.93 c (1,1) translated 33 (10%) constraints
5.27/2.12 c (1,1) translated 65 (20%) constraints
5.85/2.31 c (1,1) translated 97 (30%) constraints
6.15/2.48 c (1,1) translated 129 (40%) constraints
6.78/2.66 c (2,2) translated 161 (50%) constraints
7.38/2.82 c (2,2) translated 193 (60%) constraints
7.69/2.97 c (2,2) translated 225 (70%) constraints
8.01/3.10 c (2,2) translated 257 (80%) constraints
8.60/3.24 c (2,2) translated 289 (90%) constraints
8.90/3.36 c (2,2) translated 321 (100%) constraints
9.52/3.57 c (3,3) STATISTICS1:HOME/instance-4305465-1534088366.xml,ExtensionConflict:ExtensionSupport:IntVar,420,25942,-1,19,20,1,,19:92129;2:4423,20:20;4:19286;3:5756;2:880,1:96552;0:20,
9.52/3.57 c (3,3) ==========================================
9.52/3.57 c (3,3) Order
9.52/3.57 c (3,3) ==========================================
9.85/3.68 c (3,3) translated 2595 (10%) constraints
10.19/3.76 c (3,3) translated 5189 (20%) constraints
10.48/3.85 c (3,3) translated 7783 (30%) constraints
10.78/3.93 c (3,3) translated 10377 (40%) constraints
11.12/4.01 c (3,3) translated 12971 (50%) constraints
11.12/4.08 c (3,3) translated 15566 (60%) constraints
11.43/4.15 c (3,3) translated 18160 (70%) constraints
11.76/4.21 c (3,3) translated 20754 (80%) constraints
11.76/4.27 c (3,3) translated 23348 (90%) constraints
12.12/4.33 c (3,3) translated 25942 (100%) constraints
12.12/4.33 c (3,3) CSP to CSPinCNF End
12.12/4.33 c (3,3) CSP: 40 int (0 aux), 380 bool (380 aux), 25942 ctr, max domain size 19
12.12/4.33 c (3,3) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.12/4.33 c (3,3) CSPinCNF Propagation Begin
13.07/4.60 c (4,4) 0 values, 2745 unsatisfiable literals, and 0 valid clauses are removed
13.07/4.60 c (4,4) CSPinCNF Propagation End
13.07/4.61 c (4,4) CSP: 40 int (0 aux), 380 bool (380 aux), 25942 ctr, max domain size 19
13.07/4.61 c (4,4) Heap : 1239 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.07/4.61 c (4,4) Simplify CSPinCNF Begin
13.07/4.68 c (4,4) Simplify CSPinCNF End
13.07/4.68 c (4,4) CSP: 40 int (0 aux), 380 bool (380 aux), 25942 ctr, max domain size 19
13.07/4.68 c (4,4) Heap : 1295 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.07/4.68 c (4,4) Calculate Precise Domain Begin
13.07/4.68 c (4,4) 0 values are removed by re-calculation
13.07/4.68 c (4,4) Calculate Precise Domain End
13.07/4.69 c (4,4) CSP: 40 int (0 aux), 380 bool (380 aux), 25942 ctr, max domain size 19
13.07/4.69 c (4,4) Heap : 1295 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.07/4.69 c (4,4) CSPinCNF to SatSolver Begin
13.37/4.79 c (4,4) 2595 (10 %) CSP clauses are encoded (1100 SAT variables, 3274 SAT clauses)
13.71/4.84 c (4,4) 5189 (20 %) CSP clauses are encoded (1100 SAT variables, 5868 SAT clauses)
13.71/4.88 c (4,4) 7783 (30 %) CSP clauses are encoded (1100 SAT variables, 8462 SAT clauses)
14.02/4.92 c (4,4) 10377 (40 %) CSP clauses are encoded (1100 SAT variables, 11056 SAT clauses)
14.02/4.96 c (4,4) 12971 (50 %) CSP clauses are encoded (1100 SAT variables, 13650 SAT clauses)
14.02/4.99 c (4,4) 15566 (60 %) CSP clauses are encoded (1100 SAT variables, 16245 SAT clauses)
14.36/5.01 c (4,4) 18160 (70 %) CSP clauses are encoded (1100 SAT variables, 18839 SAT clauses)
14.36/5.04 c (4,4) 20754 (80 %) CSP clauses are encoded (1100 SAT variables, 21433 SAT clauses)
14.36/5.06 c (4,4) 23348 (90 %) CSP clauses are encoded (1100 SAT variables, 24027 SAT clauses)
14.36/5.08 c (4,4) 25942 (100 %) CSP clauses are encoded (1100 SAT variables, 26621 SAT clauses)
14.36/5.08 c (4,4) Launch Command will be: minisat_release
14.36/5.08 c (4,4) CSPinCNF to SatSolver End
14.36/5.08 c (4,4) Heap : 1408 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
14.94/5.25 c (4,4) STATISTICS2:HOME/instance-4305465-1534088366.xml,ExtensionConflict:ExtensionSupport:IntVar,420,25942,-1,19,19,1,,19:89404;2:4423,19:20;4:16800;3:8003;2:1119,1:93827,
14.94/5.25 c (4,4) 1100 bool, 26622 clause
14.94/5.25 c (4,4) Export Begin
15.26/5.34 c (4,4) Export to HOME/scop-23359-serial-file.bin
15.26/5.34 c (4,4) Export End
15.26/5.34 c (4,4) Export File Size: 0.01 MB
15.26/5.34 c (4,4) 0,0,3,4,4,4,4,STOP-AFTER(DIMACS)
15.26/5.34 c END-Prog: Sun Aug 12 17:39:31 CEST 2018
15.26/5.37 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-23359-serial-file.bin
15.44/5.87 c (0,0) Read Serial File Begin
15.44/5.87 c (0,0) HOME/scop-23359-serial-file.bin
16.28/6.04 c (0,0) Read Serial File End
16.28/6.06
16.28/6.06 scop order+minisat_release (2018-07-31)
16.28/6.06 (Solving Process)
16.28/6.06
16.28/6.08 c BEGIN-Prog: Sun Aug 12 17:39:32 CEST 2018
16.28/6.08 c PID: 23377
16.28/6.08 c IP: 172.20.3.107
16.28/6.08 c HOST: node107.alineos.net
16.28/6.08 c (0,0) SatSolver.solve Begin
16.28/6.08 c (0,0) 0 bool, 0 clause
16.28/6.08 c (0,0) minisat_release HOME/instance-4305465-1534088366.xml-scop-23362.cnf
29.16/18.71 c (12,0) c This is COMiniSatPS.
29.16/18.71 c (12,0) c WARNING: for repeatability, setting FPU to use double precision
29.16/18.71 c (12,0) c ============================[ Problem Statistics ]=============================
29.16/18.71 c (12,0) c | |
29.16/18.71 c (12,0) c | Number of variables: 1100 |
29.16/18.71 c (12,0) c | Number of clauses: 26622 |
29.16/18.71 c (12,0) c | Parse time: 0.01 s |
29.16/18.71 c (12,0) c | Eliminated clauses: 0.00 Mb |
29.16/18.71 c (12,0) c Reduced to 1092 vars, 26610 cls (grow=0)
29.16/18.71 c (12,0) c No iterative elimination performed. (vars=1092, c/v ratio=24.4)
29.16/18.71 c (12,0) c | Simplification time: 0.03 s |
29.16/18.71 c (12,0) c | |
29.16/18.71 c (12,0) c ============================[ Search Statistics ]==============================
29.16/18.71 c (12,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
29.16/18.71 c (12,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
29.16/18.71 c (12,0) c ===============================================================================
29.16/18.71 c (12,0) c ===============================================================================
29.16/18.71 c (12,0) c restarts : 504
29.16/18.71 c (12,0) c conflicts : 189761 (15066 /sec)
29.16/18.71 c (12,0) c decisions : 242467 (0.00 % random) (19251 /sec)
29.16/18.71 c (12,0) c propagations : 28513795 (2263908 /sec)
29.16/18.71 c (12,0) c conflict literals : 2747881 (47.69 % deleted)
29.16/18.71 c (12,0) c CPU time : 12.5949 s
29.16/18.71 c (12,0)
29.16/18.71 c (12,0) s SATISFIABLE
29.16/18.72 c (12,0) SatSolver.solve End
29.16/18.72 c (12,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
29.16/18.72 c (12,0) Show results Begin
29.16/18.77 s SATISFIABLE
29.16/18.78 v <instantiation>
29.16/18.78 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]</list>
29.16/18.78 v <values>7 4 12 11 17 5 11 17 2 5 14 2 7 12 7 2 1 16 10 6 17 7 7 6 3 10 6 14 6 8 2 11 14 6 15 3 18 4 12 17</values>
29.16/18.78 v </instantiation>
29.16/18.78 c (13,0) Show results End
29.16/18.78 c (13,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
29.16/18.78 c (13,0) 12,13,STOP-AFTER(ALL)
29.16/18.78 c END-Prog: Sun Aug 12 17:39:44 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 (12970 MiB free)
memory of node 1: 16384 MiB (11215 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305465-1534088366/watcher-4305465-1534088366 -o /tmp/evaluation-result-4305465-1534088366/solver-4305465-1534088366 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16636 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305465-1534088366.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
solver pid=23359, runsolver pid=23356
Current StackSize limit: 8192 KiB
[startup+0.100173 s]*
/proc/loadavg: 2.05 2.03 2.05 4/222 23376
/proc/meminfo: memFree=24707652/32770624 swapFree=67108860/67108860
[pid=23359] ppid=23356 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23359/stat : 23359 (scop.sh) S 23356 23359 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226399741 115843072 349 33554432000 4194304 5098028 140729416443408 140729416440664 140314979406460 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10772480 140729416451136 140729416451335 140729416451335 140729416454093 0
/proc/23359/statm: 28282 349 296 221 0 87 0
[pid=23362] ppid=23359 vsize=15012476 memory=70772 CPUtime=0.11 cores=0,2,4,6
/proc/23362/stat : 23362 (java) S 23359 23359 16605 0 -1 1077944320 6298 0 0 0 9 2 0 0 20 0 15 0 226399741 15372775424 17627 33554432000 4194304 4196468 140734076101376 140734076083920 139689398972151 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
/proc/23362/statm: 3753119 17627 2766 1 0 3715579 0
[pid=23362/tid=23363] ppid=23359 vsize=15012476 memory=-6222985969016291267 CPUtime=0.09 cores=0,2,4,6
/proc/23362/task/23363/stat : 23363 (java) R 23359 23359 16605 0 -1 4202560 4404 0 0 0 8 1 0 0 20 0 15 0 226399741 15372775424 17693 33554432000 4194304 4196468 140734076101376 139689370784136 139689391209278 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23364] ppid=23359 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23364/stat : 23364 (java) S 23359 23359 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226399743 15372775424 17693 33554432000 4194304 4196468 140734076101376 139689403214736 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23365] ppid=23359 vsize=15012476 memory=140198699296384 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23365/stat : 23365 (java) S 23359 23359 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226399743 15372775424 17693 33554432000 4194304 4196468 140734076101376 139689194298128 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23366] ppid=23359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23366/stat : 23366 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226399743 15372775424 17693 33554432000 4194304 4196468 140734076101376 139689193245840 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23367] ppid=23359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23367/stat : 23367 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226399743 15372775424 17693 33554432000 4194304 4196468 140734076101376 139689192193040 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23368] ppid=23359 vsize=15012476 memory=140198699296384 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23368/stat : 23368 (java) S 23359 23359 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226399744 15372775424 17693 33554432000 4194304 4196468 140734076101376 139688459675760 139689398983298 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23369] ppid=23359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23369/stat : 23369 (java) S 23359 23359 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226399745 15372775424 17759 33554432000 4194304 4196468 140734076101376 139687838606112 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23370] ppid=23359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23370/stat : 23370 (java) S 23359 23359 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226399745 15372775424 17759 33554432000 4194304 4196468 140734076101376 139687704384624 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23371] ppid=23359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23371/stat : 23371 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226399748 15372775424 17759 33554432000 4194304 4196468 140734076101376 139687329880144 139689398990747 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23372] ppid=23359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23372/stat : 23372 (java) S 23359 23359 16605 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 226399748 15372775424 17759 33554432000 4194304 4196468 140734076101376 139688458623600 139689398983298 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23373] ppid=23359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23373/stat : 23373 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226399748 15372775424 17759 33554432000 4194304 4196468 140734076101376 139688457570800 139689398983298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23374] ppid=23359 vsize=15012476 memory=140198699296384 CPUtime=0.01 cores=0,2,4,6
/proc/23362/task/23374/stat : 23374 (java) S 23359 23359 16605 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 15 0 226399748 15372775424 17759 33554432000 4194304 4196468 140734076101376 139688456518512 139689398983298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23375] ppid=23359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23375/stat : 23375 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226399748 15372775424 17759 33554432000 4194304 4196468 140734076101376 139686831975392 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23376] ppid=23359 vsize=15012476 memory=140198699296384 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23376/stat : 23376 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226399748 15372775424 17759 33554432000 4194304 4196468 140734076101376 139688455465392 139689398983298 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72168 KiB
[startup+0.210655 s]*
/proc/loadavg: 2.05 2.03 2.05 3/222 23376
/proc/meminfo: memFree=24693452/32770624 swapFree=67108860/67108860
[pid=23359] ppid=23356 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23359/stat : 23359 (scop.sh) S 23356 23359 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226399741 115843072 349 33554432000 4194304 5098028 140729416443408 140729416440664 140314979406460 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10772480 140729416451136 140729416451335 140729416451335 140729416454093 0
/proc/23359/statm: 28282 349 296 221 0 87 0
[pid=23362] ppid=23359 vsize=15012476 memory=83548 CPUtime=0.26 cores=0,2,4,6
/proc/23362/stat : 23362 (java) S 23359 23359 16605 0 -1 1077944320 9785 0 0 0 23 3 0 0 20 0 15 0 226399741 15372775424 20887 33554432000 4194304 4196468 140734076101376 140734076083920 139689398972151 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
/proc/23362/statm: 3753119 20887 2899 1 0 3715579 0
[pid=23362/tid=23363] ppid=23359 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/23362/task/23363/stat : 23363 (java) R 23359 23359 16605 0 -1 4202560 7667 0 0 0 18 2 0 0 20 0 15 0 226399741 15372775424 20887 33554432000 4194304 4196468 140734076101376 139689370785024 139689398984086 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23364] ppid=23359 vsize=15012476 memory=539 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23364/stat : 23364 (java) S 23359 23359 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226399743 15372775424 20887 33554432000 4194304 4196468 140734076101376 139689403214736 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23365] ppid=23359 vsize=15012476 memory=140198699315867 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23365/stat : 23365 (java) S 23359 23359 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226399743 15372775424 20887 33554432000 4194304 4196468 140734076101376 139689194298128 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23366] ppid=23359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23366/stat : 23366 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226399743 15372775424 20887 33554432000 4194304 4196468 140734076101376 139689193245840 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23367] ppid=23359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23367/stat : 23367 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226399743 15372775424 20887 33554432000 4194304 4196468 140734076101376 139689192193040 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23368] ppid=23359 vsize=15012476 memory=140198699296384 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23368/stat : 23368 (java) S 23359 23359 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226399744 15372775424 20887 33554432000 4194304 4196468 140734076101376 139688459675760 139689398983298 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23369] ppid=23359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23369/stat : 23369 (java) S 23359 23359 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226399745 15372775424 20887 33554432000 4194304 4196468 140734076101376 139687838606112 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23370] ppid=23359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23370/stat : 23370 (java) S 23359 23359 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226399745 15372775424 20887 33554432000 4194304 4196468 140734076101376 139687704384624 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23371] ppid=23359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23371/stat : 23371 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226399748 15372775424 20887 33554432000 4194304 4196468 140734076101376 139687329880144 139689398990747 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23372] ppid=23359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23372/stat : 23372 (java) R 23359 23359 16605 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 226399748 15372775424 20887 33554432000 4194304 4196468 140734076101376 139688458623696 139689398982357 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23373] ppid=23359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23373/stat : 23373 (java) R 23359 23359 16605 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 15 0 226399748 15372775424 20887 33554432000 4194304 4196468 140734076101376 139688457562448 139689378120840 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23374] ppid=23359 vsize=15012476 memory=140198699296384 CPUtime=0.03 cores=0,2,4,6
/proc/23362/task/23374/stat : 23374 (java) R 23359 23359 16605 0 -1 4202560 295 0 0 0 3 0 0 0 20 0 15 0 226399748 15372775424 20887 33554432000 4194304 4196468 140734076101376 139688456518512 139689398984086 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23375] ppid=23359 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23375/stat : 23375 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226399748 15372775424 20887 33554432000 4194304 4196468 140734076101376 139686831975392 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23376] ppid=23359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23376/stat : 23376 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226399748 15372775424 20887 33554432000 4194304 4196468 140734076101376 139688455465392 139689398983298 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 84944 KiB
[startup+0.310654 s]*
/proc/loadavg: 2.04 2.03 2.05 3/222 23376
/proc/meminfo: memFree=24690104/32770624 swapFree=67108860/67108860
[pid=23359] ppid=23356 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23359/stat : 23359 (scop.sh) S 23356 23359 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226399741 115843072 349 33554432000 4194304 5098028 140729416443408 140729416440664 140314979406460 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10772480 140729416451136 140729416451335 140729416451335 140729416454093 0
/proc/23359/statm: 28282 349 296 221 0 87 0
[pid=23362] ppid=23359 vsize=15012476 memory=87620 CPUtime=0.43 cores=0,2,4,6
/proc/23362/stat : 23362 (java) S 23359 23359 16605 0 -1 1077944320 10410 0 0 0 40 3 0 0 20 0 15 0 226399741 15372775424 21905 33554432000 4194304 4196468 140734076101376 140734076083920 139689398972151 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
/proc/23362/statm: 3753119 21905 2985 1 0 3715579 0
[pid=23362/tid=23363] ppid=23359 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/23362/task/23363/stat : 23363 (java) R 23359 23359 16605 0 -1 4202560 8104 0 0 0 27 2 0 0 20 0 15 0 226399741 15372775424 21905 33554432000 4194304 4196468 140734076101376 139689370767152 139689379247938 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23364] ppid=23359 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23364/stat : 23364 (java) S 23359 23359 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226399743 15372775424 21905 33554432000 4194304 4196468 140734076101376 139689403214736 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23365] ppid=23359 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23365/stat : 23365 (java) S 23359 23359 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226399743 15372775424 21905 33554432000 4194304 4196468 140734076101376 139689194298128 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23366] ppid=23359 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23366/stat : 23366 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226399743 15372775424 21905 33554432000 4194304 4196468 140734076101376 139689193245840 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23367] ppid=23359 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23367/stat : 23367 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226399743 15372775424 21905 33554432000 4194304 4196468 140734076101376 139689192193040 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23368] ppid=23359 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23368/stat : 23368 (java) S 23359 23359 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226399744 15372775424 21905 33554432000 4194304 4196468 140734076101376 139688459675760 139689398983298 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23369] ppid=23359 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23369/stat : 23369 (java) S 23359 23359 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226399745 15372775424 21905 33554432000 4194304 4196468 140734076101376 139687838606112 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23370] ppid=23359 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23370/stat : 23370 (java) S 23359 23359 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226399745 15372775424 21905 33554432000 4194304 4196468 140734076101376 139687704384624 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23371] ppid=23359 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23371/stat : 23371 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226399748 15372775424 21905 33554432000 4194304 4196468 140734076101376 139687329880144 139689398990747 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23372] ppid=23359 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23362/task/23372/stat : 23372 (java) R 23359 23359 16605 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 15 0 226399748 15372775424 21905 33554432000 4194304 4196468 140734076101376 139688458623600 139689384098499 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23373] ppid=23359 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23362/task/23373/stat : 23373 (java) R 23359 23359 16605 0 -1 1077944384 263 0 0 0 3 0 0 0 20 0 15 0 226399748 15372775424 21905 33554432000 4194304 4196468 140734076101376 139688457570800 139689398983298 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23374] ppid=23359 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23362/task/23374/stat : 23374 (java) R 23359 23359 16605 0 -1 4202560 340 0 0 0 7 0 0 0 20 0 15 0 226399748 15372775424 21905 33554432000 4194304 4196468 140734076101376 139688456518512 139689377932928 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23375] ppid=23359 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23375/stat : 23375 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226399748 15372775424 21905 33554432000 4194304 4196468 140734076101376 139686831975392 139689398982357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23376] ppid=23359 vsize=15012476 memory=4121417289171017777 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23376/stat : 23376 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226399748 15372775424 21905 33554432000 4194304 4196468 140734076101376 139688455465392 139689398983298 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89016 KiB
[startup+0.700844 s]
/proc/loadavg: 2.04 2.03 2.05 3/222 23376
/proc/meminfo: memFree=24665836/32770624 swapFree=67108860/67108860
[pid=23359] ppid=23356 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23359/stat : 23359 (scop.sh) S 23356 23359 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226399741 115843072 349 33554432000 4194304 5098028 140729416443408 140729416440664 140314979406460 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10772480 140729416451136 140729416451335 140729416451335 140729416454093 0
/proc/23359/statm: 28282 349 296 221 0 87 0
[pid=23362] ppid=23359 vsize=15020872 memory=127976 CPUtime=1.03 cores=0,2,4,6
/proc/23362/stat : 23362 (java) S 23359 23359 16605 0 -1 1077944320 17556 0 0 0 98 5 0 0 20 0 15 0 226399741 15381372928 31994 33554432000 4194304 4196468 140734076101376 140734076083920 139689398972151 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
/proc/23362/statm: 3755218 31994 3167 1 0 3716603 0
[pid=23362/tid=23363] ppid=23359 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/23362/task/23363/stat : 23363 (java) R 23359 23359 16605 0 -1 4202560 14738 0 0 0 63 4 0 0 20 0 15 0 226399741 15381372928 31994 33554432000 4194304 4196468 140734076101376 139689370808240 139689383052638 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23364] ppid=23359 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23364/stat : 23364 (java) S 23359 23359 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226399743 15381372928 31994 33554432000 4194304 4196468 140734076101376 139689403214736 139689398982357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23365] ppid=23359 vsize=15020872 memory=61596 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23365/stat : 23365 (java) S 23359 23359 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226399743 15381372928 31994 33554432000 4194304 4196468 140734076101376 139689194298128 139689398982357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23366] ppid=23359 vsize=15020872 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23366/stat : 23366 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226399743 15381372928 31994 33554432000 4194304 4196468 140734076101376 139689193245840 139689398982357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23367] ppid=23359 vsize=15020872 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23367/stat : 23367 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226399743 15381372928 31994 33554432000 4194304 4196468 140734076101376 139689192193040 139689398982357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23368] ppid=23359 vsize=15020872 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23368/stat : 23368 (java) S 23359 23359 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226399744 15381372928 31994 33554432000 4194304 4196468 140734076101376 139688459675760 139689398983298 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23369] ppid=23359 vsize=15020872 memory=11192 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23369/stat : 23369 (java) S 23359 23359 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 226399745 15381372928 31994 33554432000 4194304 4196468 140734076101376 139687838606112 139689398982357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23370] ppid=23359 vsize=15020872 memory=752 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23370/stat : 23370 (java) S 23359 23359 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226399745 15381372928 31994 33554432000 4194304 4196468 140734076101376 139687704384624 139689398982357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23371] ppid=23359 vsize=15020872 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23371/stat : 23371 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226399748 15381372928 31994 33554432000 4194304 4196468 140734076101376 139687329880144 139689398990747 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23372] ppid=23359 vsize=15020872 memory=1120 CPUtime=0.09 cores=0,2,4,6
/proc/23362/task/23372/stat : 23372 (java) S 23359 23359 16605 0 -1 1077944384 604 0 0 0 9 0 0 0 20 0 15 0 226399748 15381372928 31994 33554432000 4194304 4196468 140734076101376 139688458623600 139689398983298 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23373] ppid=23359 vsize=15020872 memory=6120 CPUtime=0.07 cores=0,2,4,6
/proc/23362/task/23373/stat : 23373 (java) S 23359 23359 16605 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 15 0 226399748 15381372928 31994 33554432000 4194304 4196468 140734076101376 139688457570800 139689398983298 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23374] ppid=23359 vsize=15020872 memory=1724 CPUtime=0.18 cores=0,2,4,6
/proc/23362/task/23374/stat : 23374 (java) S 23359 23359 16605 0 -1 1077944384 526 0 0 0 18 0 0 0 20 0 15 0 226399748 15381372928 31994 33554432000 4194304 4196468 140734076101376 139688456518512 139689398983298 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23375] ppid=23359 vsize=15020872 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23375/stat : 23375 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226399748 15381372928 31994 33554432000 4194304 4196468 140734076101376 139686831975392 139689398982357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
[pid=23362/tid=23376] ppid=23359 vsize=15020872 memory=3516 CPUtime=0 cores=0,2,4,6
/proc/23362/task/23376/stat : 23376 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226399748 15381372928 31994 33554432000 4194304 4196468 140734076101376 139688455465392 139689398983298 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140734076105734 140734076106033 140734076106033 140734076108751 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129372 KiB
[startup+1.50073 s]
/proc/loadavg: 2.04 2.03 2.05 6/222 23376
/proc/meminfo: memFree=24605588/32770624 swapFree=67108860/67108860
[pid=23359] ppid=23356 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/23359/stat : 23359 (scop.sh) S 23356 23359 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 226399741 115843072 349 33554432000 4194304 5098028 140729416443408 140729416440664 140314979406460 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10772480 140729416451136 140729416451335 140729416451335 140729416454093 0
/proc/23359/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 28.06 s
Current children cumulated vsize: 8214000 KiB
Current children cumulated memory: 133684 KiB
[startup+18.4009 s]
/proc/loadavg: 2.32 2.09 2.07 4/227 23397
/proc/meminfo: memFree=24646048/32770624 swapFree=67108860/67108860
[pid=23359] ppid=23356 vsize=113128 memory=1472 CPUtime=15.44 cores=0,2,4,6
/proc/23359/stat : 23359 (scop.sh) S 23356 23359 16605 0 -1 4202496 591 34095 0 0 0 0 1511 33 20 0 1 0 226399741 115843072 368 33554432000 4194304 5098028 140729416443408 140729416440152 140314979406460 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10772480 140729416451136 140729416451335 140729416451335 140729416454093 0
/proc/23359/statm: 28282 368 311 221 0 87 0
[pid=23377] ppid=23359 vsize=8068220 memory=116636 CPUtime=1.14 cores=0,2,4,6
/proc/23377/stat : 23377 (java) S 23359 23359 16605 0 -1 1077944320 17956 0 0 0 109 5 0 0 20 0 19 0 226400278 8261857280 29159 33554432000 4194304 4196468 140735645907088 140735645889632 139967431118583 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
/proc/23377/statm: 2017055 29159 3142 1 0 1978454 0
[pid=23392] ppid=23377 vsize=32652 memory=15576 CPUtime=12.28 cores=0,2,4,6
/proc/23392/stat : 23392 (minisat_release) R 23377 23359 16605 0 -1 4202496 8724 0 0 0 1228 0 0 0 20 0 1 0 226400351 33435648 3894 33554432000 4194304 4308513 140726382341728 140726382338728 4275609 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 24121344 140726382347380 140726382347478 140726382347478 140726382350277 0
/proc/23392/statm: 8163 3894 335 28 0 4403 0
[pid=23377/tid=23378] ppid=23359 vsize=8068220 memory=15576 CPUtime=0.74 cores=0,2,4,6
/proc/23377/task/23378/stat : 23378 (java) S 23359 23359 16605 0 -1 1077944384 15012 0 0 0 71 3 0 0 20 0 19 0 226400278 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967402958736 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23379] ppid=23359 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23379/stat : 23379 (java) S 23359 23359 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226400279 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967435361296 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23380] ppid=23359 vsize=8068220 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23380/stat : 23380 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400279 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967235529872 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23381] ppid=23359 vsize=8068220 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23381/stat : 23381 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400279 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967234476816 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23382] ppid=23359 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23382/stat : 23382 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400279 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967233424272 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23383] ppid=23359 vsize=8068220 memory=116636 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23383/stat : 23383 (java) S 23359 23359 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226400281 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966675937520 139967431129730 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23384] ppid=23359 vsize=8068220 memory=15576 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23384/stat : 23384 (java) S 23359 23359 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226400281 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966340392096 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23385] ppid=23359 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23385/stat : 23385 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400281 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966071956208 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23386] ppid=23359 vsize=8068220 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23386/stat : 23386 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226400284 8261857280 29159 33554432000 4194304 4196468 140735645907088 139965697447888 139967431137179 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23387] ppid=23359 vsize=8068220 memory=6656426216303648864 CPUtime=0.1 cores=0,2,4,6
/proc/23377/task/23387/stat : 23387 (java) S 23359 23359 16605 0 -1 1077944384 778 0 0 0 10 0 0 0 20 0 19 0 226400285 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966674885360 139967431129730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23388] ppid=23359 vsize=8068220 memory=6944656592455097440 CPUtime=0.06 cores=0,2,4,6
/proc/23377/task/23388/stat : 23388 (java) S 23359 23359 16605 0 -1 1077944384 179 0 0 0 6 0 0 0 20 0 19 0 226400285 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966673832816 139967431129730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23389] ppid=23359 vsize=8068220 memory=74 CPUtime=0.19 cores=0,2,4,6
/proc/23377/task/23389/stat : 23389 (java) S 23359 23359 16605 0 -1 1077944384 572 0 0 0 19 0 0 0 20 0 19 0 226400285 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966672779760 139967431129730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23390] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23390/stat : 23390 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226400285 8261857280 29159 33554432000 4194304 4196468 140735645907088 139965199543136 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23391] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23391/stat : 23391 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400286 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966671727152 139967431129730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23393] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23393/stat : 23393 (java) S 23359 23359 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226400352 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966877574464 139967431143193 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23395] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23395/stat : 23395 (java) S 23359 23359 16605 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 226400353 8261857280 29159 33554432000 4194304 4196468 140735645907088 139964662656400 139967431140509 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23396] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23396/stat : 23396 (java) S 23359 23359 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226400353 8261857280 29159 33554432000 4194304 4196468 140735645907088 139964796878864 139967431140509 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23397] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23397/stat : 23397 (java) S 23359 23359 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 226400355 8261857280 29159 33554432000 4194304 4196468 140735645907088 139964394233632 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
Current children cumulated CPU time: 28.86 s
Current children cumulated vsize: 8214000 KiB
Current children cumulated memory: 133684 KiB
[startup+18.6009 s]
/proc/loadavg: 2.32 2.09 2.07 4/227 23397
/proc/meminfo: memFree=24646048/32770624 swapFree=67108860/67108860
[pid=23359] ppid=23356 vsize=113128 memory=1472 CPUtime=15.44 cores=0,2,4,6
/proc/23359/stat : 23359 (scop.sh) S 23356 23359 16605 0 -1 4202496 591 34095 0 0 0 0 1511 33 20 0 1 0 226399741 115843072 368 33554432000 4194304 5098028 140729416443408 140729416440152 140314979406460 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10772480 140729416451136 140729416451335 140729416451335 140729416454093 0
/proc/23359/statm: 28282 368 311 221 0 87 0
[pid=23377] ppid=23359 vsize=8068220 memory=116636 CPUtime=1.14 cores=0,2,4,6
/proc/23377/stat : 23377 (java) S 23359 23359 16605 0 -1 1077944320 17956 0 0 0 109 5 0 0 20 0 19 0 226400278 8261857280 29159 33554432000 4194304 4196468 140735645907088 140735645889632 139967431118583 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
/proc/23377/statm: 2017055 29159 3142 1 0 1978454 0
[pid=23392] ppid=23377 vsize=32652 memory=15576 CPUtime=12.48 cores=0,2,4,6
/proc/23392/stat : 23392 (minisat_release) R 23377 23359 16605 0 -1 4202496 8724 0 0 0 1248 0 0 0 20 0 1 0 226400351 33435648 3894 33554432000 4194304 4308513 140726382341728 140726382338728 4264576 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 24121344 140726382347380 140726382347478 140726382347478 140726382350277 0
/proc/23392/statm: 8163 3894 335 28 0 4403 0
[pid=23377/tid=23378] ppid=23359 vsize=8068220 memory=6 CPUtime=0.74 cores=0,2,4,6
/proc/23377/task/23378/stat : 23378 (java) S 23359 23359 16605 0 -1 1077944384 15012 0 0 0 71 3 0 0 20 0 19 0 226400278 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967402958736 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23379] ppid=23359 vsize=8068220 memory=19 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23379/stat : 23379 (java) S 23359 23359 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226400279 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967435361296 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23380] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23380/stat : 23380 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400279 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967235529872 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23381] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23381/stat : 23381 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400279 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967234476816 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23382] ppid=23359 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23382/stat : 23382 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400279 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967233424272 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23383] ppid=23359 vsize=8068220 memory=116636 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23383/stat : 23383 (java) S 23359 23359 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226400281 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966675937520 139967431129730 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23384] ppid=23359 vsize=8068220 memory=15576 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23384/stat : 23384 (java) S 23359 23359 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226400281 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966340392096 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23385] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23385/stat : 23385 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400281 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966071956208 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23386] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23386/stat : 23386 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226400284 8261857280 29159 33554432000 4194304 4196468 140735645907088 139965697447888 139967431137179 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23387] ppid=23359 vsize=8068220 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/23377/task/23387/stat : 23387 (java) S 23359 23359 16605 0 -1 1077944384 778 0 0 0 10 0 0 0 20 0 19 0 226400285 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966674885360 139967431129730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23388] ppid=23359 vsize=8068220 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/23377/task/23388/stat : 23388 (java) S 23359 23359 16605 0 -1 1077944384 179 0 0 0 6 0 0 0 20 0 19 0 226400285 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966673832816 139967431129730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23389] ppid=23359 vsize=8068220 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/23377/task/23389/stat : 23389 (java) S 23359 23359 16605 0 -1 1077944384 572 0 0 0 19 0 0 0 20 0 19 0 226400285 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966672779760 139967431129730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23390] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23390/stat : 23390 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226400285 8261857280 29159 33554432000 4194304 4196468 140735645907088 139965199543136 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23391] ppid=23359 vsize=8068220 memory=140198537610640 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23391/stat : 23391 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400286 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966671727152 139967431129730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23393] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23393/stat : 23393 (java) S 23359 23359 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226400352 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966877574464 139967431143193 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23395] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23395/stat : 23395 (java) S 23359 23359 16605 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 226400353 8261857280 29159 33554432000 4194304 4196468 140735645907088 139964662656400 139967431140509 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23396] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23396/stat : 23396 (java) S 23359 23359 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226400353 8261857280 29159 33554432000 4194304 4196468 140735645907088 139964796878864 139967431140509 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23397] ppid=23359 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23397/stat : 23397 (java) S 23359 23359 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 226400355 8261857280 29159 33554432000 4194304 4196468 140735645907088 139964394233632 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
Current children cumulated CPU time: 29.06 s
Current children cumulated vsize: 8214000 KiB
Current children cumulated memory: 133684 KiB
[startup+18.7009 s]
/proc/loadavg: 2.32 2.09 2.07 4/227 23397
/proc/meminfo: memFree=24646048/32770624 swapFree=67108860/67108860
[pid=23359] ppid=23356 vsize=113128 memory=1472 CPUtime=15.44 cores=0,2,4,6
/proc/23359/stat : 23359 (scop.sh) S 23356 23359 16605 0 -1 4202496 591 34095 0 0 0 0 1511 33 20 0 1 0 226399741 115843072 368 33554432000 4194304 5098028 140729416443408 140729416440152 140314979406460 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10772480 140729416451136 140729416451335 140729416451335 140729416454093 0
/proc/23359/statm: 28282 368 311 221 0 87 0
[pid=23377] ppid=23359 vsize=8068220 memory=116636 CPUtime=1.14 cores=0,2,4,6
/proc/23377/stat : 23377 (java) S 23359 23359 16605 0 -1 1077944320 17956 0 0 0 109 5 0 0 20 0 19 0 226400278 8261857280 29159 33554432000 4194304 4196468 140735645907088 140735645889632 139967431118583 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
/proc/23377/statm: 2017055 29159 3142 1 0 1978454 0
[pid=23392] ppid=23377 vsize=32652 memory=15576 CPUtime=12.58 cores=0,2,4,6
/proc/23392/stat : 23392 (minisat_release) R 23377 23359 16605 0 -1 4202496 8724 0 0 0 1258 0 0 0 20 0 1 0 226400351 33435648 3894 33554432000 4194304 4308513 140726382341728 140726382338728 4276436 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 24121344 140726382347380 140726382347478 140726382347478 140726382350277 0
/proc/23392/statm: 8163 3894 335 28 0 4403 0
[pid=23377/tid=23378] ppid=23359 vsize=8068220 memory=15576 CPUtime=0.74 cores=0,2,4,6
/proc/23377/task/23378/stat : 23378 (java) S 23359 23359 16605 0 -1 1077944384 15012 0 0 0 71 3 0 0 20 0 19 0 226400278 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967402958736 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23379] ppid=23359 vsize=8068220 memory=15576 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23379/stat : 23379 (java) S 23359 23359 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 226400279 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967435361296 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23380] ppid=23359 vsize=8068220 memory=61596 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23380/stat : 23380 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400279 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967235529872 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23381] ppid=23359 vsize=8068220 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23381/stat : 23381 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400279 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967234476816 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23382] ppid=23359 vsize=8068220 memory=61596 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23382/stat : 23382 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400279 8261857280 29159 33554432000 4194304 4196468 140735645907088 139967233424272 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23383] ppid=23359 vsize=8068220 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23383/stat : 23383 (java) S 23359 23359 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 226400281 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966675937520 139967431129730 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23384] ppid=23359 vsize=8068220 memory=2072 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23384/stat : 23384 (java) S 23359 23359 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 226400281 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966340392096 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23385] ppid=23359 vsize=8068220 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23385/stat : 23385 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400281 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966071956208 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23386] ppid=23359 vsize=8068220 memory=116636 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23386/stat : 23386 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226400284 8261857280 29159 33554432000 4194304 4196468 140735645907088 139965697447888 139967431137179 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23387] ppid=23359 vsize=8068220 memory=1472 CPUtime=0.1 cores=0,2,4,6
/proc/23377/task/23387/stat : 23387 (java) S 23359 23359 16605 0 -1 1077944384 778 0 0 0 10 0 0 0 20 0 19 0 226400285 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966674885360 139967431129730 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23388] ppid=23359 vsize=8068220 memory=116636 CPUtime=0.06 cores=0,2,4,6
/proc/23377/task/23388/stat : 23388 (java) S 23359 23359 16605 0 -1 1077944384 179 0 0 0 6 0 0 0 20 0 19 0 226400285 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966673832816 139967431129730 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23389] ppid=23359 vsize=8068220 memory=15128 CPUtime=0.19 cores=0,2,4,6
/proc/23377/task/23389/stat : 23389 (java) S 23359 23359 16605 0 -1 1077944384 572 0 0 0 19 0 0 0 20 0 19 0 226400285 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966672779760 139967431129730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23390] ppid=23359 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23390/stat : 23390 (java) S 23359 23359 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 226400285 8261857280 29159 33554432000 4194304 4196468 140735645907088 139965199543136 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23391] ppid=23359 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23391/stat : 23391 (java) S 23359 23359 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 226400286 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966671727152 139967431129730 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23393] ppid=23359 vsize=8068220 memory=116636 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23393/stat : 23393 (java) S 23359 23359 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 226400352 8261857280 29159 33554432000 4194304 4196468 140735645907088 139966877574464 139967431143193 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23395] ppid=23359 vsize=8068220 memory=15576 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23395/stat : 23395 (java) S 23359 23359 16605 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 226400353 8261857280 29159 33554432000 4194304 4196468 140735645907088 139964662656400 139967431140509 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23396] ppid=23359 vsize=8068220 memory=924 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23396/stat : 23396 (java) S 23359 23359 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 226400353 8261857280 29159 33554432000 4194304 4196468 140735645907088 139964796878864 139967431140509 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
[pid=23377/tid=23397] ppid=23359 vsize=8068220 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/23377/task/23397/stat : 23397 (java) S 23359 23359 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 226400355 8261857280 29159 33554432000 4194304 4196468 140735645907088 139964394233632 139967431128789 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17301504 140735645914293 140735645914417 140735645914417 140735645917135 0
Current children cumulated CPU time: 29.16 s
Current children cumulated vsize: 8214000 KiB
Current children cumulated memory: 133684 KiB
Child status: 0
Real time (s): 18.794
CPU time (s): 29.3501
CPU user time (s): 28.9368
CPU system time (s): 0.413274
CPU usage (%): 156.167
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1597940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.9368
system time used= 0.413274
maximum resident set size= 1603164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61856
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5459
involuntary context switches= 101
# summary of solver processes directly reported to runsolver:
# pid: 23359
# total CPU time (s): 29.3501
# total CPU user time (s): 28.9368
# total CPU system time (s): 0.413274
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.115954 second user time and 0.261892 second system time
The end