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-7166-serial-file.bin HOME/instance-4305425-1534074804.xml
0.54/0.51
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 13:53:25 CEST 2018
0.66/0.54 c PID: 7169
0.66/0.54 c IP: 172.20.3.151
0.66/0.54 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
5.76/2.22 c (1,1) Parsing End
5.76/2.22 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 8410 ctr, max domain size 5
5.76/2.22 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
5.76/2.22 c (1,1) Constraint Name Generate Begin
5.76/2.27 c (1,1) Ctr:HOME/instance-4305425-1534074804.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
5.76/2.27 c (1,1) Constraint Name Generate End
5.76/2.27 c (1,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
5.76/2.27 c (1,1) CSP to CSPinCNF Begin
6.57/2.54 c (2,2) translated 841 (10%) constraints
6.82/2.60 c (2,2) translated 1682 (20%) constraints
6.82/2.65 c (2,2) translated 2523 (30%) constraints
6.82/2.69 c (2,2) translated 3364 (40%) constraints
7.11/2.74 c (2,2) translated 4205 (50%) constraints
7.11/2.78 c (2,2) translated 5046 (60%) constraints
7.41/2.82 c (2,2) translated 5887 (70%) constraints
7.41/2.86 c (2,2) translated 6728 (80%) constraints
7.41/2.89 c (2,2) translated 7569 (90%) constraints
8.75/3.29 c (2,2) translated 8410 (100%) constraints
10.60/3.82 c (3,3) STATISTICS1:HOME/instance-4305425-1534074804.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,1505,11137,16777216,5,4,25,16777216:80;5:15306;1:2197,5:32411;2:3915;1:4620,4:8705;3:1031;2:1305;1:96,25:80;2:17503;1:5965,
10.60/3.82 c (3,3) ==========================================
10.60/3.82 c (3,3) Order
10.60/3.82 c (3,3) ==========================================
10.96/3.91 c (3,3) translated 1114 (10%) constraints
10.96/3.98 c (3,3) translated 2228 (20%) constraints
11.30/4.05 c (3,3) translated 3342 (30%) constraints
11.60/4.11 c (3,3) translated 4455 (40%) constraints
11.60/4.17 c (3,3) translated 5569 (50%) constraints
11.86/4.23 c (3,3) translated 6683 (60%) constraints
11.86/4.28 c (3,3) translated 7796 (70%) constraints
12.41/4.40 c (3,3) translated 8910 (80%) constraints
12.74/4.51 c (3,3) translated 10024 (90%) constraints
12.74/4.58 c (4,4) translated 11137 (100%) constraints
12.74/4.58 c (4,4) CSP to CSPinCNF End
12.74/4.59 c (4,4) CSP: 320 int (120 aux), 2305 bool (2305 aux), 13442 ctr, max domain size 6
12.74/4.59 c (4,4) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.74/4.59 c (4,4) CSPinCNF Propagation Begin
13.68/4.80 c (4,4) 345 values, 3418 unsatisfiable literals, and 2743 valid clauses are removed
13.68/4.80 c (4,4) CSPinCNF Propagation End
13.68/4.80 c (4,4) CSP: 590 int (390 aux), 2035 bool (2035 aux), 10699 ctr, max domain size 6
13.68/4.80 c (4,4) Heap : 1070 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
13.68/4.80 c (4,4) Simplify CSPinCNF Begin
14.29/5.08 c (4,4) Simplify CSPinCNF End
14.29/5.08 c (4,4) CSP: 590 int (390 aux), 6585 bool (6585 aux), 15249 ctr, max domain size 6
14.29/5.08 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
14.29/5.08 c (4,4) Calculate Precise Domain Begin
14.60/5.14 c (4,4) 0 values are removed by re-calculation
14.60/5.14 c (4,4) Calculate Precise Domain End
14.60/5.14 c (4,4) CSP: 590 int (390 aux), 6585 bool (6585 aux), 15249 ctr, max domain size 6
14.60/5.14 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
14.60/5.14 c (4,4) CSPinCNF to SatSolver Begin
14.93/5.29 c (4,4) 1525 (10 %) CSP clauses are encoded (7810 SAT variables, 6753 SAT clauses)
15.20/5.35 c (4,4) 3050 (20 %) CSP clauses are encoded (7810 SAT variables, 12578 SAT clauses)
15.51/5.43 c (4,4) 4575 (30 %) CSP clauses are encoded (7810 SAT variables, 17903 SAT clauses)
15.81/5.51 c (4,4) 6100 (40 %) CSP clauses are encoded (7810 SAT variables, 23244 SAT clauses)
15.81/5.55 c (5,4) 7625 (50 %) CSP clauses are encoded (7810 SAT variables, 25369 SAT clauses)
15.81/5.57 c (5,5) 9150 (60 %) CSP clauses are encoded (7810 SAT variables, 26894 SAT clauses)
15.81/5.59 c (5,5) 10675 (70 %) CSP clauses are encoded (7810 SAT variables, 28419 SAT clauses)
16.73/5.80 c (5,5) 12200 (80 %) CSP clauses are encoded (7810 SAT variables, 53509 SAT clauses)
16.97/5.95 c (5,5) 13725 (90 %) CSP clauses are encoded (7810 SAT variables, 78599 SAT clauses)
16.97/6.00 c (5,5) 15249 (100 %) CSP clauses are encoded (7810 SAT variables, 90081 SAT clauses)
16.97/6.00 c (5,5) Launch Command will be: minisat_release
16.97/6.00 c (5,5) CSPinCNF to SatSolver End
16.97/6.00 c (5,5) Heap : 1520 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
17.45/6.11 c (5,5) STATISTICS2:HOME/instance-4305425-1534074804.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,7175,15249,512,6,4,10,512:70;256:140;36:70;5:4806;1:59,6:420;5:12471;2:37710;1:59,4:6577;3:559;2:7807;1:306,10:70;9:140;3:70;2:4865;1:38760,
17.45/6.11 c (5,5) 7810 bool, 90085 clause
17.45/6.11 c (5,5) Export Begin
17.76/6.21 c (5,5) Export to HOME/scop-7166-serial-file.bin
17.76/6.21 c (5,5) Export End
17.76/6.21 c (5,5) Export File Size: 0.03 MB
17.76/6.21 c (5,5) 1,1,4,4,4,4,5,STOP-AFTER(DIMACS)
17.76/6.21 c END-Prog: Sun Aug 12 13:53:31 CEST 2018
17.76/6.23 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-7166-serial-file.bin
17.81/6.72 c (0,0) Read Serial File Begin
17.81/6.72 c (0,0) HOME/scop-7166-serial-file.bin
17.81/6.90 c (0,0) Read Serial File End
17.81/6.91
17.81/6.91 scop order+minisat_release (2018-07-31)
17.81/6.91 (Solving Process)
17.81/6.91
17.81/6.93 c BEGIN-Prog: Sun Aug 12 13:53:31 CEST 2018
17.81/6.93 c PID: 7184
17.81/6.93 c IP: 172.20.3.151
17.81/6.93 c HOST: node151.alineos.net
17.81/6.94 c (0,0) SatSolver.solve Begin
17.81/6.94 c (0,0) 0 bool, 0 clause
17.81/6.94 c (0,0) minisat_release HOME/instance-4305425-1534074804.xml-scop-7169.cnf
19.86/7.96 c (1,0) c This is COMiniSatPS.
19.86/7.96 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
19.86/7.96 c (1,0) c ============================[ Problem Statistics ]=============================
19.86/7.96 c (1,0) c | |
19.86/7.96 c (1,0) c | Number of variables: 7810 |
19.86/7.96 c (1,0) c | Number of clauses: 90085 |
19.86/7.96 c (1,0) c | Parse time: 0.03 s |
19.86/7.96 c (1,0) c | Eliminated clauses: 0.03 Mb |
19.86/7.96 c (1,0) c Reduced to 6239 vars, 86876 cls (grow=0)
19.86/7.96 c (1,0) c No iterative elimination performed. (vars=6239, c/v ratio=13.9)
19.86/7.96 c (1,0) c | Simplification time: 0.17 s |
19.86/7.96 c (1,0) c | |
19.86/7.96 c (1,0) c ============================[ Search Statistics ]==============================
19.86/7.96 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
19.86/7.96 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
19.86/7.96 c (1,0) c ===============================================================================
19.86/7.96 c (1,0) c ===============================================================================
19.86/7.96 c (1,0) c restarts : 98
19.86/7.96 c (1,0) c conflicts : 23470 (23662 /sec)
19.86/7.96 c (1,0) c decisions : 38806 (0.00 % random) (39123 /sec)
19.86/7.96 c (1,0) c propagations : 2337093 (2356171 /sec)
19.86/7.96 c (1,0) c conflict literals : 394260 (11.48 % deleted)
19.86/7.96 c (1,0) c CPU time : 0.991903 s
19.86/7.96 c (1,0)
19.86/7.96 c (1,0) s UNSATISFIABLE
19.86/7.96 c (1,0) SatSolver.solve End
19.86/7.96 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
19.86/7.96 c (1,0) Show results Begin
19.86/7.96 s UNSATISFIABLE
19.86/7.96 c (1,0) Show results End
19.86/7.96 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
19.86/7.97 c (1,0) 1,1,STOP-AFTER(ALL)
19.86/7.97 c END-Prog: Sun Aug 12 13:53: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 (2877 MiB free)
memory of node 1: 16384 MiB (5672 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305425-1534074804/watcher-4305425-1534074804 -o /tmp/evaluation-result-4305425-1534074804/solver-4305425-1534074804 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305425-1534074804.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=7166, runsolver pid=7163
Current StackSize limit: 8192 KiB
[startup+0.100901 s]*
/proc/loadavg: 2.21 2.08 2.06 3/223 7183
/proc/meminfo: memFree=8693524/32770624 swapFree=67108860/67108860
[pid=7166] ppid=7163 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7166/stat : 7166 (scop.sh) S 7163 7166 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225043639 115843072 349 33554432000 4194304 5098028 140728918666944 140728918664200 140278939787900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30429184 140728918672448 140728918672647 140728918672647 140728918675405 0
/proc/7166/statm: 28282 349 296 221 0 87 0
[pid=7169] ppid=7166 vsize=15012476 memory=72832 CPUtime=0.11 cores=1,3,5,7
/proc/7169/stat : 7169 (java) S 7166 7166 3762 0 -1 1077944320 6327 0 0 0 9 2 0 0 20 0 15 0 225043639 15372775424 18208 33554432000 4194304 4196468 140728560480080 140728560462624 139762805894903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
/proc/7169/statm: 3753119 18208 2767 1 0 3715579 0
[pid=7169/tid=7170] ppid=7166 vsize=15012476 memory=-6526411401870300574 CPUtime=0.09 cores=1,3,5,7
/proc/7169/task/7170/stat : 7170 (java) R 7166 7166 3762 0 -1 4202560 4460 0 0 0 7 2 0 0 20 0 15 0 225043640 15372775424 18274 33554432000 4194304 4196468 140728560480080 139762777706888 139762789975390 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7171] ppid=7166 vsize=15012476 memory=3472468032501057200 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7171/stat : 7171 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225043641 15372775424 18274 33554432000 4194304 4196468 140728560480080 139762810137616 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7172] ppid=7166 vsize=15012476 memory=139736273376896 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7172/stat : 7172 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043641 15372775424 18274 33554432000 4194304 4196468 140728560480080 139762601221264 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7173] ppid=7166 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7173/stat : 7173 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043641 15372775424 18274 33554432000 4194304 4196468 140728560480080 139762600168208 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7174] ppid=7166 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7174/stat : 7174 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225043641 15372775424 18274 33554432000 4194304 4196468 140728560480080 139762599115664 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7175] ppid=7166 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7175/stat : 7175 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225043643 15372775424 18274 33554432000 4194304 4196468 140728560480080 139761776380144 139762805906050 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7176] ppid=7166 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7176/stat : 7176 (java) S 7166 7166 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225043643 15372775424 18274 33554432000 4194304 4196468 140728560480080 139761389921440 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7177] ppid=7166 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7177/stat : 7177 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043643 15372775424 18274 33554432000 4194304 4196468 140728560480080 139761121485552 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7178] ppid=7166 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7178/stat : 7178 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225043646 15372775424 18274 33554432000 4194304 4196468 140728560480080 139760746977232 139762805913499 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7179] ppid=7166 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7179/stat : 7179 (java) S 7166 7166 3762 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 225043646 15372775424 18274 33554432000 4194304 4196468 140728560480080 139761775327984 139762805906050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7180] ppid=7166 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7180/stat : 7180 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225043646 15372775424 18274 33554432000 4194304 4196468 140728560480080 139761774275440 139762805906050 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7181] ppid=7166 vsize=15012476 memory=139736273376896 CPUtime=0.01 cores=1,3,5,7
/proc/7169/task/7181/stat : 7181 (java) R 7166 7166 3762 0 -1 4202560 287 0 0 0 1 0 0 0 20 0 15 0 225043646 15372775424 18274 33554432000 4194304 4196468 140728560480080 139761773222384 139762785610779 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7182] ppid=7166 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7182/stat : 7182 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225043646 15372775424 18274 33554432000 4194304 4196468 140728560480080 139760249072480 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7183] ppid=7166 vsize=15012476 memory=139736273376896 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7183/stat : 7183 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043646 15372775424 18274 33554432000 4194304 4196468 140728560480080 139761772169776 139762805906050 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74228 KiB
[startup+0.212456 s]*
/proc/loadavg: 2.21 2.08 2.06 3/223 7183
/proc/meminfo: memFree=8679836/32770624 swapFree=67108860/67108860
[pid=7166] ppid=7163 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7166/stat : 7166 (scop.sh) S 7163 7166 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225043639 115843072 349 33554432000 4194304 5098028 140728918666944 140728918664200 140278939787900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30429184 140728918672448 140728918672647 140728918672647 140728918675405 0
/proc/7166/statm: 28282 349 296 221 0 87 0
[pid=7169] ppid=7166 vsize=15012476 memory=86140 CPUtime=0.25 cores=1,3,5,7
/proc/7169/stat : 7169 (java) S 7166 7166 3762 0 -1 1077944320 9884 0 0 0 22 3 0 0 20 0 15 0 225043639 15372775424 21535 33554432000 4194304 4196468 140728560480080 140728560462624 139762805894903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
/proc/7169/statm: 3753119 21535 2900 1 0 3715579 0
[pid=7169/tid=7170] ppid=7166 vsize=15012476 memory=-8976644418600983157 CPUtime=0.19 cores=1,3,5,7
/proc/7169/task/7170/stat : 7170 (java) R 7166 7166 3762 0 -1 4202560 7790 0 0 0 17 2 0 0 20 0 15 0 225043640 15372775424 21535 33554432000 4194304 4196468 140728560480080 139762777721296 139762805906838 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7171] ppid=7166 vsize=15012476 memory=3472468032501057200 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7171/stat : 7171 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225043641 15372775424 21535 33554432000 4194304 4196468 140728560480080 139762810137616 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7172] ppid=7166 vsize=15012476 memory=139736273376896 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7172/stat : 7172 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043641 15372775424 21535 33554432000 4194304 4196468 140728560480080 139762601221264 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7173] ppid=7166 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7173/stat : 7173 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043641 15372775424 21535 33554432000 4194304 4196468 140728560480080 139762600168208 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7174] ppid=7166 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7174/stat : 7174 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225043641 15372775424 21535 33554432000 4194304 4196468 140728560480080 139762599115664 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7175] ppid=7166 vsize=15012476 memory=139736273376896 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7175/stat : 7175 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225043643 15372775424 21535 33554432000 4194304 4196468 140728560480080 139761776380144 139762805906050 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7176] ppid=7166 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7176/stat : 7176 (java) S 7166 7166 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225043643 15372775424 21535 33554432000 4194304 4196468 140728560480080 139761389921440 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7177] ppid=7166 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7177/stat : 7177 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043643 15372775424 21535 33554432000 4194304 4196468 140728560480080 139761121485552 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7178] ppid=7166 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7178/stat : 7178 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225043646 15372775424 21535 33554432000 4194304 4196468 140728560480080 139760746977232 139762805913499 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7179] ppid=7166 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7179/stat : 7179 (java) S 7166 7166 3762 0 -1 1077944384 325 0 0 0 0 0 0 0 20 0 15 0 225043646 15372775424 21535 33554432000 4194304 4196468 140728560480080 139761775327984 139762805906050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7180] ppid=7166 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7180/stat : 7180 (java) S 7166 7166 3762 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 225043646 15372775424 21535 33554432000 4194304 4196468 140728560480080 139761774275440 139762805906050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7181] ppid=7166 vsize=15012476 memory=139736273376896 CPUtime=0.03 cores=1,3,5,7
/proc/7169/task/7181/stat : 7181 (java) R 7166 7166 3762 0 -1 4202560 305 0 0 0 3 0 0 0 20 0 15 0 225043646 15372775424 21535 33554432000 4194304 4196468 140728560480080 139761773222384 139762798132030 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7182] ppid=7166 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7182/stat : 7182 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225043646 15372775424 21535 33554432000 4194304 4196468 140728560480080 139760249072480 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7183] ppid=7166 vsize=15012476 memory=139736273376896 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7183/stat : 7183 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043646 15372775424 21535 33554432000 4194304 4196468 140728560480080 139761772169776 139762805906050 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87536 KiB
[startup+0.310715 s]*
/proc/loadavg: 2.21 2.08 2.06 3/223 7183
/proc/meminfo: memFree=8675804/32770624 swapFree=67108860/67108860
[pid=7166] ppid=7163 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7166/stat : 7166 (scop.sh) S 7163 7166 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225043639 115843072 349 33554432000 4194304 5098028 140728918666944 140728918664200 140278939787900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30429184 140728918672448 140728918672647 140728918672647 140728918675405 0
/proc/7166/statm: 28282 349 296 221 0 87 0
[pid=7169] ppid=7166 vsize=15012476 memory=89668 CPUtime=0.41 cores=1,3,5,7
/proc/7169/stat : 7169 (java) S 7166 7166 3762 0 -1 1077944320 10400 0 0 0 38 3 0 0 20 0 15 0 225043639 15372775424 22417 33554432000 4194304 4196468 140728560480080 140728560462624 139762805894903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
/proc/7169/statm: 3753119 22417 2977 1 0 3715579 0
[pid=7169/tid=7170] ppid=7166 vsize=15012476 memory=-8976644418600983157 CPUtime=0.3 cores=1,3,5,7
/proc/7169/task/7170/stat : 7170 (java) R 7166 7166 3762 0 -1 4202560 8162 0 0 0 27 3 0 0 20 0 15 0 225043640 15372775424 22417 33554432000 4194304 4196468 140728560480080 139762777689904 139762805906838 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7171] ppid=7166 vsize=15012476 memory=3472468032501057200 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7171/stat : 7171 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225043641 15372775424 22417 33554432000 4194304 4196468 140728560480080 139762810137616 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7172] ppid=7166 vsize=15012476 memory=279472430488448 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7172/stat : 7172 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043641 15372775424 22417 33554432000 4194304 4196468 140728560480080 139762601221264 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7173] ppid=7166 vsize=15012476 memory=279472314255392 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7173/stat : 7173 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043641 15372775424 22417 33554432000 4194304 4196468 140728560480080 139762600168208 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7174] ppid=7166 vsize=15012476 memory=139736157111567 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7174/stat : 7174 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225043641 15372775424 22417 33554432000 4194304 4196468 140728560480080 139762599115664 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7175] ppid=7166 vsize=15012476 memory=279472430495360 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7175/stat : 7175 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225043643 15372775424 22417 33554432000 4194304 4196468 140728560480080 139761776380144 139762805906050 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7176] ppid=7166 vsize=15012476 memory=139736157116175 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7176/stat : 7176 (java) S 7166 7166 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225043643 15372775424 22417 33554432000 4194304 4196468 140728560480080 139761389921440 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7177] ppid=7166 vsize=15012476 memory=139736157125273 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7177/stat : 7177 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043643 15372775424 22417 33554432000 4194304 4196468 140728560480080 139761121485552 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7178] ppid=7166 vsize=15012476 memory=279472314264608 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7178/stat : 7178 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225043646 15372775424 22417 33554432000 4194304 4196468 140728560480080 139760746977232 139762805913499 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7179] ppid=7166 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7169/task/7179/stat : 7179 (java) R 7166 7166 3762 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 15 0 225043646 15372775424 22417 33554432000 4194304 4196468 140728560480080 139761775327984 139762805906050 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7180] ppid=7166 vsize=15012476 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/7169/task/7180/stat : 7180 (java) R 7166 7166 3762 0 -1 4202560 148 0 0 0 1 0 0 0 20 0 15 0 225043646 15372775424 22417 33554432000 4194304 4196468 140728560480080 139761774275440 139762798879945 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7181] ppid=7166 vsize=15012476 memory=139736273376896 CPUtime=0.07 cores=1,3,5,7
/proc/7169/task/7181/stat : 7181 (java) R 7166 7166 3762 0 -1 4202560 325 0 0 0 7 0 0 0 20 0 15 0 225043646 15372775424 22417 33554432000 4194304 4196468 140728560480080 139761773222384 139762805906838 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7182] ppid=7166 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7182/stat : 7182 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225043646 15372775424 22417 33554432000 4194304 4196468 140728560480080 139760249072480 139762805905109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7183] ppid=7166 vsize=15012476 memory=139736273378292 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7183/stat : 7183 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043646 15372775424 22417 33554432000 4194304 4196468 140728560480080 139761772169776 139762805906050 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91064 KiB
[startup+0.707127 s]
/proc/loadavg: 2.21 2.08 2.06 3/223 7183
/proc/meminfo: memFree=8651248/32770624 swapFree=67108860/67108860
[pid=7166] ppid=7163 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7166/stat : 7166 (scop.sh) S 7163 7166 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225043639 115843072 349 33554432000 4194304 5098028 140728918666944 140728918664200 140278939787900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30429184 140728918672448 140728918672647 140728918672647 140728918675405 0
/proc/7166/statm: 28282 349 296 221 0 87 0
[pid=7169] ppid=7166 vsize=15018748 memory=131924 CPUtime=1.08 cores=1,3,5,7
/proc/7169/stat : 7169 (java) S 7166 7166 3762 0 -1 1077944320 17596 0 0 0 102 6 0 0 20 0 15 0 225043639 15379197952 32981 33554432000 4194304 4196468 140728560480080 140728560462624 139762805894903 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
/proc/7169/statm: 3754687 32981 3147 1 0 3716091 0
[pid=7169/tid=7170] ppid=7166 vsize=15018748 memory=54 CPUtime=0.68 cores=1,3,5,7
/proc/7169/task/7170/stat : 7170 (java) R 7166 7166 3762 0 -1 4202560 14602 0 0 0 63 5 0 0 20 0 15 0 225043640 15379197952 32981 33554432000 4194304 4196468 140728560480080 139762777730560 139762805916829 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7171] ppid=7166 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7171/stat : 7171 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225043641 15379197952 32981 33554432000 4194304 4196468 140728560480080 139762810137616 139762805905109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7172] ppid=7166 vsize=15018748 memory=8751464017575360309 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7172/stat : 7172 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043641 15379197952 32981 33554432000 4194304 4196468 140728560480080 139762601221264 139762805905109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7173] ppid=7166 vsize=15018748 memory=5788902676991533888 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7173/stat : 7173 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043641 15379197952 32981 33554432000 4194304 4196468 140728560480080 139762600168208 139762805905109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7174] ppid=7166 vsize=15018748 memory=6440526044186890340 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7174/stat : 7174 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225043641 15379197952 32981 33554432000 4194304 4196468 140728560480080 139762599115664 139762805905109 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7175] ppid=7166 vsize=15018748 memory=170926128 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7175/stat : 7175 (java) S 7166 7166 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225043643 15379197952 32981 33554432000 4194304 4196468 140728560480080 139761776380144 139762805906050 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7176] ppid=7166 vsize=15018748 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7176/stat : 7176 (java) S 7166 7166 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225043643 15379197952 32981 33554432000 4194304 4196468 140728560480080 139761389921440 139762805905109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7177] ppid=7166 vsize=15018748 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7177/stat : 7177 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043643 15379197952 32981 33554432000 4194304 4196468 140728560480080 139761121485552 139762805905109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7178] ppid=7166 vsize=15018748 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7178/stat : 7178 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225043646 15379197952 32981 33554432000 4194304 4196468 140728560480080 139760746977232 139762805913499 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7179] ppid=7166 vsize=15018748 memory=4536 CPUtime=0.09 cores=1,3,5,7
/proc/7169/task/7179/stat : 7179 (java) R 7166 7166 3762 0 -1 4202560 724 0 0 0 9 0 0 0 20 0 15 0 225043646 15379197952 32981 33554432000 4194304 4196468 140728560480080 139761775319936 139762789370277 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7180] ppid=7166 vsize=15018748 memory=8448 CPUtime=0.1 cores=1,3,5,7
/proc/7169/task/7180/stat : 7180 (java) R 7166 7166 3762 0 -1 4202560 421 0 0 0 10 0 0 0 20 0 15 0 225043646 15379197952 32981 33554432000 4194304 4196468 140728560480080 139761774262224 139762791590737 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7181] ppid=7166 vsize=15018748 memory=1628 CPUtime=0.18 cores=1,3,5,7
/proc/7169/task/7181/stat : 7181 (java) S 7166 7166 3762 0 -1 1077944384 514 0 0 0 18 0 0 0 20 0 15 0 225043646 15379197952 32981 33554432000 4194304 4196468 140728560480080 139761773222384 139762805906050 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7182] ppid=7166 vsize=15018748 memory=1144 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7182/stat : 7182 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225043646 15379197952 32981 33554432000 4194304 4196468 140728560480080 139760249072480 139762805905109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
[pid=7169/tid=7183] ppid=7166 vsize=15018748 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/7169/task/7183/stat : 7183 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225043646 15379197952 32981 33554432000 4194304 4196468 140728560480080 139761772169776 139762805906050 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12574720 140728560481287 140728560481585 140728560481585 140728560484303 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 133320 KiB
[startup+1.50084 s]
/proc/loadavg: 2.21 2.08 2.06 5/223 7183
/proc/meminfo: memFree=8563432/32770624 swapFree=67108860/67108860
[pid=7166] ppid=7163 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/7166/stat : 7166 (scop.sh) S 7163 7166 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225043639 115843072 349 33554432000 4194304 5098028 140728918666944 140728918664200 140278939787900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30429184 140728918672448 140728918672647 140728918672647 140728918675405 0
/proc/7166/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 19.16 s
Current children cumulated vsize: 8208456 KiB
Current children cumulated memory: 130760 KiB
[startup+7.60087 s]
/proc/loadavg: 2.43 2.13 2.08 4/228 7204
/proc/meminfo: memFree=8633908/32770624 swapFree=67108860/67108860
[pid=7166] ppid=7163 vsize=113128 memory=1472 CPUtime=17.81 cores=1,3,5,7
/proc/7166/stat : 7166 (scop.sh) S 7163 7166 3762 0 -1 4202496 591 36127 0 0 0 0 1745 36 20 0 1 0 225043639 115843072 368 33554432000 4194304 5098028 140728918666944 140728918663688 140278939787900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30429184 140728918672448 140728918672647 140728918672647 140728918675405 0
/proc/7166/statm: 28282 368 311 221 0 87 0
[pid=7184] ppid=7166 vsize=8068220 memory=118692 CPUtime=1.12 cores=1,3,5,7
/proc/7184/stat : 7184 (java) S 7166 7166 3762 0 -1 1077944320 17882 0 0 0 106 6 0 0 20 0 19 0 225044263 8261857280 29673 33554432000 4194304 4196468 140721549970688 140721549953232 139891454271223 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
/proc/7184/statm: 2017055 29673 3152 1 0 1978454 0
[pid=7199] ppid=7184 vsize=28784 memory=11868 CPUtime=0.63 cores=1,3,5,7
/proc/7199/stat : 7199 (minisat_release) R 7184 7166 3762 0 -1 4202496 3473 0 0 0 63 0 0 0 20 0 1 0 225044335 29474816 2967 33554432000 4194304 4308513 140721153654320 140721153651736 4264531 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 10272768 140721153660021 140721153660118 140721153660118 140721153662917 0
/proc/7199/statm: 7196 2967 342 28 0 3436 0
[pid=7184/tid=7185] ppid=7166 vsize=8068220 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/7184/task/7185/stat : 7185 (java) S 7166 7166 3762 0 -1 1077944384 14984 0 0 0 69 5 0 0 20 0 19 0 225044263 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891426111376 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7186] ppid=7166 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7186/stat : 7186 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225044264 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891458514064 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7187] ppid=7166 vsize=8068220 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7187/stat : 7187 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225044264 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891258682384 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7188] ppid=7166 vsize=8068220 memory=34856 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7188/stat : 7188 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225044264 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891257629584 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7189] ppid=7166 vsize=8068220 memory=4032 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7189/stat : 7189 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225044264 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891256576784 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7190] ppid=7166 vsize=8068220 memory=18232 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7190/stat : 7190 (java) S 7166 7166 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225044266 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890565011824 139891454282370 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7191] ppid=7166 vsize=8068220 memory=640 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7191/stat : 7191 (java) S 7166 7166 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225044266 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890373157920 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7192] ppid=7166 vsize=8068220 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7192/stat : 7192 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225044266 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890104722288 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7193] ppid=7166 vsize=8068220 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7193/stat : 7193 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139889730213712 139891454289819 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7194] ppid=7166 vsize=8068220 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/7184/task/7194/stat : 7194 (java) S 7166 7166 3762 0 -1 1077944384 526 0 0 0 7 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890563959664 139891454282370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7195] ppid=7166 vsize=8068220 memory=-5059952977386882957 CPUtime=0.08 cores=1,3,5,7
/proc/7184/task/7195/stat : 7195 (java) S 7166 7166 3762 0 -1 1077944384 429 0 0 0 8 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890562906864 139891454282370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7196] ppid=7166 vsize=8068220 memory=6798295072192423250 CPUtime=0.2 cores=1,3,5,7
/proc/7184/task/7196/stat : 7196 (java) S 7166 7166 3762 0 -1 1077944384 552 0 0 0 20 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890561854064 139891454282370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7197] ppid=7166 vsize=8068220 memory=7955166091236687980 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7197/stat : 7197 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139889232308960 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7198] ppid=7166 vsize=8068220 memory=7019467087940170039 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7198/stat : 7198 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890560801456 139891454282370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7200] ppid=7166 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7200/stat : 7200 (java) S 7166 7166 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225044335 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890552992960 139891454295833 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7202] ppid=7166 vsize=8068220 memory=9220 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7202/stat : 7202 (java) S 7166 7166 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225044335 8261857280 29673 33554432000 4194304 4196468 140721549970688 139888695422256 139891454293149 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7203] ppid=7166 vsize=8068220 memory=33156 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7203/stat : 7203 (java) S 7166 7166 3762 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225044335 8261857280 29673 33554432000 4194304 4196468 140721549970688 139888829644976 139891454293149 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7204] ppid=7166 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7204/stat : 7204 (java) S 7166 7166 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225044338 8261857280 29673 33554432000 4194304 4196468 140721549970688 139888426999456 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
Current children cumulated CPU time: 19.56 s
Current children cumulated vsize: 8210132 KiB
Current children cumulated memory: 132032 KiB
[startup+7.80088 s]
/proc/loadavg: 2.43 2.13 2.08 4/228 7204
/proc/meminfo: memFree=8633908/32770624 swapFree=67108860/67108860
[pid=7166] ppid=7163 vsize=113128 memory=1472 CPUtime=17.81 cores=1,3,5,7
/proc/7166/stat : 7166 (scop.sh) S 7163 7166 3762 0 -1 4202496 591 36127 0 0 0 0 1745 36 20 0 1 0 225043639 115843072 368 33554432000 4194304 5098028 140728918666944 140728918663688 140278939787900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30429184 140728918672448 140728918672647 140728918672647 140728918675405 0
/proc/7166/statm: 28282 368 311 221 0 87 0
[pid=7184] ppid=7166 vsize=8068220 memory=118692 CPUtime=1.12 cores=1,3,5,7
/proc/7184/stat : 7184 (java) S 7166 7166 3762 0 -1 1077944320 17882 0 0 0 106 6 0 0 20 0 19 0 225044263 8261857280 29673 33554432000 4194304 4196468 140721549970688 140721549953232 139891454271223 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
/proc/7184/statm: 2017055 29673 3152 1 0 1978454 0
[pid=7199] ppid=7184 vsize=28784 memory=12124 CPUtime=0.83 cores=1,3,5,7
/proc/7199/stat : 7199 (minisat_release) R 7184 7166 3762 0 -1 4202496 3573 0 0 0 83 0 0 0 20 0 1 0 225044335 29474816 3031 33554432000 4194304 4308513 140721153654320 140721153651736 140059775073253 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 10272768 140721153660021 140721153660118 140721153660118 140721153662917 0
/proc/7199/statm: 7196 3031 342 28 0 3436 0
[pid=7184/tid=7185] ppid=7166 vsize=8068220 memory=1572 CPUtime=0.74 cores=1,3,5,7
/proc/7184/task/7185/stat : 7185 (java) S 7166 7166 3762 0 -1 1077944384 14984 0 0 0 69 5 0 0 20 0 19 0 225044263 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891426111376 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7186] ppid=7166 vsize=8068220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7186/stat : 7186 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225044264 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891458514064 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7187] ppid=7166 vsize=8068220 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7187/stat : 7187 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225044264 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891258682384 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7188] ppid=7166 vsize=8068220 memory=2092 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7188/stat : 7188 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225044264 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891257629584 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7189] ppid=7166 vsize=8068220 memory=8148 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7189/stat : 7189 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225044264 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891256576784 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7190] ppid=7166 vsize=8068220 memory=844 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7190/stat : 7190 (java) S 7166 7166 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225044266 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890565011824 139891454282370 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7191] ppid=7166 vsize=8068220 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7191/stat : 7191 (java) S 7166 7166 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225044266 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890373157920 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7192] ppid=7166 vsize=8068220 memory=920 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7192/stat : 7192 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225044266 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890104722288 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7193] ppid=7166 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7193/stat : 7193 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139889730213712 139891454289819 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7194] ppid=7166 vsize=8068220 memory=2824 CPUtime=0.07 cores=1,3,5,7
/proc/7184/task/7194/stat : 7194 (java) S 7166 7166 3762 0 -1 1077944384 526 0 0 0 7 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890563959664 139891454282370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7195] ppid=7166 vsize=8068220 memory=2684 CPUtime=0.08 cores=1,3,5,7
/proc/7184/task/7195/stat : 7195 (java) S 7166 7166 3762 0 -1 1077944384 429 0 0 0 8 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890562906864 139891454282370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7196] ppid=7166 vsize=8068220 memory=4100 CPUtime=0.2 cores=1,3,5,7
/proc/7184/task/7196/stat : 7196 (java) S 7166 7166 3762 0 -1 1077944384 552 0 0 0 20 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890561854064 139891454282370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7197] ppid=7166 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7197/stat : 7197 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139889232308960 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7198] ppid=7166 vsize=8068220 memory=3412 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7198/stat : 7198 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890560801456 139891454282370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7200] ppid=7166 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7200/stat : 7200 (java) S 7166 7166 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225044335 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890552992960 139891454295833 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7202] ppid=7166 vsize=8068220 memory=118232 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7202/stat : 7202 (java) S 7166 7166 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225044335 8261857280 29673 33554432000 4194304 4196468 140721549970688 139888695422256 139891454293149 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7203] ppid=7166 vsize=8068220 memory=63164 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7203/stat : 7203 (java) S 7166 7166 3762 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225044335 8261857280 29673 33554432000 4194304 4196468 140721549970688 139888829644976 139891454293149 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7204] ppid=7166 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7204/stat : 7204 (java) S 7166 7166 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225044338 8261857280 29673 33554432000 4194304 4196468 140721549970688 139888426999456 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
Current children cumulated CPU time: 19.76 s
Current children cumulated vsize: 8210132 KiB
Current children cumulated memory: 132288 KiB
[startup+7.90086 s]
/proc/loadavg: 2.43 2.13 2.08 4/228 7204
/proc/meminfo: memFree=8633908/32770624 swapFree=67108860/67108860
[pid=7166] ppid=7163 vsize=113128 memory=1472 CPUtime=17.81 cores=1,3,5,7
/proc/7166/stat : 7166 (scop.sh) S 7163 7166 3762 0 -1 4202496 591 36127 0 0 0 0 1745 36 20 0 1 0 225043639 115843072 368 33554432000 4194304 5098028 140728918666944 140728918663688 140278939787900 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30429184 140728918672448 140728918672647 140728918672647 140728918675405 0
/proc/7166/statm: 28282 368 311 221 0 87 0
[pid=7184] ppid=7166 vsize=8068220 memory=118692 CPUtime=1.12 cores=1,3,5,7
/proc/7184/stat : 7184 (java) S 7166 7166 3762 0 -1 1077944320 17882 0 0 0 106 6 0 0 20 0 19 0 225044263 8261857280 29673 33554432000 4194304 4196468 140721549970688 140721549953232 139891454271223 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
/proc/7184/statm: 2017055 29673 3152 1 0 1978454 0
[pid=7199] ppid=7184 vsize=29052 memory=12364 CPUtime=0.93 cores=1,3,5,7
/proc/7199/stat : 7199 (minisat_release) R 7184 7166 3762 0 -1 4202496 3654 0 0 0 93 0 0 0 20 0 1 0 225044335 29749248 3091 33554432000 4194304 4308513 140721153654320 140721153651736 4289173 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 10272768 140721153660021 140721153660118 140721153660118 140721153662917 0
/proc/7199/statm: 7263 3091 342 28 0 3503 0
[pid=7184/tid=7185] ppid=7166 vsize=8068220 memory=118692 CPUtime=0.74 cores=1,3,5,7
/proc/7184/task/7185/stat : 7185 (java) S 7166 7166 3762 0 -1 1077944384 14984 0 0 0 69 5 0 0 20 0 19 0 225044263 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891426111376 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7186] ppid=7166 vsize=8068220 memory=11100 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7186/stat : 7186 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225044264 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891458514064 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7187] ppid=7166 vsize=8068220 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7187/stat : 7187 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225044264 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891258682384 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7188] ppid=7166 vsize=8068220 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7188/stat : 7188 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225044264 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891257629584 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7189] ppid=7166 vsize=8068220 memory=11764 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7189/stat : 7189 (java) S 7166 7166 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225044264 8261857280 29673 33554432000 4194304 4196468 140721549970688 139891256576784 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7190] ppid=7166 vsize=8068220 memory=118692 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7190/stat : 7190 (java) S 7166 7166 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225044266 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890565011824 139891454282370 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7191] ppid=7166 vsize=8068220 memory=11404 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7191/stat : 7191 (java) S 7166 7166 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225044266 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890373157920 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7192] ppid=7166 vsize=8068220 memory=61112 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7192/stat : 7192 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225044266 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890104722288 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7193] ppid=7166 vsize=8068220 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7193/stat : 7193 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139889730213712 139891454289819 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7194] ppid=7166 vsize=8068220 memory=1396 CPUtime=0.07 cores=1,3,5,7
/proc/7184/task/7194/stat : 7194 (java) S 7166 7166 3762 0 -1 1077944384 526 0 0 0 7 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890563959664 139891454282370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7195] ppid=7166 vsize=8068220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7184/task/7195/stat : 7195 (java) S 7166 7166 3762 0 -1 1077944384 429 0 0 0 8 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890562906864 139891454282370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7196] ppid=7166 vsize=8068220 memory=4596 CPUtime=0.2 cores=1,3,5,7
/proc/7184/task/7196/stat : 7196 (java) S 7166 7166 3762 0 -1 1077944384 552 0 0 0 20 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890561854064 139891454282370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7197] ppid=7166 vsize=8068220 memory=279472313991408 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7197/stat : 7197 (java) S 7166 7166 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139889232308960 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7198] ppid=7166 vsize=8068220 memory=4536 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7198/stat : 7198 (java) S 7166 7166 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225044269 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890560801456 139891454282370 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7200] ppid=7166 vsize=8068220 memory=8448 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7200/stat : 7200 (java) S 7166 7166 3762 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225044335 8261857280 29673 33554432000 4194304 4196468 140721549970688 139890552992960 139891454295833 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7202] ppid=7166 vsize=8068220 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7202/stat : 7202 (java) S 7166 7166 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225044335 8261857280 29673 33554432000 4194304 4196468 140721549970688 139888695422256 139891454293149 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7203] ppid=7166 vsize=8068220 memory=1144 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7203/stat : 7203 (java) S 7166 7166 3762 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 225044335 8261857280 29673 33554432000 4194304 4196468 140721549970688 139888829644976 139891454293149 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
[pid=7184/tid=7204] ppid=7166 vsize=8068220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/7184/task/7204/stat : 7204 (java) S 7166 7166 3762 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 225044338 8261857280 29673 33554432000 4194304 4196468 140721549970688 139888426999456 139891454281429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140721549972662 140721549972785 140721549972785 140721549975503 0
Current children cumulated CPU time: 19.86 s
Current children cumulated vsize: 8210400 KiB
Current children cumulated memory: 132528 KiB
Child status: 0
Real time (s): 7.97795
CPU time (s): 19.9854
CPU user time (s): 19.5274
CPU system time (s): 0.458024
CPU usage (%): 250.508
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1648880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.5274
system time used= 0.458024
maximum resident set size= 1650000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5928
involuntary context switches= 75
# summary of solver processes directly reported to runsolver:
# pid: 7166
# total CPU time (s): 19.9854
# total CPU user time (s): 19.5274
# total CPU system time (s): 0.458024
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071908 second user time and 0.125571 second system time
The end