0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-20660-serial-file.bin HOME/instance-4305499-1534075113.xml
0.55/0.51
0.67/0.52 scop order+minisat_release (2018-07-31)
0.80/0.61 (Encoding Process)
0.80/0.61
0.80/0.61 c BEGIN-Prog: Sun Aug 12 13:58:34 CEST 2018
0.80/0.61 c PID: 20663
0.80/0.61 c IP: 172.20.3.107
0.80/0.61 c HOST: node107.alineos.net
0.80/0.61 c (0,0) Parsing Begin
1.70/1.01 c (0,0) Parsing End
1.70/1.02 c (0,0) CSP: 121 int (0 aux), 0 bool (0 aux), 615 ctr, max domain size 11
1.70/1.02 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.70/1.02 c (0,0) Constraint Name Generate Begin
1.70/1.03 c (0,0) Ctr:HOME/instance-4305499-1534075113.xml,ExtensionConflict:ExtensionSupport:IntVar
1.70/1.03 c (0,0) Constraint Name Generate End
1.70/1.03 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.70/1.03 c (0,0) CSP to CSPinCNF Begin
2.56/1.47 c (0,0) translated 62 (10%) constraints
2.90/1.55 c (1,1) translated 123 (20%) constraints
3.21/1.63 c (1,1) translated 185 (30%) constraints
3.52/1.72 c (1,1) translated 246 (40%) constraints
3.84/1.80 c (1,1) translated 308 (50%) constraints
3.84/1.87 c (1,1) translated 369 (60%) constraints
4.14/1.93 c (1,1) translated 431 (70%) constraints
4.14/2.00 c (1,1) translated 492 (80%) constraints
4.48/2.05 c (1,1) translated 554 (90%) constraints
5.12/2.23 c (1,1) translated 615 (100%) constraints
5.45/2.31 c (1,1) STATISTICS1:HOME/instance-4305499-1534075113.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.45/2.31 c (1,1) ==========================================
5.45/2.31 c (1,1) Order
5.45/2.31 c (1,1) ==========================================
5.45/2.34 c (1,1) translated 699 (10%) constraints
5.45/2.37 c (1,1) translated 1397 (20%) constraints
5.45/2.39 c (1,1) translated 2096 (30%) constraints
5.80/2.40 c (1,1) translated 2794 (40%) constraints
5.80/2.42 c (1,1) translated 3493 (50%) constraints
5.80/2.43 c (1,1) translated 4191 (60%) constraints
5.80/2.45 c (1,1) translated 4890 (70%) constraints
5.80/2.46 c (1,1) translated 5588 (80%) constraints
5.80/2.48 c (1,1) translated 6287 (90%) constraints
6.09/2.50 c (1,1) translated 6985 (100%) constraints
6.09/2.50 c (1,1) CSP to CSPinCNF End
6.09/2.50 c (1,1) CSP: 121 int (0 aux), 110 bool (110 aux), 6985 ctr, max domain size 11
6.09/2.50 c (1,1) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.09/2.50 c (1,1) CSPinCNF Propagation Begin
6.43/2.60 c (2,2) 0 values, 1220 unsatisfiable literals, and 0 valid clauses are removed
6.43/2.60 c (2,2) CSPinCNF Propagation End
6.43/2.60 c (2,2) CSP: 121 int (0 aux), 110 bool (110 aux), 6985 ctr, max domain size 11
6.43/2.60 c (2,2) Heap : 394 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.43/2.60 c (2,2) Simplify CSPinCNF Begin
6.43/2.63 c (2,2) Simplify CSPinCNF End
6.43/2.63 c (2,2) CSP: 121 int (0 aux), 110 bool (110 aux), 6985 ctr, max domain size 11
6.43/2.63 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
6.43/2.63 c (2,2) Calculate Precise Domain Begin
6.43/2.63 c (2,2) 0 values are removed by re-calculation
6.43/2.63 c (2,2) Calculate Precise Domain End
6.43/2.63 c (2,2) CSP: 121 int (0 aux), 110 bool (110 aux), 6985 ctr, max domain size 11
6.43/2.63 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.43/2.63 c (2,2) CSPinCNF to SatSolver Begin
6.43/2.70 c (2,2) 699 (10 %) CSP clauses are encoded (1320 SAT variables, 1787 SAT clauses)
6.76/2.71 c (2,2) 1397 (20 %) CSP clauses are encoded (1320 SAT variables, 2485 SAT clauses)
6.76/2.72 c (2,2) 2096 (30 %) CSP clauses are encoded (1320 SAT variables, 3184 SAT clauses)
6.76/2.74 c (2,2) 2794 (40 %) CSP clauses are encoded (1320 SAT variables, 3882 SAT clauses)
6.76/2.75 c (2,2) 3493 (50 %) CSP clauses are encoded (1320 SAT variables, 4581 SAT clauses)
6.76/2.76 c (2,2) 4191 (60 %) CSP clauses are encoded (1320 SAT variables, 5279 SAT clauses)
6.76/2.77 c (2,2) 4890 (70 %) CSP clauses are encoded (1320 SAT variables, 5978 SAT clauses)
6.76/2.78 c (2,2) 5588 (80 %) CSP clauses are encoded (1320 SAT variables, 6676 SAT clauses)
6.76/2.79 c (2,2) 6287 (90 %) CSP clauses are encoded (1320 SAT variables, 7375 SAT clauses)
7.07/2.80 c (2,2) 6985 (100 %) CSP clauses are encoded (1320 SAT variables, 8073 SAT clauses)
7.07/2.80 c (2,2) Launch Command will be: minisat_release
7.07/2.80 c (2,2) CSPinCNF to SatSolver End
7.07/2.80 c (2,2) Heap : 450 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
7.07/2.85 c (2,2) STATISTICS2:HOME/instance-4305499-1534075113.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.07/2.85 c (2,2) 1320 bool, 8074 clause
7.07/2.85 c (2,2) Export Begin
7.38/2.95 c (2,2) Export to HOME/scop-20660-serial-file.bin
7.38/2.95 c (2,2) Export End
7.38/2.95 c (2,2) Export File Size: 0.03 MB
7.38/2.95 c (2,2) 0,0,1,2,2,2,2,STOP-AFTER(DIMACS)
7.38/2.95 c END-Prog: Sun Aug 12 13:58:37 CEST 2018
7.38/2.96 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20660-serial-file.bin
8.10/3.45 c (0,0) Read Serial File Begin
8.10/3.45 c (0,0) HOME/scop-20660-serial-file.bin
8.40/3.63 c (0,0) Read Serial File End
8.40/3.64
8.40/3.64 scop order+minisat_release (2018-07-31)
8.40/3.64 (Solving Process)
8.40/3.64
8.40/3.67 c BEGIN-Prog: Sun Aug 12 13:58:37 CEST 2018
8.40/3.67 c PID: 20678
8.40/3.67 c IP: 172.20.3.107
8.40/3.67 c HOST: node107.alineos.net
8.40/3.67 c (0,0) SatSolver.solve Begin
8.40/3.67 c (0,0) 0 bool, 0 clause
8.40/3.67 c (0,0) minisat_release HOME/instance-4305499-1534075113.xml-scop-20663.cnf
11.09/6.17 c (2,0) c This is COMiniSatPS.
11.09/6.17 c (2,0) c WARNING: for repeatability, setting FPU to use double precision
11.09/6.17 c (2,0) c ============================[ Problem Statistics ]=============================
11.09/6.17 c (2,0) c | |
11.09/6.17 c (2,0) c | Number of variables: 1320 |
11.09/6.17 c (2,0) c | Number of clauses: 8074 |
11.09/6.18 c (2,0) c | Parse time: 0.00 s |
11.09/6.18 c (2,0) c | Eliminated clauses: 0.00 Mb |
11.09/6.18 c (2,0) c Reduced to 1200 vars, 7818 cls (grow=0)
11.09/6.18 c (2,0) c No iterative elimination performed. (vars=1200, c/v ratio=6.5)
11.09/6.18 c (2,0) c | Simplification time: 0.00 s |
11.09/6.18 c (2,0) c | |
11.09/6.18 c (2,0) c ============================[ Search Statistics ]==============================
11.09/6.18 c (2,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
11.09/6.18 c (2,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
11.09/6.18 c (2,0) c ===============================================================================
11.09/6.18 c (2,0) c ===============================================================================
11.09/6.18 c (2,0) c restarts : 553
11.09/6.18 c (2,0) c conflicts : 194554 (78779 /sec)
11.09/6.18 c (2,0) c decisions : 362127 (0.00 % random) (146633 /sec)
11.09/6.18 c (2,0) c propagations : 3186251 (1290179 /sec)
11.09/6.18 c (2,0) c conflict literals : 2031286 (14.69 % deleted)
11.09/6.18 c (2,0) c CPU time : 2.46962 s
11.09/6.18 c (2,0)
11.09/6.18 c (2,0) s UNSATISFIABLE
11.09/6.18 c (2,0) SatSolver.solve End
11.09/6.18 c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
11.09/6.18 c (2,0) Show results Begin
11.09/6.18 s UNSATISFIABLE
11.09/6.18 c (2,0) Show results End
11.09/6.18 c (2,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
11.09/6.18 c (2,0) 2,2,STOP-AFTER(ALL)
11.09/6.18 c END-Prog: Sun Aug 12 13:58:40 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 (12669 MiB free)
memory of node 1: 16384 MiB (11394 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305499-1534075113/watcher-4305499-1534075113 -o /tmp/evaluation-result-4305499-1534075113/solver-4305499-1534075113 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305499-1534075113.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=20660, runsolver pid=20657
Current StackSize limit: 8192 KiB
[startup+0.100348 s]*
/proc/loadavg: 2.87 2.40 2.19 3/222 20677
/proc/meminfo: memFree=24582824/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20660/stat : 20660 (scop.sh) S 20657 20660 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225074539 115843072 349 33554432000 4194304 5098028 140735898804688 140735898801944 140161681592956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40243200 140735898809408 140735898809607 140735898809607 140735898812365 0
/proc/20660/statm: 28282 349 296 221 0 87 0
[pid=20663] ppid=20660 vsize=15012476 memory=70696 CPUtime=0.11 cores=1,3,5,7
/proc/20663/stat : 20663 (java) S 20660 20660 16605 0 -1 1077944320 6836 0 0 0 10 1 0 0 20 0 15 0 225074539 15372775424 17674 33554432000 4194304 4196468 140723987856752 140723987839296 140501652950775 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
/proc/20663/statm: 3753119 17674 2765 1 0 3715579 0
[pid=20663/tid=20664] ppid=20660 vsize=15012476 memory=-6222985969016291271 CPUtime=0.08 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (java) R 20660 20660 16605 0 -1 4202560 4943 0 0 0 7 1 0 0 20 0 15 0 225074540 15372775424 17740 33554432000 4194304 4196468 140723987856752 140501624762760 140501633226524 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20665] ppid=20660 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15372775424 17740 33554432000 4194304 4196468 140723987856752 140501657192720 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20666] ppid=20660 vsize=15012476 memory=140502488716928 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15372775424 17740 33554432000 4194304 4196468 140723987856752 140501471349136 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20667] ppid=20660 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20667/stat : 20667 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15372775424 17740 33554432000 4194304 4196468 140723987856752 140501470296592 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20668] ppid=20660 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20668/stat : 20668 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15372775424 17740 33554432000 4194304 4196468 140723987856752 140501469244048 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20669] ppid=20660 vsize=15012476 memory=140502488716928 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20669/stat : 20669 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074543 15372775424 17740 33554432000 4194304 4196468 140723987856752 140500690565616 140501652961922 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20670] ppid=20660 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20670/stat : 20670 (java) S 20660 20660 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225074543 15372775424 17740 33554432000 4194304 4196468 140723987856752 140500057187744 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20671] ppid=20660 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20671/stat : 20671 (java) S 20660 20660 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225074543 15372775424 17740 33554432000 4194304 4196468 140723987856752 140499922966000 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20672] ppid=20660 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20672/stat : 20672 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074546 15372775424 17740 33554432000 4194304 4196468 140723987856752 140499548461776 140501652969371 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20673] ppid=20660 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20673/stat : 20673 (java) S 20660 20660 16605 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 225074546 15372775424 17806 33554432000 4194304 4196468 140723987856752 140500689512432 140501652961922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20674] ppid=20660 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20674/stat : 20674 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074546 15372775424 17806 33554432000 4194304 4196468 140723987856752 140500688459888 140501652961922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20675] ppid=20660 vsize=15012476 memory=140502488716928 CPUtime=0.01 cores=1,3,5,7
/proc/20663/task/20675/stat : 20675 (java) S 20660 20660 16605 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 225074546 15372775424 17806 33554432000 4194304 4196468 140723987856752 140500687407344 140501652961922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20676] ppid=20660 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20676/stat : 20676 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074546 15372775424 17806 33554432000 4194304 4196468 140723987856752 140499050556000 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20677] ppid=20660 vsize=15012476 memory=140502488716928 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20677/stat : 20677 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074546 15372775424 17806 33554432000 4194304 4196468 140723987856752 140500686355248 140501652961922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72092 KiB
[startup+0.210618 s]*
/proc/loadavg: 2.87 2.40 2.19 3/222 20677
/proc/meminfo: memFree=24569104/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20660/stat : 20660 (scop.sh) S 20657 20660 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225074539 115843072 349 33554432000 4194304 5098028 140735898804688 140735898801944 140161681592956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40243200 140735898809408 140735898809607 140735898809607 140735898812365 0
/proc/20660/statm: 28282 349 296 221 0 87 0
[pid=20663] ppid=20660 vsize=15012476 memory=83764 CPUtime=0.25 cores=1,3,5,7
/proc/20663/stat : 20663 (java) S 20660 20660 16605 0 -1 1077944320 10298 0 0 0 23 2 0 0 20 0 15 0 225074539 15372775424 20941 33554432000 4194304 4196468 140723987856752 140723987839296 140501652950775 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
/proc/20663/statm: 3753119 20941 2920 1 0 3715579 0
[pid=20663/tid=20664] ppid=20660 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (java) R 20660 20660 16605 0 -1 4202560 8179 0 0 0 18 2 0 0 20 0 15 0 225074540 15372775424 20941 33554432000 4194304 4196468 140723987856752 140501624770032 140501652962710 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20665] ppid=20660 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15372775424 20941 33554432000 4194304 4196468 140723987856752 140501657192720 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20666] ppid=20660 vsize=15012476 memory=3762954303295329952 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15372775424 20941 33554432000 4194304 4196468 140723987856752 140501471349136 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20667] ppid=20660 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20667/stat : 20667 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15372775424 20941 33554432000 4194304 4196468 140723987856752 140501470296592 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20668] ppid=20660 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20668/stat : 20668 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15372775424 20941 33554432000 4194304 4196468 140723987856752 140501469244048 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20669] ppid=20660 vsize=15012476 memory=140502488716928 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20669/stat : 20669 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074543 15372775424 20941 33554432000 4194304 4196468 140723987856752 140500690565616 140501652961922 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20670] ppid=20660 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20670/stat : 20670 (java) S 20660 20660 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225074543 15372775424 20941 33554432000 4194304 4196468 140723987856752 140500057187744 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20671] ppid=20660 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20671/stat : 20671 (java) S 20660 20660 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225074543 15372775424 20941 33554432000 4194304 4196468 140723987856752 140499922966000 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20672] ppid=20660 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20672/stat : 20672 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074546 15372775424 20941 33554432000 4194304 4196468 140723987856752 140499548461776 140501652969371 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20673] ppid=20660 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20663/task/20673/stat : 20673 (java) R 20660 20660 16605 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 15 0 225074546 15372775424 20941 33554432000 4194304 4196468 140723987856752 140500689512528 140501652962710 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20674] ppid=20660 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20674/stat : 20674 (java) R 20660 20660 16605 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 225074546 15372775424 20941 33554432000 4194304 4196468 140723987856752 140500688459888 140501652961922 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20675] ppid=20660 vsize=15012476 memory=140502488716928 CPUtime=0.03 cores=1,3,5,7
/proc/20663/task/20675/stat : 20675 (java) R 20660 20660 16605 0 -1 4202560 287 0 0 0 3 0 0 0 20 0 15 0 225074546 15372775424 20941 33554432000 4194304 4196468 140723987856752 140500687407344 140501652972122 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20676] ppid=20660 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20676/stat : 20676 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074546 15372775424 20941 33554432000 4194304 4196468 140723987856752 140499050556000 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20677] ppid=20660 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20677/stat : 20677 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074546 15372775424 20941 33554432000 4194304 4196468 140723987856752 140500686355248 140501652961922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85160 KiB
[startup+0.310696 s]*
/proc/loadavg: 2.87 2.40 2.19 3/222 20677
/proc/meminfo: memFree=24564824/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20660/stat : 20660 (scop.sh) S 20657 20660 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225074539 115843072 349 33554432000 4194304 5098028 140735898804688 140735898801944 140161681592956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40243200 140735898809408 140735898809607 140735898809607 140735898812365 0
/proc/20660/statm: 28282 349 296 221 0 87 0
[pid=20663] ppid=20660 vsize=15012476 memory=87384 CPUtime=0.42 cores=1,3,5,7
/proc/20663/stat : 20663 (java) S 20660 20660 16605 0 -1 1077944320 10916 0 0 0 40 2 0 0 20 0 15 0 225074539 15372775424 21846 33554432000 4194304 4196468 140723987856752 140723987839296 140501652950775 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
/proc/20663/statm: 3753119 21846 2975 1 0 3715579 0
[pid=20663/tid=20664] ppid=20660 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (java) R 20660 20660 16605 0 -1 4202560 8619 0 0 0 27 2 0 0 20 0 15 0 225074540 15372775424 21846 33554432000 4194304 4196468 140723987856752 140501624741456 140501652972701 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20665] ppid=20660 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15372775424 21846 33554432000 4194304 4196468 140723987856752 140501657192720 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20666] ppid=20660 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15372775424 21846 33554432000 4194304 4196468 140723987856752 140501471349136 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20667] ppid=20660 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20667/stat : 20667 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15372775424 21846 33554432000 4194304 4196468 140723987856752 140501470296592 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20668] ppid=20660 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20668/stat : 20668 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15372775424 21846 33554432000 4194304 4196468 140723987856752 140501469244048 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20669] ppid=20660 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20669/stat : 20669 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074543 15372775424 21846 33554432000 4194304 4196468 140723987856752 140500690565616 140501652961922 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20670] ppid=20660 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20670/stat : 20670 (java) S 20660 20660 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225074543 15372775424 21846 33554432000 4194304 4196468 140723987856752 140500057187744 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20671] ppid=20660 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20671/stat : 20671 (java) S 20660 20660 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225074543 15372775424 21846 33554432000 4194304 4196468 140723987856752 140499922966000 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20672] ppid=20660 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20672/stat : 20672 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074546 15372775424 21846 33554432000 4194304 4196468 140723987856752 140499548461776 140501652969371 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20673] ppid=20660 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20663/task/20673/stat : 20673 (java) R 20660 20660 16605 0 -1 1077944384 458 0 0 0 3 0 0 0 20 0 15 0 225074546 15372775424 21846 33554432000 4194304 4196468 140723987856752 140500689512432 140501652961922 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20674] ppid=20660 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20663/task/20674/stat : 20674 (java) S 20660 20660 16605 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 15 0 225074546 15372775424 21846 33554432000 4194304 4196468 140723987856752 140500688459888 140501652961922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20675] ppid=20660 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20663/task/20675/stat : 20675 (java) R 20660 20660 16605 0 -1 4202560 329 0 0 0 7 0 0 0 20 0 15 0 225074546 15372775424 21846 33554432000 4194304 4196468 140723987856752 140500687407344 140501637031262 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20676] ppid=20660 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20676/stat : 20676 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074546 15372775424 21846 33554432000 4194304 4196468 140723987856752 140499050556000 140501652960981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20677] ppid=20660 vsize=15012476 memory=3689353199920160817 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20677/stat : 20677 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074546 15372775424 21846 33554432000 4194304 4196468 140723987856752 140500686355248 140501652961922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88780 KiB
[startup+0.705027 s]
/proc/loadavg: 2.87 2.40 2.19 3/222 20677
/proc/meminfo: memFree=24540640/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20660/stat : 20660 (scop.sh) S 20657 20660 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225074539 115843072 349 33554432000 4194304 5098028 140735898804688 140735898801944 140161681592956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40243200 140735898809408 140735898809607 140735898809607 140735898812365 0
/proc/20660/statm: 28282 349 296 221 0 87 0
[pid=20663] ppid=20660 vsize=15020872 memory=127736 CPUtime=1.02 cores=1,3,5,7
/proc/20663/stat : 20663 (java) S 20660 20660 16605 0 -1 1077944320 18141 0 0 0 96 6 0 0 20 0 15 0 225074539 15381372928 31934 33554432000 4194304 4196468 140723987856752 140723987839296 140501652950775 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
/proc/20663/statm: 3755218 31934 3149 1 0 3716603 0
[pid=20663/tid=20664] ppid=20660 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (java) R 20660 20660 16605 0 -1 4202560 15364 0 0 0 62 5 0 0 20 0 15 0 225074540 15381372928 31934 33554432000 4194304 4196468 140723987856752 140501624772208 140501652972701 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20665] ppid=20660 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15381372928 31934 33554432000 4194304 4196468 140723987856752 140501657192720 140501652960981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20666] ppid=20660 vsize=15020872 memory=61224 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15381372928 31934 33554432000 4194304 4196468 140723987856752 140501471349136 140501652960981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20667] ppid=20660 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20667/stat : 20667 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15381372928 31934 33554432000 4194304 4196468 140723987856752 140501470296592 140501652960981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20668] ppid=20660 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20668/stat : 20668 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225074541 15381372928 31934 33554432000 4194304 4196468 140723987856752 140501469244048 140501652960981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20669] ppid=20660 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20669/stat : 20669 (java) S 20660 20660 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225074543 15381372928 31934 33554432000 4194304 4196468 140723987856752 140500690565616 140501652961922 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20670] ppid=20660 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20670/stat : 20670 (java) S 20660 20660 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225074543 15381372928 31934 33554432000 4194304 4196468 140723987856752 140500057187744 140501652960981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20671] ppid=20660 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20671/stat : 20671 (java) S 20660 20660 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225074543 15381372928 31934 33554432000 4194304 4196468 140723987856752 140499922966000 140501652960981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20672] ppid=20660 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20672/stat : 20672 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074546 15381372928 31934 33554432000 4194304 4196468 140723987856752 140499548461776 140501652969371 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20673] ppid=20660 vsize=15020872 memory=1120 CPUtime=0.1 cores=1,3,5,7
/proc/20663/task/20673/stat : 20673 (java) R 20660 20660 16605 0 -1 4202560 690 0 0 0 10 0 0 0 20 0 15 0 225074546 15381372928 31934 33554432000 4194304 4196468 140723987856752 140500689501232 140501630839425 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20674] ppid=20660 vsize=15020872 memory=6120 CPUtime=0.05 cores=1,3,5,7
/proc/20663/task/20674/stat : 20674 (java) R 20660 20660 16605 0 -1 1077944384 244 0 0 0 5 0 0 0 20 0 15 0 225074546 15381372928 31934 33554432000 4194304 4196468 140723987856752 140500688459888 140501652961922 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20675] ppid=20660 vsize=15020872 memory=1724 CPUtime=0.16 cores=1,3,5,7
/proc/20663/task/20675/stat : 20675 (java) R 20660 20660 16605 0 -1 4202560 487 0 0 0 16 0 0 0 20 0 15 0 225074546 15381372928 31934 33554432000 4194304 4196468 140723987856752 140500687403072 140501646050475 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20676] ppid=20660 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20676/stat : 20676 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225074546 15381372928 31934 33554432000 4194304 4196468 140723987856752 140499050556000 140501652960981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
[pid=20663/tid=20677] ppid=20660 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20677/stat : 20677 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225074546 15381372928 31934 33554432000 4194304 4196468 140723987856752 140500686355248 140501652961922 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19652608 140723987858438 140723987858737 140723987858737 140723987861455 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129132 KiB
[startup+1.50082 s]
/proc/loadavg: 2.87 2.40 2.19 4/222 20677
/proc/meminfo: memFree=24512436/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20660/stat : 20660 (scop.sh) S 20657 20660 16605 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225074539 115843072 349 33554432000 4194304 5098028 140735898804688 140735898801944 140161681592956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40243200 140735898809408 140735898809607 140735898809607 140735898812365 0
/proc/20660/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 9.76 s
Current children cumulated vsize: 8213268 KiB
Current children cumulated memory: 131236 KiB
[startup+5.6009 s]
/proc/loadavg: 2.80 2.39 2.19 4/227 20698
/proc/meminfo: memFree=24521468/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=113128 memory=1472 CPUtime=7.52 cores=1,3,5,7
/proc/20660/stat : 20660 (scop.sh) S 20657 20660 16605 0 -1 4202496 590 27194 0 0 0 0 736 16 20 0 1 0 225074539 115843072 368 33554432000 4194304 5098028 140735898804688 140735898801432 140161681592956 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40243200 140735898809408 140735898809607 140735898809607 140735898812365 0
/proc/20660/statm: 28282 368 311 221 0 87 0
[pid=20678] ppid=20660 vsize=8068220 memory=114796 CPUtime=1.16 cores=1,3,5,7
/proc/20678/stat : 20678 (java) S 20660 20660 16605 0 -1 1077944320 18494 0 0 0 110 6 0 0 20 0 19 0 225074835 8261857280 28699 33554432000 4194304 4196468 140722321460288 140722321442832 140375739563767 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
/proc/20678/statm: 2017055 28699 3150 1 0 1978454 0
[pid=20693] ppid=20678 vsize=36140 memory=18712 CPUtime=1.89 cores=1,3,5,7
/proc/20693/stat : 20693 (minisat_release) R 20678 20660 16605 0 -1 4202496 3899 0 0 0 189 0 0 0 20 0 1 0 225074909 37007360 4678 33554432000 4194304 4308513 140722893973344 140722893970248 4275941 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 13864960 140722893976692 140722893976790 140722893976790 140722893979589 0
/proc/20693/statm: 9035 4678 339 28 0 5275 0
[pid=20678/tid=20679] ppid=20660 vsize=8068220 memory=1472 CPUtime=0.75 cores=1,3,5,7
/proc/20678/task/20679/stat : 20679 (java) S 20660 20660 16605 0 -1 1077944384 15551 0 0 0 71 4 0 0 20 0 19 0 225074836 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375711403920 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20680] ppid=20660 vsize=8068220 memory=114796 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20680/stat : 20680 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225074837 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375743805840 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20681] ppid=20660 vsize=8068220 memory=11208 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20681/stat : 20681 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225074837 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375224830224 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20682] ppid=20660 vsize=8068220 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20682/stat : 20682 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225074837 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375223777936 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20683] ppid=20660 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20683/stat : 20683 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225074837 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375222725136 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20684] ppid=20660 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20684/stat : 20684 (java) S 20660 20660 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225074838 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375186008688 140375739574914 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20685] ppid=20660 vsize=8068220 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20685/stat : 20685 (java) S 20660 20660 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225074839 8261857280 28699 33554432000 4194304 4196468 140722321460288 140374563611936 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20686] ppid=20660 vsize=8068220 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20686/stat : 20686 (java) S 20660 20660 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225074839 8261857280 28699 33554432000 4194304 4196468 140722321460288 140374429390448 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20687] ppid=20660 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20687/stat : 20687 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225074841 8261857280 28699 33554432000 4194304 4196468 140722321460288 140374054885968 140375739582363 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20688] ppid=20660 vsize=8068220 memory=281004678527152 CPUtime=0.08 cores=1,3,5,7
/proc/20678/task/20688/stat : 20688 (java) S 20660 20660 16605 0 -1 1077944384 683 0 0 0 8 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375184955504 140375739574914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20689] ppid=20660 vsize=8068220 memory=281004678368256 CPUtime=0.08 cores=1,3,5,7
/proc/20678/task/20689/stat : 20689 (java) S 20660 20660 16605 0 -1 1077944384 262 0 0 0 8 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375183902704 140375739574914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20690] ppid=20660 vsize=8068220 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/20678/task/20690/stat : 20690 (java) S 20660 20660 16605 0 -1 1077944384 570 0 0 0 21 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375182850416 140375739574914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20691] ppid=20660 vsize=8068220 memory=2180 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20691/stat : 20691 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140373556980192 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20692] ppid=20660 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20692/stat : 20692 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375181798320 140375739574914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20694] ppid=20660 vsize=8068220 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20694/stat : 20694 (java) S 20660 20660 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225074909 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375173989824 140375739588377 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20696] ppid=20660 vsize=8068220 memory=3980 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20696/stat : 20696 (java) S 20660 20660 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225074909 8261857280 28699 33554432000 4194304 4196468 140722321460288 140373020094480 140375739585693 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20697] ppid=20660 vsize=8068220 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20697/stat : 20697 (java) S 20660 20660 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225074909 8261857280 28699 33554432000 4194304 4196468 140722321460288 140373154315664 140375739585693 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20698] ppid=20660 vsize=8068220 memory=7288 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20698/stat : 20698 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225074911 8261857280 28699 33554432000 4194304 4196468 140722321460288 140372751670176 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
Current children cumulated CPU time: 10.57 s
Current children cumulated vsize: 8217488 KiB
Current children cumulated memory: 134980 KiB
[startup+6.00087 s]*
/proc/loadavg: 2.80 2.39 2.19 4/227 20698
/proc/meminfo: memFree=24515824/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=113128 memory=1472 CPUtime=7.52 cores=1,3,5,7
/proc/20660/stat : 20660 (scop.sh) S 20657 20660 16605 0 -1 4202496 590 27194 0 0 0 0 736 16 20 0 1 0 225074539 115843072 368 33554432000 4194304 5098028 140735898804688 140735898801432 140161681592956 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40243200 140735898809408 140735898809607 140735898809607 140735898812365 0
/proc/20660/statm: 28282 368 311 221 0 87 0
[pid=20678] ppid=20660 vsize=8068220 memory=114796 CPUtime=1.16 cores=1,3,5,7
/proc/20678/stat : 20678 (java) S 20660 20660 16605 0 -1 1077944320 18494 0 0 0 110 6 0 0 20 0 19 0 225074835 8261857280 28699 33554432000 4194304 4196468 140722321460288 140722321442832 140375739563767 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
/proc/20678/statm: 2017055 28699 3150 1 0 1978454 0
[pid=20693] ppid=20678 vsize=38860 memory=22088 CPUtime=2.31 cores=1,3,5,7
/proc/20693/stat : 20693 (minisat_release) R 20678 20660 16605 0 -1 4202496 6592 0 0 0 230 1 0 0 20 0 1 0 225074909 39792640 5522 33554432000 4194304 4308513 140722893973344 140722893970248 4275587 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 13864960 140722893976692 140722893976790 140722893976790 140722893979589 0
/proc/20693/statm: 9715 5522 339 28 0 5955 0
[pid=20678/tid=20679] ppid=20660 vsize=8068220 memory=-7824251494390519397 CPUtime=0.75 cores=1,3,5,7
/proc/20678/task/20679/stat : 20679 (java) S 20660 20660 16605 0 -1 1077944384 15551 0 0 0 71 4 0 0 20 0 19 0 225074836 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375711403920 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20680] ppid=20660 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20680/stat : 20680 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225074837 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375743805840 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20681] ppid=20660 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20681/stat : 20681 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225074837 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375224830224 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20682] ppid=20660 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20682/stat : 20682 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225074837 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375223777936 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20683] ppid=20660 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20683/stat : 20683 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225074837 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375222725136 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20684] ppid=20660 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20684/stat : 20684 (java) S 20660 20660 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225074838 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375186008688 140375739574914 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20685] ppid=20660 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20685/stat : 20685 (java) S 20660 20660 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225074839 8261857280 28699 33554432000 4194304 4196468 140722321460288 140374563611936 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20686] ppid=20660 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20686/stat : 20686 (java) S 20660 20660 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225074839 8261857280 28699 33554432000 4194304 4196468 140722321460288 140374429390448 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20687] ppid=20660 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20687/stat : 20687 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225074841 8261857280 28699 33554432000 4194304 4196468 140722321460288 140374054885968 140375739582363 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20688] ppid=20660 vsize=8068220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20678/task/20688/stat : 20688 (java) S 20660 20660 16605 0 -1 1077944384 683 0 0 0 8 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375184955504 140375739574914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20689] ppid=20660 vsize=8068220 memory=140502488716928 CPUtime=0.08 cores=1,3,5,7
/proc/20678/task/20689/stat : 20689 (java) S 20660 20660 16605 0 -1 1077944384 262 0 0 0 8 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375183902704 140375739574914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20690] ppid=20660 vsize=8068220 memory=-1 CPUtime=0.21 cores=1,3,5,7
/proc/20678/task/20690/stat : 20690 (java) S 20660 20660 16605 0 -1 1077944384 570 0 0 0 21 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375182850416 140375739574914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20691] ppid=20660 vsize=8068220 memory=140502488716928 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20691/stat : 20691 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140373556980192 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20692] ppid=20660 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20692/stat : 20692 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375181798320 140375739574914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20694] ppid=20660 vsize=8068220 memory=140502488716928 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20694/stat : 20694 (java) S 20660 20660 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225074909 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375173989824 140375739588377 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20696] ppid=20660 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20696/stat : 20696 (java) S 20660 20660 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225074909 8261857280 28699 33554432000 4194304 4196468 140722321460288 140373020094480 140375739585693 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20697] ppid=20660 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20697/stat : 20697 (java) S 20660 20660 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225074909 8261857280 28699 33554432000 4194304 4196468 140722321460288 140373154315664 140375739585693 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20698] ppid=20660 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20698/stat : 20698 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225074911 8261857280 28699 33554432000 4194304 4196468 140722321460288 140372751670176 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
Current children cumulated CPU time: 10.99 s
Current children cumulated vsize: 8220208 KiB
Current children cumulated memory: 138356 KiB
[startup+6.11026 s]
/proc/loadavg: 2.80 2.39 2.19 4/227 20698
/proc/meminfo: memFree=24515824/32770624 swapFree=67108860/67108860
[pid=20660] ppid=20657 vsize=113128 memory=1472 CPUtime=7.52 cores=1,3,5,7
/proc/20660/stat : 20660 (scop.sh) S 20657 20660 16605 0 -1 4202496 590 27194 0 0 0 0 736 16 20 0 1 0 225074539 115843072 368 33554432000 4194304 5098028 140735898804688 140735898801432 140161681592956 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40243200 140735898809408 140735898809607 140735898809607 140735898812365 0
/proc/20660/statm: 28282 368 311 221 0 87 0
[pid=20678] ppid=20660 vsize=8068220 memory=114796 CPUtime=1.16 cores=1,3,5,7
/proc/20678/stat : 20678 (java) S 20660 20660 16605 0 -1 1077944320 18494 0 0 0 110 6 0 0 20 0 19 0 225074835 8261857280 28699 33554432000 4194304 4196468 140722321460288 140722321442832 140375739563767 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
/proc/20678/statm: 2017055 28699 3150 1 0 1978454 0
[pid=20693] ppid=20678 vsize=38860 memory=22124 CPUtime=2.41 cores=1,3,5,7
/proc/20693/stat : 20693 (minisat_release) R 20678 20660 16605 0 -1 4202496 7322 0 0 0 240 1 0 0 20 0 1 0 225074909 39792640 5531 33554432000 4194304 4308513 140722893973344 140722893970248 4276436 0 4 0 8396802 0 0 0 17 3 0 0 0 0 0 6409496 6410680 13864960 140722893976692 140722893976790 140722893976790 140722893979589 0
/proc/20693/statm: 9715 5531 339 28 0 5955 0
[pid=20678/tid=20679] ppid=20660 vsize=8068220 memory=75 CPUtime=0.75 cores=1,3,5,7
/proc/20678/task/20679/stat : 20679 (java) S 20660 20660 16605 0 -1 1077944384 15551 0 0 0 71 4 0 0 20 0 19 0 225074836 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375711403920 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20680] ppid=20660 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20680/stat : 20680 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225074837 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375743805840 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20681] ppid=20660 vsize=8068220 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20681/stat : 20681 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225074837 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375224830224 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20682] ppid=20660 vsize=8068220 memory=6120 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20682/stat : 20682 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225074837 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375223777936 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20683] ppid=20660 vsize=8068220 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20683/stat : 20683 (java) S 20660 20660 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225074837 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375222725136 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20684] ppid=20660 vsize=8068220 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20684/stat : 20684 (java) S 20660 20660 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225074838 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375186008688 140375739574914 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20685] ppid=20660 vsize=8068220 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20685/stat : 20685 (java) S 20660 20660 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225074839 8261857280 28699 33554432000 4194304 4196468 140722321460288 140374563611936 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20686] ppid=20660 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20686/stat : 20686 (java) S 20660 20660 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225074839 8261857280 28699 33554432000 4194304 4196468 140722321460288 140374429390448 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20687] ppid=20660 vsize=8068220 memory=88 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20687/stat : 20687 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225074841 8261857280 28699 33554432000 4194304 4196468 140722321460288 140374054885968 140375739582363 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20688] ppid=20660 vsize=8068220 memory=61 CPUtime=0.08 cores=1,3,5,7
/proc/20678/task/20688/stat : 20688 (java) S 20660 20660 16605 0 -1 1077944384 683 0 0 0 8 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375184955504 140375739574914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20689] ppid=20660 vsize=8068220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20678/task/20689/stat : 20689 (java) S 20660 20660 16605 0 -1 1077944384 262 0 0 0 8 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375183902704 140375739574914 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20690] ppid=20660 vsize=8068220 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/20678/task/20690/stat : 20690 (java) S 20660 20660 16605 0 -1 1077944384 570 0 0 0 21 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375182850416 140375739574914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20691] ppid=20660 vsize=8068220 memory=3712 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20691/stat : 20691 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140373556980192 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20692] ppid=20660 vsize=8068220 memory=61224 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20692/stat : 20692 (java) S 20660 20660 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225074842 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375181798320 140375739574914 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20694] ppid=20660 vsize=8068220 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20694/stat : 20694 (java) S 20660 20660 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225074909 8261857280 28699 33554432000 4194304 4196468 140722321460288 140375173989824 140375739588377 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20696] ppid=20660 vsize=8068220 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20696/stat : 20696 (java) S 20660 20660 16605 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225074909 8261857280 28699 33554432000 4194304 4196468 140722321460288 140373020094480 140375739585693 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20697] ppid=20660 vsize=8068220 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20697/stat : 20697 (java) S 20660 20660 16605 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 225074909 8261857280 28699 33554432000 4194304 4196468 140722321460288 140373154315664 140375739585693 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
[pid=20678/tid=20698] ppid=20660 vsize=8068220 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20698/stat : 20698 (java) S 20660 20660 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225074911 8261857280 28699 33554432000 4194304 4196468 140722321460288 140372751670176 140375739573973 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37347328 140722321462453 140722321462577 140722321462577 140722321465295 0
Current children cumulated CPU time: 11.09 s
Current children cumulated vsize: 8220208 KiB
Current children cumulated memory: 138392 KiB
Child status: 0
Real time (s): 6.19527
CPU time (s): 11.1946
CPU user time (s): 10.9472
CPU system time (s): 0.247433
CPU usage (%): 180.696
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 568004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9472
system time used= 0.247433
maximum resident set size= 571872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53772
page faults= 0
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5227
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 20660
# total CPU time (s): 11.1946
# total CPU user time (s): 10.9472
# total CPU system time (s): 0.247433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05155 second user time and 0.123527 second system time
The end