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-24559-serial-file.bin HOME/instance-4305735-1534075285.xml
0.54/0.52
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 14:01:26 CEST 2018
0.67/0.54 c PID: 24562
0.67/0.54 c IP: 172.20.3.103
0.67/0.54 c HOST: node103.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.69/1.02 c (0,0) Parsing End
1.69/1.02 c (0,0) CSP: 121 int (0 aux), 0 bool (0 aux), 615 ctr, max domain size 11
1.69/1.02 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.69/1.02 c (0,0) Constraint Name Generate Begin
1.69/1.03 c (0,0) Ctr:HOME/instance-4305735-1534075285.xml,ExtensionConflict:ExtensionSupport:IntVar
1.69/1.03 c (0,0) Constraint Name Generate End
1.69/1.03 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.69/1.03 c (0,0) CSP to CSPinCNF Begin
2.58/1.47 c (0,0) translated 62 (10%) constraints
2.88/1.56 c (1,1) translated 123 (20%) constraints
3.19/1.65 c (1,1) translated 185 (30%) constraints
3.49/1.75 c (1,1) translated 246 (40%) constraints
3.81/1.83 c (1,1) translated 308 (50%) constraints
4.11/1.90 c (1,1) translated 369 (60%) constraints
4.11/1.97 c (1,1) translated 431 (70%) constraints
4.45/2.03 c (1,1) translated 492 (80%) constraints
4.45/2.09 c (1,1) translated 554 (90%) constraints
5.06/2.27 c (1,1) translated 615 (100%) constraints
5.42/2.35 c (1,1) STATISTICS1:HOME/instance-4305735-1534075285.xml,ExtensionConflict:ExtensionSupport:IntVar,231,6985,-1,11,12,1,,11:25610;2:530,12:10;4:5950;3:180;2:845,1:26140;0:10,
5.42/2.35 c (1,1) ==========================================
5.42/2.35 c (1,1) Both Encoding selects:
5.42/2.35 c (1,1) Order
5.42/2.35 c (1,1) ==========================================
5.42/2.39 c (1,1) translated 699 (10%) constraints
5.74/2.41 c (1,1) translated 1397 (20%) constraints
5.74/2.43 c (1,1) translated 2096 (30%) constraints
5.74/2.45 c (1,1) translated 2794 (40%) constraints
5.74/2.46 c (1,1) translated 3493 (50%) constraints
5.74/2.48 c (1,1) translated 4191 (60%) constraints
5.74/2.49 c (1,1) translated 4890 (70%) constraints
6.08/2.50 c (1,1) translated 5588 (80%) constraints
6.08/2.52 c (1,1) translated 6287 (90%) constraints
6.08/2.54 c (2,2) translated 6985 (100%) constraints
6.08/2.54 c (2,2) CSP to CSPinCNF End
6.08/2.54 c (2,2) CSP: 121 int (0 aux), 110 bool (110 aux), 6985 ctr, max domain size 11
6.08/2.54 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.08/2.54 c (2,2) CSPinCNF Propagation Begin
6.38/2.64 c (2,2) 0 values, 1220 unsatisfiable literals, and 0 valid clauses are removed
6.38/2.64 c (2,2) CSPinCNF Propagation End
6.38/2.64 c (2,2) CSP: 121 int (0 aux), 110 bool (110 aux), 6985 ctr, max domain size 11
6.38/2.64 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.38/2.64 c (2,2) Simplify CSPinCNF Begin
6.38/2.66 c (2,2) Simplify CSPinCNF End
6.38/2.67 c (2,2) CSP: 121 int (0 aux), 110 bool (110 aux), 6985 ctr, max domain size 11
6.38/2.67 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.38/2.67 c (2,2) Calculate Precise Domain Begin
6.38/2.67 c (2,2) 0 values are removed by re-calculation
6.38/2.67 c (2,2) Calculate Precise Domain End
6.38/2.67 c (2,2) CSP: 121 int (0 aux), 110 bool (110 aux), 6985 ctr, max domain size 11
6.38/2.67 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.38/2.67 c (2,2) CSPinCNF to SatSolver Begin
6.72/2.73 c (2,2) 699 (10 %) CSP clauses are encoded (1320 SAT variables, 1787 SAT clauses)
6.72/2.75 c (2,2) 1397 (20 %) CSP clauses are encoded (1320 SAT variables, 2485 SAT clauses)
6.72/2.76 c (2,2) 2096 (30 %) CSP clauses are encoded (1320 SAT variables, 3184 SAT clauses)
6.72/2.78 c (2,2) 2794 (40 %) CSP clauses are encoded (1320 SAT variables, 3882 SAT clauses)
6.72/2.79 c (2,2) 3493 (50 %) CSP clauses are encoded (1320 SAT variables, 4581 SAT clauses)
7.03/2.80 c (2,2) 4191 (60 %) CSP clauses are encoded (1320 SAT variables, 5279 SAT clauses)
7.03/2.81 c (2,2) 4890 (70 %) CSP clauses are encoded (1320 SAT variables, 5978 SAT clauses)
7.03/2.82 c (2,2) 5588 (80 %) CSP clauses are encoded (1320 SAT variables, 6676 SAT clauses)
7.03/2.83 c (2,2) 6287 (90 %) CSP clauses are encoded (1320 SAT variables, 7375 SAT clauses)
7.03/2.84 c (2,2) 6985 (100 %) CSP clauses are encoded (1320 SAT variables, 8073 SAT clauses)
7.03/2.84 c (2,2) Launch Command will be: minisat_release
7.03/2.84 c (2,2) CSPinCNF to SatSolver End
7.03/2.84 c (2,2) Heap : 506 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.03/2.89 c (2,2) STATISTICS2:HOME/instance-4305735-1534075285.xml,ExtensionConflict:ExtensionSupport:IntVar,231,6985,-1,11,11,1,,11:24400;2:530,11:10;4:5345;3:180;2:1450,1:24930,
7.03/2.89 c (2,2) 1320 bool, 8074 clause
7.03/2.89 c (2,2) Export Begin
7.34/2.98 c (2,2) Export to HOME/scop-24559-serial-file.bin
7.34/2.98 c (2,2) Export End
7.34/2.98 c (2,2) Export File Size: 0.03 MB
7.34/2.98 c (2,2) 0,0,2,2,2,2,2,STOP-AFTER(DIMACS)
7.34/2.98 c END-Prog: Sun Aug 12 14:01:28 CEST 2018
7.34/3.00 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-24559-serial-file.bin
8.13/3.59 c (0,0) Read Serial File Begin
8.13/3.59 c (0,0) HOME/scop-24559-serial-file.bin
8.37/3.77 c (0,0) Read Serial File End
8.37/3.78
8.37/3.78 scop order+minisat_release (2018-07-31)
8.37/3.78 (Solving Process)
8.37/3.78
8.52/3.80 c BEGIN-Prog: Sun Aug 12 14:01:29 CEST 2018
8.52/3.80 c PID: 24577
8.52/3.80 c IP: 172.20.3.103
8.52/3.80 c HOST: node103.alineos.net
8.52/3.80 c (0,0) SatSolver.solve Begin
8.52/3.80 c (0,0) 0 bool, 0 clause
8.52/3.80 c (0,0) minisat_release HOME/instance-4305735-1534075285.xml-scop-24562.cnf
11.18/6.30 c (2,0) c This is COMiniSatPS.
11.18/6.30 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
11.18/6.30 c (2,0) c ============================[ Problem Statistics ]=============================
11.18/6.30 c (2,0) c | |
11.18/6.30 c (2,0) c | Number of variables: 1320 |
11.18/6.30 c (2,0) c | Number of clauses: 8074 |
11.18/6.30 c (2,0) c | Parse time: 0.00 s |
11.18/6.30 c (2,0) c | Eliminated clauses: 0.00 Mb |
11.18/6.30 c (2,0) c Reduced to 1200 vars, 7818 cls (grow=0)
11.18/6.30 c (2,0) c No iterative elimination performed. (vars=1200, c/v ratio=6.5)
11.18/6.30 c (2,0) c | Simplification time: 0.00 s |
11.18/6.30 c (2,0) c | |
11.18/6.30 c (2,0) c ============================[ Search Statistics ]==============================
11.18/6.30 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
11.18/6.30 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
11.18/6.30 c (2,0) c ===============================================================================
11.18/6.30 c (2,0) c ===============================================================================
11.18/6.30 c (2,0) c restarts : 553
11.18/6.30 c (2,0) c conflicts : 194554 (78912 /sec)
11.18/6.30 c (2,0) c decisions : 362127 (0.00 % random) (146880 /sec)
11.18/6.30 c (2,0) c propagations : 3186251 (1292358 /sec)
11.18/6.30 c (2,0) c conflict literals : 2031286 (14.69 % deleted)
11.18/6.30 c (2,0) c CPU time : 2.46545 s
11.18/6.30 c (2,0)
11.18/6.30 c (2,0) s UNSATISFIABLE
11.18/6.31 c (2,0) SatSolver.solve End
11.18/6.31 c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
11.18/6.31 c (2,0) Show results Begin
11.18/6.31 s UNSATISFIABLE
11.18/6.31 c (2,0) Show results End
11.18/6.31 c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
11.18/6.31 c (2,0) 2,2,STOP-AFTER(ALL)
11.18/6.31 c END-Prog: Sun Aug 12 14:01:32 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 (8032 MiB free)
memory of node 1: 16384 MiB (8593 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305735-1534075285/watcher-4305735-1534075285 -o /tmp/evaluation-result-4305735-1534075285/solver-4305735-1534075285 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20637 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305735-1534075285.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24559, runsolver pid=24556
Current StackSize limit: 8192 KiB
[startup+0.100188 s]*
/proc/loadavg: 2.57 2.28 2.15 3/224 24576
/proc/meminfo: memFree=16964140/32770624 swapFree=67058748/67108860
[pid=24559] ppid=24556 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24559/stat : 24559 (scop.sh) S 24556 24559 20606 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225091726 115843072 349 33554432000 4194304 5098028 140731231638512 140731231635768 140112482255484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21790720 140731231646785 140731231646983 140731231646983 140731231649741 0
/proc/24559/statm: 28282 349 296 221 0 87 0
[pid=24562] ppid=24559 vsize=15012476 memory=74092 CPUtime=0.11 cores=0,2,4,6
/proc/24562/stat : 24562 (java) S 24559 24559 20606 0 -1 1077944320 6123 0 0 0 9 2 0 0 20 0 15 0 225091727 15372775424 18523 33554432000 4194304 4196468 140730201179920 140730201162464 139637399297783 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
/proc/24562/statm: 3753119 18523 2771 1 0 3715579 0
[pid=24562/tid=24563] ppid=24559 vsize=15012476 memory=-6078870780940435395 CPUtime=0.09 cores=0,2,4,6
/proc/24562/task/24563/stat : 24563 (java) R 24559 24559 20606 0 -1 4202560 4251 0 0 0 7 2 0 0 20 0 15 0 225091727 15372775424 18589 33554432000 4194304 4196468 140730201179920 139637371124112 139637379573597 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24564] ppid=24559 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24564/stat : 24564 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091728 15372775424 18589 33554432000 4194304 4196468 140730201179920 139637403540368 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24565] ppid=24559 vsize=15012476 memory=139968255551104 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24565/stat : 24565 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091728 15372775424 18589 33554432000 4194304 4196468 140730201179920 139637179243280 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24566] ppid=24559 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24566/stat : 24566 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091728 15372775424 18589 33554432000 4194304 4196468 140730201179920 139637178190992 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24567] ppid=24559 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24567/stat : 24567 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091728 15372775424 18589 33554432000 4194304 4196468 140730201179920 139637177138192 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24568] ppid=24559 vsize=15012476 memory=139968255551104 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24568/stat : 24568 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091730 15372775424 18589 33554432000 4194304 4196468 140730201179920 139636738324592 139637399308930 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24569] ppid=24559 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24569/stat : 24569 (java) S 24559 24559 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091730 15372775424 18589 33554432000 4194304 4196468 140730201179920 139635997008672 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24570] ppid=24559 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24570/stat : 24570 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091731 15372775424 18589 33554432000 4194304 4196468 140730201179920 139635762127984 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24571] ppid=24559 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24571/stat : 24571 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091733 15372775424 18589 33554432000 4194304 4196468 140730201179920 139635387619408 139637399316379 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24572] ppid=24559 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24572/stat : 24572 (java) S 24559 24559 20606 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 225091733 15372775424 18589 33554432000 4194304 4196468 140730201179920 139636737272432 139637399308930 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24573] ppid=24559 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24573/stat : 24573 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091733 15372775424 18655 33554432000 4194304 4196468 140730201179920 139636736219632 139637399308930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24574] ppid=24559 vsize=15012476 memory=139968255551104 CPUtime=0.01 cores=0,2,4,6
/proc/24562/task/24574/stat : 24574 (java) S 24559 24559 20606 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 225091733 15372775424 18655 33554432000 4194304 4196468 140730201179920 139636735167344 139637399308930 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24575] ppid=24559 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24575/stat : 24575 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091733 15372775424 18655 33554432000 4194304 4196468 140730201179920 139634889714656 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24576] ppid=24559 vsize=15012476 memory=139968255551104 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24576/stat : 24576 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091733 15372775424 18655 33554432000 4194304 4196468 140730201179920 139636734114224 139637399308930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75488 KiB
[startup+0.210621 s]*
/proc/loadavg: 2.57 2.28 2.15 4/224 24576
/proc/meminfo: memFree=16950328/32770624 swapFree=67058748/67108860
[pid=24559] ppid=24556 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24559/stat : 24559 (scop.sh) S 24556 24559 20606 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225091726 115843072 349 33554432000 4194304 5098028 140731231638512 140731231635768 140112482255484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21790720 140731231646785 140731231646983 140731231646983 140731231649741 0
/proc/24559/statm: 28282 349 296 221 0 87 0
[pid=24562] ppid=24559 vsize=15012476 memory=86640 CPUtime=0.25 cores=0,2,4,6
/proc/24562/stat : 24562 (java) S 24559 24559 20606 0 -1 1077944320 9494 0 0 0 22 3 0 0 20 0 15 0 225091727 15372775424 21660 33554432000 4194304 4196468 140730201179920 140730201162464 139637399297783 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
/proc/24562/statm: 3753119 21660 2878 1 0 3715579 0
[pid=24562/tid=24563] ppid=24559 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/24562/task/24563/stat : 24563 (java) R 24559 24559 20606 0 -1 4202560 7403 0 0 0 17 2 0 0 20 0 15 0 225091727 15372775424 21660 33554432000 4194304 4196468 140730201179920 139637371119584 139636852759111 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24564] ppid=24559 vsize=15012476 memory=545 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24564/stat : 24564 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091728 15372775424 21660 33554432000 4194304 4196468 140730201179920 139637403540368 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24565] ppid=24559 vsize=15012476 memory=139968256714338 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24565/stat : 24565 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091728 15372775424 21660 33554432000 4194304 4196468 140730201179920 139637179243280 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24566] ppid=24559 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24566/stat : 24566 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091728 15372775424 21660 33554432000 4194304 4196468 140730201179920 139637178190992 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24567] ppid=24559 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24567/stat : 24567 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091728 15372775424 21660 33554432000 4194304 4196468 140730201179920 139637177138192 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24568] ppid=24559 vsize=15012476 memory=139968255551104 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24568/stat : 24568 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091730 15372775424 21660 33554432000 4194304 4196468 140730201179920 139636738324592 139637399308930 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24569] ppid=24559 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24569/stat : 24569 (java) S 24559 24559 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091730 15372775424 21660 33554432000 4194304 4196468 140730201179920 139635997008672 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24570] ppid=24559 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24570/stat : 24570 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091731 15372775424 21660 33554432000 4194304 4196468 140730201179920 139635762127984 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24571] ppid=24559 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24571/stat : 24571 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091733 15372775424 21660 33554432000 4194304 4196468 140730201179920 139635387619408 139637399316379 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24572] ppid=24559 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24572/stat : 24572 (java) S 24559 24559 20606 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 225091733 15372775424 21660 33554432000 4194304 4196468 140730201179920 139636737272432 139637399308930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24573] ppid=24559 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24573/stat : 24573 (java) S 24559 24559 20606 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 225091733 15372775424 21660 33554432000 4194304 4196468 140730201179920 139636736219632 139637399308930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24574] ppid=24559 vsize=15012476 memory=139968255551104 CPUtime=0.03 cores=0,2,4,6
/proc/24562/task/24574/stat : 24574 (java) R 24559 24559 20606 0 -1 4202560 292 0 0 0 3 0 0 0 20 0 15 0 225091733 15372775424 21660 33554432000 4194304 4196468 140730201179920 139636735167344 139637378432298 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24575] ppid=24559 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24575/stat : 24575 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091733 15372775424 21660 33554432000 4194304 4196468 140730201179920 139634889714656 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24576] ppid=24559 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24576/stat : 24576 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091733 15372775424 21660 33554432000 4194304 4196468 140730201179920 139636734114224 139637399308930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88036 KiB
[startup+0.310786 s]*
/proc/loadavg: 2.57 2.28 2.15 3/224 24576
/proc/meminfo: memFree=16947304/32770624 swapFree=67058748/67108860
[pid=24559] ppid=24556 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24559/stat : 24559 (scop.sh) S 24556 24559 20606 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225091726 115843072 349 33554432000 4194304 5098028 140731231638512 140731231635768 140112482255484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21790720 140731231646785 140731231646983 140731231646983 140731231649741 0
/proc/24559/statm: 28282 349 296 221 0 87 0
[pid=24562] ppid=24559 vsize=15012476 memory=90168 CPUtime=0.43 cores=0,2,4,6
/proc/24562/stat : 24562 (java) S 24559 24559 20606 0 -1 1077944320 10013 0 0 0 39 4 0 0 20 0 15 0 225091727 15372775424 22542 33554432000 4194304 4196468 140730201179920 140730201162464 139637399297783 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
/proc/24562/statm: 3753119 22542 2972 1 0 3715579 0
[pid=24562/tid=24563] ppid=24559 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/24562/task/24563/stat : 24563 (java) R 24559 24559 20606 0 -1 4202560 7777 0 0 0 26 3 0 0 20 0 15 0 225091727 15372775424 22542 33554432000 4194304 4196468 140730201179920 139637371092784 139636852804912 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24564] ppid=24559 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24564/stat : 24564 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091728 15372775424 22542 33554432000 4194304 4196468 140730201179920 139637403540368 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24565] ppid=24559 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24565/stat : 24565 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091728 15372775424 22542 33554432000 4194304 4196468 140730201179920 139637179243280 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24566] ppid=24559 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24566/stat : 24566 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091728 15372775424 22542 33554432000 4194304 4196468 140730201179920 139637178190992 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24567] ppid=24559 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24567/stat : 24567 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091728 15372775424 22542 33554432000 4194304 4196468 140730201179920 139637177138192 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24568] ppid=24559 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24568/stat : 24568 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091730 15372775424 22542 33554432000 4194304 4196468 140730201179920 139636738324592 139637399308930 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24569] ppid=24559 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24569/stat : 24569 (java) S 24559 24559 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091730 15372775424 22542 33554432000 4194304 4196468 140730201179920 139635997008672 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24570] ppid=24559 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24570/stat : 24570 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091731 15372775424 22542 33554432000 4194304 4196468 140730201179920 139635762127984 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24571] ppid=24559 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24571/stat : 24571 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091733 15372775424 22542 33554432000 4194304 4196468 140730201179920 139635387619408 139637399316379 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24572] ppid=24559 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24562/task/24572/stat : 24572 (java) R 24559 24559 20606 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 15 0 225091733 15372775424 22542 33554432000 4194304 4196468 140730201179920 139636737272432 139637399308930 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24573] ppid=24559 vsize=15012476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24562/task/24573/stat : 24573 (java) R 24559 24559 20606 0 -1 4202560 152 0 0 0 3 0 0 0 20 0 15 0 225091733 15372775424 22542 33554432000 4194304 4196468 140730201179920 139636736219632 139637378536447 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24574] ppid=24559 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24562/task/24574/stat : 24574 (java) R 24559 24559 20606 0 -1 4202560 312 0 0 0 7 0 0 0 20 0 15 0 225091733 15372775424 22542 33554432000 4194304 4196468 140730201179920 139636735167344 139637378235862 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24575] ppid=24559 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24575/stat : 24575 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091733 15372775424 22542 33554432000 4194304 4196468 140730201179920 139634889714656 139637399307989 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24576] ppid=24559 vsize=15012476 memory=3544956536867594289 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24576/stat : 24576 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091733 15372775424 22542 33554432000 4194304 4196468 140730201179920 139636734114224 139637399308930 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91564 KiB
[startup+0.706782 s]
/proc/loadavg: 2.57 2.28 2.15 3/224 24576
/proc/meminfo: memFree=16922596/32770624 swapFree=67058748/67108860
[pid=24559] ppid=24556 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24559/stat : 24559 (scop.sh) S 24556 24559 20606 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225091726 115843072 349 33554432000 4194304 5098028 140731231638512 140731231635768 140112482255484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21790720 140731231646785 140731231646983 140731231646983 140731231649741 0
/proc/24559/statm: 28282 349 296 221 0 87 0
[pid=24562] ppid=24559 vsize=15020872 memory=129676 CPUtime=1.02 cores=0,2,4,6
/proc/24562/stat : 24562 (java) S 24559 24559 20606 0 -1 1077944320 17085 0 0 0 97 5 0 0 20 0 15 0 225091727 15381372928 32419 33554432000 4194304 4196468 140730201179920 140730201162464 139637399297783 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
/proc/24562/statm: 3755218 32419 3145 1 0 3716603 0
[pid=24562/tid=24563] ppid=24559 vsize=15020872 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/24562/task/24563/stat : 24563 (java) R 24559 24559 20606 0 -1 4202560 14375 0 0 0 63 4 0 0 20 0 15 0 225091727 15381372928 32419 33554432000 4194304 4196468 140730201179920 139637371123200 139637399319709 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24564] ppid=24559 vsize=15020872 memory=288230377057956186 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24564/stat : 24564 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091728 15381372928 32419 33554432000 4194304 4196468 140730201179920 139637403540368 139637399307989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24565] ppid=24559 vsize=15020872 memory=14408211646139281 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24565/stat : 24565 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091728 15381372928 32419 33554432000 4194304 4196468 140730201179920 139637179243280 139637399307989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24566] ppid=24559 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24566/stat : 24566 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091728 15381372928 32419 33554432000 4194304 4196468 140730201179920 139637178190992 139637399307989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24567] ppid=24559 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24567/stat : 24567 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091728 15381372928 32419 33554432000 4194304 4196468 140730201179920 139637177138192 139637399307989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24568] ppid=24559 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24568/stat : 24568 (java) S 24559 24559 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225091730 15381372928 32419 33554432000 4194304 4196468 140730201179920 139636738324592 139637399308930 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24569] ppid=24559 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24569/stat : 24569 (java) S 24559 24559 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091730 15381372928 32419 33554432000 4194304 4196468 140730201179920 139635997008672 139637399307989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24570] ppid=24559 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24570/stat : 24570 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091731 15381372928 32419 33554432000 4194304 4196468 140730201179920 139635762127984 139637399307989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24571] ppid=24559 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24571/stat : 24571 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091733 15381372928 32419 33554432000 4194304 4196468 140730201179920 139635387619408 139637399316379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24572] ppid=24559 vsize=15020872 memory=279936304677104 CPUtime=0.06 cores=0,2,4,6
/proc/24562/task/24572/stat : 24572 (java) R 24559 24559 20606 0 -1 4202560 545 0 0 0 6 0 0 0 20 0 15 0 225091733 15381372928 32419 33554432000 4194304 4196468 140730201179920 139636737259984 139637382856768 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24573] ppid=24559 vsize=15020872 memory=7234030490512222553 CPUtime=0.09 cores=0,2,4,6
/proc/24562/task/24573/stat : 24573 (java) R 24559 24559 20606 0 -1 1077944384 385 0 0 0 9 0 0 0 20 0 15 0 225091733 15381372928 32419 33554432000 4194304 4196468 140730201179920 139636736219632 139637399308930 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24574] ppid=24559 vsize=15020872 memory=7883944108235712103 CPUtime=0.16 cores=0,2,4,6
/proc/24562/task/24574/stat : 24574 (java) R 24559 24559 20606 0 -1 4202560 447 0 0 0 16 0 0 0 20 0 15 0 225091733 15381372928 32419 33554432000 4194304 4196468 140730201179920 139636735162416 139637379012598 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24575] ppid=24559 vsize=15020872 memory=7649399375725409330 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24575/stat : 24575 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091733 15381372928 32419 33554432000 4194304 4196468 140730201179920 139634889714656 139637399307989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24576] ppid=24559 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24576/stat : 24576 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091733 15381372928 32419 33554432000 4194304 4196468 140730201179920 139636734114224 139637399308930 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131072 KiB
[startup+1.50151 s]
/proc/loadavg: 2.57 2.28 2.15 4/224 24576
/proc/meminfo: memFree=16895300/32770624 swapFree=67058748/67108860
[pid=24559] ppid=24556 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24559/stat : 24559 (scop.sh) S 24556 24559 20606 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225091726 115843072 349 33554432000 4194304 5098028 140731231638512 140731231635768 140112482255484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21790720 140731231646785 140731231646983 140731231646983 140731231649741 0
/proc/24559/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/24562/statm: 3755730 45592 3191 1 0 3717115 0
[pid=24562/tid=24563] ppid=24559 vsize=15022920 memory=279936304680336 CPUtime=1.47 cores=0,2,4,6
/proc/24562/task/24563/stat : 24563 (java) R 24559 24559 20606 0 -1 4202560 15510 0 0 0 141 6 0 0 20 0 15 0 225091727 15383470080 45592 33554432000 4194304 4196468 140730201179920 139637371131632 139636858011812 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24564] ppid=24559 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24564/stat : 24564 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091728 15383470080 45592 33554432000 4194304 4196468 140730201179920 139637403540368 139637399307989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24565] ppid=24559 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24565/stat : 24565 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091728 15383470080 45592 33554432000 4194304 4196468 140730201179920 139637179243280 139637399307989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24566] ppid=24559 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24566/stat : 24566 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091728 15383470080 45592 33554432000 4194304 4196468 140730201179920 139637178190992 139637399307989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24567] ppid=24559 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24567/stat : 24567 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225091728 15383470080 45592 33554432000 4194304 4196468 140730201179920 139637177138192 139637399307989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24568] ppid=24559 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24568/stat : 24568 (java) S 24559 24559 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225091730 15383470080 45592 33554432000 4194304 4196468 140730201179920 139636738324592 139637399308930 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24569] ppid=24559 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24569/stat : 24569 (java) S 24559 24559 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225091730 15383470080 45592 33554432000 4194304 4196468 140730201179920 139635997008672 139637399307989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24570] ppid=24559 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24570/stat : 24570 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091731 15383470080 45592 33554432000 4194304 4196468 140730201179920 139635762127984 139637399307989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24571] ppid=24559 vsize=15022920 memory=18 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24571/stat : 24571 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091733 15383470080 45592 33554432000 4194304 4196468 140730201179920 139635387619408 139637399316379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24572] ppid=24559 vsize=15022920 memory=22 CPUtime=0.33 cores=0,2,4,6
/proc/24562/task/24572/stat : 24572 (java) R 24559 24559 20606 0 -1 4202560 820 0 0 0 33 0 0 0 20 0 15 0 225091733 15383470080 45592 33554432000 4194304 4196468 140730201179920 139636737257584 139637384053297 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24573] ppid=24559 vsize=15022920 memory=54 CPUtime=0.37 cores=0,2,4,6
/proc/24562/task/24573/stat : 24573 (java) R 24559 24559 20606 0 -1 4202560 805 0 0 0 37 0 0 0 20 0 15 0 225091733 15383470080 45592 33554432000 4194304 4196468 140730201179920 139636736200648 139637383697546 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24574] ppid=24559 vsize=15022920 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/24562/task/24574/stat : 24574 (java) R 24559 24559 20606 0 -1 4202560 2534 0 0 0 67 0 0 0 20 0 15 0 225091733 15383470080 45592 33554432000 4194304 4196468 140730201179920 139636735167344 139637378433239 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24575] ppid=24559 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24575/stat : 24575 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225091733 15383470080 45592 33554432000 4194304 4196468 140730201179920 139634889714656 139637399307989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
[pid=24562/tid=24576] ppid=24559 vsize=15022920 memory=2698 CPUtime=0 cores=0,2,4,6
/proc/24562/task/24576/stat : 24576 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225091733 15383470080 45592 33554432000 4194304 4196468 140730201179920 139636734114224 139637399308930 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34562048 140730201187335 140730201187633 140730201187633 140730201190351 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 15136048 KiB
Current children cumulated memory: 183764 KiB
[startup+3.1102 s]
/proc/loadavg: 2.69 2.31 2.16 3/210 24577
/proc/meminfo: memFree=17024252/32770624 swapFree=67058748/67108860
[pid=24559] ppid=24556 vsize=113128 memory=1472 CPUtime=7.55 cores=0,2,4,6
/proc/24559/stat : 24559 (scop.sh) S 24556 24559 20606 0 -1 4202496 592 26094 0 0 0 0 736 19 20 0 1 0 225091726 115843072 368 33554432000 4194304 5098028 140731231638512 140731231635256 140112482255484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21790720 140731231646785 140731231646983 140731231646983 140731231649741 0
/proc/24559/statm: 28282 368 311 221 0 87 0
[pid=24577] ppid=24559 vsize=7404280 memory=52464 CPUtime=0.12 cores=0,2,4,6
/proc/24577/stat : 24577 (java) S 24559 24559 20606 0 -1 1077944320 6834 0 0 0 10 2 0 0 20 0 15 0 225092026 7581982720 13116 33554432000 4194304 4196468 140725249877568 140725249860112 140149023018743 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
/proc/24577/statm: 1851070 13116 2870 1 0 1813530 0
[pid=24577/tid=24578] ppid=24559 vsize=7404280 memory=1396 CPUtime=0.09 cores=0,2,4,6
/proc/24577/task/24578/stat : 24578 (java) R 24559 24559 20606 0 -1 4202560 4785 0 0 0 8 1 0 0 20 0 15 0 225092027 7581982720 13116 33554432000 4194304 4196468 140725249877568 140148994840320 140149023040669 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
Current children cumulated CPU time: 7.67 s
Current children cumulated vsize: 7517408 KiB
Current children cumulated memory: 53936 KiB
[startup+6.30103 s]
/proc/loadavg: 2.69 2.31 2.16 3/229 24597
/proc/meminfo: memFree=16899036/32770624 swapFree=67058748/67108860
[pid=24559] ppid=24556 vsize=113128 memory=1472 CPUtime=7.55 cores=0,2,4,6
/proc/24559/stat : 24559 (scop.sh) S 24556 24559 20606 0 -1 4202496 592 26094 0 0 0 0 736 19 20 0 1 0 225091726 115843072 368 33554432000 4194304 5098028 140731231638512 140731231635256 140112482255484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21790720 140731231646785 140731231646983 140731231646983 140731231649741 0
/proc/24559/statm: 28282 368 311 221 0 87 0
[pid=24577] ppid=24559 vsize=8068220 memory=116792 CPUtime=1.16 cores=0,2,4,6
/proc/24577/stat : 24577 (java) S 24559 24559 20606 0 -1 1077944320 17459 0 0 0 110 6 0 0 20 0 19 0 225092026 8261857280 29198 33554432000 4194304 4196468 140725249877568 140725249860112 140149023018743 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
/proc/24577/statm: 2017055 29198 3147 1 0 1978454 0
[pid=24592] ppid=24577 vsize=38860 memory=22124 CPUtime=2.47 cores=0,2,4,6
/proc/24592/stat : 24592 (minisat_release) R 24577 24559 20606 0 -1 4202496 7434 0 0 0 246 1 0 0 20 0 1 0 225092109 39792640 5531 33554432000 4194304 4308513 140729796537696 140729796534696 4250423 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 40337408 140729796543604 140729796543702 140729796543702 140729796546501 0
/proc/24592/statm: 9715 5531 339 28 0 5955 0
[pid=24577/tid=24578] ppid=24559 vsize=8068220 memory=1472 CPUtime=0.76 cores=0,2,4,6
/proc/24577/task/24578/stat : 24578 (java) S 24559 24559 20606 0 -1 1077944384 14503 0 0 0 71 5 0 0 20 0 19 0 225092027 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148994858896 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24579] ppid=24559 vsize=8068220 memory=116792 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24579/stat : 24579 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225092028 8261857280 29198 33554432000 4194304 4196468 140725249877568 140149027261456 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24580] ppid=24559 vsize=8068220 memory=21416 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24580/stat : 24580 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092028 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148827430032 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24581] ppid=24559 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24581/stat : 24581 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092028 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148826376976 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24582] ppid=24559 vsize=8068220 memory=116792 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24582/stat : 24582 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225092028 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148825324432 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24583] ppid=24559 vsize=8068220 memory=12432 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24583/stat : 24583 (java) S 24559 24559 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225092029 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148401477872 140149023029890 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24584] ppid=24559 vsize=8068220 memory=139968152338681 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24584/stat : 24584 (java) S 24559 24559 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225092030 8261857280 29198 33554432000 4194304 4196468 140725249877568 140147869869216 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24585] ppid=24559 vsize=8068220 memory=5219582 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24585/stat : 24585 (java) S 24559 24559 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225092030 8261857280 29198 33554432000 4194304 4196468 140725249877568 140147735646960 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24586] ppid=24559 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24586/stat : 24586 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092032 8261857280 29198 33554432000 4194304 4196468 140725249877568 140147361142736 140149023037339 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24587] ppid=24559 vsize=8068220 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/24577/task/24587/stat : 24587 (java) S 24559 24559 20606 0 -1 1077944384 601 0 0 0 8 0 0 0 20 0 19 0 225092032 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148400425712 140149023029890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24588] ppid=24559 vsize=8068220 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/24577/task/24588/stat : 24588 (java) S 24559 24559 20606 0 -1 1077944384 359 0 0 0 8 0 0 0 20 0 19 0 225092032 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148399373168 140149023029890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24589] ppid=24559 vsize=8068220 memory=7883107393509938283 CPUtime=0.21 cores=0,2,4,6
/proc/24577/task/24589/stat : 24589 (java) S 24559 24559 20606 0 -1 1077944384 565 0 0 0 21 0 0 0 20 0 19 0 225092032 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148398320112 140149023029890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24590] ppid=24559 vsize=8068220 memory=21604 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24590/stat : 24590 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092032 8261857280 29198 33554432000 4194304 4196468 140725249877568 140146863237984 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24591] ppid=24559 vsize=8068220 memory=395460 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24591/stat : 24591 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092033 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148397267504 140149023029890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24593] ppid=24559 vsize=8068220 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24593/stat : 24593 (java) S 24559 24559 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225092109 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148474402112 140149023043353 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24595] ppid=24559 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24595/stat : 24595 (java) S 24559 24559 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225092110 8261857280 29198 33554432000 4194304 4196468 140725249877568 140146326351248 140149023040669 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24596] ppid=24559 vsize=8068220 memory=116792 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24596/stat : 24596 (java) S 24559 24559 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225092110 8261857280 29198 33554432000 4194304 4196468 140725249877568 140146460573712 140149023040669 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24597] ppid=24559 vsize=8068220 memory=17884 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24597/stat : 24597 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092112 8261857280 29198 33554432000 4194304 4196468 140725249877568 140146057928480 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
Current children cumulated CPU time: 11.18 s
Current children cumulated vsize: 8220208 KiB
Current children cumulated memory: 140388 KiB
[startup+6.32196 s]
# the end of solver process 24559 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.939 s, system=0.274401 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.30103 s]
/proc/loadavg: 2.69 2.31 2.16 3/229 24597
/proc/meminfo: memFree=16899036/32770624 swapFree=67058748/67108860
[pid=24559] ppid=24556 vsize=113128 memory=1472 CPUtime=7.55 cores=0,2,4,6
/proc/24559/stat : 24559 (scop.sh) S 24556 24559 20606 0 -1 4202496 592 26094 0 0 0 0 736 19 20 0 1 0 225091726 115843072 368 33554432000 4194304 5098028 140731231638512 140731231635256 140112482255484 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21790720 140731231646785 140731231646983 140731231646983 140731231649741 0
/proc/24559/statm: 28282 368 311 221 0 87 0
[pid=24577] ppid=24559 vsize=8068220 memory=116792 CPUtime=1.16 cores=0,2,4,6
/proc/24577/stat : 24577 (java) S 24559 24559 20606 0 -1 1077944320 17459 0 0 0 110 6 0 0 20 0 19 0 225092026 8261857280 29198 33554432000 4194304 4196468 140725249877568 140725249860112 140149023018743 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
/proc/24577/statm: 2017055 29198 3147 1 0 1978454 0
[pid=24592] ppid=24577 vsize=38860 memory=22124 CPUtime=2.47 cores=0,2,4,6
/proc/24592/stat : 24592 (minisat_release) R 24577 24559 20606 0 -1 4202496 7434 0 0 0 246 1 0 0 20 0 1 0 225092109 39792640 5531 33554432000 4194304 4308513 140729796537696 140729796534696 4250423 0 4 0 8396802 0 0 0 17 2 0 0 0 0 0 6409496 6410680 40337408 140729796543604 140729796543702 140729796543702 140729796546501 0
/proc/24592/statm: 9715 5531 339 28 0 5955 0
[pid=24577/tid=24578] ppid=24559 vsize=8068220 memory=1472 CPUtime=0.76 cores=0,2,4,6
/proc/24577/task/24578/stat : 24578 (java) S 24559 24559 20606 0 -1 1077944384 14503 0 0 0 71 5 0 0 20 0 19 0 225092027 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148994858896 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24579] ppid=24559 vsize=8068220 memory=116792 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24579/stat : 24579 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225092028 8261857280 29198 33554432000 4194304 4196468 140725249877568 140149027261456 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24580] ppid=24559 vsize=8068220 memory=21416 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24580/stat : 24580 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092028 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148827430032 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24581] ppid=24559 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24581/stat : 24581 (java) S 24559 24559 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225092028 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148826376976 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24582] ppid=24559 vsize=8068220 memory=116792 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24582/stat : 24582 (java) S 24559 24559 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225092028 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148825324432 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24583] ppid=24559 vsize=8068220 memory=12432 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24583/stat : 24583 (java) S 24559 24559 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225092029 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148401477872 140149023029890 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24584] ppid=24559 vsize=8068220 memory=139968152338681 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24584/stat : 24584 (java) S 24559 24559 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225092030 8261857280 29198 33554432000 4194304 4196468 140725249877568 140147869869216 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24585] ppid=24559 vsize=8068220 memory=5219582 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24585/stat : 24585 (java) S 24559 24559 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225092030 8261857280 29198 33554432000 4194304 4196468 140725249877568 140147735646960 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24586] ppid=24559 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24586/stat : 24586 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092032 8261857280 29198 33554432000 4194304 4196468 140725249877568 140147361142736 140149023037339 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24587] ppid=24559 vsize=8068220 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/24577/task/24587/stat : 24587 (java) S 24559 24559 20606 0 -1 1077944384 601 0 0 0 8 0 0 0 20 0 19 0 225092032 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148400425712 140149023029890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24588] ppid=24559 vsize=8068220 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/24577/task/24588/stat : 24588 (java) S 24559 24559 20606 0 -1 1077944384 359 0 0 0 8 0 0 0 20 0 19 0 225092032 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148399373168 140149023029890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24589] ppid=24559 vsize=8068220 memory=7883107393509938283 CPUtime=0.21 cores=0,2,4,6
/proc/24577/task/24589/stat : 24589 (java) S 24559 24559 20606 0 -1 1077944384 565 0 0 0 21 0 0 0 20 0 19 0 225092032 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148398320112 140149023029890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24590] ppid=24559 vsize=8068220 memory=21604 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24590/stat : 24590 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092032 8261857280 29198 33554432000 4194304 4196468 140725249877568 140146863237984 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24591] ppid=24559 vsize=8068220 memory=395460 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24591/stat : 24591 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092033 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148397267504 140149023029890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24593] ppid=24559 vsize=8068220 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24593/stat : 24593 (java) S 24559 24559 20606 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225092109 8261857280 29198 33554432000 4194304 4196468 140725249877568 140148474402112 140149023043353 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24595] ppid=24559 vsize=8068220 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24595/stat : 24595 (java) S 24559 24559 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225092110 8261857280 29198 33554432000 4194304 4196468 140725249877568 140146326351248 140149023040669 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24596] ppid=24559 vsize=8068220 memory=116792 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24596/stat : 24596 (java) S 24559 24559 20606 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225092110 8261857280 29198 33554432000 4194304 4196468 140725249877568 140146460573712 140149023040669 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
[pid=24577/tid=24597] ppid=24559 vsize=8068220 memory=17884 CPUtime=0 cores=0,2,4,6
/proc/24577/task/24597/stat : 24597 (java) S 24559 24559 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225092112 8261857280 29198 33554432000 4194304 4196468 140725249877568 140146057928480 140149023028949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38375424 140725249885365 140725249885489 140725249885489 140725249888207 0
Current children cumulated CPU time: 11.18 s
Current children cumulated vsize: 8220208 KiB
Current children cumulated memory: 140388 KiB
Child status: 0
Real time (s): 6.32202
CPU time (s): 11.2134
CPU user time (s): 10.939
CPU system time (s): 0.274401
CPU usage (%): 177.371
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 571160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.939
system time used= 0.274401
maximum resident set size= 577716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5362
involuntary context switches= 64
# summary of solver processes directly reported to runsolver:
# pid: 24559
# total CPU time (s): 11.2134
# total CPU user time (s): 10.939
# total CPU system time (s): 0.274401
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058953 second user time and 0.116539 second system time
The end