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-20758-serial-file.bin HOME/instance-4305501-1534075120.xml
0.55/0.51
0.67/0.52 scop order+minisat_release (2018-07-31)
0.67/0.52 (Encoding Process)
0.67/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 13:58:41 CEST 2018
0.67/0.54 c PID: 20761
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.79/1.08 c (0,0) Parsing End
1.79/1.09 c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 1026 ctr, max domain size 13
1.79/1.09 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.79/1.09 c (0,0) Constraint Name Generate Begin
1.79/1.10 c (0,0) Ctr:HOME/instance-4305501-1534075120.xml,ExtensionConflict:ExtensionSupport:IntVar
1.79/1.10 c (0,0) Constraint Name Generate End
1.79/1.10 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.79/1.10 c (0,0) CSP to CSPinCNF Begin
3.23/1.63 c (1,1) translated 103 (10%) constraints
3.84/1.82 c (1,1) translated 206 (20%) constraints
4.15/1.97 c (1,1) translated 308 (30%) constraints
4.49/2.10 c (1,1) translated 411 (40%) constraints
5.08/2.22 c (1,1) translated 513 (50%) constraints
5.39/2.32 c (1,1) translated 616 (60%) constraints
5.68/2.40 c (1,1) translated 719 (70%) constraints
5.68/2.47 c (1,1) translated 821 (80%) constraints
6.35/2.69 c (2,2) translated 924 (90%) constraints
6.71/2.76 c (2,2) translated 1026 (100%) constraints
7.39/2.90 c (2,2) STATISTICS1:HOME/instance-4305501-1534075120.xml,ExtensionConflict:ExtensionSupport:IntVar,325,13650,-1,13,14,1,,13:50988;2:756,14:12;4:12024;3:264;2:1350,1:51744;0:12,
7.39/2.90 c (2,2) ==========================================
7.39/2.90 c (2,2) Order
7.39/2.90 c (2,2) ==========================================
7.39/2.94 c (2,2) translated 1365 (10%) constraints
7.39/2.98 c (2,2) translated 2730 (20%) constraints
7.74/3.01 c (2,2) translated 4095 (30%) constraints
7.74/3.04 c (2,2) translated 5460 (40%) constraints
7.74/3.07 c (2,2) translated 6825 (50%) constraints
7.74/3.09 c (2,2) translated 8190 (60%) constraints
8.00/3.12 c (2,2) translated 9555 (70%) constraints
8.00/3.14 c (2,2) translated 10920 (80%) constraints
8.00/3.18 c (2,2) translated 12285 (90%) constraints
8.22/3.21 c (2,2) translated 13650 (100%) constraints
8.22/3.21 c (2,2) CSP to CSPinCNF End
8.22/3.22 c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
8.22/3.22 c (2,2) Heap : 675 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.22/3.22 c (2,2) CSPinCNF Propagation Begin
8.53/3.37 c (2,2) 0 values, 2040 unsatisfiable literals, and 0 valid clauses are removed
8.53/3.37 c (2,2) CSPinCNF Propagation End
8.53/3.37 c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
8.53/3.37 c (2,2) Heap : 732 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.53/3.37 c (2,2) Simplify CSPinCNF Begin
8.86/3.42 c (2,2) Simplify CSPinCNF End
8.86/3.42 c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
8.86/3.42 c (2,2) Heap : 788 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.86/3.42 c (2,2) Calculate Precise Domain Begin
8.86/3.42 c (2,2) 0 values are removed by re-calculation
8.86/3.42 c (2,2) Calculate Precise Domain End
8.86/3.42 c (2,2) CSP: 169 int (0 aux), 156 bool (156 aux), 13650 ctr, max domain size 13
8.86/3.42 c (2,2) Heap : 788 MiB used (max 10795 MiB), NonHeap : 31 MiB used (max 0 MiB)
8.86/3.42 c (2,2) CSPinCNF to SatSolver Begin
9.17/3.50 c (2,2) 1365 (10 %) CSP clauses are encoded (2184 SAT variables, 3223 SAT clauses)
9.17/3.52 c (3,2) 2730 (20 %) CSP clauses are encoded (2184 SAT variables, 4588 SAT clauses)
9.17/3.54 c (3,3) 4095 (30 %) CSP clauses are encoded (2184 SAT variables, 5953 SAT clauses)
9.17/3.56 c (3,3) 5460 (40 %) CSP clauses are encoded (2184 SAT variables, 7318 SAT clauses)
9.17/3.58 c (3,3) 6825 (50 %) CSP clauses are encoded (2184 SAT variables, 8683 SAT clauses)
9.17/3.59 c (3,3) 8190 (60 %) CSP clauses are encoded (2184 SAT variables, 10048 SAT clauses)
9.48/3.60 c (3,3) 9555 (70 %) CSP clauses are encoded (2184 SAT variables, 11413 SAT clauses)
9.48/3.62 c (3,3) 10920 (80 %) CSP clauses are encoded (2184 SAT variables, 12778 SAT clauses)
9.48/3.64 c (3,3) 12285 (90 %) CSP clauses are encoded (2184 SAT variables, 14143 SAT clauses)
9.48/3.66 c (3,3) 13650 (100 %) CSP clauses are encoded (2184 SAT variables, 15508 SAT clauses)
9.48/3.66 c (3,3) Launch Command will be: minisat_release
9.48/3.66 c (3,3) CSPinCNF to SatSolver End
9.48/3.66 c (3,3) Heap : 844 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.79/3.75 c (3,3) STATISTICS2:HOME/instance-4305501-1534075120.xml,ExtensionConflict:ExtensionSupport:IntVar,325,13650,-1,13,13,1,,13:48960;2:756,13:12;4:11010;3:264;2:2364,1:49716,
9.79/3.75 c (3,3) 2184 bool, 15509 clause
9.79/3.75 c (3,3) Export Begin
10.09/3.85 c (3,3) Export to HOME/scop-20758-serial-file.bin
10.09/3.85 c (3,3) Export End
10.09/3.85 c (3,3) Export File Size: 0.03 MB
10.09/3.85 c (3,3) 0,0,2,2,2,2,3,STOP-AFTER(DIMACS)
10.09/3.85 c END-Prog: Sun Aug 12 13:58:44 CEST 2018
10.09/3.87 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20758-serial-file.bin
10.77/4.36 c (0,0) Read Serial File Begin
10.77/4.36 c (0,0) HOME/scop-20758-serial-file.bin
11.07/4.55 c (0,0) Read Serial File End
11.07/4.56
11.07/4.56 scop order+minisat_release (2018-07-31)
11.07/4.56 (Solving Process)
11.07/4.56
11.07/4.58 c BEGIN-Prog: Sun Aug 12 13:58:45 CEST 2018
11.07/4.58 c PID: 20776
11.07/4.58 c IP: 172.20.3.107
11.07/4.59 c HOST: node107.alineos.net
11.07/4.59 c (0,0) SatSolver.solve Begin
11.07/4.59 c (0,0) 0 bool, 0 clause
11.07/4.59 c (0,0) minisat_release HOME/instance-4305501-1534075120.xml-scop-20761.cnf
33.26/26.53 c (22,0) c This is COMiniSatPS.
33.26/26.53 c (22,0) c WARNING: for repeatability, setting FPU to use double precision
33.26/26.53 c (22,0) c ============================[ Problem Statistics ]=============================
33.26/26.53 c (22,0) c | |
33.26/26.53 c (22,0) c | Number of variables: 2184 |
33.26/26.53 c (22,0) c | Number of clauses: 15509 |
33.26/26.53 c (22,0) c | Parse time: 0.01 s |
33.26/26.53 c (22,0) c | Eliminated clauses: 0.00 Mb |
33.26/26.53 c (22,0) c Reduced to 2016 vars, 15154 cls (grow=0)
33.26/26.53 c (22,0) c No iterative elimination performed. (vars=2016, c/v ratio=7.5)
33.26/26.53 c (22,0) c | Simplification time: 0.01 s |
33.26/26.53 c (22,0) c | |
33.26/26.53 c (22,0) c ============================[ Search Statistics ]==============================
33.26/26.53 c (22,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
33.26/26.53 c (22,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
33.26/26.53 c (22,0) c ===============================================================================
33.26/26.53 c (22,0) c ===============================================================================
33.26/26.53 c (22,0) c restarts : 2594
33.26/26.53 c (22,0) c conflicts : 1356841 (61987 /sec)
33.26/26.53 c (22,0) c decisions : 2912212 (0.00 % random) (133044 /sec)
33.26/26.53 c (22,0) c propagations : 27733573 (1267002 /sec)
33.26/26.53 c (22,0) c conflict literals : 15460924 (10.48 % deleted)
33.26/26.53 c (22,0) c CPU time : 21.8891 s
33.26/26.53 c (22,0)
33.26/26.53 c (22,0) s UNSATISFIABLE
33.26/26.53 c (22,0) SatSolver.solve End
33.26/26.53 c (22,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
33.26/26.53 c (22,0) Show results Begin
33.26/26.53 s UNSATISFIABLE
33.26/26.53 c (22,0) Show results End
33.26/26.53 c (22,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
33.26/26.53 c (22,0) 22,22,STOP-AFTER(ALL)
33.26/26.53 c END-Prog: Sun Aug 12 13:59:07 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12669 MiB free)
memory of node 1: 16384 MiB (11394 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305501-1534075120/watcher-4305501-1534075120 -o /tmp/evaluation-result-4305501-1534075120/solver-4305501-1534075120 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305501-1534075120.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=20758, runsolver pid=20755
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 2.80 2.39 2.19 3/222 20775
/proc/meminfo: memFree=24579048/32770624 swapFree=67108860/67108860
[pid=20758] ppid=20755 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20758/stat : 20758 (scop.sh) S 20755 20758 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225075206 115843072 349 33554432000 4194304 5098028 140730194629216 140730194626472 140344561259132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24694784 140730194637888 140730194638087 140730194638087 140730194640845 0
/proc/20758/statm: 28282 349 296 221 0 87 0
[pid=20761] ppid=20758 vsize=15012476 memory=74156 CPUtime=0.11 cores=1,3,5,7
/proc/20761/stat : 20761 (java) S 20758 20758 16605 0 -1 1077944320 6638 0 0 0 10 1 0 0 20 0 15 0 225075206 15372775424 18539 33554432000 4194304 4196468 140731565398256 140731565380800 140240403443447 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
/proc/20761/statm: 3753119 18539 2772 1 0 3715579 0
[pid=20761/tid=20762] ppid=20758 vsize=15012476 memory=-6078870780940435391 CPUtime=0.09 cores=1,3,5,7
/proc/20761/task/20762/stat : 20762 (java) R 20758 20758 16605 0 -1 4202560 4728 0 0 0 8 1 0 0 20 0 15 0 225075207 15372775424 18539 33554432000 4194304 4196468 140731565398256 140240375255432 140240383718582 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20763] ppid=20758 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20763/stat : 20763 (java) S 20758 20758 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075208 15372775424 18539 33554432000 4194304 4196468 140731565398256 140240407686160 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20764] ppid=20758 vsize=15012476 memory=140561300358784 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20764/stat : 20764 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075208 15372775424 18539 33554432000 4194304 4196468 140731565398256 140240221842576 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20765] ppid=20758 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20765/stat : 20765 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075208 15372775424 18539 33554432000 4194304 4196468 140731565398256 140240220789520 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20766] ppid=20758 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20766/stat : 20766 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075208 15372775424 18539 33554432000 4194304 4196468 140731565398256 140240219736976 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20767] ppid=20758 vsize=15012476 memory=140561300358784 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20767/stat : 20767 (java) S 20758 20758 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075210 15372775424 18539 33554432000 4194304 4196468 140731565398256 140239810087152 140240403454594 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20768] ppid=20758 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20768/stat : 20768 (java) S 20758 20758 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225075210 15372775424 18539 33554432000 4194304 4196468 140731565398256 140239070815392 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20769] ppid=20758 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20769/stat : 20769 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075211 15372775424 18539 33554432000 4194304 4196468 140731565398256 140238802379504 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20770] ppid=20758 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20770/stat : 20770 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075213 15372775424 18539 33554432000 4194304 4196468 140731565398256 140238427871184 140240403462043 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20771] ppid=20758 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20771/stat : 20771 (java) S 20758 20758 16605 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 225075213 15372775424 18539 33554432000 4194304 4196468 140731565398256 140239171480304 140240403454594 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20772] ppid=20758 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20772/stat : 20772 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075213 15372775424 18539 33554432000 4194304 4196468 140731565398256 140239170427760 140240403454594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20773] ppid=20758 vsize=15012476 memory=140561300358784 CPUtime=0.01 cores=1,3,5,7
/proc/20761/task/20773/stat : 20773 (java) S 20758 20758 16605 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 225075213 15372775424 18539 33554432000 4194304 4196468 140731565398256 140239169374704 140240403454594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20774] ppid=20758 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20774/stat : 20774 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075213 15372775424 18539 33554432000 4194304 4196468 140731565398256 140237929966432 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20775] ppid=20758 vsize=15012476 memory=140561300358784 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20775/stat : 20775 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075213 15372775424 18539 33554432000 4194304 4196468 140731565398256 140239168322096 140240403454594 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75552 KiB
[startup+0.21068 s]*
/proc/loadavg: 2.80 2.39 2.19 4/222 20775
/proc/meminfo: memFree=24564972/32770624 swapFree=67108860/67108860
[pid=20758] ppid=20755 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20758/stat : 20758 (scop.sh) S 20755 20758 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225075206 115843072 349 33554432000 4194304 5098028 140730194629216 140730194626472 140344561259132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24694784 140730194637888 140730194638087 140730194638087 140730194640845 0
/proc/20758/statm: 28282 349 296 221 0 87 0
[pid=20761] ppid=20758 vsize=15012476 memory=87484 CPUtime=0.25 cores=1,3,5,7
/proc/20761/stat : 20761 (java) S 20758 20758 16605 0 -1 1077944320 10245 0 0 0 23 2 0 0 20 0 15 0 225075206 15372775424 21871 33554432000 4194304 4196468 140731565398256 140731565380800 140240403443447 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
/proc/20761/statm: 3753119 21871 2874 1 0 3715579 0
[pid=20761/tid=20762] ppid=20758 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/20761/task/20762/stat : 20762 (java) R 20758 20758 16605 0 -1 4202560 8151 0 0 0 18 2 0 0 20 0 15 0 225075207 15372775424 21871 33554432000 4194304 4196468 140731565398256 140240375269840 140240388829037 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20763] ppid=20758 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20763/stat : 20763 (java) S 20758 20758 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075208 15372775424 21871 33554432000 4194304 4196468 140731565398256 140240407686160 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20764] ppid=20758 vsize=15012476 memory=3762954362106971808 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20764/stat : 20764 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075208 15372775424 21871 33554432000 4194304 4196468 140731565398256 140240221842576 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20765] ppid=20758 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20765/stat : 20765 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075208 15372775424 21871 33554432000 4194304 4196468 140731565398256 140240220789520 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20766] ppid=20758 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20766/stat : 20766 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075208 15372775424 21871 33554432000 4194304 4196468 140731565398256 140240219736976 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20767] ppid=20758 vsize=15012476 memory=140561300358784 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20767/stat : 20767 (java) S 20758 20758 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075210 15372775424 21871 33554432000 4194304 4196468 140731565398256 140239810087152 140240403454594 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20768] ppid=20758 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20768/stat : 20768 (java) S 20758 20758 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225075210 15372775424 21871 33554432000 4194304 4196468 140731565398256 140239070815392 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20769] ppid=20758 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20769/stat : 20769 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075211 15372775424 21871 33554432000 4194304 4196468 140731565398256 140238802379504 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20770] ppid=20758 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20770/stat : 20770 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075213 15372775424 21871 33554432000 4194304 4196468 140731565398256 140238427871184 140240403462043 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20771] ppid=20758 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20761/task/20771/stat : 20771 (java) S 20758 20758 16605 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 15 0 225075213 15372775424 21871 33554432000 4194304 4196468 140731565398256 140239171480304 140240403454594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20772] ppid=20758 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20772/stat : 20772 (java) S 20758 20758 16605 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 225075213 15372775424 21871 33554432000 4194304 4196468 140731565398256 140239170427760 140240403454594 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20773] ppid=20758 vsize=15012476 memory=140561300358784 CPUtime=0.03 cores=1,3,5,7
/proc/20761/task/20773/stat : 20773 (java) R 20758 20758 16605 0 -1 4202560 292 0 0 0 3 0 0 0 20 0 15 0 225075213 15372775424 21871 33554432000 4194304 4196468 140731565398256 140239169374704 140240382299184 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20774] ppid=20758 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20774/stat : 20774 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075213 15372775424 21871 33554432000 4194304 4196468 140731565398256 140237929966432 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20775] ppid=20758 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20775/stat : 20775 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075213 15372775424 21871 33554432000 4194304 4196468 140731565398256 140239168322096 140240403454594 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88880 KiB
[startup+0.310684 s]*
/proc/loadavg: 2.80 2.39 2.19 3/222 20775
/proc/meminfo: memFree=24560892/32770624 swapFree=67108860/67108860
[pid=20758] ppid=20755 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20758/stat : 20758 (scop.sh) S 20755 20758 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225075206 115843072 349 33554432000 4194304 5098028 140730194629216 140730194626472 140344561259132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24694784 140730194637888 140730194638087 140730194638087 140730194640845 0
/proc/20758/statm: 28282 349 296 221 0 87 0
[pid=20761] ppid=20758 vsize=15012476 memory=91620 CPUtime=0.42 cores=1,3,5,7
/proc/20761/stat : 20761 (java) S 20758 20758 16605 0 -1 1077944320 10849 0 0 0 40 2 0 0 20 0 15 0 225075206 15372775424 22905 33554432000 4194304 4196468 140731565398256 140731565380800 140240403443447 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
/proc/20761/statm: 3753119 22905 2985 1 0 3715579 0
[pid=20761/tid=20762] ppid=20758 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20761/task/20762/stat : 20762 (java) R 20758 20758 16605 0 -1 4202560 8587 0 0 0 27 2 0 0 20 0 15 0 225075207 15372775424 22905 33554432000 4194304 4196468 140731565398256 140240375238448 140240403465373 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20763] ppid=20758 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20763/stat : 20763 (java) S 20758 20758 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075208 15372775424 22905 33554432000 4194304 4196468 140731565398256 140240407686160 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20764] ppid=20758 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20764/stat : 20764 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075208 15372775424 22905 33554432000 4194304 4196468 140731565398256 140240221842576 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20765] ppid=20758 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20765/stat : 20765 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075208 15372775424 22905 33554432000 4194304 4196468 140731565398256 140240220789520 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20766] ppid=20758 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20766/stat : 20766 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075208 15372775424 22905 33554432000 4194304 4196468 140731565398256 140240219736976 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20767] ppid=20758 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20767/stat : 20767 (java) S 20758 20758 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075210 15372775424 22905 33554432000 4194304 4196468 140731565398256 140239810087152 140240403454594 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20768] ppid=20758 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20768/stat : 20768 (java) S 20758 20758 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225075210 15372775424 22905 33554432000 4194304 4196468 140731565398256 140239070815392 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20769] ppid=20758 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20769/stat : 20769 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075211 15372775424 22905 33554432000 4194304 4196468 140731565398256 140238802379504 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20770] ppid=20758 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20770/stat : 20770 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075213 15372775424 22905 33554432000 4194304 4196468 140731565398256 140238427871184 140240403462043 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20771] ppid=20758 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20761/task/20771/stat : 20771 (java) R 20758 20758 16605 0 -1 4202560 560 0 0 0 3 0 0 0 20 0 15 0 225075213 15372775424 22905 33554432000 4194304 4196468 140731565398256 140239171480304 140240389457756 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20772] ppid=20758 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20761/task/20772/stat : 20772 (java) R 20758 20758 16605 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 15 0 225075213 15372775424 22905 33554432000 4194304 4196468 140731565398256 140239170427760 140240403454594 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20773] ppid=20758 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20761/task/20773/stat : 20773 (java) R 20758 20758 16605 0 -1 4202560 335 0 0 0 7 0 0 0 20 0 15 0 225075213 15372775424 22905 33554432000 4194304 4196468 140731565398256 140239169374704 140240395680574 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20774] ppid=20758 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20774/stat : 20774 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075213 15372775424 22905 33554432000 4194304 4196468 140731565398256 140237929966432 140240403453653 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20775] ppid=20758 vsize=15012476 memory=3617014130905522225 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20775/stat : 20775 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075213 15372775424 22905 33554432000 4194304 4196468 140731565398256 140239168322096 140240403454594 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 93016 KiB
[startup+0.700758 s]
/proc/loadavg: 2.80 2.39 2.19 3/222 20775
/proc/meminfo: memFree=24536212/32770624 swapFree=67108860/67108860
[pid=20758] ppid=20755 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20758/stat : 20758 (scop.sh) S 20755 20758 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225075206 115843072 349 33554432000 4194304 5098028 140730194629216 140730194626472 140344561259132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24694784 140730194637888 140730194638087 140730194638087 140730194640845 0
/proc/20758/statm: 28282 349 296 221 0 87 0
[pid=20761] ppid=20758 vsize=15020872 memory=129944 CPUtime=1.03 cores=1,3,5,7
/proc/20761/stat : 20761 (java) S 20758 20758 16605 0 -1 1077944320 18031 0 0 0 98 5 0 0 20 0 15 0 225075206 15381372928 32486 33554432000 4194304 4196468 140731565398256 140731565380800 140240403443447 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
/proc/20761/statm: 3755218 32486 3166 1 0 3716603 0
[pid=20761/tid=20762] ppid=20758 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/20761/task/20762/stat : 20762 (java) R 20758 20758 16605 0 -1 4202560 15246 0 0 0 63 4 0 0 20 0 15 0 225075207 15381372928 32486 33554432000 4194304 4196468 140731565398256 140240375279536 140239895092570 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20763] ppid=20758 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20763/stat : 20763 (java) S 20758 20758 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225075208 15381372928 32486 33554432000 4194304 4196468 140731565398256 140240407686160 140240403453653 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20764] ppid=20758 vsize=15020872 memory=61224 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20764/stat : 20764 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075208 15381372928 32486 33554432000 4194304 4196468 140731565398256 140240221842576 140240403453653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20765] ppid=20758 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20765/stat : 20765 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075208 15381372928 32998 33554432000 4194304 4196468 140731565398256 140240220789520 140240403453653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20766] ppid=20758 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20766/stat : 20766 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075208 15381372928 32998 33554432000 4194304 4196468 140731565398256 140240219736976 140240403453653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20767] ppid=20758 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20767/stat : 20767 (java) S 20758 20758 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225075210 15381372928 32998 33554432000 4194304 4196468 140731565398256 140239810087152 140240403454594 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20768] ppid=20758 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20768/stat : 20768 (java) S 20758 20758 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225075210 15381372928 32998 33554432000 4194304 4196468 140731565398256 140239070815392 140240403453653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20769] ppid=20758 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20769/stat : 20769 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075211 15381372928 32998 33554432000 4194304 4196468 140731565398256 140238802379504 140240403453653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20770] ppid=20758 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20770/stat : 20770 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075213 15381372928 32998 33554432000 4194304 4196468 140731565398256 140238427871184 140240403462043 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20771] ppid=20758 vsize=15020872 memory=1120 CPUtime=0.1 cores=1,3,5,7
/proc/20761/task/20771/stat : 20771 (java) S 20758 20758 16605 0 -1 1077944384 799 0 0 0 10 0 0 0 20 0 15 0 225075213 15381372928 32998 33554432000 4194304 4196468 140731565398256 140239171480304 140240403454594 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20772] ppid=20758 vsize=15020872 memory=6120 CPUtime=0.06 cores=1,3,5,7
/proc/20761/task/20772/stat : 20772 (java) S 20758 20758 16605 0 -1 1077944384 135 0 0 0 6 0 0 0 20 0 15 0 225075213 15381372928 32998 33554432000 4194304 4196468 140731565398256 140239170427760 140240403454594 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20773] ppid=20758 vsize=15020872 memory=1724 CPUtime=0.18 cores=1,3,5,7
/proc/20761/task/20773/stat : 20773 (java) S 20758 20758 16605 0 -1 1077944384 517 0 0 0 18 0 0 0 20 0 15 0 225075213 15381372928 32998 33554432000 4194304 4196468 140731565398256 140239169374704 140240403454594 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20774] ppid=20758 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20774/stat : 20774 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225075213 15381372928 32998 33554432000 4194304 4196468 140731565398256 140237929966432 140240403453653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
[pid=20761/tid=20775] ppid=20758 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/20761/task/20775/stat : 20775 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225075213 15381372928 32998 33554432000 4194304 4196468 140731565398256 140239168322096 140240403454594 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7942144 140731565401094 140731565401393 140731565401393 140731565404111 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131340 KiB
[startup+1.50356 s]
/proc/loadavg: 2.80 2.39 2.19 6/222 20775
/proc/meminfo: memFree=24505132/32770624 swapFree=67108860/67108860
[pid=20758] ppid=20755 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20758/stat : 20758 (scop.sh) S 20755 20758 16605 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 225075206 115843072 349 33554432000 4194304 5098028 140730194629216 140730194626472 140344561259132 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24694784 140730194637888 140730194638087 140730194638087 140730194640845 0
/proc/20758/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 32.36 s
Current children cumulated vsize: 8250768 KiB
Current children cumulated memory: 171248 KiB
[startup+26.001 s]*
/proc/loadavg: 2.53 2.36 2.18 3/227 20796
/proc/meminfo: memFree=24482876/32770624 swapFree=67108860/67108860
[pid=20758] ppid=20755 vsize=113128 memory=1472 CPUtime=10.21 cores=1,3,5,7
/proc/20758/stat : 20758 (scop.sh) S 20755 20758 16605 0 -1 4202496 592 27956 0 0 0 0 998 23 20 0 1 0 225075206 115843072 368 33554432000 4194304 5098028 140730194629216 140730194625960 140344561259132 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24694784 140730194637888 140730194638087 140730194638087 140730194640845 0
/proc/20758/statm: 28282 368 311 221 0 87 0
[pid=20776] ppid=20758 vsize=8068220 memory=117104 CPUtime=1.17 cores=1,3,5,7
/proc/20776/stat : 20776 (java) S 20758 20758 16605 0 -1 1077944320 18012 0 0 0 112 5 0 0 20 0 19 0 225075593 8261857280 29276 33554432000 4194304 4196468 140734784027232 140734784009776 140638654189303 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
/proc/20776/statm: 2017055 29276 3151 1 0 1978454 0
[pid=20791] ppid=20776 vsize=69420 memory=52672 CPUtime=21.38 cores=1,3,5,7
/proc/20791/stat : 20791 (minisat_release) R 20776 20758 16605 0 -1 4202496 18328 0 0 0 2136 2 0 0 20 0 1 0 225075668 71086080 13168 33554432000 4194304 4308513 140732151511120 140732151508120 4276036 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 23728128 140732151518324 140732151518422 140732151518422 140732151521221 0
/proc/20791/statm: 17355 13168 340 28 0 13595 0
[pid=20776/tid=20777] ppid=20758 vsize=8068220 memory=-7824251494390650468 CPUtime=0.75 cores=1,3,5,7
/proc/20776/task/20777/stat : 20777 (java) S 20758 20758 16605 0 -1 1077944384 15048 0 0 0 71 4 0 0 20 0 19 0 225075594 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638626029456 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20778] ppid=20758 vsize=8068220 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20778/stat : 20778 (java) S 20758 20758 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225075595 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638658432144 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20779] ppid=20758 vsize=8068220 memory=920 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20779/stat : 20779 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225075595 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638458600464 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20780] ppid=20758 vsize=8068220 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20780/stat : 20780 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225075595 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638457547664 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20781] ppid=20758 vsize=8068220 memory=3412 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20781/stat : 20781 (java) S 20758 20758 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225075595 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638456494864 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20782] ppid=20758 vsize=8068220 memory=2912 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20782/stat : 20782 (java) S 20758 20758 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225075597 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638033013104 140638654200450 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20783] ppid=20758 vsize=8068220 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20783/stat : 20783 (java) S 20758 20758 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225075597 8261857280 29276 33554432000 4194304 4196468 140734784027232 140637496140832 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20784] ppid=20758 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20784/stat : 20784 (java) S 20758 20758 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225075597 8261857280 29276 33554432000 4194304 4196468 140734784027232 140637361918832 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20785] ppid=20758 vsize=8068220 memory=3568 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20785/stat : 20785 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140636987414352 140638654207899 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20786] ppid=20758 vsize=8068220 memory=1468 CPUtime=0.08 cores=1,3,5,7
/proc/20776/task/20786/stat : 20786 (java) S 20758 20758 16605 0 -1 1077944384 599 0 0 0 8 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638031960944 140638654200450 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20787] ppid=20758 vsize=8068220 memory=4872558044660077418 CPUtime=0.09 cores=1,3,5,7
/proc/20776/task/20787/stat : 20787 (java) S 20758 20758 16605 0 -1 1077944384 360 0 0 0 9 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638030908144 140638654200450 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20788] ppid=20758 vsize=8068220 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/20776/task/20788/stat : 20788 (java) S 20758 20758 16605 0 -1 1077944384 590 0 0 0 21 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638029855344 140638654200450 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20789] ppid=20758 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20789/stat : 20789 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140636489509600 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20790] ppid=20758 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20790/stat : 20790 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225075601 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638028802736 140638654200450 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20792] ppid=20758 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20792/stat : 20792 (java) S 20758 20758 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225075668 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638021326016 140638654213913 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20794] ppid=20758 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20794/stat : 20794 (java) S 20758 20758 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225075668 8261857280 29276 33554432000 4194304 4196468 140734784027232 140635952626992 140638654211229 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20795] ppid=20758 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20795/stat : 20795 (java) S 20758 20758 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225075668 8261857280 29276 33554432000 4194304 4196468 140734784027232 140635549974704 140638654211229 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20796] ppid=20758 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20796/stat : 20796 (java) S 20758 20758 16605 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 225075670 8261857280 29276 33554432000 4194304 4196468 140734784027232 140636221071008 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
Current children cumulated CPU time: 32.76 s
Current children cumulated vsize: 8250768 KiB
Current children cumulated memory: 171248 KiB
[startup+26.4009 s]
/proc/loadavg: 2.53 2.36 2.18 3/227 20796
/proc/meminfo: memFree=24482876/32770624 swapFree=67108860/67108860
[pid=20758] ppid=20755 vsize=113128 memory=1472 CPUtime=10.21 cores=1,3,5,7
/proc/20758/stat : 20758 (scop.sh) S 20755 20758 16605 0 -1 4202496 592 27956 0 0 0 0 998 23 20 0 1 0 225075206 115843072 368 33554432000 4194304 5098028 140730194629216 140730194625960 140344561259132 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24694784 140730194637888 140730194638087 140730194638087 140730194640845 0
/proc/20758/statm: 28282 368 311 221 0 87 0
[pid=20776] ppid=20758 vsize=8068220 memory=117104 CPUtime=1.17 cores=1,3,5,7
/proc/20776/stat : 20776 (java) S 20758 20758 16605 0 -1 1077944320 18012 0 0 0 112 5 0 0 20 0 19 0 225075593 8261857280 29276 33554432000 4194304 4196468 140734784027232 140734784009776 140638654189303 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
/proc/20776/statm: 2017055 29276 3151 1 0 1978454 0
[pid=20791] ppid=20776 vsize=69420 memory=52672 CPUtime=21.78 cores=1,3,5,7
/proc/20791/stat : 20791 (minisat_release) R 20776 20758 16605 0 -1 4202496 18330 0 0 0 2176 2 0 0 20 0 1 0 225075668 71086080 13168 33554432000 4194304 4308513 140732151511120 140732151508120 4276123 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 23728128 140732151518324 140732151518422 140732151518422 140732151521221 0
/proc/20791/statm: 17355 13168 340 28 0 13595 0
[pid=20776/tid=20777] ppid=20758 vsize=8068220 memory=3516 CPUtime=0.75 cores=1,3,5,7
/proc/20776/task/20777/stat : 20777 (java) S 20758 20758 16605 0 -1 1077944384 15048 0 0 0 71 4 0 0 20 0 19 0 225075594 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638626029456 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20778] ppid=20758 vsize=8068220 memory=872 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20778/stat : 20778 (java) S 20758 20758 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225075595 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638658432144 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20779] ppid=20758 vsize=8068220 memory=1288 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20779/stat : 20779 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225075595 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638458600464 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20780] ppid=20758 vsize=8068220 memory=1088 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20780/stat : 20780 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225075595 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638457547664 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20781] ppid=20758 vsize=8068220 memory=15512 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20781/stat : 20781 (java) S 20758 20758 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225075595 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638456494864 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20782] ppid=20758 vsize=8068220 memory=924 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20782/stat : 20782 (java) S 20758 20758 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225075597 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638033013104 140638654200450 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20783] ppid=20758 vsize=8068220 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20783/stat : 20783 (java) S 20758 20758 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225075597 8261857280 29276 33554432000 4194304 4196468 140734784027232 140637496140832 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20784] ppid=20758 vsize=8068220 memory=3980 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20784/stat : 20784 (java) S 20758 20758 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225075597 8261857280 29276 33554432000 4194304 4196468 140734784027232 140637361918832 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20785] ppid=20758 vsize=8068220 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20785/stat : 20785 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140636987414352 140638654207899 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20786] ppid=20758 vsize=8068220 memory=7288 CPUtime=0.08 cores=1,3,5,7
/proc/20776/task/20786/stat : 20786 (java) S 20758 20758 16605 0 -1 1077944384 599 0 0 0 8 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638031960944 140638654200450 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20787] ppid=20758 vsize=8068220 memory=804 CPUtime=0.09 cores=1,3,5,7
/proc/20776/task/20787/stat : 20787 (java) S 20758 20758 16605 0 -1 1077944384 360 0 0 0 9 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638030908144 140638654200450 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20788] ppid=20758 vsize=8068220 memory=1800 CPUtime=0.21 cores=1,3,5,7
/proc/20776/task/20788/stat : 20788 (java) S 20758 20758 16605 0 -1 1077944384 590 0 0 0 21 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638029855344 140638654200450 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20789] ppid=20758 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20789/stat : 20789 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140636489509600 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20790] ppid=20758 vsize=8068220 memory=117104 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20790/stat : 20790 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225075601 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638028802736 140638654200450 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20792] ppid=20758 vsize=8068220 memory=51756 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20792/stat : 20792 (java) S 20758 20758 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225075668 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638021326016 140638654213913 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20794] ppid=20758 vsize=8068220 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20794/stat : 20794 (java) S 20758 20758 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225075668 8261857280 29276 33554432000 4194304 4196468 140734784027232 140635952626992 140638654211229 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20795] ppid=20758 vsize=8068220 memory=3412 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20795/stat : 20795 (java) S 20758 20758 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225075668 8261857280 29276 33554432000 4194304 4196468 140734784027232 140635549974704 140638654211229 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20796] ppid=20758 vsize=8068220 memory=2912 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20796/stat : 20796 (java) S 20758 20758 16605 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 225075670 8261857280 29276 33554432000 4194304 4196468 140734784027232 140636221071008 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
Current children cumulated CPU time: 33.16 s
Current children cumulated vsize: 8250768 KiB
Current children cumulated memory: 171248 KiB
[startup+26.501 s]
/proc/loadavg: 2.53 2.36 2.18 3/227 20796
/proc/meminfo: memFree=24482876/32770624 swapFree=67108860/67108860
[pid=20758] ppid=20755 vsize=113128 memory=1472 CPUtime=10.21 cores=1,3,5,7
/proc/20758/stat : 20758 (scop.sh) S 20755 20758 16605 0 -1 4202496 592 27956 0 0 0 0 998 23 20 0 1 0 225075206 115843072 368 33554432000 4194304 5098028 140730194629216 140730194625960 140344561259132 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24694784 140730194637888 140730194638087 140730194638087 140730194640845 0
/proc/20758/statm: 28282 368 311 221 0 87 0
[pid=20776] ppid=20758 vsize=8068220 memory=117104 CPUtime=1.17 cores=1,3,5,7
/proc/20776/stat : 20776 (java) S 20758 20758 16605 0 -1 1077944320 18012 0 0 0 112 5 0 0 20 0 19 0 225075593 8261857280 29276 33554432000 4194304 4196468 140734784027232 140734784009776 140638654189303 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
/proc/20776/statm: 2017055 29276 3151 1 0 1978454 0
[pid=20791] ppid=20776 vsize=69420 memory=52672 CPUtime=21.88 cores=1,3,5,7
/proc/20791/stat : 20791 (minisat_release) R 20776 20758 16605 0 -1 4202496 18330 0 0 0 2186 2 0 0 20 0 1 0 225075668 71086080 13168 33554432000 4194304 4308513 140732151511120 140732151508120 4276025 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 23728128 140732151518324 140732151518422 140732151518422 140732151521221 0
/proc/20791/statm: 17355 13168 340 28 0 13595 0
[pid=20776/tid=20777] ppid=20758 vsize=8068220 memory=3712 CPUtime=0.75 cores=1,3,5,7
/proc/20776/task/20777/stat : 20777 (java) S 20758 20758 16605 0 -1 1077944384 15048 0 0 0 71 4 0 0 20 0 19 0 225075594 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638626029456 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20778] ppid=20758 vsize=8068220 memory=61224 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20778/stat : 20778 (java) S 20758 20758 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225075595 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638658432144 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20779] ppid=20758 vsize=8068220 memory=52672 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20779/stat : 20779 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225075595 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638458600464 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20780] ppid=20758 vsize=8068220 memory=52672 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20780/stat : 20780 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225075595 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638457547664 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20781] ppid=20758 vsize=8068220 memory=52672 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20781/stat : 20781 (java) S 20758 20758 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225075595 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638456494864 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20782] ppid=20758 vsize=8068220 memory=52672 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20782/stat : 20782 (java) S 20758 20758 16605 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225075597 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638033013104 140638654200450 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20783] ppid=20758 vsize=8068220 memory=56 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20783/stat : 20783 (java) S 20758 20758 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225075597 8261857280 29276 33554432000 4194304 4196468 140734784027232 140637496140832 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20784] ppid=20758 vsize=8068220 memory=7594597771697979466 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20784/stat : 20784 (java) S 20758 20758 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 225075597 8261857280 29276 33554432000 4194304 4196468 140734784027232 140637361918832 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20785] ppid=20758 vsize=8068220 memory=52672 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20785/stat : 20785 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140636987414352 140638654207899 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20786] ppid=20758 vsize=8068220 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/20776/task/20786/stat : 20786 (java) S 20758 20758 16605 0 -1 1077944384 599 0 0 0 8 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638031960944 140638654200450 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20787] ppid=20758 vsize=8068220 memory=1472 CPUtime=0.09 cores=1,3,5,7
/proc/20776/task/20787/stat : 20787 (java) S 20758 20758 16605 0 -1 1077944384 360 0 0 0 9 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638030908144 140638654200450 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20788] ppid=20758 vsize=8068220 memory=117104 CPUtime=0.21 cores=1,3,5,7
/proc/20776/task/20788/stat : 20788 (java) S 20758 20758 16605 0 -1 1077944384 590 0 0 0 21 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638029855344 140638654200450 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20789] ppid=20758 vsize=8068220 memory=52672 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20789/stat : 20789 (java) S 20758 20758 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225075600 8261857280 29276 33554432000 4194304 4196468 140734784027232 140636489509600 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20790] ppid=20758 vsize=8068220 memory=7740403952459798638 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20790/stat : 20790 (java) S 20758 20758 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225075601 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638028802736 140638654200450 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20792] ppid=20758 vsize=8068220 memory=164 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20792/stat : 20792 (java) S 20758 20758 16605 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225075668 8261857280 29276 33554432000 4194304 4196468 140734784027232 140638021326016 140638654213913 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20794] ppid=20758 vsize=8068220 memory=7301014839501611864 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20794/stat : 20794 (java) S 20758 20758 16605 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225075668 8261857280 29276 33554432000 4194304 4196468 140734784027232 140635952626992 140638654211229 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20795] ppid=20758 vsize=8068220 memory=-7824251494390650468 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20795/stat : 20795 (java) S 20758 20758 16605 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225075668 8261857280 29276 33554432000 4194304 4196468 140734784027232 140635549974704 140638654211229 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
[pid=20776/tid=20796] ppid=20758 vsize=8068220 memory=15712 CPUtime=0 cores=1,3,5,7
/proc/20776/task/20796/stat : 20796 (java) S 20758 20758 16605 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 225075670 8261857280 29276 33554432000 4194304 4196468 140734784027232 140636221071008 140638654199509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24309760 140734784029877 140734784030001 140734784030001 140734784032719 0
Current children cumulated CPU time: 33.26 s
Current children cumulated vsize: 8250768 KiB
Current children cumulated memory: 171248 KiB
Child status: 0
Real time (s): 26.5449
CPU time (s): 33.3385
CPU user time (s): 33.0128
CPU system time (s): 0.325619
CPU usage (%): 125.593
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 941208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.0128
system time used= 0.325619
maximum resident set size= 946748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64976
page faults= 0
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6337
involuntary context switches= 64
# summary of solver processes directly reported to runsolver:
# pid: 20758
# total CPU time (s): 33.3385
# total CPU user time (s): 33.0128
# total CPU system time (s): 0.325619
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.204388 second user time and 0.330395 second system time
The end