0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-1398-serial-file.bin HOME/instance-4305701-1534128649.xml
0.66/0.52
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Mon Aug 13 04:50:50 CEST 2018
0.66/0.55 c PID: 1403
0.66/0.55 c IP: 172.20.3.102
0.66/0.55 c HOST: node102.alineos.net
0.66/0.56 c (0,0) Parsing Begin
2.39/1.12 c (0,0) Parsing End
2.39/1.13 c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 321 ctr, max domain size 19
2.39/1.13 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.39/1.13 c (0,0) Constraint Name Generate Begin
2.39/1.14 c (0,0) Ctr:HOME/instance-4305701-1534128649.xml,ExtensionConflict:ExtensionSupport:IntVar
2.39/1.14 c (0,0) Constraint Name Generate End
2.39/1.14 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.39/1.14 c (0,0) CSP to CSPinCNF Begin
4.74/1.98 c (1,1) translated 33 (10%) constraints
5.39/2.17 c (1,1) translated 65 (20%) constraints
5.97/2.36 c (1,1) translated 97 (30%) constraints
6.58/2.52 c (1,1) translated 129 (40%) constraints
6.90/2.70 c (2,2) translated 161 (50%) constraints
7.50/2.85 c (2,2) translated 193 (60%) constraints
7.81/2.99 c (2,2) translated 225 (70%) constraints
8.44/3.12 c (2,2) translated 257 (80%) constraints
8.72/3.25 c (2,2) translated 289 (90%) constraints
9.02/3.38 c (2,2) translated 321 (100%) constraints
10.17/3.70 c (3,3) STATISTICS1:HOME/instance-4305701-1534128649.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,
10.17/3.70 c (3,3) ==========================================
10.17/3.70 c (3,3) Both Encoding selects:
10.17/3.71 c (3,3) Order
10.17/3.71 c (3,3) ==========================================
10.53/3.81 c (3,3) translated 2595 (10%) constraints
10.53/3.89 c (3,3) translated 5189 (20%) constraints
10.83/3.98 c (3,3) translated 7783 (30%) constraints
11.15/4.06 c (3,3) translated 10377 (40%) constraints
11.45/4.13 c (3,3) translated 12971 (50%) constraints
11.72/4.20 c (3,3) translated 15566 (60%) constraints
11.72/4.27 c (3,3) translated 18160 (70%) constraints
12.08/4.33 c (3,3) translated 20754 (80%) constraints
12.08/4.38 c (3,3) translated 23348 (90%) constraints
12.42/4.45 c (3,3) translated 25942 (100%) constraints
12.42/4.45 c (3,3) CSP to CSPinCNF End
12.42/4.45 c (3,3) CSP: 40 int (0 aux), 380 bool (380 aux), 25942 ctr, max domain size 19
12.42/4.45 c (3,3) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
12.42/4.45 c (3,3) CSPinCNF Propagation Begin
13.36/4.70 c (4,4) 0 values, 2745 unsatisfiable literals, and 0 valid clauses are removed
13.36/4.70 c (4,4) CSPinCNF Propagation End
13.36/4.70 c (4,4) CSP: 40 int (0 aux), 380 bool (380 aux), 25942 ctr, max domain size 19
13.36/4.70 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.36/4.70 c (4,4) Simplify CSPinCNF Begin
13.36/4.79 c (4,4) Simplify CSPinCNF End
13.36/4.79 c (4,4) CSP: 40 int (0 aux), 380 bool (380 aux), 25942 ctr, max domain size 19
13.36/4.79 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.36/4.79 c (4,4) Calculate Precise Domain Begin
13.36/4.79 c (4,4) 0 values are removed by re-calculation
13.36/4.79 c (4,4) Calculate Precise Domain End
13.36/4.79 c (4,4) CSP: 40 int (0 aux), 380 bool (380 aux), 25942 ctr, max domain size 19
13.36/4.79 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.36/4.79 c (4,4) CSPinCNF to SatSolver Begin
13.99/4.92 c (4,4) 2595 (10 %) CSP clauses are encoded (1100 SAT variables, 3274 SAT clauses)
13.99/4.98 c (4,4) 5189 (20 %) CSP clauses are encoded (1100 SAT variables, 5868 SAT clauses)
14.32/5.03 c (4,4) 7783 (30 %) CSP clauses are encoded (1100 SAT variables, 8462 SAT clauses)
14.32/5.07 c (4,4) 10377 (40 %) CSP clauses are encoded (1100 SAT variables, 11056 SAT clauses)
14.32/5.10 c (4,4) 12971 (50 %) CSP clauses are encoded (1100 SAT variables, 13650 SAT clauses)
14.63/5.13 c (4,4) 15566 (60 %) CSP clauses are encoded (1100 SAT variables, 16245 SAT clauses)
14.63/5.15 c (4,4) 18160 (70 %) CSP clauses are encoded (1100 SAT variables, 18839 SAT clauses)
14.63/5.17 c (4,4) 20754 (80 %) CSP clauses are encoded (1100 SAT variables, 21433 SAT clauses)
14.63/5.19 c (4,4) 23348 (90 %) CSP clauses are encoded (1100 SAT variables, 24027 SAT clauses)
14.90/5.21 c (4,4) 25942 (100 %) CSP clauses are encoded (1100 SAT variables, 26621 SAT clauses)
14.90/5.21 c (4,4) Launch Command will be: minisat_release
14.90/5.21 c (4,4) CSPinCNF to SatSolver End
14.90/5.21 c (4,4) Heap : 1351 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
15.22/5.37 c (4,4) STATISTICS2:HOME/instance-4305701-1534128649.xml,ExtensionConflict:ExtensionSupport:IntVar,420,25942,-1,19,19,1,,19:89404;2:4423,19:20;4:16800;3:8003;2:1119,1:93827,
15.22/5.37 c (4,4) 1100 bool, 26622 clause
15.22/5.37 c (4,4) Export Begin
15.54/5.45 c (4,4) Export to HOME/scop-1398-serial-file.bin
15.54/5.45 c (4,4) Export End
15.54/5.46 c (4,4) Export File Size: 0.01 MB
15.54/5.46 c (4,4) 0,0,3,4,4,4,4,STOP-AFTER(DIMACS)
15.54/5.46 c END-Prog: Mon Aug 13 04:50:55 CEST 2018
15.54/5.47 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-1398-serial-file.bin
15.71/5.97 c (0,0) Read Serial File Begin
15.71/5.97 c (0,0) HOME/scop-1398-serial-file.bin
16.57/6.13 c (0,0) Read Serial File End
16.57/6.15
16.57/6.15 scop order+minisat_release (2018-07-31)
16.57/6.15 (Solving Process)
16.57/6.15
16.57/6.17 c BEGIN-Prog: Mon Aug 13 04:50:55 CEST 2018
16.57/6.17 c PID: 1432
16.57/6.17 c IP: 172.20.3.102
16.57/6.17 c HOST: node102.alineos.net
16.57/6.17 c (0,0) SatSolver.solve Begin
16.57/6.17 c (0,0) 0 bool, 0 clause
16.57/6.17 c (0,0) minisat_release HOME/instance-4305701-1534128649.xml-scop-1403.cnf
29.33/18.77 c (12,0) c This is COMiniSatPS.
29.33/18.77 c (12,0) c WARNING: for repeatability, setting FPU to use double precision
29.33/18.77 c (12,0) c ============================[ Problem Statistics ]=============================
29.33/18.77 c (12,0) c | |
29.33/18.77 c (12,0) c | Number of variables: 1100 |
29.33/18.77 c (12,0) c | Number of clauses: 26622 |
29.33/18.77 c (12,0) c | Parse time: 0.01 s |
29.33/18.77 c (12,0) c | Eliminated clauses: 0.00 Mb |
29.33/18.77 c (12,0) c Reduced to 1092 vars, 26610 cls (grow=0)
29.33/18.77 c (12,0) c No iterative elimination performed. (vars=1092, c/v ratio=24.4)
29.33/18.77 c (12,0) c | Simplification time: 0.03 s |
29.33/18.77 c (12,0) c | |
29.33/18.77 c (12,0) c ============================[ Search Statistics ]==============================
29.33/18.77 c (12,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
29.33/18.77 c (12,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
29.33/18.77 c (12,0) c ===============================================================================
29.33/18.77 c (12,0) c ===============================================================================
29.33/18.77 c (12,0) c restarts : 504
29.33/18.77 c (12,0) c conflicts : 189761 (15105 /sec)
29.33/18.77 c (12,0) c decisions : 242467 (0.00 % random) (19300 /sec)
29.33/18.77 c (12,0) c propagations : 28513795 (2269665 /sec)
29.33/18.77 c (12,0) c conflict literals : 2747881 (47.69 % deleted)
29.33/18.77 c (12,0) c CPU time : 12.563 s
29.33/18.77 c (12,0)
29.33/18.77 c (12,0) s SATISFIABLE
29.33/18.78 c (12,0) SatSolver.solve End
29.33/18.78 c (12,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
29.33/18.78 c (12,0) Show results Begin
29.45/18.83 s SATISFIABLE
29.45/18.84 v <instantiation>
29.45/18.84 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.45/18.84 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.45/18.84 v </instantiation>
29.45/18.84 c (12,0) Show results End
29.45/18.84 c (12,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
29.45/18.84 c (12,0) 12,12,STOP-AFTER(ALL)
29.45/18.84 c END-Prog: Mon Aug 13 04:51:08 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 (14496 MiB free)
memory of node 1: 16384 MiB (13739 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305701-1534128649/watcher-4305701-1534128649 -o /tmp/evaluation-result-4305701-1534128649/solver-4305701-1534128649 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534128649-1366 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305701-1534128649.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=1398, runsolver pid=1391
[startup+0.100092 s]*
/proc/loadavg: 0.75 1.22 1.35 4/219 1431
/proc/meminfo: memFree=28793620/32770624 swapFree=67030660/67108860
[pid=1398] ppid=1391 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1398/stat : 1398 (scop.sh) S 1391 1398 25256 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230428077 115843072 349 33554432000 4194304 5098028 140734519814816 140734519812072 140656106791548 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30171136 140734519821377 140734519821575 140734519821575 140734519824333 0
/proc/1398/statm: 28282 349 296 221 0 87 0
[pid=1403] ppid=1398 vsize=15012476 memory=71516 CPUtime=0.11 cores=0,2,4,6
/proc/1403/stat : 1403 (java) S 1398 1398 25256 0 -1 1077944320 6072 0 0 0 9 2 0 0 20 0 15 0 230428077 15372775424 17879 33554432000 4194304 4196468 140737190095376 140737190077920 139912134303479 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
/proc/1403/statm: 3753119 17879 2738 1 0 3715579 0
[pid=1403/tid=1405] ppid=1398 vsize=15012476 memory=576460756329985062 CPUtime=0.09 cores=0,2,4,6
/proc/1403/task/1405/stat : 1405 (java) R 1398 1398 25256 0 -1 4202560 4188 0 0 0 8 1 0 0 20 0 15 0 230428078 15372775424 18010 33554432000 4194304 4196468 140737190095376 139912106080560 139912115867048 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1410] ppid=1398 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1410/stat : 1410 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 18010 33554432000 4194304 4196468 140737190095376 139912138545936 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1411] ppid=1398 vsize=15012476 memory=1209356 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1411/stat : 1411 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 18010 33554432000 4194304 4196468 140737190095376 139911929629584 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1412] ppid=1398 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1412/stat : 1412 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 18010 33554432000 4194304 4196468 140737190095376 139911928577040 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1413] ppid=1398 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1413/stat : 1413 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 18010 33554432000 4194304 4196468 140737190095376 139911927524496 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1415] ppid=1398 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1415/stat : 1415 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 18010 33554432000 4194304 4196468 140737190095376 139911473760240 139912134314626 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1417] ppid=1398 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1417/stat : 1417 (java) S 1398 1398 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 18010 33554432000 4194304 4196468 140737190095376 139910740698016 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1419] ppid=1398 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1419/stat : 1419 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 18010 33554432000 4194304 4196468 140737190095376 139910505817072 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1422] ppid=1398 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1422/stat : 1422 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 18010 33554432000 4194304 4196468 140737190095376 139910131308752 139912134322075 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1424] ppid=1398 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1424/stat : 1424 (java) S 1398 1398 25256 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 18010 33554432000 4194304 4196468 140737190095376 139911472708080 139912134314626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1426] ppid=1398 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1426/stat : 1426 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 18010 33554432000 4194304 4196468 140737190095376 139911471655536 139912134314626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1427] ppid=1398 vsize=15012476 memory=139631712016000 CPUtime=0.01 cores=0,2,4,6
/proc/1403/task/1427/stat : 1427 (java) S 1398 1398 25256 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 15 0 230428084 15372775424 18010 33554432000 4194304 4196468 140737190095376 139911470602992 139912134314626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1429] ppid=1398 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1429/stat : 1429 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 18010 33554432000 4194304 4196468 140737190095376 139909633404000 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1431] ppid=1398 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1431/stat : 1431 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 18010 33554432000 4194304 4196468 140737190095376 139911469549872 139912134314626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72912 KiB
[startup+0.210546 s]*
/proc/loadavg: 0.75 1.22 1.35 5/219 1431
/proc/meminfo: memFree=28766072/32770624 swapFree=67030660/67108860
[pid=1398] ppid=1391 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1398/stat : 1398 (scop.sh) S 1391 1398 25256 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230428077 115843072 349 33554432000 4194304 5098028 140734519814816 140734519812072 140656106791548 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30171136 140734519821377 140734519821575 140734519821575 140734519824333 0
/proc/1398/statm: 28282 349 296 221 0 87 0
[pid=1403] ppid=1398 vsize=15012476 memory=85348 CPUtime=0.24 cores=0,2,4,6
/proc/1403/stat : 1403 (java) S 1398 1398 25256 0 -1 1077944320 9744 0 0 0 22 2 0 0 20 0 15 0 230428077 15372775424 21337 33554432000 4194304 4196468 140737190095376 140737190077920 139912134303479 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
/proc/1403/statm: 3753119 21337 2900 1 0 3715579 0
[pid=1403/tid=1405] ppid=1398 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/1403/task/1405/stat : 1405 (java) R 1398 1398 25256 0 -1 4202560 7631 0 0 0 18 2 0 0 20 0 15 0 230428078 15372775424 21337 33554432000 4194304 4196468 140737190095376 139912106129872 139912134315414 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1410] ppid=1398 vsize=15012476 memory=4294976244 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1410/stat : 1410 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 21337 33554432000 4194304 4196468 140737190095376 139912138545936 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1411] ppid=1398 vsize=15012476 memory=3474724164468479648 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1411/stat : 1411 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 21337 33554432000 4194304 4196468 140737190095376 139911929629584 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1412] ppid=1398 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1412/stat : 1412 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 21337 33554432000 4194304 4196468 140737190095376 139911928577040 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1413] ppid=1398 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1413/stat : 1413 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 21337 33554432000 4194304 4196468 140737190095376 139911927524496 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1415] ppid=1398 vsize=15012476 memory=139631712016000 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1415/stat : 1415 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 21337 33554432000 4194304 4196468 140737190095376 139911473760240 139912134314626 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1417] ppid=1398 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1417/stat : 1417 (java) S 1398 1398 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 21337 33554432000 4194304 4196468 140737190095376 139910740698016 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1419] ppid=1398 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1419/stat : 1419 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 21337 33554432000 4194304 4196468 140737190095376 139910505817072 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1422] ppid=1398 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1422/stat : 1422 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 21337 33554432000 4194304 4196468 140737190095376 139910131308752 139912134322075 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1424] ppid=1398 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1403/task/1424/stat : 1424 (java) S 1398 1398 25256 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 15 0 230428084 15372775424 21337 33554432000 4194304 4196468 140737190095376 139911472708080 139912134314626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1426] ppid=1398 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1426/stat : 1426 (java) S 1398 1398 25256 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 21337 33554432000 4194304 4196468 140737190095376 139911471655536 139912134314626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1427] ppid=1398 vsize=15012476 memory=139631712016000 CPUtime=0.03 cores=0,2,4,6
/proc/1403/task/1427/stat : 1427 (java) S 1398 1398 25256 0 -1 1077944384 314 0 0 0 3 0 0 0 20 0 15 0 230428084 15372775424 21337 33554432000 4194304 4196468 140737190095376 139911470602992 139912134314626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1429] ppid=1398 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1429/stat : 1429 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 21337 33554432000 4194304 4196468 140737190095376 139909633404000 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1431] ppid=1398 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1431/stat : 1431 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 21337 33554432000 4194304 4196468 140737190095376 139911469549872 139912134314626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86744 KiB
[startup+0.310532 s]*
/proc/loadavg: 0.75 1.22 1.35 4/219 1431
/proc/meminfo: memFree=28758164/32770624 swapFree=67030660/67108860
[pid=1398] ppid=1391 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1398/stat : 1398 (scop.sh) S 1391 1398 25256 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230428077 115843072 349 33554432000 4194304 5098028 140734519814816 140734519812072 140656106791548 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30171136 140734519821377 140734519821575 140734519821575 140734519824333 0
/proc/1398/statm: 28282 349 296 221 0 87 0
[pid=1403] ppid=1398 vsize=15012476 memory=89820 CPUtime=0.41 cores=0,2,4,6
/proc/1403/stat : 1403 (java) S 1398 1398 25256 0 -1 1077944320 10359 0 0 0 39 2 0 0 20 0 15 0 230428077 15372775424 22455 33554432000 4194304 4196468 140737190095376 140737190077920 139912134303479 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
/proc/1403/statm: 3753119 22455 3021 1 0 3715579 0
[pid=1403/tid=1405] ppid=1398 vsize=15012476 memory=1398720917958146503 CPUtime=0.29 cores=0,2,4,6
/proc/1403/task/1405/stat : 1405 (java) R 1398 1398 25256 0 -1 4202560 8066 0 0 0 27 2 0 0 20 0 15 0 230428078 15372775424 22455 33554432000 4194304 4196468 140737190095376 139912106098928 139912118383966 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1410] ppid=1398 vsize=15012476 memory=11904 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1410/stat : 1410 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 22455 33554432000 4194304 4196468 140737190095376 139912138545936 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1411] ppid=1398 vsize=15012476 memory=492 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1411/stat : 1411 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 22455 33554432000 4194304 4196468 140737190095376 139911929629584 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1412] ppid=1398 vsize=15012476 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1412/stat : 1412 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 22455 33554432000 4194304 4196468 140737190095376 139911928577040 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1413] ppid=1398 vsize=15012476 memory=932 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1413/stat : 1413 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15372775424 22455 33554432000 4194304 4196468 140737190095376 139911927524496 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1415] ppid=1398 vsize=15012476 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1415/stat : 1415 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 22455 33554432000 4194304 4196468 140737190095376 139911473760240 139912134314626 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1417] ppid=1398 vsize=15012476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1417/stat : 1417 (java) S 1398 1398 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 22455 33554432000 4194304 4196468 140737190095376 139910740698016 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1419] ppid=1398 vsize=15012476 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1419/stat : 1419 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428081 15372775424 22455 33554432000 4194304 4196468 140737190095376 139910505817072 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1422] ppid=1398 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1422/stat : 1422 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 22455 33554432000 4194304 4196468 140737190095376 139910131308752 139912134322075 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1424] ppid=1398 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1403/task/1424/stat : 1424 (java) S 1398 1398 25256 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 230428084 15372775424 22455 33554432000 4194304 4196468 140737190095376 139911472708080 139912134314626 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1426] ppid=1398 vsize=15012476 memory=35809 CPUtime=0.02 cores=0,2,4,6
/proc/1403/task/1426/stat : 1426 (java) S 1398 1398 25256 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 15 0 230428084 15372775424 22455 33554432000 4194304 4196468 140737190095376 139911471655536 139912134314626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1427] ppid=1398 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1403/task/1427/stat : 1427 (java) S 1398 1398 25256 0 -1 1077944384 352 0 0 0 7 0 0 0 20 0 15 0 230428084 15372775424 22455 33554432000 4194304 4196468 140737190095376 139911470602992 139912134314626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1429] ppid=1398 vsize=15012476 memory=-1598831813028945288 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1429/stat : 1429 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 22455 33554432000 4194304 4196468 140737190095376 139909633404000 139912134313685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1431] ppid=1398 vsize=15012476 memory=9023629670928638048 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1431/stat : 1431 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428084 15372775424 22455 33554432000 4194304 4196468 140737190095376 139911469549872 139912134314626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91216 KiB
[startup+0.707469 s]
/proc/loadavg: 0.75 1.22 1.35 4/219 1431
/proc/meminfo: memFree=28708548/32770624 swapFree=67030660/67108860
[pid=1398] ppid=1391 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1398/stat : 1398 (scop.sh) S 1391 1398 25256 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230428077 115843072 349 33554432000 4194304 5098028 140734519814816 140734519812072 140656106791548 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30171136 140734519821377 140734519821575 140734519821575 140734519824333 0
/proc/1398/statm: 28282 349 296 221 0 87 0
[pid=1403] ppid=1398 vsize=15020872 memory=129904 CPUtime=1.04 cores=0,2,4,6
/proc/1403/stat : 1403 (java) S 1398 1398 25256 0 -1 1077944320 17569 0 0 0 99 5 0 0 20 0 15 0 230428077 15381372928 32476 33554432000 4194304 4196468 140737190095376 140737190077920 139912134303479 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
/proc/1403/statm: 3755218 32476 3144 1 0 3716603 0
[pid=1403/tid=1405] ppid=1398 vsize=15020872 memory=4571055222326267254 CPUtime=0.67 cores=0,2,4,6
/proc/1403/task/1405/stat : 1405 (java) R 1398 1398 25256 0 -1 4202560 14681 0 0 0 63 4 0 0 20 0 15 0 230428078 15381372928 32476 33554432000 4194304 4196468 140737190095376 139912106135376 139912126981493 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1410] ppid=1398 vsize=15020872 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1410/stat : 1410 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15381372928 32476 33554432000 4194304 4196468 140737190095376 139912138545936 139912134313685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1411] ppid=1398 vsize=15020872 memory=7302420023548596560 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1411/stat : 1411 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15381372928 32476 33554432000 4194304 4196468 140737190095376 139911929629584 139912134313685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1412] ppid=1398 vsize=15020872 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1412/stat : 1412 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428079 15381372928 32476 33554432000 4194304 4196468 140737190095376 139911928577040 139912134313685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1413] ppid=1398 vsize=15020872 memory=1684 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1413/stat : 1413 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230428079 15381372928 32476 33554432000 4194304 4196468 140737190095376 139911927524496 139912134313685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1415] ppid=1398 vsize=15020872 memory=768 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1415/stat : 1415 (java) S 1398 1398 25256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 230428081 15381372928 32476 33554432000 4194304 4196468 140737190095376 139911473760240 139912134314626 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1417] ppid=1398 vsize=15020872 memory=5268 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1417/stat : 1417 (java) S 1398 1398 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230428081 15381372928 32476 33554432000 4194304 4196468 140737190095376 139910740698016 139912134313685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1419] ppid=1398 vsize=15020872 memory=11068 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1419/stat : 1419 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428081 15381372928 32476 33554432000 4194304 4196468 140737190095376 139910505817072 139912134313685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1422] ppid=1398 vsize=15020872 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1422/stat : 1422 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15381372928 32476 33554432000 4194304 4196468 140737190095376 139910131308752 139912134322075 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1424] ppid=1398 vsize=15020872 memory=1520 CPUtime=0.09 cores=0,2,4,6
/proc/1403/task/1424/stat : 1424 (java) S 1398 1398 25256 0 -1 1077944384 609 0 0 0 9 0 0 0 20 0 15 0 230428084 15381372928 32476 33554432000 4194304 4196468 140737190095376 139911472708080 139912134314626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1426] ppid=1398 vsize=15020872 memory=2680 CPUtime=0.07 cores=0,2,4,6
/proc/1403/task/1426/stat : 1426 (java) S 1398 1398 25256 0 -1 1077944384 419 0 0 0 7 0 0 0 20 0 15 0 230428084 15381372928 32476 33554432000 4194304 4196468 140737190095376 139911471655536 139912134314626 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1427] ppid=1398 vsize=15020872 memory=3160 CPUtime=0.17 cores=0,2,4,6
/proc/1403/task/1427/stat : 1427 (java) R 1398 1398 25256 0 -1 4202560 523 0 0 0 17 0 0 0 20 0 15 0 230428084 15381372928 32476 33554432000 4194304 4196468 140737190095376 139911470599928 139912113221984 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1429] ppid=1398 vsize=15020872 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1429/stat : 1429 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230428084 15381372928 32476 33554432000 4194304 4196468 140737190095376 139909633404000 139912134313685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
[pid=1403/tid=1431] ppid=1398 vsize=15020872 memory=752 CPUtime=0 cores=0,2,4,6
/proc/1403/task/1431/stat : 1431 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230428084 15381372928 32476 33554432000 4194304 4196468 140737190095376 139911469549872 139912134314626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25739264 140737190097928 140737190098225 140737190098225 140737190100943 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131300 KiB
[startup+1.50303 s]
/proc/loadavg: 0.75 1.22 1.35 9/219 1431
/proc/meminfo: memFree=28553532/32770624 swapFree=67030660/67108860
[pid=1398] ppid=1391 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/1398/stat : 1398 (scop.sh) S 1391 1398 25256 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230428077 115843072 349 33554432000 4194304 5098028 140734519814816 140734519812072 140656106791548 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30171136 140734519821377 140734519821575 140734519821575 140734519824333 0
/proc/1398/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/1432/task/1448/stat : 1448 (java) S 1398 1398 25256 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230428698 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312293467328 140312859090713 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1450] ppid=1398 vsize=8068220 memory=14136632274060754 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1450/stat : 1450 (java) S 1398 1398 25256 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230428698 8261857280 28691 33554432000 4194304 4196468 140734666214880 140310139088144 140312859088029 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1451] ppid=1398 vsize=8068220 memory=9122745479247552727 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1451/stat : 1451 (java) S 1398 1398 25256 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230428698 8261857280 28691 33554432000 4194304 4196468 140734666214880 140310273310864 140312859088029 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1452] ppid=1398 vsize=8068220 memory=9122745479247552727 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1452/stat : 1452 (java) S 1398 1398 25256 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230428700 8261857280 28691 33554432000 4194304 4196468 140734666214880 140309870665376 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
Current children cumulated CPU time: 26.64 s
Current children cumulated vsize: 8214004 KiB
Current children cumulated memory: 131292 KiB
[startup+17.6009 s]
/proc/loadavg: 1.30 1.32 1.38 5/229 1473
/proc/meminfo: memFree=28665888/32770624 swapFree=67030660/67108860
[pid=1398] ppid=1391 vsize=113128 memory=1472 CPUtime=15.71 cores=0,2,4,6
/proc/1398/stat : 1398 (scop.sh) S 1391 1398 25256 0 -1 4202496 591 36586 0 0 0 0 1538 33 20 0 1 0 230428077 115843072 368 33554432000 4194304 5098028 140734519814816 140734519811560 140656106791548 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30171136 140734519821377 140734519821575 140734519821575 140734519824333 0
/proc/1398/statm: 28282 368 311 221 0 87 0
[pid=1432] ppid=1398 vsize=8068220 memory=114764 CPUtime=1.13 cores=0,2,4,6
/proc/1432/stat : 1432 (java) S 1398 1398 25256 0 -1 1077944320 18454 0 0 0 107 6 0 0 20 0 19 0 230428625 8261857280 28691 33554432000 4194304 4196468 140734666214880 140734666197424 140312859066103 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
/proc/1432/statm: 2017055 28691 3150 1 0 1978454 0
[pid=1447] ppid=1432 vsize=32656 memory=15696 CPUtime=11.39 cores=0,2,4,6
/proc/1447/stat : 1447 (minisat_release) R 1432 1398 25256 0 -1 4202496 8494 0 1 0 1139 0 0 0 20 0 1 0 230428697 33439744 3924 33554432000 4194304 4308513 140731150432016 140731150429016 4250466 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 22253568 140731150439541 140731150439638 140731150439638 140731150442437 0
/proc/1447/statm: 8164 3924 336 28 0 4404 0
[pid=1432/tid=1433] ppid=1398 vsize=8068220 memory=-5059952977386882957 CPUtime=0.75 cores=0,2,4,6
/proc/1432/task/1433/stat : 1433 (java) S 1398 1398 25256 0 -1 1077944384 15540 0 0 0 70 5 0 0 20 0 19 0 230428625 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312830906256 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1434] ppid=1398 vsize=8068220 memory=606860549689472565 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1434/stat : 1434 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428626 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312863308944 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1435] ppid=1398 vsize=8068220 memory=288284472154279653 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1435/stat : 1435 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230428626 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312343825424 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1436] ppid=1398 vsize=8068220 memory=1279751 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1436/stat : 1436 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428626 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312342772624 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1437] ppid=1398 vsize=8068220 memory=-7161732098441943118 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1437/stat : 1437 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230428626 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312341719824 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1438] ppid=1398 vsize=8068220 memory=-7161732098441943229 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1438/stat : 1438 (java) S 1398 1398 25256 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 230428628 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312305486192 140312859077250 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1439] ppid=1398 vsize=8068220 memory=-5587106306044206369 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1439/stat : 1439 (java) S 1398 1398 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230428628 8261857280 28691 33554432000 4194304 4196468 140734666214880 140311682606112 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1440] ppid=1398 vsize=8068220 memory=-5587106306044206369 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1440/stat : 1440 (java) S 1398 1398 25256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230428629 8261857280 28691 33554432000 4194304 4196468 140734666214880 140311548384112 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1441] ppid=1398 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1441/stat : 1441 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230428631 8261857280 28691 33554432000 4194304 4196468 140734666214880 140311173879632 140312859084699 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1442] ppid=1398 vsize=8068220 memory=114764 CPUtime=0.08 cores=0,2,4,6
/proc/1432/task/1442/stat : 1442 (java) S 1398 1398 25256 0 -1 1077944384 535 0 0 0 8 0 0 0 20 0 19 0 230428631 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312304434032 140312859077250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1443] ppid=1398 vsize=8068220 memory=15056 CPUtime=0.08 cores=0,2,4,6
/proc/1432/task/1443/stat : 1443 (java) S 1398 1398 25256 0 -1 1077944384 410 0 0 0 8 0 0 0 20 0 19 0 230428631 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312303381232 140312859077250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1444] ppid=1398 vsize=8068220 memory=1472 CPUtime=0.19 cores=0,2,4,6
/proc/1432/task/1444/stat : 1444 (java) S 1398 1398 25256 0 -1 1077944384 533 0 0 0 19 0 0 0 20 0 19 0 230428631 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312302328432 140312859077250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1445] ppid=1398 vsize=8068220 memory=114764 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1445/stat : 1445 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230428631 8261857280 28691 33554432000 4194304 4196468 140734666214880 140310675974880 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1446] ppid=1398 vsize=8068220 memory=15056 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1446/stat : 1446 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230428631 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312301275824 140312859077250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1448] ppid=1398 vsize=8068220 memory=-7966001967374371424 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1448/stat : 1448 (java) S 1398 1398 25256 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230428698 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312293467328 140312859090713 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1450] ppid=1398 vsize=8068220 memory=279263203532128 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1450/stat : 1450 (java) S 1398 1398 25256 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230428698 8261857280 28691 33554432000 4194304 4196468 140734666214880 140310139088144 140312859088029 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1451] ppid=1398 vsize=8068220 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1451/stat : 1451 (java) S 1398 1398 25256 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230428698 8261857280 28691 33554432000 4194304 4196468 140734666214880 140310273310864 140312859088029 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1452] ppid=1398 vsize=8068220 memory=2720 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1452/stat : 1452 (java) S 1398 1398 25256 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230428700 8261857280 28691 33554432000 4194304 4196468 140734666214880 140309870665376 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
Current children cumulated CPU time: 28.23 s
Current children cumulated vsize: 8214004 KiB
Current children cumulated memory: 131932 KiB
[startup+18.4009 s]
/proc/loadavg: 1.30 1.32 1.38 4/229 1473
/proc/meminfo: memFree=28665888/32770624 swapFree=67030660/67108860
[pid=1398] ppid=1391 vsize=113128 memory=1472 CPUtime=15.71 cores=0,2,4,6
/proc/1398/stat : 1398 (scop.sh) S 1391 1398 25256 0 -1 4202496 591 36586 0 0 0 0 1538 33 20 0 1 0 230428077 115843072 368 33554432000 4194304 5098028 140734519814816 140734519811560 140656106791548 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30171136 140734519821377 140734519821575 140734519821575 140734519824333 0
/proc/1398/statm: 28282 368 311 221 0 87 0
[pid=1432] ppid=1398 vsize=8068220 memory=114764 CPUtime=1.13 cores=0,2,4,6
/proc/1432/stat : 1432 (java) S 1398 1398 25256 0 -1 1077944320 18454 0 0 0 107 6 0 0 20 0 19 0 230428625 8261857280 28691 33554432000 4194304 4196468 140734666214880 140734666197424 140312859066103 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
/proc/1432/statm: 2017055 28691 3150 1 0 1978454 0
[pid=1447] ppid=1432 vsize=32656 memory=15696 CPUtime=12.19 cores=0,2,4,6
/proc/1447/stat : 1447 (minisat_release) R 1432 1398 25256 0 -1 4202496 8502 0 1 0 1219 0 0 0 20 0 1 0 230428697 33439744 3924 33554432000 4194304 4308513 140731150432016 140731150429016 4275579 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 22253568 140731150439541 140731150439638 140731150439638 140731150442437 0
/proc/1447/statm: 8164 3924 336 28 0 4404 0
[pid=1432/tid=1433] ppid=1398 vsize=8068220 memory=114764 CPUtime=0.75 cores=0,2,4,6
/proc/1432/task/1433/stat : 1433 (java) S 1398 1398 25256 0 -1 1077944384 15540 0 0 0 70 5 0 0 20 0 19 0 230428625 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312830906256 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1434] ppid=1398 vsize=8068220 memory=13768 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1434/stat : 1434 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428626 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312863308944 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1435] ppid=1398 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1435/stat : 1435 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230428626 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312343825424 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1436] ppid=1398 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1436/stat : 1436 (java) S 1398 1398 25256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230428626 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312342772624 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1437] ppid=1398 vsize=8068220 memory=5268 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1437/stat : 1437 (java) S 1398 1398 25256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230428626 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312341719824 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1438] ppid=1398 vsize=8068220 memory=11068 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1438/stat : 1438 (java) S 1398 1398 25256 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 230428628 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312305486192 140312859077250 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1439] ppid=1398 vsize=8068220 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1439/stat : 1439 (java) S 1398 1398 25256 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230428628 8261857280 28691 33554432000 4194304 4196468 140734666214880 140311682606112 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1440] ppid=1398 vsize=8068220 memory=1520 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1440/stat : 1440 (java) S 1398 1398 25256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230428629 8261857280 28691 33554432000 4194304 4196468 140734666214880 140311548384112 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1441] ppid=1398 vsize=8068220 memory=2680 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1441/stat : 1441 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230428631 8261857280 28691 33554432000 4194304 4196468 140734666214880 140311173879632 140312859084699 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1442] ppid=1398 vsize=8068220 memory=3160 CPUtime=0.08 cores=0,2,4,6
/proc/1432/task/1442/stat : 1442 (java) S 1398 1398 25256 0 -1 1077944384 535 0 0 0 8 0 0 0 20 0 19 0 230428631 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312304434032 140312859077250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1443] ppid=1398 vsize=8068220 memory=2120 CPUtime=0.08 cores=0,2,4,6
/proc/1432/task/1443/stat : 1443 (java) S 1398 1398 25256 0 -1 1077944384 410 0 0 0 8 0 0 0 20 0 19 0 230428631 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312303381232 140312859077250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1444] ppid=1398 vsize=8068220 memory=752 CPUtime=0.19 cores=0,2,4,6
/proc/1432/task/1444/stat : 1444 (java) S 1398 1398 25256 0 -1 1077944384 533 0 0 0 19 0 0 0 20 0 19 0 230428631 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312302328432 140312859077250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1445] ppid=1398 vsize=8068220 memory=972 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1445/stat : 1445 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230428631 8261857280 28691 33554432000 4194304 4196468 140734666214880 140310675974880 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1446] ppid=1398 vsize=8068220 memory=13888 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1446/stat : 1446 (java) S 1398 1398 25256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230428631 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312301275824 140312859077250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1448] ppid=1398 vsize=8068220 memory=2228 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1448/stat : 1448 (java) S 1398 1398 25256 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230428698 8261857280 28691 33554432000 4194304 4196468 140734666214880 140312293467328 140312859090713 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1450] ppid=1398 vsize=8068220 memory=31024 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1450/stat : 1450 (java) S 1398 1398 25256 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230428698 8261857280 28691 33554432000 4194304 4196468 140734666214880 140310139088144 140312859088029 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1451] ppid=1398 vsize=8068220 memory=11904 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1451/stat : 1451 (java) S 1398 1398 25256 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 230428698 8261857280 28691 33554432000 4194304 4196468 140734666214880 140310273310864 140312859088029 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1452] ppid=1398 vsize=8068220 memory=492 CPUtime=0 cores=0,2,4,6
/proc/1432/task/1452/stat : 1452 (java) S 1398 1398 25256 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 230428700 8261857280 28691 33554432000 4194304 4196468 140734666214880 140309870665376 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
Current children cumulated CPU time: 29.03 s
Current children cumulated vsize: 8214004 KiB
Current children cumulated memory: 131932 KiB
[startup+18.8009 s]
/proc/loadavg: 1.30 1.32 1.38 4/229 1473
/proc/meminfo: memFree=28665888/32770624 swapFree=67030660/67108860
[pid=1398] ppid=1391 vsize=113128 memory=1472 CPUtime=15.71 cores=0,2,4,6
/proc/1398/stat : 1398 (scop.sh) S 1391 1398 25256 0 -1 4202496 591 36586 0 0 0 0 1538 33 20 0 1 0 230428077 115843072 368 33554432000 4194304 5098028 140734519814816 140734519811560 140656106791548 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30171136 140734519821377 140734519821575 140734519821575 140734519824333 0
/proc/1398/statm: 28282 368 311 221 0 87 0
[pid=1432] ppid=1398 vsize=7937144 memory=117412 CPUtime=13.74 cores=0,2,4,6
/proc/1432/stat : 1432 (java) S 1398 1398 25256 0 -1 1077944320 18666 8543 0 1 112 6 1256 0 20 0 17 0 230428625 8127635456 29353 33554432000 4194304 4196468 140734666214880 140734666197424 140312859066103 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
/proc/1432/statm: 1984286 29353 3152 1 0 1945685 0
[pid=1432/tid=1433] ppid=1398 vsize=7937144 memory=0 CPUtime=13.32 cores=0,2,4,6
/proc/1432/task/1433/stat : 1433 (java) R 1398 1398 25256 0 -1 4202560 15616 8543 0 1 71 5 1256 0 20 0 17 0 230428625 8127635456 29353 33554432000 4194304 4196468 140734666214880 140312830900576 140312843146590 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1434] ppid=1398 vsize=7937144 memory=0 CPUtime=12.56 cores=0,2,4,6
/proc/1432/task/1434/stat : 1434 (java) S 1398 1398 25256 0 -1 1077944384 1 8543 0 1 0 0 1256 0 20 0 17 0 230428626 8127635456 29353 33554432000 4194304 4196468 140734666214880 140312863308944 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1435] ppid=1398 vsize=7937144 memory=0 CPUtime=12.56 cores=0,2,4,6
/proc/1432/task/1435/stat : 1435 (java) S 1398 1398 25256 0 -1 1077944384 2 8543 0 1 0 0 1256 0 20 0 17 0 230428626 8127635456 29353 33554432000 4194304 4196468 140734666214880 140312343825424 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1436] ppid=1398 vsize=7937144 memory=55 CPUtime=12.56 cores=0,2,4,6
/proc/1432/task/1436/stat : 1436 (java) S 1398 1398 25256 0 -1 1077944384 1 8543 0 1 0 0 1256 0 20 0 17 0 230428626 8127635456 29353 33554432000 4194304 4196468 140734666214880 140312342772624 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1437] ppid=1398 vsize=7937144 memory=9202 CPUtime=12.56 cores=0,2,4,6
/proc/1432/task/1437/stat : 1437 (java) S 1398 1398 25256 0 -1 1077944384 2 8543 0 1 0 0 1256 0 20 0 17 0 230428626 8127635456 29353 33554432000 4194304 4196468 140734666214880 140312341719824 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1438] ppid=1398 vsize=7937144 memory=1248606 CPUtime=12.56 cores=0,2,4,6
/proc/1432/task/1438/stat : 1438 (java) S 1398 1398 25256 0 -1 1077944384 7 8543 0 1 0 0 1256 0 20 0 17 0 230428628 8127635456 29353 33554432000 4194304 4196468 140734666214880 140312305486192 140312859077250 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1439] ppid=1398 vsize=7937144 memory=6655300316396806240 CPUtime=12.56 cores=0,2,4,6
/proc/1432/task/1439/stat : 1439 (java) S 1398 1398 25256 0 -1 1077944384 13 8543 0 1 0 0 1256 0 20 0 17 0 230428628 8127635456 29353 33554432000 4194304 4196468 140734666214880 140311682606112 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1440] ppid=1398 vsize=7937144 memory=-6950297297252786219 CPUtime=12.56 cores=0,2,4,6
/proc/1432/task/1440/stat : 1440 (java) S 1398 1398 25256 0 -1 1077944384 21 8543 0 1 0 0 1256 0 20 0 17 0 230428629 8127635456 29353 33554432000 4194304 4196468 140734666214880 140311548384112 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1441] ppid=1398 vsize=7937144 memory=7084820204343148643 CPUtime=12.56 cores=0,2,4,6
/proc/1432/task/1441/stat : 1441 (java) S 1398 1398 25256 0 -1 1077944384 3 8543 0 1 0 0 1256 0 20 0 17 0 230428631 8127635456 29353 33554432000 4194304 4196468 140734666214880 140311173879632 140312859084699 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1442] ppid=1398 vsize=7937144 memory=-6439989594416510148 CPUtime=12.65 cores=0,2,4,6
/proc/1432/task/1442/stat : 1442 (java) S 1398 1398 25256 0 -1 1077944384 540 8543 0 1 9 0 1256 0 20 0 17 0 230428631 8127635456 29353 33554432000 4194304 4196468 140734666214880 140312304434032 140312859077250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1443] ppid=1398 vsize=7937144 memory=-7737605721172012177 CPUtime=12.64 cores=0,2,4,6
/proc/1432/task/1443/stat : 1443 (java) S 1398 1398 25256 0 -1 1077944384 410 8543 0 1 8 0 1256 0 20 0 17 0 230428631 8127635456 29353 33554432000 4194304 4196468 140734666214880 140312303381232 140312859077250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1444] ppid=1398 vsize=7937144 memory=4427149984484128298 CPUtime=12.76 cores=0,2,4,6
/proc/1432/task/1444/stat : 1444 (java) S 1398 1398 25256 0 -1 1077944384 612 8543 0 1 20 0 1256 0 20 0 17 0 230428631 8127635456 29353 33554432000 4194304 4196468 140734666214880 140312302328432 140312859077250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1445] ppid=1398 vsize=7937144 memory=4627829655977429107 CPUtime=12.56 cores=0,2,4,6
/proc/1432/task/1445/stat : 1445 (java) S 1398 1398 25256 0 -1 1077944384 3 8543 0 1 0 0 1256 0 20 0 17 0 230428631 8127635456 29353 33554432000 4194304 4196468 140734666214880 140310675974880 140312859076309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1446] ppid=1398 vsize=7937144 memory=8514701219881254558 CPUtime=12.56 cores=0,2,4,6
/proc/1432/task/1446/stat : 1446 (java) S 1398 1398 25256 0 -1 1077944384 3 8543 0 1 0 0 1256 0 20 0 17 0 230428631 8127635456 29353 33554432000 4194304 4196468 140734666214880 140312301275824 140312859077250 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1448] ppid=1398 vsize=7937144 memory=7377246124687064083 CPUtime=12.56 cores=0,2,4,6
/proc/1432/task/1448/stat : 1448 (java) S 1398 1398 25256 0 -1 1077944384 23 8543 0 1 0 0 1256 0 20 0 17 0 230428698 8127635456 29353 33554432000 4194304 4196468 140734666214880 140312293466512 140312859077250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
[pid=1432/tid=1452] ppid=1398 vsize=7937144 memory=0 CPUtime=12.56 cores=0,2,4,6
/proc/1432/task/1452/stat : 1452 (java) S 1398 1398 25256 0 -1 1077944384 9 8543 0 1 0 0 1256 0 20 0 17 0 230428700 8127635456 29353 33554432000 4194304 4196468 140734666214880 140309870667184 140312859077250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140734666216630 140734666216753 140734666216753 140734666219471 0
Current children cumulated CPU time: 29.45 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 118884 KiB
Child status: 0
Real time (s): 18.8537
CPU time (s): 29.5742
CPU user time (s): 29.1501
CPU system time (s): 0.424063
CPU usage (%): 156.861
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1582128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.1501
system time used= 0.424063
maximum resident set size= 1588348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64601
page faults= 1
swaps= 0
block input operations= 2112
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5470
involuntary context switches= 228
# summary of solver processes directly reported to runsolver:
# pid: 1398
# total CPU time (s): 29.5742
# total CPU user time (s): 29.1501
# total CPU system time (s): 0.424063
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.186206 second user time and 0.193142 second system time
The end