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-24265-serial-file.bin HOME/instance-4305666-1534065644.xml
0.55/0.51
0.67/0.52 scop both+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 11:20:45 CEST 2018
0.67/0.54 c PID: 24268
0.67/0.54 c IP: 172.20.3.106
0.67/0.54 c HOST: node106.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.38/0.93 c (0,0) Parsing End
1.38/0.93 c (0,0) CSP: 48 int (0 aux), 12 bool (0 aux), 37 ctr, max domain size 15
1.38/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.38/0.94 c (0,0) Constraint Name Generate Begin
1.38/0.94 c (0,0) Ctr:HOME/instance-4305666-1534065644.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.38/0.94 c (0,0) Constraint Name Generate End
1.38/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.38/0.94 c (0,0) CSP to CSPinCNF Begin
1.56/1.02 c (0,0) translated 4 (10%) constraints
1.56/1.02 c (0,0) translated 8 (20%) constraints
1.56/1.03 c (0,0) translated 12 (30%) constraints
1.56/1.03 c (0,0) translated 15 (40%) constraints
1.56/1.03 c (0,0) translated 19 (50%) constraints
1.56/1.04 c (0,0) translated 23 (60%) constraints
1.75/1.12 c (0,0) translated 26 (70%) constraints
1.75/1.17 c (0,0) translated 30 (80%) constraints
1.75/1.20 c (0,0) translated 34 (90%) constraints
1.98/1.23 c (0,0) translated 37 (100%) constraints
2.27/1.36 c (0,0) STATISTICS1:HOME/instance-4305666-1534065644.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,104,256,28,14,4,3,28:24;26:88;22:50;20:38;18:42;11:18;10:2;9:2;2:22;1:2,14:184;13:184;11:92;10:46;9:46;2:638;1:24,4:66;3:55;2:110;1:25,3:264;2:24;1:374;0:12,
2.27/1.36 c (0,0) ==========================================
2.27/1.36 c (0,0) Both Encoding selects:
2.27/1.36 c (0,0) Order
2.27/1.36 c (0,0) ==========================================
2.27/1.37 c (0,0) translated 26 (10%) constraints
2.27/1.37 c (0,0) translated 52 (20%) constraints
2.27/1.38 c (0,0) translated 77 (30%) constraints
2.27/1.38 c (0,0) translated 103 (40%) constraints
2.27/1.38 c (0,0) translated 128 (50%) constraints
2.27/1.39 c (0,0) translated 154 (60%) constraints
2.27/1.39 c (0,0) translated 180 (70%) constraints
2.27/1.39 c (0,0) translated 205 (80%) constraints
2.27/1.40 c (0,0) translated 231 (90%) constraints
2.55/1.40 c (0,0) translated 256 (100%) constraints
2.55/1.40 c (0,0) CSP to CSPinCNF End
2.55/1.40 c (0,0) CSP: 48 int (0 aux), 56 bool (44 aux), 256 ctr, max domain size 14
2.55/1.40 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.55/1.40 c (0,0) CSPinCNF Propagation Begin
2.55/1.46 c (0,0) 0 values, 11 unsatisfiable literals, and 3 valid clauses are removed
2.55/1.46 c (0,0) CSPinCNF Propagation End
2.55/1.46 c (0,0) CSP: 48 int (0 aux), 56 bool (44 aux), 253 ctr, max domain size 14
2.55/1.46 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.55/1.46 c (0,0) Simplify CSPinCNF Begin
2.80/1.51 c (0,0) Simplify CSPinCNF End
2.80/1.51 c (0,0) CSP: 48 int (0 aux), 320 bool (308 aux), 517 ctr, max domain size 14
2.80/1.51 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.80/1.51 c (0,0) Calculate Precise Domain Begin
2.80/1.51 c (0,0) 0 values are removed by re-calculation
2.80/1.51 c (0,0) Calculate Precise Domain End
2.80/1.51 c (0,0) CSP: 48 int (0 aux), 320 bool (308 aux), 517 ctr, max domain size 14
2.80/1.51 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.80/1.51 c (0,0) CSPinCNF to SatSolver Begin
2.80/1.54 c (1,1) 52 (10 %) CSP clauses are encoded (616 SAT variables, 301 SAT clauses)
2.80/1.55 c (1,1) 104 (20 %) CSP clauses are encoded (616 SAT variables, 353 SAT clauses)
2.80/1.55 c (1,1) 156 (30 %) CSP clauses are encoded (616 SAT variables, 405 SAT clauses)
2.80/1.56 c (1,1) 207 (40 %) CSP clauses are encoded (616 SAT variables, 653 SAT clauses)
2.80/1.59 c (1,1) 259 (50 %) CSP clauses are encoded (616 SAT variables, 1254 SAT clauses)
2.80/1.60 c (1,1) 311 (60 %) CSP clauses are encoded (616 SAT variables, 1699 SAT clauses)
3.11/1.60 c (1,1) 362 (70 %) CSP clauses are encoded (616 SAT variables, 2324 SAT clauses)
3.11/1.62 c (1,1) 414 (80 %) CSP clauses are encoded (616 SAT variables, 3125 SAT clauses)
3.11/1.63 c (1,1) 466 (90 %) CSP clauses are encoded (616 SAT variables, 3720 SAT clauses)
3.11/1.64 c (1,1) 517 (100 %) CSP clauses are encoded (616 SAT variables, 4551 SAT clauses)
3.11/1.64 c (1,1) Launch Command will be: minisat_release
3.11/1.64 c (1,1) CSPinCNF to SatSolver End
3.11/1.64 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.11/1.67 c (1,1) STATISTICS2:HOME/instance-4305666-1534065644.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,368,517,28,14,4,3,28:24;26:88;22:50;20:38;18:42;11:18;10:2;9:2;2:22,14:184;13:184;11:90;10:46;9:46;2:1166;1:22,4:66;3:44;2:385;1:22,3:264;2:22;1:902,
3.11/1.67 c (1,1) 616 bool, 4575 clause
3.11/1.67 c (1,1) Export Begin
3.41/1.76 c (1,1) Export to HOME/scop-24265-serial-file.bin
3.41/1.76 c (1,1) Export End
3.41/1.76 c (1,1) Export File Size: 0.01 MB
3.41/1.76 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.41/1.76 c END-Prog: Sun Aug 12 11:20:46 CEST 2018
3.41/1.78 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-24265-serial-file.bin
4.17/2.27 c (0,0) Read Serial File Begin
4.17/2.27 c (0,0) HOME/scop-24265-serial-file.bin
4.44/2.45 c (0,0) Read Serial File End
4.44/2.47
4.44/2.47 scop order+minisat_release (2018-07-31)
4.44/2.47 (Solving Process)
4.44/2.47
4.44/2.49 c BEGIN-Prog: Sun Aug 12 11:20:47 CEST 2018
4.44/2.49 c PID: 24283
4.44/2.49 c IP: 172.20.3.106
4.44/2.49 c HOST: node106.alineos.net
4.44/2.49 c (0,0) SatSolver.solve Begin
4.44/2.49 c (0,0) 0 bool, 0 clause
4.44/2.49 c (0,0) minisat_release HOME/instance-4305666-1534065644.xml-scop-24268.cnf
4.64/2.52 c (0,0) c This is COMiniSatPS.
4.64/2.52 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.64/2.52 c (0,0) c ============================[ Problem Statistics ]=============================
4.64/2.53 c (0,0) c | |
4.64/2.53 c (0,0) c | Number of variables: 616 |
4.64/2.53 c (0,0) c | Number of clauses: 4575 |
4.64/2.53 c (0,0) c | Parse time: 0.00 s |
4.64/2.53 c (0,0) c | Eliminated clauses: 0.00 Mb |
4.64/2.53 c (0,0) c Reduced to 437 vars, 4212 cls (grow=0)
4.64/2.53 c (0,0) c No iterative elimination performed. (vars=437, c/v ratio=9.6)
4.64/2.53 c (0,0) c | Simplification time: 0.01 s |
4.64/2.53 c (0,0) c | |
4.64/2.53 c (0,0) c ============================[ Search Statistics ]==============================
4.64/2.53 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.64/2.53 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.64/2.53 c (0,0) c ===============================================================================
4.64/2.53 c (0,0) c ===============================================================================
4.64/2.53 c (0,0) c restarts : 1
4.64/2.53 c (0,0) c conflicts : 23 (2460 /sec)
4.64/2.53 c (0,0) c decisions : 57 (0.00 % random) (6098 /sec)
4.64/2.53 c (0,0) c propagations : 749 (80124 /sec)
4.64/2.53 c (0,0) c conflict literals : 149 (11.83 % deleted)
4.64/2.53 c (0,0) c CPU time : 0.009348 s
4.64/2.53 c (0,0)
4.64/2.53 c (0,0) s UNSATISFIABLE
4.64/2.56 c (0,0) SatSolver.solve End
4.64/2.56 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.64/2.56 c (0,0) Show results Begin
4.64/2.56 s UNSATISFIABLE
4.64/2.56 c (0,0) Show results End
4.64/2.56 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.64/2.56 c (0,0) 0,0,STOP-AFTER(ALL)
4.64/2.57 c END-Prog: Sun Aug 12 11:20:47 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 (8457 MiB free)
memory of node 1: 16384 MiB (11650 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305666-1534065644/watcher-4305666-1534065644 -o /tmp/evaluation-result-4305666-1534065644/solver-4305666-1534065644 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534060601-23199 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305666-1534065644.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24265, runsolver pid=24262
Current StackSize limit: 8192 KiB
[startup+0.100712 s]*
/proc/loadavg: 2.21 2.07 2.06 3/222 24282
/proc/meminfo: memFree=20528700/32770624 swapFree=67108688/67108860
[pid=24265] ppid=24262 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/24265/stat : 24265 (scop.sh) S 24262 24265 23167 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224127280 115843072 348 33554432000 4194304 5098028 140732246006560 140732246003816 140560552530556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14761984 140732246008897 140732246009095 140732246009095 140732246011853 0
/proc/24265/statm: 28282 348 296 221 0 87 0
[pid=24268] ppid=24265 vsize=15012476 memory=72396 CPUtime=0.11 cores=1,3,5,7
/proc/24268/stat : 24268 (java) S 24265 24265 23167 0 -1 1077944320 6250 0 0 0 9 2 0 0 20 0 15 0 224127280 15372775424 18099 33554432000 4194304 4196468 140725769256720 140725769239264 139682626547447 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
/proc/24268/statm: 3753119 18099 2772 1 0 3715579 0
[pid=24268/tid=24269] ppid=24265 vsize=15012476 memory=-6078870780940435391 CPUtime=0.08 cores=1,3,5,7
/proc/24268/task/24269/stat : 24269 (java) R 24265 24265 23167 0 -1 4202560 4363 0 0 0 7 1 0 0 20 0 15 0 224127280 15372775424 18165 33554432000 4194304 4196468 140725769256720 139682598336560 139682606823261 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24270] ppid=24265 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24270/stat : 24270 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127282 15372775424 18165 33554432000 4194304 4196468 140725769256720 139682630789776 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24271] ppid=24265 vsize=15012476 memory=140325386831488 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24271/stat : 24271 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15372775424 18165 33554432000 4194304 4196468 140725769256720 139682406492688 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24272] ppid=24265 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24272/stat : 24272 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15372775424 18165 33554432000 4194304 4196468 140725769256720 139682405439888 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24273] ppid=24265 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24273/stat : 24273 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15372775424 18165 33554432000 4194304 4196468 140725769256720 139682404387088 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24274] ppid=24265 vsize=15012476 memory=140325386831488 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24274/stat : 24274 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127283 15372775424 18165 33554432000 4194304 4196468 140725769256720 139681596431216 139682626558594 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24275] ppid=24265 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24275/stat : 24275 (java) S 24265 24265 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224127284 15372775424 18231 33554432000 4194304 4196468 140725769256720 139681194829344 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24276] ppid=24265 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24276/stat : 24276 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127284 15372775424 18231 33554432000 4194304 4196468 140725769256720 139680926393712 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24277] ppid=24265 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24277/stat : 24277 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127286 15372775424 18231 33554432000 4194304 4196468 140725769256720 139680551885136 139682626566043 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24278] ppid=24265 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24278/stat : 24278 (java) S 24265 24265 23167 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 224127286 15372775424 18231 33554432000 4194304 4196468 140725769256720 139681595378032 139682626558594 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24279] ppid=24265 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24279/stat : 24279 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127286 15372775424 18231 33554432000 4194304 4196468 140725769256720 139681594325232 139682626558594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24280] ppid=24265 vsize=15012476 memory=140325386831488 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24280/stat : 24280 (java) S 24265 24265 23167 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 224127286 15372775424 18231 33554432000 4194304 4196468 140725769256720 139681593272432 139682626558594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24281] ppid=24265 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24281/stat : 24281 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127287 15372775424 18231 33554432000 4194304 4196468 140725769256720 139680053979360 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24282] ppid=24265 vsize=15012476 memory=140325386831488 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24282/stat : 24282 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127287 15372775424 18231 33554432000 4194304 4196468 140725769256720 139681592220848 139682626558594 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73788 KiB
[startup+0.210669 s]*
/proc/loadavg: 2.21 2.07 2.06 4/222 24282
/proc/meminfo: memFree=20515232/32770624 swapFree=67108688/67108860
[pid=24265] ppid=24262 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/24265/stat : 24265 (scop.sh) S 24262 24265 23167 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224127280 115843072 348 33554432000 4194304 5098028 140732246006560 140732246003816 140560552530556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14761984 140732246008897 140732246009095 140732246009095 140732246011853 0
/proc/24265/statm: 28282 348 296 221 0 87 0
[pid=24268] ppid=24265 vsize=15012476 memory=85672 CPUtime=0.25 cores=1,3,5,7
/proc/24268/stat : 24268 (java) S 24265 24265 23167 0 -1 1077944320 9762 0 0 0 22 3 0 0 20 0 15 0 224127280 15372775424 21418 33554432000 4194304 4196468 140725769256720 140725769239264 139682626547447 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
/proc/24268/statm: 3753119 21418 2873 1 0 3715579 0
[pid=24268/tid=24269] ppid=24265 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/24268/task/24269/stat : 24269 (java) R 24265 24265 23167 0 -1 4202560 7652 0 0 0 17 2 0 0 20 0 15 0 224127280 15372775424 21418 33554432000 4194304 4196468 140725769256720 139682598367360 139682626559382 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24270] ppid=24265 vsize=15012476 memory=546 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24270/stat : 24270 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127282 15372775424 21418 33554432000 4194304 4196468 140725769256720 139682630789776 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24271] ppid=24265 vsize=15012476 memory=140325388023784 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24271/stat : 24271 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15372775424 21418 33554432000 4194304 4196468 140725769256720 139682406492688 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24272] ppid=24265 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24272/stat : 24272 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15372775424 21418 33554432000 4194304 4196468 140725769256720 139682405439888 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24273] ppid=24265 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24273/stat : 24273 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15372775424 21418 33554432000 4194304 4196468 140725769256720 139682404387088 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24274] ppid=24265 vsize=15012476 memory=140325386831488 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24274/stat : 24274 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127283 15372775424 21418 33554432000 4194304 4196468 140725769256720 139681596431216 139682626558594 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24275] ppid=24265 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24275/stat : 24275 (java) S 24265 24265 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224127284 15372775424 21418 33554432000 4194304 4196468 140725769256720 139681194829344 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24276] ppid=24265 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24276/stat : 24276 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127284 15372775424 21418 33554432000 4194304 4196468 140725769256720 139680926393712 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24277] ppid=24265 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24277/stat : 24277 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127286 15372775424 21418 33554432000 4194304 4196468 140725769256720 139680551885136 139682626566043 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24278] ppid=24265 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24268/task/24278/stat : 24278 (java) S 24265 24265 23167 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 15 0 224127286 15372775424 21418 33554432000 4194304 4196468 140725769256720 139681595378032 139682626558594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24279] ppid=24265 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24279/stat : 24279 (java) S 24265 24265 23167 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 224127286 15372775424 21418 33554432000 4194304 4196468 140725769256720 139681594325232 139682626558594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24280] ppid=24265 vsize=15012476 memory=140325386831488 CPUtime=0.03 cores=1,3,5,7
/proc/24268/task/24280/stat : 24280 (java) R 24265 24265 23167 0 -1 4202560 305 0 0 0 3 0 0 0 20 0 15 0 224127286 15372775424 21418 33554432000 4194304 4196468 140725769256720 139681593272432 139682626561296 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24281] ppid=24265 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24281/stat : 24281 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127287 15372775424 21418 33554432000 4194304 4196468 140725769256720 139680053979360 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24282] ppid=24265 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24282/stat : 24282 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127287 15372775424 21418 33554432000 4194304 4196468 140725769256720 139681592220848 139682626558594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87064 KiB
[startup+0.310679 s]*
/proc/loadavg: 2.21 2.07 2.06 3/222 24282
/proc/meminfo: memFree=20511324/32770624 swapFree=67108688/67108860
[pid=24265] ppid=24262 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/24265/stat : 24265 (scop.sh) S 24262 24265 23167 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224127280 115843072 348 33554432000 4194304 5098028 140732246006560 140732246003816 140560552530556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14761984 140732246008897 140732246009095 140732246009095 140732246011853 0
/proc/24265/statm: 28282 348 296 221 0 87 0
[pid=24268] ppid=24265 vsize=15012476 memory=89872 CPUtime=0.42 cores=1,3,5,7
/proc/24268/stat : 24268 (java) S 24265 24265 23167 0 -1 1077944320 10381 0 0 0 39 3 0 0 20 0 15 0 224127280 15372775424 22468 33554432000 4194304 4196468 140725769256720 140725769239264 139682626547447 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
/proc/24268/statm: 3753119 22468 3028 1 0 3715579 0
[pid=24268/tid=24269] ppid=24265 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/24268/task/24269/stat : 24269 (java) R 24265 24265 23167 0 -1 4202560 8085 0 0 0 27 3 0 0 20 0 15 0 224127280 15372775424 22468 33554432000 4194304 4196468 140725769256720 139682598375816 139682085210169 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24270] ppid=24265 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24270/stat : 24270 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127282 15372775424 22468 33554432000 4194304 4196468 140725769256720 139682630789776 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24271] ppid=24265 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24271/stat : 24271 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15372775424 22468 33554432000 4194304 4196468 140725769256720 139682406492688 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24272] ppid=24265 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24272/stat : 24272 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15372775424 22468 33554432000 4194304 4196468 140725769256720 139682405439888 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24273] ppid=24265 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24273/stat : 24273 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15372775424 22468 33554432000 4194304 4196468 140725769256720 139682404387088 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24274] ppid=24265 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24274/stat : 24274 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127283 15372775424 22468 33554432000 4194304 4196468 140725769256720 139681596431216 139682626558594 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24275] ppid=24265 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24275/stat : 24275 (java) S 24265 24265 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224127284 15372775424 22468 33554432000 4194304 4196468 140725769256720 139681194829344 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24276] ppid=24265 vsize=15012476 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24276/stat : 24276 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127284 15372775424 22468 33554432000 4194304 4196468 140725769256720 139680926393712 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24277] ppid=24265 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24277/stat : 24277 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127286 15372775424 22468 33554432000 4194304 4196468 140725769256720 139680551885136 139682626566043 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24278] ppid=24265 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24268/task/24278/stat : 24278 (java) R 24265 24265 23167 0 -1 4202560 479 0 0 0 2 0 0 0 20 0 15 0 224127286 15372775424 22468 33554432000 4194304 4196468 140725769256720 139681595378032 139682612157728 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24279] ppid=24265 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24268/task/24279/stat : 24279 (java) R 24265 24265 23167 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 15 0 224127286 15372775424 22468 33554432000 4194304 4196468 140725769256720 139681594325232 139682626558594 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24280] ppid=24265 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24268/task/24280/stat : 24280 (java) R 24265 24265 23167 0 -1 4202560 351 0 0 0 7 0 0 0 20 0 15 0 224127286 15372775424 22468 33554432000 4194304 4196468 140725769256720 139681593272432 139682626568794 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24281] ppid=24265 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24281/stat : 24281 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127287 15372775424 22468 33554432000 4194304 4196468 140725769256720 139680053979360 139682626557653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24282] ppid=24265 vsize=15012476 memory=3689071724943450161 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24282/stat : 24282 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127287 15372775424 22468 33554432000 4194304 4196468 140725769256720 139681592220848 139682626558594 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91264 KiB
[startup+0.700734 s]
/proc/loadavg: 2.19 2.07 2.06 3/222 24282
/proc/meminfo: memFree=20486752/32770624 swapFree=67108688/67108860
[pid=24265] ppid=24262 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/24265/stat : 24265 (scop.sh) S 24262 24265 23167 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224127280 115843072 348 33554432000 4194304 5098028 140732246006560 140732246003816 140560552530556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14761984 140732246008897 140732246009095 140732246009095 140732246011853 0
/proc/24265/statm: 28282 348 296 221 0 87 0
[pid=24268] ppid=24265 vsize=15020872 memory=129676 CPUtime=1.02 cores=1,3,5,7
/proc/24268/stat : 24268 (java) S 24265 24265 23167 0 -1 1077944320 17612 0 0 0 96 6 0 0 20 0 15 0 224127280 15381372928 32419 33554432000 4194304 4196468 140725769256720 140725769239264 139682626547447 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
/proc/24268/statm: 3755218 32419 3148 1 0 3716603 0
[pid=24268/tid=24269] ppid=24265 vsize=15020872 memory=2372 CPUtime=0.66 cores=1,3,5,7
/proc/24268/task/24269/stat : 24269 (java) R 24265 24265 23167 0 -1 4202560 14836 0 0 0 62 4 0 0 20 0 15 0 224127280 15381372928 32419 33554432000 4194304 4196468 140725769256720 139682598376064 139682626559382 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24270] ppid=24265 vsize=15020872 memory=116 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24270/stat : 24270 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127282 15381372928 32419 33554432000 4194304 4196468 140725769256720 139682630789776 139682626557653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24271] ppid=24265 vsize=15020872 memory=12868 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24271/stat : 24271 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15381372928 32419 33554432000 4194304 4196468 140725769256720 139682406492688 139682626557653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24272] ppid=24265 vsize=15020872 memory=26497 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24272/stat : 24272 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15381372928 32419 33554432000 4194304 4196468 140725769256720 139682405439888 139682626557653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24273] ppid=24265 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24273/stat : 24273 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15381372928 32419 33554432000 4194304 4196468 140725769256720 139682404387088 139682626557653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24274] ppid=24265 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24274/stat : 24274 (java) S 24265 24265 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224127283 15381372928 32419 33554432000 4194304 4196468 140725769256720 139681596431216 139682626558594 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24275] ppid=24265 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24275/stat : 24275 (java) S 24265 24265 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224127284 15381372928 32419 33554432000 4194304 4196468 140725769256720 139681194829344 139682626557653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24276] ppid=24265 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24276/stat : 24276 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127284 15381372928 32419 33554432000 4194304 4196468 140725769256720 139680926393712 139682626557653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24277] ppid=24265 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24277/stat : 24277 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127286 15381372928 32419 33554432000 4194304 4196468 140725769256720 139680551885136 139682626566043 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24278] ppid=24265 vsize=15020872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24268/task/24278/stat : 24278 (java) S 24265 24265 23167 0 -1 1077944384 578 0 0 0 7 0 0 0 20 0 15 0 224127286 15381372928 32419 33554432000 4194304 4196468 140725769256720 139681595378032 139682626558594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24279] ppid=24265 vsize=15020872 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24268/task/24279/stat : 24279 (java) S 24265 24265 23167 0 -1 1077944384 360 0 0 0 9 0 0 0 20 0 15 0 224127286 15381372928 32419 33554432000 4194304 4196468 140725769256720 139681594325232 139682626558594 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24280] ppid=24265 vsize=15020872 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/24268/task/24280/stat : 24280 (java) S 24265 24265 23167 0 -1 1077944384 502 0 0 0 16 0 0 0 20 0 15 0 224127286 15381372928 32419 33554432000 4194304 4196468 140725769256720 139681593272432 139682626558594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24281] ppid=24265 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24281/stat : 24281 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127287 15381372928 32419 33554432000 4194304 4196468 140725769256720 139680053979360 139682626557653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24282] ppid=24265 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24282/stat : 24282 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127287 15381372928 32419 33554432000 4194304 4196468 140725769256720 139681592220848 139682626558594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131068 KiB
[startup+1.50114 s]
/proc/loadavg: 2.19 2.07 2.06 3/222 24282
/proc/meminfo: memFree=20457412/32770624 swapFree=67108688/67108860
[pid=24265] ppid=24262 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/24265/stat : 24265 (scop.sh) S 24262 24265 23167 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224127280 115843072 348 33554432000 4194304 5098028 140732246006560 140732246003816 140560552530556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14761984 140732246008897 140732246009095 140732246009095 140732246011853 0
/proc/24265/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/24265/stat : 24265 (scop.sh) S 24262 24265 23167 0 -1 4202496 558 321 0 0 0 0 0 0 20 0 1 0 224127280 115843072 348 33554432000 4194304 5098028 140732246006560 140732246003816 140560552530556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14761984 140732246008897 140732246009095 140732246009095 140732246011853 0
/proc/24265/statm: 28282 348 296 221 0 87 0
[pid=24268] ppid=24265 vsize=15027084 memory=182852 CPUtime=3.11 cores=1,3,5,7
/proc/24268/stat : 24268 (java) S 24265 24265 23167 0 -1 1077944320 22166 0 0 0 302 9 0 0 20 0 15 0 224127280 15387734016 45713 33554432000 4194304 4196468 140725769256720 140725769239264 139682626547447 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
/proc/24268/statm: 3756771 45713 3202 1 0 3717627 0
[pid=24268/tid=24269] ppid=24265 vsize=15027084 memory=1392 CPUtime=1.57 cores=1,3,5,7
/proc/24268/task/24269/stat : 24269 (java) R 24265 24265 23167 0 -1 4202560 16493 0 0 0 151 6 0 0 20 0 15 0 224127280 15387734016 45713 33554432000 4194304 4196468 140725769256720 139682598382064 139682626559382 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24270] ppid=24265 vsize=15027084 memory=143700 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24270/stat : 24270 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127282 15387734016 45713 33554432000 4194304 4196468 140725769256720 139682630789776 139682626557653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24271] ppid=24265 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24271/stat : 24271 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15387734016 45713 33554432000 4194304 4196468 140725769256720 139682406492688 139682626557653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24272] ppid=24265 vsize=15027084 memory=56 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24272/stat : 24272 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15387734016 45713 33554432000 4194304 4196468 140725769256720 139682405439888 139682626557653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24273] ppid=24265 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24273/stat : 24273 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127282 15387734016 45713 33554432000 4194304 4196468 140725769256720 139682404387088 139682626557653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24274] ppid=24265 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24274/stat : 24274 (java) S 24265 24265 23167 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224127283 15387734016 45713 33554432000 4194304 4196468 140725769256720 139681596431216 139682626558594 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24275] ppid=24265 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24275/stat : 24275 (java) S 24265 24265 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224127284 15387734016 45713 33554432000 4194304 4196468 140725769256720 139681194829344 139682626557653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24276] ppid=24265 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24276/stat : 24276 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127284 15387734016 45713 33554432000 4194304 4196468 140725769256720 139680926393712 139682626557653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24277] ppid=24265 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24277/stat : 24277 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127286 15387734016 45713 33554432000 4194304 4196468 140725769256720 139680551885136 139682626566043 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24278] ppid=24265 vsize=15027084 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/24268/task/24278/stat : 24278 (java) R 24265 24265 23167 0 -1 4202560 806 0 0 0 32 0 0 0 20 0 15 0 224127286 15387734016 45713 33554432000 4194304 4196468 140725769256720 139681595366144 139682609754464 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24279] ppid=24265 vsize=15027084 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/24268/task/24279/stat : 24279 (java) R 24265 24265 23167 0 -1 4202560 703 0 0 0 41 0 0 0 20 0 15 0 224127286 15387734016 45713 33554432000 4194304 4196468 140725769256720 139681594311024 139682604142848 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24280] ppid=24265 vsize=15027084 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/24268/task/24280/stat : 24280 (java) R 24265 24265 23167 0 -1 4202560 2828 0 0 0 76 1 0 0 20 0 15 0 224127286 15387734016 45713 33554432000 4194304 4196468 140725769256720 139681593272432 139682626568794 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24281] ppid=24265 vsize=15027084 memory=7 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24281/stat : 24281 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127287 15387734016 45713 33554432000 4194304 4196468 140725769256720 139680053979360 139682626557653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
[pid=24268/tid=24282] ppid=24265 vsize=15027084 memory=1 CPUtime=0 cores=1,3,5,7
/proc/24268/task/24282/stat : 24282 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127287 15387734016 45713 33554432000 4194304 4196468 140725769256720 139681592220848 139682626558594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18534400 140725769262087 140725769262385 140725769262385 140725769265103 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 184244 KiB
[startup+2.00027 s]*
/proc/loadavg: 2.19 2.07 2.06 4/222 24297
/proc/meminfo: memFree=20537800/32770624 swapFree=67108688/67108860
[pid=24265] ppid=24262 vsize=113128 memory=1468 CPUtime=3.62 cores=1,3,5,7
/proc/24265/stat : 24265 (scop.sh) S 24262 24265 23167 0 -1 4202496 589 23941 0 0 0 0 351 11 20 0 1 0 224127280 115843072 367 33554432000 4194304 5098028 140732246006560 140732246003304 140560552530556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14761984 140732246008897 140732246009095 140732246009095 140732246011853 0
/proc/24265/statm: 28282 367 311 221 0 87 0
[pid=24283] ppid=24265 vsize=7404280 memory=60300 CPUtime=0.31 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24265 24265 23167 0 -1 1077944320 10062 0 0 0 30 1 0 0 20 0 15 0 224127458 7581982720 15075 33554432000 4194304 4196468 140733937124480 140733937107024 139778931519223 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
/proc/24283/statm: 1851070 15075 2973 1 0 1813530 0
[pid=24283/tid=24284] ppid=24265 vsize=7404280 memory=6791534058613427641 CPUtime=0.2 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24265 24265 23167 0 -1 4202560 7800 0 0 0 19 1 0 0 20 0 15 0 224127459 7581982720 15587 33554432000 4194304 4196468 140733937124480 139778903346560 139778915599710 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24285] ppid=24265 vsize=7404280 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24285/stat : 24285 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127460 7581982720 15587 33554432000 4194304 4196468 140733937124480 139778935761680 139778931529429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24286] ppid=24265 vsize=7404280 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24286/stat : 24286 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127460 7581982720 15587 33554432000 4194304 4196468 140733937124480 139778735930256 139778931529429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24287] ppid=24265 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24287/stat : 24287 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127460 7581982720 15587 33554432000 4194304 4196468 140733937124480 139778734877712 139778931529429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24288] ppid=24265 vsize=7404280 memory=3184238245314843664 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24288/stat : 24288 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127460 7581982720 15587 33554432000 4194304 4196468 140733937124480 139778733825168 139778931529429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24289] ppid=24265 vsize=7404280 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24289/stat : 24289 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127461 7581982720 15587 33554432000 4194304 4196468 140733937124480 139778377873392 139778931530370 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24290] ppid=24265 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24290/stat : 24290 (java) S 24265 24265 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224127462 7581982720 15587 33554432000 4194304 4196468 140733937124480 139777764484000 139778931529429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24291] ppid=24265 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24291/stat : 24291 (java) S 24265 24265 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224127462 7581982720 15587 33554432000 4194304 4196468 140733937124480 139777630262256 139778931529429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24292] ppid=24265 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24292/stat : 24292 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127464 7581982720 15587 33554432000 4194304 4196468 140733937124480 139777255758032 139778931537819 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24293] ppid=24265 vsize=7404280 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24283/task/24293/stat : 24293 (java) S 24265 24265 23167 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 15 0 224127464 7581982720 15587 33554432000 4194304 4196468 140733937124480 139778376821232 139778931530370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24294] ppid=24265 vsize=7404280 memory=9126232286719478932 CPUtime=0.01 cores=1,3,5,7
/proc/24283/task/24294/stat : 24294 (java) S 24265 24265 23167 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 15 0 224127464 7581982720 15587 33554432000 4194304 4196468 140733937124480 139778375768688 139778931530370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24295] ppid=24265 vsize=7404280 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/24283/task/24295/stat : 24295 (java) S 24265 24265 23167 0 -1 1077944384 331 0 0 0 6 0 0 0 20 0 15 0 224127464 7581982720 15587 33554432000 4194304 4196468 140733937124480 139778374716144 139778931530370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24296] ppid=24265 vsize=7404280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24296/stat : 24296 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127464 7581982720 15587 33554432000 4194304 4196468 140733937124480 139776757853280 139778931529429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24297] ppid=24265 vsize=7404280 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24297/stat : 24297 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127465 7581982720 15587 33554432000 4194304 4196468 140733937124480 139778373663024 139778931530370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
Current children cumulated CPU time: 3.93 s
Current children cumulated vsize: 7517408 KiB
Current children cumulated memory: 61768 KiB
[startup+2.40071 s]
/proc/loadavg: 2.19 2.07 2.06 4/222 24297
/proc/meminfo: memFree=20537800/32770624 swapFree=67108688/67108860
[pid=24265] ppid=24262 vsize=113128 memory=1468 CPUtime=3.62 cores=1,3,5,7
/proc/24265/stat : 24265 (scop.sh) S 24262 24265 23167 0 -1 4202496 589 23941 0 0 0 0 351 11 20 0 1 0 224127280 115843072 367 33554432000 4194304 5098028 140732246006560 140732246003304 140560552530556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14761984 140732246008897 140732246009095 140732246009095 140732246011853 0
/proc/24265/statm: 28282 367 311 221 0 87 0
[pid=24283] ppid=24265 vsize=7408432 memory=97260 CPUtime=0.82 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24265 24265 23167 0 -1 1077944320 17049 0 0 0 79 3 0 0 20 0 15 0 224127458 7586234368 24315 33554432000 4194304 4196468 140733937124480 140733937107024 139778931519223 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
/proc/24283/statm: 1852108 24315 3053 1 0 1814042 0
[pid=24283/tid=24284] ppid=24265 vsize=7408432 memory=7235709436565679465 CPUtime=0.58 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24265 24265 23167 0 -1 4202560 14613 0 0 0 56 2 0 0 20 0 15 0 224127459 7586234368 24315 33554432000 4194304 4196468 140733937124480 139778903347408 139778916684862 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24285] ppid=24265 vsize=7408432 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24285/stat : 24285 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127460 7586234368 24315 33554432000 4194304 4196468 140733937124480 139778935761680 139778931529429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24286] ppid=24265 vsize=7408432 memory=301751071477608739 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24286/stat : 24286 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127460 7586234368 24315 33554432000 4194304 4196468 140733937124480 139778735930256 139778931529429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24287] ppid=24265 vsize=7408432 memory=16105853304461389 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24287/stat : 24287 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127460 7586234368 24315 33554432000 4194304 4196468 140733937124480 139778734877712 139778931529429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24288] ppid=24265 vsize=7408432 memory=-2892745056951965031 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24288/stat : 24288 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127460 7586234368 24315 33554432000 4194304 4196468 140733937124480 139778733825168 139778931529429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24289] ppid=24265 vsize=7408432 memory=-2672971631320983069 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24289/stat : 24289 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127461 7586234368 24315 33554432000 4194304 4196468 140733937124480 139778377873392 139778931530370 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24290] ppid=24265 vsize=7408432 memory=8546823402028195750 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24290/stat : 24290 (java) S 24265 24265 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224127462 7586234368 24315 33554432000 4194304 4196468 140733937124480 139777764484000 139778931529429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24291] ppid=24265 vsize=7408432 memory=-7684191407570971757 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24291/stat : 24291 (java) S 24265 24265 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224127462 7586234368 24315 33554432000 4194304 4196468 140733937124480 139777630262256 139778931529429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24292] ppid=24265 vsize=7408432 memory=-2025810976467231676 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24292/stat : 24292 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127464 7586234368 24315 33554432000 4194304 4196468 140733937124480 139777255758032 139778931537819 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24293] ppid=24265 vsize=7408432 memory=-2025810976467231676 CPUtime=0.04 cores=1,3,5,7
/proc/24283/task/24293/stat : 24293 (java) S 24265 24265 23167 0 -1 1077944384 536 0 0 0 4 0 0 0 20 0 15 0 224127464 7586234368 24315 33554432000 4194304 4196468 140733937124480 139778376821232 139778931530370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24294] ppid=24265 vsize=7408432 memory=-7357787915995474596 CPUtime=0.04 cores=1,3,5,7
/proc/24283/task/24294/stat : 24294 (java) S 24265 24265 23167 0 -1 1077944384 109 0 0 0 4 0 0 0 20 0 15 0 224127464 7586234368 24315 33554432000 4194304 4196468 140733937124480 139778375768688 139778931530370 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24295] ppid=24265 vsize=7408432 memory=8546823402028195750 CPUtime=0.13 cores=1,3,5,7
/proc/24283/task/24295/stat : 24295 (java) S 24265 24265 23167 0 -1 1077944384 437 0 0 0 13 0 0 0 20 0 15 0 224127464 7586234368 24315 33554432000 4194304 4196468 140733937124480 139778374716144 139778931530370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24296] ppid=24265 vsize=7408432 memory=-5587106306044206369 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24296/stat : 24296 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127464 7586234368 24315 33554432000 4194304 4196468 140733937124480 139776757853280 139778931529429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24297] ppid=24265 vsize=7408432 memory=7882828121784479853 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24297/stat : 24297 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127465 7586234368 24315 33554432000 4194304 4196468 140733937124480 139778373663024 139778931530370 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
Current children cumulated CPU time: 4.44 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 98728 KiB
[startup+2.50178 s]
/proc/loadavg: 2.19 2.07 2.06 4/222 24297
/proc/meminfo: memFree=20537800/32770624 swapFree=67108688/67108860
[pid=24265] ppid=24262 vsize=113128 memory=1468 CPUtime=3.62 cores=1,3,5,7
/proc/24265/stat : 24265 (scop.sh) S 24262 24265 23167 0 -1 4202496 589 23941 0 0 0 0 351 11 20 0 1 0 224127280 115843072 367 33554432000 4194304 5098028 140732246006560 140732246003304 140560552530556 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14761984 140732246008897 140732246009095 140732246009095 140732246011853 0
/proc/24265/statm: 28282 367 311 221 0 87 0
[pid=24283] ppid=24265 vsize=7410572 memory=104744 CPUtime=1.02 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24265 24265 23167 0 -1 1077944320 18002 0 0 0 98 4 0 0 20 0 15 0 224127458 7588425728 26186 33554432000 4194304 4196468 140733937124480 140733937107024 139778931519223 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
/proc/24283/statm: 1852643 26186 3130 1 0 1814042 0
[pid=24283/tid=24284] ppid=24265 vsize=7410572 memory=1468 CPUtime=0.68 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24265 24265 23167 0 -1 4202560 15184 0 0 0 65 3 0 0 20 0 15 0 224127459 7588425728 26186 33554432000 4194304 4196468 140733937124480 139778903332848 139778915599710 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24285] ppid=24265 vsize=7410572 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24285/stat : 24285 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127460 7588425728 26186 33554432000 4194304 4196468 140733937124480 139778935761680 139778931529429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24286] ppid=24265 vsize=7410572 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24286/stat : 24286 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127460 7588425728 26186 33554432000 4194304 4196468 140733937124480 139778735930256 139778931529429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24287] ppid=24265 vsize=7410572 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24287/stat : 24287 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127460 7588425728 26186 33554432000 4194304 4196468 140733937124480 139778734877712 139778931529429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24288] ppid=24265 vsize=7410572 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24288/stat : 24288 (java) S 24265 24265 23167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224127460 7588425728 26186 33554432000 4194304 4196468 140733937124480 139778733825168 139778931529429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24289] ppid=24265 vsize=7410572 memory=2636 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24289/stat : 24289 (java) S 24265 24265 23167 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 224127461 7588425728 26186 33554432000 4194304 4196468 140733937124480 139778377873392 139778931530370 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24290] ppid=24265 vsize=7410572 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24290/stat : 24290 (java) S 24265 24265 23167 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224127462 7588425728 26186 33554432000 4194304 4196468 140733937124480 139777764484000 139778931529429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24291] ppid=24265 vsize=7410572 memory=116684 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24291/stat : 24291 (java) S 24265 24265 23167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224127462 7588425728 26186 33554432000 4194304 4196468 140733937124480 139777630262256 139778931529429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24292] ppid=24265 vsize=7410572 memory=21832 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24292/stat : 24292 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127464 7588425728 26186 33554432000 4194304 4196468 140733937124480 139777255758032 139778931537819 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24293] ppid=24265 vsize=7410572 memory=280650477380288 CPUtime=0.07 cores=1,3,5,7
/proc/24283/task/24293/stat : 24293 (java) S 24265 24265 23167 0 -1 1077944384 649 0 0 0 7 0 0 0 20 0 15 0 224127464 7588425728 26186 33554432000 4194304 4196468 140733937124480 139778376821232 139778931530370 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24294] ppid=24265 vsize=7410572 memory=7230354741939103332 CPUtime=0.06 cores=1,3,5,7
/proc/24283/task/24294/stat : 24294 (java) R 24265 24265 23167 0 -1 4202560 261 0 0 0 6 0 0 0 20 0 15 0 224127464 7588425728 26186 33554432000 4194304 4196468 140733937124480 139778375754712 139778915323903 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24295] ppid=24265 vsize=7410572 memory=7588684550706915689 CPUtime=0.18 cores=1,3,5,7
/proc/24283/task/24295/stat : 24295 (java) S 24265 24265 23167 0 -1 1077944384 551 0 0 0 18 0 0 0 20 0 15 0 224127464 7588425728 26186 33554432000 4194304 4196468 140733937124480 139778374716144 139778931530370 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24296] ppid=24265 vsize=7410572 memory=8101247189090653287 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24296/stat : 24296 (java) S 24265 24265 23167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224127464 7588425728 26186 33554432000 4194304 4196468 140733937124480 139776757853280 139778931529429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
[pid=24283/tid=24297] ppid=24265 vsize=7410572 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24297/stat : 24297 (java) S 24265 24265 23167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224127465 7588425728 26186 33554432000 4194304 4196468 140733937124480 139778373663024 139778931530370 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35295232 140733937128629 140733937128753 140733937128753 140733937131471 0
Current children cumulated CPU time: 4.64 s
Current children cumulated vsize: 7523700 KiB
Current children cumulated memory: 106212 KiB
Child status: 0
Real time (s): 2.57648
CPU time (s): 4.80638
CPU user time (s): 4.63839
CPU system time (s): 0.167998
CPU usage (%): 186.549
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 196300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.63839
system time used= 0.167998
maximum resident set size= 203348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5275
involuntary context switches= 54
# summary of solver processes directly reported to runsolver:
# pid: 24265
# total CPU time (s): 4.80638
# total CPU user time (s): 4.63839
# total CPU system time (s): 0.167998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045721 second user time and 0.06504 second system time
The end