0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-22941-serial-file.bin HOME/instance-4305661-1534075040.xml
0.54/0.51
0.66/0.52 scop both+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:57:21 CEST 2018
0.66/0.54 c PID: 22944
0.66/0.54 c IP: 172.20.3.103
0.66/0.54 c HOST: node103.alineos.net
0.66/0.55 c (0,0) Parsing Begin
5.55/2.22 c (1,1) Parsing End
5.55/2.23 c (1,1) CSP: 200 int (0 aux), 0 bool (0 aux), 8410 ctr, max domain size 5
5.55/2.23 c (1,1) Heap : 450 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
5.55/2.23 c (1,1) Constraint Name Generate Begin
5.55/2.27 c (1,1) Ctr:HOME/instance-4305661-1534075040.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
5.55/2.27 c (1,1) Constraint Name Generate End
5.55/2.27 c (1,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
5.55/2.27 c (1,1) CSP to CSPinCNF Begin
6.36/2.53 c (2,2) translated 841 (10%) constraints
6.36/2.59 c (2,2) translated 1682 (20%) constraints
6.62/2.64 c (2,2) translated 2523 (30%) constraints
6.62/2.69 c (2,2) translated 3364 (40%) constraints
6.91/2.73 c (2,2) translated 4205 (50%) constraints
6.91/2.76 c (2,2) translated 5046 (60%) constraints
6.91/2.80 c (2,2) translated 5887 (70%) constraints
7.20/2.83 c (2,2) translated 6728 (80%) constraints
7.20/2.85 c (2,2) translated 7569 (90%) constraints
8.64/3.28 c (2,2) translated 8410 (100%) constraints
10.47/3.95 c (3,3) STATISTICS1:HOME/instance-4305661-1534075040.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.47/3.95 c (3,3) ==========================================
10.47/3.95 c (3,3) Both Encoding selects:
10.47/3.95 c (3,3) Order
10.47/3.95 c (3,3) ==========================================
10.84/4.05 c (3,3) translated 1114 (10%) constraints
11.14/4.13 c (3,3) translated 2228 (20%) constraints
11.40/4.21 c (3,3) translated 3342 (30%) constraints
11.40/4.28 c (3,3) translated 4455 (40%) constraints
11.71/4.34 c (3,3) translated 5569 (50%) constraints
12.02/4.41 c (3,3) translated 6683 (60%) constraints
12.02/4.47 c (3,3) translated 7796 (70%) constraints
12.27/4.58 c (4,3) translated 8910 (80%) constraints
12.90/4.71 c (4,4) translated 10024 (90%) constraints
12.90/4.78 c (4,4) translated 11137 (100%) constraints
12.90/4.79 c (4,4) CSP to CSPinCNF End
12.90/4.79 c (4,4) CSP: 320 int (120 aux), 2305 bool (2305 aux), 13442 ctr, max domain size 6
12.90/4.79 c (4,4) Heap : 1013 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.90/4.79 c (4,4) CSPinCNF Propagation Begin
13.87/5.04 c (4,4) 345 values, 3418 unsatisfiable literals, and 2743 valid clauses are removed
13.87/5.04 c (4,4) CSPinCNF Propagation End
13.87/5.04 c (4,4) CSP: 590 int (390 aux), 2035 bool (2035 aux), 10699 ctr, max domain size 6
13.87/5.04 c (4,4) Heap : 1126 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
13.87/5.04 c (4,4) Simplify CSPinCNF Begin
14.74/5.33 c (4,4) Simplify CSPinCNF End
14.74/5.34 c (4,4) CSP: 590 int (390 aux), 6585 bool (6585 aux), 15249 ctr, max domain size 6
14.74/5.34 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 29 MiB used (max 0 MiB)
14.74/5.34 c (4,4) Calculate Precise Domain Begin
14.74/5.40 c (4,4) 0 values are removed by re-calculation
14.74/5.40 c (4,4) Calculate Precise Domain End
15.07/5.40 c (4,4) CSP: 590 int (390 aux), 6585 bool (6585 aux), 15249 ctr, max domain size 6
15.07/5.40 c (4,4) Heap : 1182 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.07/5.40 c (4,4) CSPinCNF to SatSolver Begin
15.40/5.55 c (5,4) 1525 (10 %) CSP clauses are encoded (7810 SAT variables, 6753 SAT clauses)
15.68/5.61 c (5,4) 3050 (20 %) CSP clauses are encoded (7810 SAT variables, 12578 SAT clauses)
15.68/5.66 c (5,4) 4575 (30 %) CSP clauses are encoded (7810 SAT variables, 17903 SAT clauses)
15.98/5.71 c (5,5) 6100 (40 %) CSP clauses are encoded (7810 SAT variables, 23244 SAT clauses)
15.98/5.73 c (5,5) 7625 (50 %) CSP clauses are encoded (7810 SAT variables, 25369 SAT clauses)
15.98/5.74 c (5,5) 9150 (60 %) CSP clauses are encoded (7810 SAT variables, 26894 SAT clauses)
15.98/5.76 c (5,5) 10675 (70 %) CSP clauses are encoded (7810 SAT variables, 28419 SAT clauses)
16.56/5.95 c (5,5) 12200 (80 %) CSP clauses are encoded (7810 SAT variables, 53509 SAT clauses)
16.82/6.09 c (5,5) 13725 (90 %) CSP clauses are encoded (7810 SAT variables, 78599 SAT clauses)
16.95/6.14 c (5,5) 15249 (100 %) CSP clauses are encoded (7810 SAT variables, 90081 SAT clauses)
16.95/6.14 c (5,5) Launch Command will be: minisat_release
16.95/6.14 c (5,5) CSPinCNF to SatSolver End
16.95/6.14 c (5,5) Heap : 1520 MiB used (max 10795 MiB), NonHeap : 30 MiB used (max 0 MiB)
17.15/6.25 c (5,5) STATISTICS2:HOME/instance-4305661-1534075040.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.15/6.25 c (5,5) 7810 bool, 90085 clause
17.15/6.25 c (5,5) Export Begin
17.46/6.34 c (5,5) Export to HOME/scop-22941-serial-file.bin
17.46/6.34 c (5,5) Export End
17.46/6.35 c (5,5) Export File Size: 0.03 MB
17.46/6.35 c (5,5) 1,1,4,4,4,4,5,STOP-AFTER(DIMACS)
17.46/6.35 c END-Prog: Sun Aug 12 13:57:27 CEST 2018
17.46/6.37 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22941-serial-file.bin
17.65/6.86 c (0,0) Read Serial File Begin
17.65/6.86 c (0,0) HOME/scop-22941-serial-file.bin
18.52/7.04 c (0,0) Read Serial File End
18.52/7.05
18.52/7.05 scop order+minisat_release (2018-07-31)
18.52/7.05 (Solving Process)
18.52/7.05
18.52/7.07 c BEGIN-Prog: Sun Aug 12 13:57:28 CEST 2018
18.52/7.07 c PID: 22959
18.52/7.07 c IP: 172.20.3.103
18.52/7.07 c HOST: node103.alineos.net
18.52/7.07 c (0,0) SatSolver.solve Begin
18.52/7.07 c (0,0) 0 bool, 0 clause
18.52/7.07 c (0,0) minisat_release HOME/instance-4305661-1534075040.xml-scop-22944.cnf
19.67/8.10 c (1,0) c This is COMiniSatPS.
19.67/8.10 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
19.67/8.10 c (1,0) c ============================[ Problem Statistics ]=============================
19.67/8.10 c (1,0) c | |
19.67/8.10 c (1,0) c | Number of variables: 7810 |
19.67/8.10 c (1,0) c | Number of clauses: 90085 |
19.67/8.10 c (1,0) c | Parse time: 0.03 s |
19.67/8.10 c (1,0) c | Eliminated clauses: 0.03 Mb |
19.67/8.10 c (1,0) c Reduced to 6239 vars, 86876 cls (grow=0)
19.67/8.10 c (1,0) c No iterative elimination performed. (vars=6239, c/v ratio=13.9)
19.67/8.10 c (1,0) c | Simplification time: 0.16 s |
19.67/8.10 c (1,0) c | |
19.67/8.10 c (1,0) c ============================[ Search Statistics ]==============================
19.67/8.10 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
19.67/8.10 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
19.67/8.10 c (1,0) c ===============================================================================
19.67/8.10 c (1,0) c ===============================================================================
19.67/8.10 c (1,0) c restarts : 98
19.67/8.10 c (1,0) c conflicts : 23470 (23611 /sec)
19.67/8.10 c (1,0) c decisions : 38806 (0.00 % random) (39039 /sec)
19.67/8.10 c (1,0) c propagations : 2337093 (2351113 /sec)
19.67/8.10 c (1,0) c conflict literals : 394260 (11.48 % deleted)
19.67/8.10 c (1,0) c CPU time : 0.994037 s
19.67/8.10 c (1,0)
19.67/8.10 c (1,0) s UNSATISFIABLE
19.67/8.10 c (1,0) SatSolver.solve End
19.67/8.10 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
19.67/8.11 c (1,0) Show results Begin
19.67/8.11 s UNSATISFIABLE
19.67/8.11 c (1,0) Show results End
19.67/8.11 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
19.67/8.11 c (1,0) 1,1,STOP-AFTER(ALL)
19.67/8.11 c END-Prog: Sun Aug 12 13:57:29 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 (7868 MiB free)
memory of node 1: 16384 MiB (8749 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305661-1534075040/watcher-4305661-1534075040 -o /tmp/evaluation-result-4305661-1534075040/solver-4305661-1534075040 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534064938-20638 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305661-1534075040.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=22941, runsolver pid=22938
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 2.50 2.17 2.10 4/222 22958
/proc/meminfo: memFree=16959000/32770624 swapFree=67058740/67108860
[pid=22941] ppid=22938 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22941/stat : 22941 (scop.sh) S 22938 22941 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225067230 115843072 349 33554432000 4194304 5098028 140735202665568 140735202662824 139886596215420 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8282112 140735202669633 140735202669831 140735202669831 140735202672589 0
/proc/22941/statm: 28282 349 296 221 0 87 0
[pid=22944] ppid=22941 vsize=15012476 memory=70448 CPUtime=0.11 cores=1,3,5,7
/proc/22944/stat : 22944 (java) S 22941 22941 20606 0 -1 1077944320 6728 0 0 0 9 2 0 0 20 0 15 0 225067231 15372775424 17546 33554432000 4194304 4196468 140721059817520 140721059800064 140380659199735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
/proc/22944/statm: 3753119 17546 2769 1 0 3715579 0
[pid=22944/tid=22945] ppid=22941 vsize=15012476 memory=-6150928374978363329 CPUtime=0.09 cores=1,3,5,7
/proc/22944/task/22945/stat : 22945 (java) R 22941 22941 20606 0 -1 4202560 4835 0 0 0 7 2 0 0 20 0 15 0 225067231 15372775424 17612 33554432000 4194304 4196468 140721059817520 140380631011720 140380639475495 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22946] ppid=22941 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22946/stat : 22946 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067233 15372775424 17612 33554432000 4194304 4196468 140721059817520 140380663442576 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22947] ppid=22941 vsize=15012476 memory=140712059352704 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22947/stat : 22947 (java) S 22941 22941 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067233 15372775424 17612 33554432000 4194304 4196468 140721059817520 140380477598736 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22948] ppid=22941 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22948/stat : 22948 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067233 15372775424 17612 33554432000 4194304 4196468 140721059817520 140380476545936 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22949] ppid=22941 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22949/stat : 22949 (java) S 22941 22941 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067233 15372775424 17612 33554432000 4194304 4196468 140721059817520 140380475493136 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22950] ppid=22941 vsize=15012476 memory=140712059352704 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22950/stat : 22950 (java) S 22941 22941 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067234 15372775424 17612 33554432000 4194304 4196468 140721059817520 140379696679280 140380659210882 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22951] ppid=22941 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (java) S 22941 22941 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225067234 15372775424 17678 33554432000 4194304 4196468 140721059817520 140379194123296 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22952] ppid=22941 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (java) S 22941 22941 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225067235 15372775424 17678 33554432000 4194304 4196468 140721059817520 140379059901296 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22953] ppid=22941 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (java) S 22941 22941 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067237 15372775424 17678 33554432000 4194304 4196468 140721059817520 140378685396816 140380659218331 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22954] ppid=22941 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22954/stat : 22954 (java) S 22941 22941 20606 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 225067237 15372775424 17678 33554432000 4194304 4196468 140721059817520 140379695627120 140380659210882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22955] ppid=22941 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22955/stat : 22955 (java) S 22941 22941 20606 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 225067237 15372775424 17678 33554432000 4194304 4196468 140721059817520 140379694574320 140380659210882 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22956] ppid=22941 vsize=15012476 memory=140712059352704 CPUtime=0.01 cores=1,3,5,7
/proc/22944/task/22956/stat : 22956 (java) S 22941 22941 20606 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 225067237 15372775424 17678 33554432000 4194304 4196468 140721059817520 140379693521520 140380659210882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22957] ppid=22941 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22957/stat : 22957 (java) S 22941 22941 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067237 15372775424 17678 33554432000 4194304 4196468 140721059817520 140378187492064 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22958] ppid=22941 vsize=15012476 memory=140712059352704 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22958/stat : 22958 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067237 15372775424 17678 33554432000 4194304 4196468 140721059817520 140379692468912 140380659210882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71844 KiB
[startup+0.210777 s]*
/proc/loadavg: 2.50 2.17 2.10 3/222 22958
/proc/meminfo: memFree=16944924/32770624 swapFree=67058740/67108860
[pid=22941] ppid=22938 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22941/stat : 22941 (scop.sh) S 22938 22941 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225067230 115843072 349 33554432000 4194304 5098028 140735202665568 140735202662824 139886596215420 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8282112 140735202669633 140735202669831 140735202669831 140735202672589 0
/proc/22941/statm: 28282 349 296 221 0 87 0
[pid=22944] ppid=22941 vsize=15012476 memory=83488 CPUtime=0.25 cores=1,3,5,7
/proc/22944/stat : 22944 (java) S 22941 22941 20606 0 -1 1077944320 10297 0 0 0 22 3 0 0 20 0 15 0 225067231 15372775424 20872 33554432000 4194304 4196468 140721059817520 140721059800064 140380659199735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
/proc/22944/statm: 3753119 20872 2871 1 0 3715579 0
[pid=22944/tid=22945] ppid=22941 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/22944/task/22945/stat : 22945 (java) R 22941 22941 20606 0 -1 4202560 8175 0 0 0 17 2 0 0 20 0 15 0 225067231 15372775424 20872 33554432000 4194304 4196468 140721059817520 140380631026128 140380659211670 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22946] ppid=22941 vsize=15012476 memory=545 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22946/stat : 22946 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067233 15372775424 20872 33554432000 4194304 4196468 140721059817520 140380663442576 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22947] ppid=22941 vsize=15012476 memory=140712060515938 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22947/stat : 22947 (java) S 22941 22941 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067233 15372775424 20872 33554432000 4194304 4196468 140721059817520 140380477598736 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22948] ppid=22941 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22948/stat : 22948 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067233 15372775424 20872 33554432000 4194304 4196468 140721059817520 140380476545936 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22949] ppid=22941 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22949/stat : 22949 (java) S 22941 22941 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067233 15372775424 20872 33554432000 4194304 4196468 140721059817520 140380475493136 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22950] ppid=22941 vsize=15012476 memory=140712059352704 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22950/stat : 22950 (java) S 22941 22941 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067234 15372775424 20872 33554432000 4194304 4196468 140721059817520 140379696679280 140380659210882 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22951] ppid=22941 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (java) S 22941 22941 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225067234 15372775424 20872 33554432000 4194304 4196468 140721059817520 140379194123296 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22952] ppid=22941 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (java) S 22941 22941 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225067235 15372775424 20872 33554432000 4194304 4196468 140721059817520 140379059901296 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22953] ppid=22941 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (java) S 22941 22941 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067237 15372775424 20872 33554432000 4194304 4196468 140721059817520 140378685396816 140380659218331 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22954] ppid=22941 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22944/task/22954/stat : 22954 (java) R 22941 22941 20606 0 -1 4202560 429 0 0 0 1 0 0 0 20 0 15 0 225067237 15372775424 20872 33554432000 4194304 4196468 140721059817520 140379695627120 140380659211670 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22955] ppid=22941 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22955/stat : 22955 (java) R 22941 22941 20606 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 225067237 15372775424 20872 33554432000 4194304 4196468 140721059817520 140379694574320 140380659210882 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22956] ppid=22941 vsize=15012476 memory=140712059352704 CPUtime=0.03 cores=1,3,5,7
/proc/22944/task/22956/stat : 22956 (java) S 22941 22941 20606 0 -1 1077944384 298 0 0 0 3 0 0 0 20 0 15 0 225067237 15372775424 20872 33554432000 4194304 4196468 140721059817520 140379693521520 140380659210882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22957] ppid=22941 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22957/stat : 22957 (java) S 22941 22941 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067237 15372775424 20872 33554432000 4194304 4196468 140721059817520 140378187492064 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22958] ppid=22941 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22958/stat : 22958 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067237 15372775424 20872 33554432000 4194304 4196468 140721059817520 140379692468912 140380659210882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 84884 KiB
[startup+0.310812 s]*
/proc/loadavg: 2.50 2.17 2.10 3/222 22958
/proc/meminfo: memFree=16941264/32770624 swapFree=67058740/67108860
[pid=22941] ppid=22938 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22941/stat : 22941 (scop.sh) S 22938 22941 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225067230 115843072 349 33554432000 4194304 5098028 140735202665568 140735202662824 139886596215420 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8282112 140735202669633 140735202669831 140735202669831 140735202672589 0
/proc/22941/statm: 28282 349 296 221 0 87 0
[pid=22944] ppid=22941 vsize=15012476 memory=87868 CPUtime=0.43 cores=1,3,5,7
/proc/22944/stat : 22944 (java) S 22941 22941 20606 0 -1 1077944320 10920 0 0 0 39 4 0 0 20 0 15 0 225067231 15372775424 21967 33554432000 4194304 4196468 140721059817520 140721059800064 140380659199735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
/proc/22944/statm: 3753119 21967 3013 1 0 3715579 0
[pid=22944/tid=22945] ppid=22941 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/22944/task/22945/stat : 22945 (java) R 22941 22941 20606 0 -1 4202560 8611 0 0 0 27 3 0 0 20 0 15 0 225067231 15372775424 21967 33554432000 4194304 4196468 140721059817520 140380630994736 140380659221661 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22946] ppid=22941 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22946/stat : 22946 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067233 15372775424 21967 33554432000 4194304 4196468 140721059817520 140380663442576 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22947] ppid=22941 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22947/stat : 22947 (java) S 22941 22941 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067233 15372775424 21967 33554432000 4194304 4196468 140721059817520 140380477598736 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22948] ppid=22941 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22948/stat : 22948 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067233 15372775424 21967 33554432000 4194304 4196468 140721059817520 140380476545936 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22949] ppid=22941 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22949/stat : 22949 (java) S 22941 22941 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067233 15372775424 21967 33554432000 4194304 4196468 140721059817520 140380475493136 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22950] ppid=22941 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22950/stat : 22950 (java) S 22941 22941 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067234 15372775424 21967 33554432000 4194304 4196468 140721059817520 140379696679280 140380659210882 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22951] ppid=22941 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (java) S 22941 22941 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225067234 15372775424 21967 33554432000 4194304 4196468 140721059817520 140379194123296 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22952] ppid=22941 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (java) S 22941 22941 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225067235 15372775424 21967 33554432000 4194304 4196468 140721059817520 140379059901296 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22953] ppid=22941 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (java) S 22941 22941 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067237 15372775424 21967 33554432000 4194304 4196468 140721059817520 140378685396816 140380659218331 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22954] ppid=22941 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22944/task/22954/stat : 22954 (java) R 22941 22941 20606 0 -1 4202560 483 0 0 0 2 0 0 0 20 0 15 0 225067237 15372775424 21967 33554432000 4194304 4196468 140721059817520 140379695627120 140380636834384 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22955] ppid=22941 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22944/task/22955/stat : 22955 (java) R 22941 22941 20606 0 -1 1077944384 135 0 0 0 2 0 0 0 20 0 15 0 225067237 15372775424 21967 33554432000 4194304 4196468 140721059817520 140379694574320 140380659210882 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22956] ppid=22941 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22944/task/22956/stat : 22956 (java) R 22941 22941 20606 0 -1 4202560 342 0 0 0 7 0 0 0 20 0 15 0 225067237 15372775424 21967 33554432000 4194304 4196468 140721059817520 140379693521520 140380651436862 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22957] ppid=22941 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22957/stat : 22957 (java) S 22941 22941 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067237 15372775424 21967 33554432000 4194304 4196468 140721059817520 140378187492064 140380659209941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22958] ppid=22941 vsize=15012476 memory=3905525982033944625 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22958/stat : 22958 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067237 15372775424 21967 33554432000 4194304 4196468 140721059817520 140379692468912 140380659210882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89264 KiB
[startup+0.702046 s]
/proc/loadavg: 2.50 2.17 2.10 3/222 22958
/proc/meminfo: memFree=16916600/32770624 swapFree=67058740/67108860
[pid=22941] ppid=22938 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22941/stat : 22941 (scop.sh) S 22938 22941 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225067230 115843072 349 33554432000 4194304 5098028 140735202665568 140735202662824 139886596215420 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8282112 140735202669633 140735202669831 140735202669831 140735202672589 0
/proc/22941/statm: 28282 349 296 221 0 87 0
[pid=22944] ppid=22941 vsize=15018748 memory=129336 CPUtime=1.07 cores=1,3,5,7
/proc/22944/stat : 22944 (java) S 22941 22941 20606 0 -1 1077944320 17990 0 0 0 101 6 0 0 20 0 15 0 225067231 15379197952 32334 33554432000 4194304 4196468 140721059817520 140721059800064 140380659199735 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
/proc/22944/statm: 3754687 32334 3141 1 0 3716091 0
[pid=22944/tid=22945] ppid=22941 vsize=15018748 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/22944/task/22945/stat : 22945 (java) R 22941 22941 20606 0 -1 4202560 15066 0 0 0 63 4 0 0 20 0 15 0 225067231 15379197952 32334 33554432000 4194304 4196468 140721059817520 140380631035488 140380659221661 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22946] ppid=22941 vsize=15018748 memory=116 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22946/stat : 22946 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067233 15379197952 32334 33554432000 4194304 4196468 140721059817520 140380663442576 140380659209941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22947] ppid=22941 vsize=15018748 memory=12922 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22947/stat : 22947 (java) S 22941 22941 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067233 15379197952 32334 33554432000 4194304 4196468 140721059817520 140380477598736 140380659209941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22948] ppid=22941 vsize=15018748 memory=448505 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22948/stat : 22948 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067233 15379197952 32334 33554432000 4194304 4196468 140721059817520 140380476545936 140380659209941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22949] ppid=22941 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22949/stat : 22949 (java) S 22941 22941 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225067233 15379197952 32334 33554432000 4194304 4196468 140721059817520 140380475493136 140380659209941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22950] ppid=22941 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22950/stat : 22950 (java) S 22941 22941 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225067234 15379197952 32334 33554432000 4194304 4196468 140721059817520 140379696679280 140380659210882 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22951] ppid=22941 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22951/stat : 22951 (java) S 22941 22941 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225067234 15379197952 32334 33554432000 4194304 4196468 140721059817520 140379194123296 140380659209941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22952] ppid=22941 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22952/stat : 22952 (java) S 22941 22941 20606 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225067235 15379197952 32334 33554432000 4194304 4196468 140721059817520 140379059901296 140380659209941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22953] ppid=22941 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22953/stat : 22953 (java) S 22941 22941 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067237 15379197952 32334 33554432000 4194304 4196468 140721059817520 140378685396816 140380659218331 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22954] ppid=22941 vsize=15018748 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/22944/task/22954/stat : 22954 (java) D 22941 22941 20606 0 -1 4202560 750 0 0 0 11 0 0 0 20 0 15 0 225067237 15379197952 32334 33554432000 4194304 4196468 140721059817520 140379695619608 140380651916698 0 4 2 25189581 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22955] ppid=22941 vsize=15018748 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22944/task/22955/stat : 22955 (java) R 22941 22941 20606 0 -1 4202560 294 0 0 0 8 0 0 0 20 0 15 0 225067237 15379197952 32334 33554432000 4194304 4196468 140721059817520 140379694555432 140380651489184 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22956] ppid=22941 vsize=15018748 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/22944/task/22956/stat : 22956 (java) S 22941 22941 20606 0 -1 1077944384 525 0 0 0 17 0 0 0 20 0 15 0 225067237 15379197952 32334 33554432000 4194304 4196468 140721059817520 140379693521648 140380659209941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22957] ppid=22941 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22957/stat : 22957 (java) S 22941 22941 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225067237 15379197952 32334 33554432000 4194304 4196468 140721059817520 140378187492064 140380659209941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
[pid=22944/tid=22958] ppid=22941 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22944/task/22958/stat : 22958 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225067237 15379197952 32334 33554432000 4194304 4196468 140721059817520 140379692468912 140380659210882 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19902464 140721059820551 140721059820849 140721059820849 140721059823567 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 130732 KiB
[startup+1.50142 s]
/proc/loadavg: 2.50 2.17 2.10 5/222 22958
/proc/meminfo: memFree=16832644/32770624 swapFree=67058740/67108860
[pid=22941] ppid=22938 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/22941/stat : 22941 (scop.sh) S 22938 22941 20606 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 225067230 115843072 349 33554432000 4194304 5098028 140735202665568 140735202662824 139886596215420 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8282112 140735202669633 140735202669831 140735202669831 140735202672589 0
/proc/22941/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=22959/tid=22960] ppid=22941 vsize=8068220 memory=924 CPUtime=0.74 cores=1,3,5,7
/proc/22959/task/22960/stat : 22960 (java) S 22941 22941 20606 0 -1 1077944384 14389 0 0 0 70 4 0 0 20 0 19 0 225067869 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966389768080 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22961] ppid=22941 vsize=8068220 memory=1140 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22961/stat : 22961 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067870 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966422169872 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22962] ppid=22941 vsize=8068220 memory=56 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22962/stat : 22962 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067870 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966222338448 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22963] ppid=22941 vsize=8068220 memory=140711920018400 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22963/stat : 22963 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067870 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966221285904 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22964] ppid=22941 vsize=8068220 memory=140711920019120 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22964/stat : 22964 (java) S 22941 22941 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225067870 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966220233360 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22965] ppid=22941 vsize=8068220 memory=140711920019216 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22965/stat : 22965 (java) S 22941 22941 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225067871 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965460609520 139966417939074 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22966] ppid=22941 vsize=8068220 memory=140711920019312 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22966/stat : 22966 (java) S 22941 22941 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225067872 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965333759392 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22967] ppid=22941 vsize=8068220 memory=140711920017504 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22967/stat : 22967 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067872 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965065324016 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22968] ppid=22941 vsize=8068220 memory=4048931993985438961 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22968/stat : 22968 (java) S 22941 22941 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139964690815696 139966417946523 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22969] ppid=22941 vsize=8068220 memory=4123245768586517337 CPUtime=0.08 cores=1,3,5,7
/proc/22959/task/22969/stat : 22969 (java) S 22941 22941 20606 0 -1 1077944384 622 0 0 0 8 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965459556336 139966417939074 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22970] ppid=22941 vsize=8068220 memory=7380671248541445222 CPUtime=0.09 cores=1,3,5,7
/proc/22959/task/22970/stat : 22970 (java) S 22941 22941 20606 0 -1 1077944384 338 0 0 0 9 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965458503792 139966417939074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22971] ppid=22941 vsize=8068220 memory=7380671248541445222 CPUtime=0.2 cores=1,3,5,7
/proc/22959/task/22971/stat : 22971 (java) S 22941 22941 20606 0 -1 1077944384 523 0 0 0 20 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965457451248 139966417939074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22972] ppid=22941 vsize=8068220 memory=-8253362762722141311 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22972/stat : 22972 (java) S 22941 22941 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139964192909920 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22973] ppid=22941 vsize=8068220 memory=7100839861465685612 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22973/stat : 22973 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067875 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965456399152 139966417939074 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
Current children cumulated CPU time: 18.78 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 119964 KiB
[startup+7.60068 s]
/proc/loadavg: 2.46 2.16 2.10 4/222 22973
/proc/meminfo: memFree=16928136/32770624 swapFree=67058740/67108860
[pid=22941] ppid=22938 vsize=113128 memory=1472 CPUtime=17.65 cores=1,3,5,7
/proc/22941/stat : 22941 (scop.sh) S 22938 22941 20606 0 -1 4202496 590 36166 0 0 0 0 1727 38 20 0 1 0 225067230 115843072 368 33554432000 4194304 5098028 140735202665568 140735202662312 139886596215420 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8282112 140735202669633 140735202669831 140735202669831 140735202672589 0
/proc/22941/statm: 28282 368 311 221 0 87 0
[pid=22959] ppid=22941 vsize=8068220 memory=118492 CPUtime=1.13 cores=1,3,5,7
/proc/22959/stat : 22959 (java) S 22941 22941 20606 0 -1 1077944320 17284 0 0 0 108 5 0 0 20 0 19 0 225067868 8261857280 29623 33554432000 4194304 4196468 140730870117120 140730870099664 139966417927927 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
/proc/22959/statm: 2017055 29623 3145 1 0 1978454 0
[pid=22959/tid=22960] ppid=22941 vsize=8068220 memory=32232 CPUtime=0.74 cores=1,3,5,7
/proc/22959/task/22960/stat : 22960 (java) S 22941 22941 20606 0 -1 1077944384 14389 0 0 0 70 4 0 0 20 0 19 0 225067869 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966389768080 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22961] ppid=22941 vsize=8068220 memory=13808 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22961/stat : 22961 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067870 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966422169872 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22962] ppid=22941 vsize=8068220 memory=524 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22962/stat : 22962 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067870 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966222338448 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22963] ppid=22941 vsize=8068220 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22963/stat : 22963 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067870 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966221285904 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22964] ppid=22941 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22964/stat : 22964 (java) S 22941 22941 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225067870 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966220233360 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22965] ppid=22941 vsize=8068220 memory=736 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22965/stat : 22965 (java) S 22941 22941 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225067871 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965460609520 139966417939074 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22966] ppid=22941 vsize=8068220 memory=1520 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22966/stat : 22966 (java) S 22941 22941 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225067872 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965333759392 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22967] ppid=22941 vsize=8068220 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22967/stat : 22967 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067872 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965065324016 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22968] ppid=22941 vsize=8068220 memory=5116 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22968/stat : 22968 (java) S 22941 22941 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139964690815696 139966417946523 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22969] ppid=22941 vsize=8068220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22959/task/22969/stat : 22969 (java) S 22941 22941 20606 0 -1 1077944384 622 0 0 0 8 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965459556336 139966417939074 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22970] ppid=22941 vsize=8068220 memory=97 CPUtime=0.09 cores=1,3,5,7
/proc/22959/task/22970/stat : 22970 (java) S 22941 22941 20606 0 -1 1077944384 338 0 0 0 9 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965458503792 139966417939074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22971] ppid=22941 vsize=8068220 memory=7593189275145102954 CPUtime=0.2 cores=1,3,5,7
/proc/22959/task/22971/stat : 22971 (java) S 22941 22941 20606 0 -1 1077944384 523 0 0 0 20 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965457451248 139966417939074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22972] ppid=22941 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22972/stat : 22972 (java) S 22941 22941 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139964192909920 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22973] ppid=22941 vsize=8068220 memory=7883944108235712103 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22973/stat : 22973 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067875 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965456399152 139966417939074 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
Current children cumulated CPU time: 18.78 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 119964 KiB
[startup+8.00072 s]*
/proc/loadavg: 2.42 2.16 2.10 3/227 22979
/proc/meminfo: memFree=16896916/32770624 swapFree=67058740/67108860
[pid=22941] ppid=22938 vsize=113128 memory=1472 CPUtime=17.65 cores=1,3,5,7
/proc/22941/stat : 22941 (scop.sh) S 22938 22941 20606 0 -1 4202496 590 36166 0 0 0 0 1727 38 20 0 1 0 225067230 115843072 368 33554432000 4194304 5098028 140735202665568 140735202662312 139886596215420 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8282112 140735202669633 140735202669831 140735202669831 140735202672589 0
/proc/22941/statm: 28282 368 311 221 0 87 0
[pid=22959] ppid=22941 vsize=8068220 memory=118492 CPUtime=1.13 cores=1,3,5,7
/proc/22959/stat : 22959 (java) S 22941 22941 20606 0 -1 1077944320 17284 0 0 0 108 5 0 0 20 0 19 0 225067868 8261857280 29623 33554432000 4194304 4196468 140730870117120 140730870099664 139966417927927 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
/proc/22959/statm: 2017055 29623 3145 1 0 1978454 0
[pid=22974] ppid=22959 vsize=28920 memory=12364 CPUtime=0.89 cores=1,3,5,7
/proc/22974/stat : 22974 (minisat_release) R 22959 22941 20606 0 -1 4202496 3772 0 0 0 89 0 0 0 20 0 1 0 225067940 29614080 3091 33554432000 4194304 4308513 140721662703936 140721662701352 4276060 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 17031168 140721662710900 140721662710998 140721662710998 140721662713797 0
/proc/22974/statm: 7230 3091 342 28 0 3470 0
[pid=22959/tid=22960] ppid=22941 vsize=8068220 memory=-7824251494390454370 CPUtime=0.74 cores=1,3,5,7
/proc/22959/task/22960/stat : 22960 (java) S 22941 22941 20606 0 -1 1077944384 14389 0 0 0 70 4 0 0 20 0 19 0 225067869 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966389768080 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22961] ppid=22941 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22961/stat : 22961 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067870 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966422169872 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22962] ppid=22941 vsize=8068220 memory=-2247047206154164565 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22962/stat : 22962 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067870 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966222338448 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22963] ppid=22941 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22963/stat : 22963 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067870 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966221285904 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22964] ppid=22941 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22964/stat : 22964 (java) S 22941 22941 20606 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225067870 8261857280 29623 33554432000 4194304 4196468 140730870117120 139966220233360 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22965] ppid=22941 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22965/stat : 22965 (java) S 22941 22941 20606 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225067871 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965460609520 139966417939074 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22966] ppid=22941 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22966/stat : 22966 (java) S 22941 22941 20606 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225067872 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965333759392 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22967] ppid=22941 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22967/stat : 22967 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067872 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965065324016 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22968] ppid=22941 vsize=8068220 memory=8330969454845486047 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22968/stat : 22968 (java) S 22941 22941 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139964690815696 139966417946523 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22969] ppid=22941 vsize=8068220 memory=-5628408999910123566 CPUtime=0.08 cores=1,3,5,7
/proc/22959/task/22969/stat : 22969 (java) S 22941 22941 20606 0 -1 1077944384 622 0 0 0 8 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965459556336 139966417939074 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22970] ppid=22941 vsize=8068220 memory=-8316900901535099443 CPUtime=0.09 cores=1,3,5,7
/proc/22959/task/22970/stat : 22970 (java) S 22941 22941 20606 0 -1 1077944384 338 0 0 0 9 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965458503792 139966417939074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22971] ppid=22941 vsize=8068220 memory=9126232286719478932 CPUtime=0.2 cores=1,3,5,7
/proc/22959/task/22971/stat : 22971 (java) S 22941 22941 20606 0 -1 1077944384 523 0 0 0 20 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965457451248 139966417939074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22972] ppid=22941 vsize=8068220 memory=-3535470213243961690 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22972/stat : 22972 (java) S 22941 22941 20606 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225067874 8261857280 29623 33554432000 4194304 4196468 140730870117120 139964192909920 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22973] ppid=22941 vsize=8068220 memory=-6800859132029471843 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22973/stat : 22973 (java) S 22941 22941 20606 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225067875 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965456399152 139966417939074 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22975] ppid=22941 vsize=8068220 memory=-1189914978686163229 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22975/stat : 22975 (java) S 22941 22941 20606 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 225067940 8261857280 29623 33554432000 4194304 4196468 140730870117120 139965871318592 139966417952537 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22977] ppid=22941 vsize=8068220 memory=9126232286719478932 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22977/stat : 22977 (java) S 22941 22941 20606 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225067941 8261857280 29623 33554432000 4194304 4196468 140730870117120 139963656024240 139966417949853 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22978] ppid=22941 vsize=8068220 memory=7230638415855315543 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22978/stat : 22978 (java) S 22941 22941 20606 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 225067941 8261857280 29623 33554432000 4194304 4196468 140730870117120 139963521801520 139966417949853 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22979] ppid=22941 vsize=8068220 memory=7445382915218041446 CPUtime=0 cores=1,3,5,7
/proc/22959/task/22979/stat : 22979 (java) S 22941 22941 20606 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 225067943 8261857280 29623 33554432000 4194304 4196468 140730870117120 139963790253088 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
Current children cumulated CPU time: 19.67 s
Current children cumulated vsize: 8210268 KiB
Current children cumulated memory: 132328 KiB
[startup+8.11387 s]
/proc/loadavg: 2.42 2.16 2.10 3/227 22979
/proc/meminfo: memFree=16896916/32770624 swapFree=67058740/67108860
[pid=22941] ppid=22938 vsize=113128 memory=1472 CPUtime=17.65 cores=1,3,5,7
/proc/22941/stat : 22941 (scop.sh) S 22938 22941 20606 0 -1 4202496 590 36166 0 0 0 0 1727 38 20 0 1 0 225067230 115843072 368 33554432000 4194304 5098028 140735202665568 140735202662312 139886596215420 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8282112 140735202669633 140735202669831 140735202669831 140735202672589 0
/proc/22941/statm: 28282 368 311 221 0 87 0
[pid=22959] ppid=22941 vsize=7806068 memory=120616 CPUtime=2.14 cores=1,3,5,7
/proc/22959/stat : 22959 (java) S 22941 22941 20606 0 -1 1077944320 17330 4197 0 0 109 6 99 0 20 0 16 0 225067868 7993413632 30154 33554432000 4194304 4196468 140730870117120 140730870099664 139966417927927 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
/proc/22959/statm: 1951517 30154 3148 1 0 1912916 0
[pid=22959/tid=22960] ppid=22941 vsize=7806068 memory=1432 CPUtime=1.73 cores=1,3,5,7
/proc/22959/task/22960/stat : 22960 (java) S 22941 22941 20606 0 -1 1077944384 14403 4197 0 0 70 4 99 0 20 0 16 0 225067869 7993413632 30154 33554432000 4194304 4196468 140730870117120 139966389771408 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22961] ppid=22941 vsize=7806068 memory=812 CPUtime=0.99 cores=1,3,5,7
/proc/22959/task/22961/stat : 22961 (java) S 22941 22941 20606 0 -1 1077944384 1 4197 0 0 0 0 99 0 20 0 15 0 225067870 7993413632 30159 33554432000 4194304 4196468 140730870117120 139966422169872 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22962] ppid=22941 vsize=7806068 memory=7013037350990473056 CPUtime=0.99 cores=1,3,5,7
/proc/22959/task/22962/stat : 22962 (java) S 22941 22941 20606 0 -1 1077944384 1 4197 0 0 0 0 99 0 20 0 15 0 225067870 7993413632 30159 33554432000 4194304 4196468 140730870117120 139966222338448 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22963] ppid=22941 vsize=7806068 memory=6082203013180713815 CPUtime=0.99 cores=1,3,5,7
/proc/22959/task/22963/stat : 22963 (java) S 22941 22941 20606 0 -1 1077944384 1 4197 0 0 0 0 99 0 20 0 15 0 225067870 7993413632 30159 33554432000 4194304 4196468 140730870117120 139966221285904 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22964] ppid=22941 vsize=7806068 memory=7230638415855315543 CPUtime=0.99 cores=1,3,5,7
/proc/22959/task/22964/stat : 22964 (java) S 22941 22941 20606 0 -1 1077944384 2 4197 0 0 0 0 99 0 20 0 15 0 225067870 7993413632 30125 33554432000 4194304 4196468 140730870117120 139966220233360 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22966] ppid=22941 vsize=7804012 memory=2076 CPUtime=0.99 cores=1,3,5,7
/proc/22959/task/22966/stat : 22966 (java) S 22941 22941 20606 0 -1 1077944384 13 4197 0 0 0 0 99 0 20 0 14 0 225067872 7991308288 30137 33554432000 4194304 4196468 140730870117120 139965333759392 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22967] ppid=22941 vsize=7672936 memory=9004 CPUtime=0.99 cores=1,3,5,7
/proc/22959/task/22967/stat : 22967 (java) S 22941 22941 20606 0 -1 1077944384 1 4197 0 0 0 0 99 0 20 0 14 0 225067872 7857086464 30137 33554432000 4194304 4196468 140730870117120 139965065324016 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22968] ppid=22941 vsize=7672936 memory=768 CPUtime=0.99 cores=1,3,5,7
/proc/22959/task/22968/stat : 22968 (java) S 22941 22941 20606 0 -1 1077944384 23 4197 0 0 0 0 99 0 20 0 14 0 225067874 7857086464 30137 33554432000 4194304 4196468 140730870117120 139964690814464 139966417938133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22969] ppid=22941 vsize=7672936 memory=118492 CPUtime=1.07 cores=1,3,5,7
/proc/22959/task/22969/stat : 22969 (java) R 22941 22941 20606 0 -1 1077944384 622 4197 0 0 8 0 99 0 20 0 14 0 225067874 7857086464 30142 33554432000 4194304 4196468 140730870117120 139965459556336 139966417939074 256 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22970] ppid=22941 vsize=7672936 memory=1472 CPUtime=1.08 cores=1,3,5,7
/proc/22959/task/22970/stat : 22970 (java) R 22941 22941 20606 0 -1 1077944384 338 4197 0 0 9 0 99 0 20 0 11 0 225067874 7857086464 30159 33554432000 4194304 4196468 140730870117120 139965458503792 139966417939074 256 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
[pid=22959/tid=22971] ppid=22941 vsize=7672936 memory=3544 CPUtime=1.19 cores=1,3,5,7
/proc/22959/task/22971/stat : 22971 (java) R 22941 22941 20606 0 -1 1077944384 532 4197 0 0 20 0 99 0 20 0 7 0 225067874 7857086464 30233 33554432000 4194304 4196468 140730870117120 139965457451248 139966417939074 256 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23519232 140730870125749 140730870125873 140730870125873 140730870128591 0
Current children cumulated CPU time: 19.79 s
Current children cumulated vsize: 7919196 KiB
Current children cumulated memory: 122088 KiB
Child status: 0
Real time (s): 8.12011
CPU time (s): 19.8307
CPU user time (s): 19.3684
CPU system time (s): 0.462343
CPU usage (%): 244.217
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 1660768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.3684
system time used= 0.462343
maximum resident set size= 1664564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58309
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= 6189
involuntary context switches= 52
# summary of solver processes directly reported to runsolver:
# pid: 22941
# total CPU time (s): 19.8307
# total CPU user time (s): 19.3684
# total CPU system time (s): 0.462343
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.080209 second user time and 0.129198 second system time
The end