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-1845-serial-file.bin HOME/instance-4305647-1534134102.xml
0.63/0.54
0.63/0.54 scop both+minisat_release (2018-07-31)
0.63/0.54 (Encoding Process)
0.63/0.54
0.63/0.57 c BEGIN-Prog: Mon Aug 13 06:21:43 CEST 2018
0.63/0.57 c PID: 1853
0.63/0.57 c IP: 172.20.3.148
0.63/0.57 c HOST: node148.alineos.net
0.63/0.57 c (0,0) Parsing Begin
1.36/0.95 c (0,0) Parsing End
1.36/0.95 c (0,0) CSP: 120 int (0 aux), 0 bool (0 aux), 114 ctr, max domain size 8
1.36/0.95 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.36/0.95 c (0,0) Constraint Name Generate Begin
1.36/0.96 c (0,0) Ctr:HOME/instance-4305647-1534134102.xml,AllDifferentMatrix:Element:Instantiation:IntVar
1.36/0.96 c (0,0) Constraint Name Generate End
1.36/0.96 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.36/0.96 c (0,0) CSP to CSPinCNF Begin
2.25/1.32 c (0,0) translated 12 (10%) constraints
2.25/1.34 c (0,0) translated 23 (20%) constraints
2.25/1.36 c (0,0) translated 35 (30%) constraints
2.25/1.37 c (0,0) translated 46 (40%) constraints
2.25/1.39 c (0,0) translated 57 (50%) constraints
2.25/1.40 c (0,0) translated 69 (60%) constraints
2.62/1.41 c (0,0) translated 80 (70%) constraints
2.62/1.42 c (0,0) translated 92 (80%) constraints
2.62/1.43 c (0,0) translated 103 (90%) constraints
2.62/1.44 c (0,0) translated 114 (100%) constraints
2.62/1.50 c (0,0) STATISTICS1:HOME/instance-4305647-1534134102.xml,AllDifferentMatrix:Element:Instantiation:IntVar,120,1384,8,8,8,2,8:1904;1:336,8:3584;1:264,8:32;3:896;2:448;1:8,2:2240;1:1168,
2.62/1.50 c (0,0) ==========================================
2.62/1.50 c (0,0) Both Encoding selects:
2.92/1.50 c (0,0) Order
2.92/1.50 c (0,0) ==========================================
2.92/1.53 c (0,0) translated 139 (10%) constraints
2.92/1.54 c (1,0) translated 277 (20%) constraints
2.92/1.56 c (1,0) translated 416 (30%) constraints
3.19/1.60 c (1,1) translated 554 (40%) constraints
3.19/1.64 c (1,1) translated 692 (50%) constraints
3.19/1.67 c (1,1) translated 831 (60%) constraints
3.49/1.71 c (1,1) translated 969 (70%) constraints
3.49/1.73 c (1,1) translated 1108 (80%) constraints
3.49/1.76 c (1,1) translated 1246 (90%) constraints
3.49/1.78 c (1,1) translated 1384 (100%) constraints
3.49/1.79 c (1,1) CSP to CSPinCNF End
3.49/1.79 c (1,1) CSP: 120 int (0 aux), 840 bool (840 aux), 3184 ctr, max domain size 8
3.49/1.79 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
3.49/1.79 c (1,1) CSPinCNF Propagation Begin
3.82/1.87 c (1,1) 2 values, 404 unsatisfiable literals, and 144 valid clauses are removed
3.82/1.87 c (1,1) CSPinCNF Propagation End
3.82/1.87 c (1,1) CSP: 120 int (0 aux), 840 bool (840 aux), 3040 ctr, max domain size 8
3.82/1.87 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.82/1.87 c (1,1) Simplify CSPinCNF Begin
4.13/1.92 c (1,1) Simplify CSPinCNF End
4.13/1.92 c (1,1) CSP: 120 int (0 aux), 1672 bool (1672 aux), 3872 ctr, max domain size 8
4.13/1.92 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.13/1.92 c (1,1) Calculate Precise Domain Begin
4.13/1.92 c (1,1) 0 values are removed by re-calculation
4.13/1.92 c (1,1) Calculate Precise Domain End
4.13/1.92 c (1,1) CSP: 120 int (0 aux), 1672 bool (1672 aux), 3872 ctr, max domain size 8
4.13/1.92 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
4.13/1.92 c (1,1) CSPinCNF to SatSolver Begin
4.48/2.03 c (1,1) 388 (10 %) CSP clauses are encoded (2424 SAT variables, 2285 SAT clauses)
4.48/2.05 c (1,1) 775 (20 %) CSP clauses are encoded (2424 SAT variables, 3914 SAT clauses)
4.48/2.07 c (1,1) 1162 (30 %) CSP clauses are encoded (2424 SAT variables, 5536 SAT clauses)
4.48/2.08 c (1,1) 1549 (40 %) CSP clauses are encoded (2424 SAT variables, 7245 SAT clauses)
4.48/2.10 c (1,1) 1936 (50 %) CSP clauses are encoded (2424 SAT variables, 8936 SAT clauses)
4.78/2.12 c (1,1) 2324 (60 %) CSP clauses are encoded (2424 SAT variables, 10637 SAT clauses)
4.78/2.13 c (1,1) 2711 (70 %) CSP clauses are encoded (2424 SAT variables, 12359 SAT clauses)
4.78/2.15 c (1,1) 3098 (80 %) CSP clauses are encoded (2424 SAT variables, 14080 SAT clauses)
4.78/2.16 c (1,1) 3485 (90 %) CSP clauses are encoded (2424 SAT variables, 15808 SAT clauses)
4.78/2.18 c (1,1) 3872 (100 %) CSP clauses are encoded (2424 SAT variables, 17519 SAT clauses)
4.78/2.18 c (1,1) Launch Command will be: minisat_release
4.78/2.18 c (1,1) CSPinCNF to SatSolver End
4.78/2.18 c (1,1) Heap : 281 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.06/2.21 c (1,1) STATISTICS2:HOME/instance-4305647-1534134102.xml,AllDifferentMatrix:Element:Instantiation:IntVar,1792,3872,8,8,6,2,8:1080;7:856;6:304;1:356,8:4404;7:1600;6:440;2:4260;1:356,6:28;3:608;2:3236,2:2596;1:5868,
5.06/2.21 c (1,1) 2424 bool, 17520 clause
5.06/2.21 c (1,1) Export Begin
5.33/2.31 c (1,1) Export to HOME/scop-1845-serial-file.bin
5.33/2.31 c (1,1) Export End
5.33/2.31 c (1,1) Export File Size: 0.02 MB
5.33/2.31 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
5.33/2.31 c END-Prog: Mon Aug 13 06:21:44 CEST 2018
5.33/2.33 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-1845-serial-file.bin
5.99/3.14 c (0,0) Read Serial File Begin
5.99/3.14 c (0,0) HOME/scop-1845-serial-file.bin
6.25/3.31 c (0,0) Read Serial File End
6.25/3.32
6.25/3.32 scop order+minisat_release (2018-07-31)
6.25/3.32 (Solving Process)
6.25/3.32
6.25/3.35 c BEGIN-Prog: Mon Aug 13 06:21:45 CEST 2018
6.25/3.35 c PID: 1883
6.25/3.35 c IP: 172.20.3.148
6.25/3.35 c HOST: node148.alineos.net
6.25/3.35 c (0,0) SatSolver.solve Begin
6.25/3.35 c (0,0) 0 bool, 0 clause
6.25/3.35 c (0,0) minisat_release HOME/instance-4305647-1534134102.xml-scop-1853.cnf
7.40/4.38 c (1,0) c This is COMiniSatPS.
7.40/4.38 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
7.40/4.38 c (1,0) c ============================[ Problem Statistics ]=============================
7.40/4.38 c (1,0) c | |
7.40/4.38 c (1,0) c | Number of variables: 2424 |
7.40/4.38 c (1,0) c | Number of clauses: 17520 |
7.40/4.38 c (1,0) c | Parse time: 0.01 s |
7.40/4.38 c (1,0) c | Eliminated clauses: 0.03 Mb |
7.40/4.38 c (1,0) c Reduced to 1060 vars, 14000 cls (grow=0)
7.40/4.38 c (1,0) c No iterative elimination performed. (vars=1060, c/v ratio=13.2)
7.40/4.38 c (1,0) c | Simplification time: 0.02 s |
7.40/4.38 c (1,0) c | |
7.40/4.38 c (1,0) c ============================[ Search Statistics ]==============================
7.40/4.38 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
7.40/4.38 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.40/4.38 c (1,0) c ===============================================================================
7.40/4.38 c (1,0) c ===============================================================================
7.40/4.38 c (1,0) c restarts : 56
7.40/4.38 c (1,0) c conflicts : 17795 (17833 /sec)
7.40/4.38 c (1,0) c decisions : 21661 (0.00 % random) (21707 /sec)
7.40/4.38 c (1,0) c propagations : 2595180 (2600688 /sec)
7.40/4.38 c (1,0) c conflict literals : 207965 (43.59 % deleted)
7.40/4.38 c (1,0) c CPU time : 0.997882 s
7.40/4.38 c (1,0)
7.40/4.38 c (1,0) s UNSATISFIABLE
7.40/4.38 c (1,0) SatSolver.solve End
7.40/4.38 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
7.40/4.38 c (1,0) Show results Begin
7.40/4.38 s UNSATISFIABLE
7.40/4.38 c (1,0) Show results End
7.40/4.38 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
7.40/4.39 c (1,0) 1,1,STOP-AFTER(ALL)
7.40/4.39 c END-Prog: Mon Aug 13 06:21:47 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 (9545 MiB free)
memory of node 1: 16384 MiB (7057 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305647-1534134102/watcher-4305647-1534134102 -o /tmp/evaluation-result-4305647-1534134102/solver-4305647-1534134102 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534134102-1818 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305647-1534134102.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
Current StackSize limit: 8192 KiB
solver pid=1845, runsolver pid=1841
[startup+0.100111 s]*
/proc/loadavg: 1.84 1.98 1.99 3/220 1882
/proc/meminfo: memFree=16883104/32770624 swapFree=67108404/67108860
[pid=1845] ppid=1841 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1845/stat : 1845 (scop.sh) S 1841 1845 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230973358 115843072 349 33554432000 4194304 5098028 140734304922080 140734304919336 139760508945020 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19730432 140734304924737 140734304924935 140734304924935 140734304927693 0
/proc/1845/statm: 28282 349 296 221 0 87 0
[pid=1853] ppid=1845 vsize=15012476 memory=70660 CPUtime=0.1 cores=1,3,5,7
/proc/1853/stat : 1853 (java) S 1845 1845 1786 0 -1 1077944320 6285 0 0 0 8 2 0 0 20 0 15 0 230973358 15372775424 17665 33554432000 4194304 4196468 140729366700336 140729366682880 140288991469303 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
/proc/1853/statm: 3753119 17665 2744 1 0 3715579 0
[pid=1853/tid=1855] ppid=1845 vsize=15012476 memory=8226496019563377307 CPUtime=0.08 cores=1,3,5,7
/proc/1853/task/1855/stat : 1855 (java) R 1845 1845 1786 0 -1 4202560 4490 0 0 0 7 1 0 0 20 0 15 0 230973359 15372775424 17730 33554432000 4194304 4196468 140729366700336 140288963246384 140288971746128 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1858] ppid=1845 vsize=15012476 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1858/stat : 1858 (java) S 1845 1845 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 17730 33554432000 4194304 4196468 140729366700336 140288995711504 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1859] ppid=1845 vsize=15012476 memory=140643653228160 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1859/stat : 1859 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 17730 33554432000 4194304 4196468 140729366700336 140288809867920 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1861] ppid=1845 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1861/stat : 1861 (java) S 1845 1845 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 17730 33554432000 4194304 4196468 140729366700336 140288808814864 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1863] ppid=1845 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1863/stat : 1863 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 17730 33554432000 4194304 4196468 140729366700336 140288807762320 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1865] ppid=1845 vsize=15012476 memory=140643653228160 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1865/stat : 1865 (java) S 1845 1845 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973362 15372775424 17730 33554432000 4194304 4196468 140729366700336 140288398228208 140288991480450 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1867] ppid=1845 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1867/stat : 1867 (java) S 1845 1845 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230973362 15372775424 17730 33554432000 4194304 4196468 140729366700336 140287523415712 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1869] ppid=1845 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1869/stat : 1869 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973363 15372775424 17730 33554432000 4194304 4196468 140729366700336 140287254979824 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1871] ppid=1845 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1871/stat : 1871 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 17730 33554432000 4194304 4196468 140729366700336 140286880471504 140288991487899 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1873] ppid=1845 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1873/stat : 1873 (java) S 1845 1845 1786 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 17730 33554432000 4194304 4196468 140729366700336 140288397175024 140288991480450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1874] ppid=1845 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1874/stat : 1874 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 17730 33554432000 4194304 4196468 140729366700336 140288328722800 140288991480450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1876] ppid=1845 vsize=15012476 memory=140643653228160 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1876/stat : 1876 (java) S 1845 1845 1786 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 17730 33554432000 4194304 4196468 140729366700336 140288327669744 140288991480450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1879] ppid=1845 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1879/stat : 1879 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973366 15372775424 17730 33554432000 4194304 4196468 140729366700336 140286382565728 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1881] ppid=1845 vsize=15012476 memory=140643653228160 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1881/stat : 1881 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973366 15372775424 17730 33554432000 4194304 4196468 140729366700336 140288326618160 140288991480450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72056 KiB
[startup+0.210957 s]*
/proc/loadavg: 1.84 1.98 1.99 3/220 1882
/proc/meminfo: memFree=16854412/32770624 swapFree=67108404/67108860
[pid=1845] ppid=1841 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1845/stat : 1845 (scop.sh) S 1841 1845 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230973358 115843072 349 33554432000 4194304 5098028 140734304922080 140734304919336 139760508945020 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19730432 140734304924737 140734304924935 140734304924935 140734304927693 0
/proc/1845/statm: 28282 349 296 221 0 87 0
[pid=1853] ppid=1845 vsize=15012476 memory=85016 CPUtime=0.23 cores=1,3,5,7
/proc/1853/stat : 1853 (java) S 1845 1845 1786 0 -1 1077944320 10133 0 0 0 20 3 0 0 20 0 15 0 230973358 15372775424 21254 33554432000 4194304 4196468 140729366700336 140729366682880 140288991469303 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
/proc/1853/statm: 3753119 21254 2875 1 0 3715579 0
[pid=1853/tid=1855] ppid=1845 vsize=15012476 memory=7022364632946311227 CPUtime=0.18 cores=1,3,5,7
/proc/1853/task/1855/stat : 1855 (java) R 1845 1845 1786 0 -1 4202560 8041 0 0 0 16 2 0 0 20 0 15 0 230973359 15372775424 21254 33554432000 4194304 4196468 140729366700336 140288963298960 140288974840257 0 4 2 16800973 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1858] ppid=1845 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1858/stat : 1858 (java) S 1845 1845 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 21254 33554432000 4194304 4196468 140729366700336 140288995711504 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1859] ppid=1845 vsize=15012476 memory=140643654356285 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1859/stat : 1859 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 21254 33554432000 4194304 4196468 140729366700336 140288809867920 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1861] ppid=1845 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1861/stat : 1861 (java) S 1845 1845 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 21254 33554432000 4194304 4196468 140729366700336 140288808814864 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1863] ppid=1845 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1863/stat : 1863 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 21254 33554432000 4194304 4196468 140729366700336 140288807762320 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1865] ppid=1845 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1865/stat : 1865 (java) S 1845 1845 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973362 15372775424 21254 33554432000 4194304 4196468 140729366700336 140288398228208 140288991480450 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1867] ppid=1845 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1867/stat : 1867 (java) S 1845 1845 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230973362 15372775424 21254 33554432000 4194304 4196468 140729366700336 140287523415712 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1869] ppid=1845 vsize=15012476 memory=140643653228160 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1869/stat : 1869 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973363 15372775424 21254 33554432000 4194304 4196468 140729366700336 140287254979824 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1871] ppid=1845 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1871/stat : 1871 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 21254 33554432000 4194304 4196468 140729366700336 140286880471504 140288991487899 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1873] ppid=1845 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1873/stat : 1873 (java) S 1845 1845 1786 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 21254 33554432000 4194304 4196468 140729366700336 140288397175024 140288991480450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1874] ppid=1845 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1874/stat : 1874 (java) S 1845 1845 1786 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 21254 33554432000 4194304 4196468 140729366700336 140288328722800 140288991480450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1876] ppid=1845 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1853/task/1876/stat : 1876 (java) S 1845 1845 1786 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 15 0 230973365 15372775424 21254 33554432000 4194304 4196468 140729366700336 140288327669744 140288991480450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1879] ppid=1845 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1879/stat : 1879 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973366 15372775424 21254 33554432000 4194304 4196468 140729366700336 140286382565728 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1881] ppid=1845 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1881/stat : 1881 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973366 15372775424 21254 33554432000 4194304 4196468 140729366700336 140288326618160 140288991480450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86412 KiB
[startup+0.310982 s]*
/proc/loadavg: 1.84 1.98 1.99 4/220 1882
/proc/meminfo: memFree=16846720/32770624 swapFree=67108404/67108860
[pid=1845] ppid=1841 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1845/stat : 1845 (scop.sh) S 1841 1845 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230973358 115843072 349 33554432000 4194304 5098028 140734304922080 140734304919336 139760508945020 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19730432 140734304924737 140734304924935 140734304924935 140734304927693 0
/proc/1845/statm: 28282 349 296 221 0 87 0
[pid=1853] ppid=1845 vsize=15012476 memory=89516 CPUtime=0.4 cores=1,3,5,7
/proc/1853/stat : 1853 (java) S 1845 1845 1786 0 -1 1077944320 10858 0 0 0 36 4 0 0 20 0 15 0 230973358 15372775424 22379 33554432000 4194304 4196468 140729366700336 140729366682880 140288991469303 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
/proc/1853/statm: 3753119 22379 2983 1 0 3715579 0
[pid=1853/tid=1855] ppid=1845 vsize=15012476 memory=1399051139730258233 CPUtime=0.27 cores=1,3,5,7
/proc/1853/task/1855/stat : 1855 (java) R 1845 1845 1786 0 -1 4202560 8577 0 0 0 24 3 0 0 20 0 15 0 230973359 15372775424 22379 33554432000 4194304 4196468 140729366700336 140288963265240 140288971745184 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1858] ppid=1845 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1858/stat : 1858 (java) S 1845 1845 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 22379 33554432000 4194304 4196468 140729366700336 140288995711504 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1859] ppid=1845 vsize=15012476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1859/stat : 1859 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 22379 33554432000 4194304 4196468 140729366700336 140288809867920 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1861] ppid=1845 vsize=15012476 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1861/stat : 1861 (java) S 1845 1845 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 22379 33554432000 4194304 4196468 140729366700336 140288808814864 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1863] ppid=1845 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1863/stat : 1863 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15372775424 22379 33554432000 4194304 4196468 140729366700336 140288807762320 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1865] ppid=1845 vsize=15012476 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1865/stat : 1865 (java) S 1845 1845 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973362 15372775424 22379 33554432000 4194304 4196468 140729366700336 140288398228208 140288991480450 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1867] ppid=1845 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1867/stat : 1867 (java) S 1845 1845 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230973362 15372775424 22379 33554432000 4194304 4196468 140729366700336 140287523415712 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1869] ppid=1845 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1869/stat : 1869 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973363 15372775424 22379 33554432000 4194304 4196468 140729366700336 140287254979824 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1871] ppid=1845 vsize=15012476 memory=-3535359994705170786 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1871/stat : 1871 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973365 15372775424 22379 33554432000 4194304 4196468 140729366700336 140286880471504 140288991487899 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1873] ppid=1845 vsize=15012476 memory=6944652177228980320 CPUtime=0.02 cores=1,3,5,7
/proc/1853/task/1873/stat : 1873 (java) S 1845 1845 1786 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 15 0 230973365 15372775424 22379 33554432000 4194304 4196468 140729366700336 140288397175024 140288991480450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1874] ppid=1845 vsize=15012476 memory=6944656592455097440 CPUtime=0.02 cores=1,3,5,7
/proc/1853/task/1874/stat : 1874 (java) S 1845 1845 1786 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 15 0 230973365 15372775424 22379 33554432000 4194304 4196468 140729366700336 140288328722800 140288991480450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1876] ppid=1845 vsize=15012476 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/1853/task/1876/stat : 1876 (java) S 1845 1845 1786 0 -1 1077944384 338 0 0 0 7 0 0 0 20 0 15 0 230973365 15372775424 22379 33554432000 4194304 4196468 140729366700336 140288327669744 140288991480450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1879] ppid=1845 vsize=15012476 memory=-2672971631234216029 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1879/stat : 1879 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973366 15372775424 22379 33554432000 4194304 4196468 140729366700336 140286382565728 140288991479509 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1881] ppid=1845 vsize=15012476 memory=7680491644591431721 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1881/stat : 1881 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973366 15372775424 22379 33554432000 4194304 4196468 140729366700336 140288326618160 140288991480450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90912 KiB
[startup+0.700743 s]
/proc/loadavg: 1.84 1.98 1.99 3/220 1882
/proc/meminfo: memFree=16798848/32770624 swapFree=67108404/67108860
[pid=1845] ppid=1841 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1845/stat : 1845 (scop.sh) S 1841 1845 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230973358 115843072 349 33554432000 4194304 5098028 140734304922080 140734304919336 139760508945020 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19730432 140734304924737 140734304924935 140734304924935 140734304927693 0
/proc/1845/statm: 28282 349 296 221 0 87 0
[pid=1853] ppid=1845 vsize=15018748 memory=126928 CPUtime=0.96 cores=1,3,5,7
/proc/1853/stat : 1853 (java) S 1845 1845 1786 0 -1 1077944320 17832 0 0 0 91 5 0 0 20 0 15 0 230973358 15379197952 31732 33554432000 4194304 4196468 140729366700336 140729366682880 140288991469303 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
/proc/1853/statm: 3754687 31732 3127 1 0 3716091 0
[pid=1853/tid=1855] ppid=1845 vsize=15018748 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/1853/task/1855/stat : 1855 (java) R 1845 1845 1786 0 -1 4202560 15113 0 0 0 60 4 0 0 20 0 15 0 230973359 15379197952 31732 33554432000 4194304 4196468 140729366700336 140288963291504 140288972847184 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1858] ppid=1845 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1858/stat : 1858 (java) S 1845 1845 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15379197952 31732 33554432000 4194304 4196468 140729366700336 140288995711504 140288991479509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1859] ppid=1845 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1859/stat : 1859 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15379197952 31732 33554432000 4194304 4196468 140729366700336 140288809867920 140288991479509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1861] ppid=1845 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1861/stat : 1861 (java) S 1845 1845 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230973360 15379197952 31732 33554432000 4194304 4196468 140729366700336 140288808814864 140288991479509 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1863] ppid=1845 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1863/stat : 1863 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973360 15379197952 31732 33554432000 4194304 4196468 140729366700336 140288807762320 140288991479509 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1865] ppid=1845 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1865/stat : 1865 (java) S 1845 1845 1786 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230973362 15379197952 31732 33554432000 4194304 4196468 140729366700336 140288398228208 140288991480450 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1867] ppid=1845 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1867/stat : 1867 (java) S 1845 1845 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 230973362 15379197952 31732 33554432000 4194304 4196468 140729366700336 140287523415712 140288991479509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1869] ppid=1845 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1869/stat : 1869 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973363 15379197952 31732 33554432000 4194304 4196468 140729366700336 140287254979824 140288991479509 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1871] ppid=1845 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1871/stat : 1871 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973365 15379197952 31732 33554432000 4194304 4196468 140729366700336 140286880471504 140288991487899 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1873] ppid=1845 vsize=15018748 memory=1404 CPUtime=0.05 cores=1,3,5,7
/proc/1853/task/1873/stat : 1873 (java) S 1845 1845 1786 0 -1 1077944384 602 0 0 0 5 0 0 0 20 0 15 0 230973365 15379197952 31732 33554432000 4194304 4196468 140729366700336 140288397175024 140288991480450 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1874] ppid=1845 vsize=15018748 memory=4000 CPUtime=0.08 cores=1,3,5,7
/proc/1853/task/1874/stat : 1874 (java) S 1845 1845 1786 0 -1 1077944384 313 0 0 0 8 0 0 0 20 0 15 0 230973365 15379197952 31732 33554432000 4194304 4196468 140729366700336 140288328722800 140288991480450 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1876] ppid=1845 vsize=15018748 memory=1156 CPUtime=0.15 cores=1,3,5,7
/proc/1853/task/1876/stat : 1876 (java) R 1845 1845 1786 0 -1 4202560 469 0 0 0 15 0 0 0 20 0 15 0 230973365 15379197952 31732 33554432000 4194304 4196468 140729366700336 140288327666112 140288970135483 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1879] ppid=1845 vsize=15018748 memory=15212 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1879/stat : 1879 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230973366 15379197952 31732 33554432000 4194304 4196468 140729366700336 140286382565728 140288991479509 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
[pid=1853/tid=1881] ppid=1845 vsize=15018748 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/1853/task/1881/stat : 1881 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230973366 15379197952 31732 33554432000 4194304 4196468 140729366700336 140288326618160 140288991480450 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11980800 140729366709256 140729366709553 140729366709553 140729366712271 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 128324 KiB
[startup+1.50796 s]
/proc/loadavg: 1.84 1.98 1.99 5/220 1882
/proc/meminfo: memFree=16737324/32770624 swapFree=67108404/67108860
[pid=1845] ppid=1841 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/1845/stat : 1845 (scop.sh) S 1841 1845 1786 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 230973358 115843072 349 33554432000 4194304 5098028 140734304922080 140734304919336 139760508945020 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 19730432 140734304924737 140734304924935 140734304924935 140734304927693 0
/proc/1845/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 6.12 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 93272 KiB
[startup+4.00063 s]*
/proc/loadavg: 2.02 2.02 2.01 5/225 1903
/proc/meminfo: memFree=15840120/32770624 swapFree=67108404/67108860
[pid=1845] ppid=1841 vsize=113128 memory=1472 CPUtime=5.39 cores=1,3,5,7
/proc/1845/stat : 1845 (scop.sh) S 1841 1845 1786 0 -1 4202496 591 25143 0 0 0 0 526 13 20 0 1 0 230973358 115843072 368 33554432000 4194304 5098028 140734304922080 140734304918824 139760508945020 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19730432 140734304924737 140734304924935 140734304924935 140734304927693 0
/proc/1845/statm: 28282 368 311 221 0 87 0
[pid=1883] ppid=1845 vsize=8068220 memory=114436 CPUtime=1.1 cores=1,3,5,7
/proc/1883/stat : 1883 (java) S 1845 1845 1786 0 -1 1077944320 18448 0 2 0 105 5 0 0 20 0 19 0 230973591 8261857280 28609 33554432000 4194304 4196468 140731788670720 140731788653264 140004909018871 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
/proc/1883/statm: 2017055 28609 3145 1 0 1978454 0
[pid=1898] ppid=1883 vsize=23180 memory=5772 CPUtime=0.62 cores=1,3,5,7
/proc/1898/stat : 1898 (minisat_release) R 1883 1845 1786 0 -1 4202496 1729 0 0 0 62 0 0 0 20 0 1 0 230973696 23736320 1443 33554432000 4194304 4308513 140720499766336 140720499763240 4264662 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 29560832 140720499770485 140720499770582 140720499770582 140720499773381 0
/proc/1898/statm: 5795 1443 337 28 0 2035 0
[pid=1883/tid=1884] ppid=1845 vsize=8068220 memory=7245577201579234449 CPUtime=0.74 cores=1,3,5,7
/proc/1883/task/1884/stat : 1884 (java) S 1845 1845 1786 0 -1 1077944384 15468 0 2 0 70 4 0 0 20 0 19 0 230973592 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004880859024 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1885] ppid=1845 vsize=8068220 memory=734139722786418735 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1885/stat : 1885 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230973593 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004913261328 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1886] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1886/stat : 1886 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230973593 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004393909136 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1887] ppid=1845 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1887/stat : 1887 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230973593 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004392856592 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1888] ppid=1845 vsize=8068220 memory=140643653228160 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1888/stat : 1888 (java) S 1845 1845 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230973593 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004391804048 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1889] ppid=1845 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1889/stat : 1889 (java) S 1845 1845 1786 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 230973594 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004355516400 140004909030018 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1890] ppid=1845 vsize=8068220 memory=38017 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1890/stat : 1890 (java) S 1845 1845 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230973595 8261857280 28609 33554432000 4194304 4196468 140731788670720 140003787137952 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1891] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1891/stat : 1891 (java) S 1845 1845 1786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230973595 8261857280 28609 33554432000 4194304 4196468 140731788670720 140003652916208 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1892] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1892/stat : 1892 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140003278411984 140004909037467 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1893] ppid=1845 vsize=8068220 memory=140643535945847 CPUtime=0.08 cores=1,3,5,7
/proc/1883/task/1893/stat : 1893 (java) S 1845 1845 1786 0 -1 1077944384 519 0 0 0 8 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004354464240 140004909030018 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1894] ppid=1845 vsize=8068220 memory=288371261179008664 CPUtime=0.06 cores=1,3,5,7
/proc/1883/task/1894/stat : 1894 (java) S 1845 1845 1786 0 -1 1077944384 438 0 0 0 6 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004353411696 140004909030018 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1895] ppid=1845 vsize=8068220 memory=16104770972680215 CPUtime=0.19 cores=1,3,5,7
/proc/1883/task/1895/stat : 1895 (java) S 1845 1845 1786 0 -1 1077944384 590 0 0 0 19 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004352359152 140004909030018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1896] ppid=1845 vsize=8068220 memory=140647948195456 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1896/stat : 1896 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140002780507232 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1897] ppid=1845 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1897/stat : 1897 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230973598 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004351306032 140004909030018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1899] ppid=1845 vsize=8068220 memory=281287189216864 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1899/stat : 1899 (java) S 1845 1845 1786 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230973696 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004343497792 140004909043481 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1901] ppid=1845 vsize=8068220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1901/stat : 1901 (java) S 1845 1845 1786 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230973696 8261857280 28609 33554432000 4194304 4196468 140731788670720 140002243620496 140004909040797 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1902] ppid=1845 vsize=8068220 memory=124900 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1902/stat : 1902 (java) S 1845 1845 1786 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230973696 8261857280 28609 33554432000 4194304 4196468 140731788670720 140002377842448 140004909040797 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1903] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1903/stat : 1903 (java) S 1845 1845 1786 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 230973699 8261857280 28609 33554432000 4194304 4196468 140731788670720 140001975197216 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
Current children cumulated CPU time: 7.11 s
Current children cumulated vsize: 8204528 KiB
Current children cumulated memory: 121680 KiB
[startup+4.20085 s]
/proc/loadavg: 2.02 2.02 2.01 5/225 1903
/proc/meminfo: memFree=15840120/32770624 swapFree=67108404/67108860
[pid=1845] ppid=1841 vsize=113128 memory=1472 CPUtime=5.39 cores=1,3,5,7
/proc/1845/stat : 1845 (scop.sh) S 1841 1845 1786 0 -1 4202496 591 25143 0 0 0 0 526 13 20 0 1 0 230973358 115843072 368 33554432000 4194304 5098028 140734304922080 140734304918824 139760508945020 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19730432 140734304924737 140734304924935 140734304924935 140734304927693 0
/proc/1845/statm: 28282 368 311 221 0 87 0
[pid=1883] ppid=1845 vsize=8068220 memory=114436 CPUtime=1.1 cores=1,3,5,7
/proc/1883/stat : 1883 (java) S 1845 1845 1786 0 -1 1077944320 18448 0 2 0 105 5 0 0 20 0 19 0 230973591 8261857280 28609 33554432000 4194304 4196468 140731788670720 140731788653264 140004909018871 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
/proc/1883/statm: 2017055 28609 3145 1 0 1978454 0
[pid=1898] ppid=1883 vsize=23180 memory=6020 CPUtime=0.81 cores=1,3,5,7
/proc/1898/stat : 1898 (minisat_release) R 1883 1845 1786 0 -1 4202496 1776 0 0 0 81 0 0 0 20 0 1 0 230973696 23736320 1505 33554432000 4194304 4308513 140720499766336 140720499763240 4276769 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 29560832 140720499770485 140720499770582 140720499770582 140720499773381 0
/proc/1898/statm: 5795 1505 337 28 0 2035 0
[pid=1883/tid=1884] ppid=1845 vsize=8068220 memory=3984 CPUtime=0.74 cores=1,3,5,7
/proc/1883/task/1884/stat : 1884 (java) S 1845 1845 1786 0 -1 1077944384 15468 0 2 0 70 4 0 0 20 0 19 0 230973592 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004880859024 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1885] ppid=1845 vsize=8068220 memory=2144 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1885/stat : 1885 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230973593 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004913261328 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1886] ppid=1845 vsize=8068220 memory=7540 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1886/stat : 1886 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230973593 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004393909136 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1887] ppid=1845 vsize=8068220 memory=812 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1887/stat : 1887 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230973593 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004392856592 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1888] ppid=1845 vsize=8068220 memory=1399051139730258233 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1888/stat : 1888 (java) S 1845 1845 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230973593 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004391804048 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1889] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1889/stat : 1889 (java) S 1845 1845 1786 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 230973594 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004355516400 140004909030018 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1890] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1890/stat : 1890 (java) S 1845 1845 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230973595 8261857280 28609 33554432000 4194304 4196468 140731788670720 140003787137952 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1891] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1891/stat : 1891 (java) S 1845 1845 1786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230973595 8261857280 28609 33554432000 4194304 4196468 140731788670720 140003652916208 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1892] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1892/stat : 1892 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140003278411984 140004909037467 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1893] ppid=1845 vsize=8068220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1883/task/1893/stat : 1893 (java) S 1845 1845 1786 0 -1 1077944384 519 0 0 0 8 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004354464240 140004909030018 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1894] ppid=1845 vsize=8068220 memory=1396 CPUtime=0.06 cores=1,3,5,7
/proc/1883/task/1894/stat : 1894 (java) S 1845 1845 1786 0 -1 1077944384 438 0 0 0 6 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004353411696 140004909030018 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1895] ppid=1845 vsize=8068220 memory=150316 CPUtime=0.19 cores=1,3,5,7
/proc/1883/task/1895/stat : 1895 (java) S 1845 1845 1786 0 -1 1077944384 590 0 0 0 19 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004352359152 140004909030018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1896] ppid=1845 vsize=8068220 memory=15823287406036505 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1896/stat : 1896 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140002780507232 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1897] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1897/stat : 1897 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230973598 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004351306032 140004909030018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1899] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1899/stat : 1899 (java) S 1845 1845 1786 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230973696 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004343497792 140004909043481 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1901] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1901/stat : 1901 (java) S 1845 1845 1786 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230973696 8261857280 28609 33554432000 4194304 4196468 140731788670720 140002243620496 140004909040797 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1902] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1902/stat : 1902 (java) S 1845 1845 1786 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230973696 8261857280 28609 33554432000 4194304 4196468 140731788670720 140002377842448 140004909040797 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1903] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1903/stat : 1903 (java) S 1845 1845 1786 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 230973699 8261857280 28609 33554432000 4194304 4196468 140731788670720 140001975197216 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
Current children cumulated CPU time: 7.3 s
Current children cumulated vsize: 8204528 KiB
Current children cumulated memory: 121928 KiB
[startup+4.30081 s]
/proc/loadavg: 2.02 2.02 2.01 5/225 1903
/proc/meminfo: memFree=15840120/32770624 swapFree=67108404/67108860
[pid=1845] ppid=1841 vsize=113128 memory=1472 CPUtime=5.39 cores=1,3,5,7
/proc/1845/stat : 1845 (scop.sh) S 1841 1845 1786 0 -1 4202496 591 25143 0 0 0 0 526 13 20 0 1 0 230973358 115843072 368 33554432000 4194304 5098028 140734304922080 140734304918824 139760508945020 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19730432 140734304924737 140734304924935 140734304924935 140734304927693 0
/proc/1845/statm: 28282 368 311 221 0 87 0
[pid=1883] ppid=1845 vsize=8068220 memory=114436 CPUtime=1.1 cores=1,3,5,7
/proc/1883/stat : 1883 (java) S 1845 1845 1786 0 -1 1077944320 18448 0 2 0 105 5 0 0 20 0 19 0 230973591 8261857280 28609 33554432000 4194304 4196468 140731788670720 140731788653264 140004909018871 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
/proc/1883/statm: 2017055 28609 3145 1 0 1978454 0
[pid=1898] ppid=1883 vsize=24192 memory=7004 CPUtime=0.91 cores=1,3,5,7
/proc/1898/stat : 1898 (minisat_release) R 1883 1845 1786 0 -1 4202496 2051 0 0 0 91 0 0 0 20 0 1 0 230973696 24772608 1751 33554432000 4194304 4308513 140720499766336 140720499763240 4276446 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 29560832 140720499770485 140720499770582 140720499770582 140720499773381 0
/proc/1898/statm: 6048 1751 337 28 0 2288 0
[pid=1883/tid=1884] ppid=1845 vsize=8068220 memory=5772 CPUtime=0.74 cores=1,3,5,7
/proc/1883/task/1884/stat : 1884 (java) S 1845 1845 1786 0 -1 1077944384 15468 0 2 0 70 4 0 0 20 0 19 0 230973592 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004880859024 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1885] ppid=1845 vsize=8068220 memory=114436 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1885/stat : 1885 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230973593 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004913261328 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1886] ppid=1845 vsize=8068220 memory=2148 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1886/stat : 1886 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230973593 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004393909136 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1887] ppid=1845 vsize=8068220 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1887/stat : 1887 (java) S 1845 1845 1786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 230973593 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004392856592 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1888] ppid=1845 vsize=8068220 memory=140643653228160 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1888/stat : 1888 (java) S 1845 1845 1786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 230973593 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004391804048 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1889] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1889/stat : 1889 (java) S 1845 1845 1786 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 230973594 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004355516400 140004909030018 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1890] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1890/stat : 1890 (java) S 1845 1845 1786 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 230973595 8261857280 28609 33554432000 4194304 4196468 140731788670720 140003787137952 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1891] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1891/stat : 1891 (java) S 1845 1845 1786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 230973595 8261857280 28609 33554432000 4194304 4196468 140731788670720 140003652916208 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1892] ppid=1845 vsize=8068220 memory=1924 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1892/stat : 1892 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140003278411984 140004909037467 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1893] ppid=1845 vsize=8068220 memory=7000 CPUtime=0.08 cores=1,3,5,7
/proc/1883/task/1893/stat : 1893 (java) S 1845 1845 1786 0 -1 1077944384 519 0 0 0 8 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004354464240 140004909030018 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1894] ppid=1845 vsize=8068220 memory=1224 CPUtime=0.06 cores=1,3,5,7
/proc/1883/task/1894/stat : 1894 (java) S 1845 1845 1786 0 -1 1077944384 438 0 0 0 6 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004353411696 140004909030018 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1895] ppid=1845 vsize=8068220 memory=4700 CPUtime=0.19 cores=1,3,5,7
/proc/1883/task/1895/stat : 1895 (java) S 1845 1845 1786 0 -1 1077944384 590 0 0 0 19 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004352359152 140004909030018 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1896] ppid=1845 vsize=8068220 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1896/stat : 1896 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230973597 8261857280 28609 33554432000 4194304 4196468 140731788670720 140002780507232 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1897] ppid=1845 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1897/stat : 1897 (java) S 1845 1845 1786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 230973598 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004351306032 140004909030018 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1899] ppid=1845 vsize=8068220 memory=140647294042678 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1899/stat : 1899 (java) S 1845 1845 1786 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 230973696 8261857280 28609 33554432000 4194304 4196468 140731788670720 140004343497792 140004909043481 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1901] ppid=1845 vsize=8068220 memory=140647294042680 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1901/stat : 1901 (java) S 1845 1845 1786 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 230973696 8261857280 28609 33554432000 4194304 4196468 140731788670720 140002243620496 140004909040797 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1902] ppid=1845 vsize=8068220 memory=140647294042681 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1902/stat : 1902 (java) S 1845 1845 1786 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 230973696 8261857280 28609 33554432000 4194304 4196468 140731788670720 140002377842448 140004909040797 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
[pid=1883/tid=1903] ppid=1845 vsize=8068220 memory=140647294042683 CPUtime=0 cores=1,3,5,7
/proc/1883/task/1903/stat : 1903 (java) S 1845 1845 1786 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 230973699 8261857280 28609 33554432000 4194304 4196468 140731788670720 140001975197216 140004909029077 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32022528 140731788674230 140731788674353 140731788674353 140731788677071 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 8205540 KiB
Current children cumulated memory: 122912 KiB
Child status: 0
Real time (s): 4.39871
CPU time (s): 7.53585
CPU user time (s): 7.33236
CPU system time (s): 0.203492
CPU usage (%): 171.319
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 323024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.33236
system time used= 0.203492
maximum resident set size= 324660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46308
page faults= 2
swaps= 0
block input operations= 3552
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5461
involuntary context switches= 170
# summary of solver processes directly reported to runsolver:
# pid: 1845
# total CPU time (s): 7.53585
# total CPU user time (s): 7.33236
# total CPU system time (s): 0.203492
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040372 second user time and 0.100519 second system time
The end