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-4804-serial-file.bin HOME/instance-4305394-1534066732.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 11:38:53 CEST 2018
0.66/0.54 c PID: 4807
0.66/0.54 c IP: 172.20.3.151
0.66/0.54 c HOST: node151.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.18/0.85 c (0,0) Parsing End
1.18/0.86 c (0,0) CSP: 38 int (0 aux), 0 bool (0 aux), 28 ctr, max domain size 27
1.18/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.86 c (0,0) Constraint Name Generate Begin
1.18/0.86 c (0,0) Ctr:HOME/instance-4305394-1534066732.xml,AllDifferent:Dist:Eq:IntVar
1.18/0.86 c (0,0) Constraint Name Generate End
1.18/0.87 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.87 c (0,0) CSP to CSPinCNF Begin
1.37/0.96 c (0,0) translated 3 (10%) constraints
1.37/0.98 c (0,0) translated 6 (20%) constraints
1.37/0.99 c (0,0) translated 9 (30%) constraints
1.56/1.01 c (0,0) translated 12 (40%) constraints
1.56/1.01 c (0,0) translated 14 (50%) constraints
1.56/1.02 c (0,0) translated 17 (60%) constraints
1.56/1.03 c (0,0) translated 20 (70%) constraints
1.56/1.04 c (0,0) translated 23 (80%) constraints
1.56/1.04 c (0,0) translated 26 (90%) constraints
1.56/1.08 c (0,0) translated 28 (100%) constraints
2.05/1.25 c (0,0) STATISTICS1:HOME/instance-4305394-1534066732.xml,AllDifferent:Dist:Eq:IntVar,38,473,702,27,26,3,702:104;27:66;26:325,27:364;26:806,26:2;12:2;2:417;1:52,3:104;2:391;1:76,
2.05/1.25 c (0,0) ==========================================
2.05/1.25 c (0,0) Order
2.05/1.25 c (0,0) ==========================================
2.05/1.27 c (0,0) translated 48 (10%) constraints
2.05/1.28 c (0,0) translated 95 (20%) constraints
2.05/1.29 c (0,0) translated 142 (30%) constraints
2.29/1.30 c (0,0) translated 190 (40%) constraints
2.29/1.31 c (0,0) translated 237 (50%) constraints
2.29/1.31 c (0,0) translated 284 (60%) constraints
2.29/1.32 c (0,0) translated 332 (70%) constraints
2.29/1.33 c (0,0) translated 379 (80%) constraints
2.29/1.33 c (0,0) translated 426 (90%) constraints
2.29/1.34 c (0,0) translated 473 (100%) constraints
2.29/1.34 c (0,0) CSP to CSPinCNF End
2.29/1.34 c (0,0) CSP: 38 int (0 aux), 0 bool (0 aux), 473 ctr, max domain size 27
2.29/1.34 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.29/1.34 c (0,0) CSPinCNF Propagation Begin
2.29/1.37 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.29/1.37 c (0,0) CSPinCNF Propagation End
2.29/1.37 c (0,0) CSP: 38 int (0 aux), 0 bool (0 aux), 473 ctr, max domain size 27
2.29/1.37 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.29/1.37 c (0,0) Simplify CSPinCNF Begin
2.58/1.46 c (0,0) Simplify CSPinCNF End
2.58/1.46 c (0,0) CSP: 38 int (0 aux), 834 bool (834 aux), 1307 ctr, max domain size 27
2.58/1.46 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.58/1.46 c (0,0) Calculate Precise Domain Begin
2.58/1.47 c (0,0) 0 values are removed by re-calculation
2.58/1.47 c (0,0) Calculate Precise Domain End
2.58/1.47 c (0,0) CSP: 38 int (0 aux), 834 bool (834 aux), 1307 ctr, max domain size 27
2.58/1.47 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.58/1.47 c (0,0) CSPinCNF to SatSolver Begin
3.51/1.73 c (1,1) 131 (10 %) CSP clauses are encoded (1796 SAT variables, 37454 SAT clauses)
3.51/1.75 c (1,1) 262 (20 %) CSP clauses are encoded (1796 SAT variables, 39847 SAT clauses)
3.51/1.77 c (1,1) 393 (30 %) CSP clauses are encoded (1796 SAT variables, 42173 SAT clauses)
3.51/1.78 c (1,1) 523 (40 %) CSP clauses are encoded (1796 SAT variables, 44478 SAT clauses)
3.51/1.79 c (1,1) 654 (50 %) CSP clauses are encoded (1796 SAT variables, 46784 SAT clauses)
3.82/1.80 c (1,1) 785 (60 %) CSP clauses are encoded (1796 SAT variables, 49090 SAT clauses)
3.82/1.82 c (1,1) 915 (70 %) CSP clauses are encoded (1796 SAT variables, 51395 SAT clauses)
3.82/1.83 c (1,1) 1046 (80 %) CSP clauses are encoded (1796 SAT variables, 53701 SAT clauses)
3.82/1.84 c (1,1) 1177 (90 %) CSP clauses are encoded (1796 SAT variables, 56032 SAT clauses)
3.82/1.85 c (1,1) 1307 (100 %) CSP clauses are encoded (1796 SAT variables, 58312 SAT clauses)
3.82/1.85 c (1,1) Launch Command will be: minisat_release
3.82/1.85 c (1,1) CSPinCNF to SatSolver End
3.82/1.85 c (1,1) Heap : 337 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.82/1.87 c (1,1) STATISTICS2:HOME/instance-4305394-1534066732.xml,AllDifferent:Dist:Eq:IntVar,872,1307,702,27,26,3,702:104;27:132;26:650,27:496;26:1456;2:1668,26:2;12:2;2:1251;1:52,3:104;2:782;1:1744,
3.82/1.87 c (1,1) 1796 bool, 58313 clause
3.82/1.87 c (1,1) Export Begin
4.14/1.95 c (1,1) Export to HOME/scop-4804-serial-file.bin
4.14/1.95 c (1,1) Export End
4.14/1.96 c (1,1) Export File Size: 0.01 MB
4.14/1.96 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
4.14/1.96 c END-Prog: Sun Aug 12 11:38:55 CEST 2018
4.14/1.98 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-4804-serial-file.bin
4.90/2.46 c (0,0) Read Serial File Begin
4.90/2.46 c (0,0) HOME/scop-4804-serial-file.bin
5.18/2.61 c (0,0) Read Serial File End
5.18/2.63
5.18/2.63 scop order+minisat_release (2018-07-31)
5.18/2.63 (Solving Process)
5.18/2.63
5.18/2.65 c BEGIN-Prog: Sun Aug 12 11:38:55 CEST 2018
5.18/2.65 c PID: 4822
5.18/2.65 c IP: 172.20.3.151
5.18/2.65 c HOST: node151.alineos.net
5.18/2.65 c (0,0) SatSolver.solve Begin
5.18/2.65 c (0,0) 0 bool, 0 clause
5.18/2.65 c (0,0) minisat_release HOME/instance-4305394-1534066732.xml-scop-4807.cnf
10.94/8.20 c (5,0) c This is COMiniSatPS.
10.94/8.20 c (5,0) c WARNING: for repeatability, setting FPU to use double precision
10.94/8.20 c (5,0) c ============================[ Problem Statistics ]=============================
10.94/8.20 c (5,0) c | |
10.94/8.20 c (5,0) c | Number of variables: 1796 |
10.94/8.20 c (5,0) c | Number of clauses: 58313 |
10.94/8.20 c (5,0) c | Parse time: 0.01 s |
10.94/8.20 c (5,0) c | Eliminated clauses: 0.01 Mb |
10.94/8.20 c (5,0) c Reduced to 1379 vars, 57896 cls (grow=0)
10.94/8.20 c (5,0) c No iterative elimination performed. (vars=1379, c/v ratio=42.0)
10.94/8.20 c (5,0) c | Simplification time: 0.07 s |
10.94/8.20 c (5,0) c | |
10.94/8.20 c (5,0) c ============================[ Search Statistics ]==============================
10.94/8.20 c (5,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
10.94/8.20 c (5,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.94/8.20 c (5,0) c ===============================================================================
10.94/8.20 c (5,0) c ===============================================================================
10.94/8.20 c (5,0) c restarts : 206
10.94/8.20 c (5,0) c conflicts : 67826 (12295 /sec)
10.94/8.20 c (5,0) c decisions : 89593 (0.00 % random) (16241 /sec)
10.94/8.20 c (5,0) c propagations : 13746769 (2491987 /sec)
10.94/8.20 c (5,0) c conflict literals : 1435777 (31.11 % deleted)
10.94/8.20 c (5,0) c CPU time : 5.51639 s
10.94/8.20 c (5,0)
10.94/8.21 c (5,0) s SATISFIABLE
10.94/8.22 c (5,0) SatSolver.solve End
10.94/8.22 c (5,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
10.94/8.22 c (5,0) Show results Begin
10.94/8.28 s SATISFIABLE
10.94/8.29 v <instantiation>
10.94/8.29 v <list>cn[0][0] cn[0][1] cn[0][2] cn[0][3] cn[1][0] cn[1][1] cn[1][2] cn[1][3] cn[2][0] cn[2][1] cn[2][2] cn[2][3] ce[0][0][1] ce[0][0][2] ce[0][0][3] ce[0][1][2] ce[0][1][3] ce[0][2][3] ce[1][0][1] ce[1][0][2] ce[1][0][3] ce[1][1][2] ce[1][1][3] ce[1][2][3] ce[2][0][1] ce[2][0][2] ce[2][0][3] ce[2][1][2] ce[2][1][3] ce[2][2][3] cie[0][0] cie[0][1] cie[0][2] cie[0][3] cie[1][0] cie[1][1] cie[1][2] cie[1][3]</list>
10.94/8.29 v <values>10 14 25 0 3 8 6 26 15 24 23 2 4 15 10 11 14 25 5 3 23 2 18 20 9 8 13 1 22 21 7 6 19 26 12 16 17 24</values>
10.94/8.29 v </instantiation>
10.94/8.29 c (5,0) Show results End
10.94/8.29 c (5,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
10.94/8.29 c (5,0) 5,5,STOP-AFTER(ALL)
10.94/8.29 c END-Prog: Sun Aug 12 11:39:01 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 (2707 MiB free)
memory of node 1: 16384 MiB (5526 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305394-1534066732/watcher-4305394-1534066732 -o /tmp/evaluation-result-4305394-1534066732/solver-4305394-1534066732 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305394-1534066732.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=4804, runsolver pid=4801
Current StackSize limit: 8192 KiB
[startup+0.106305 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 4821
/proc/meminfo: memFree=8369464/32770624 swapFree=67108860/67108860
[pid=4804] ppid=4801 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4804/stat : 4804 (scop.sh) S 4801 4804 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224236443 115843072 349 33554432000 4194304 5098028 140736655132400 140736655129656 140411901960828 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10792960 140736655135808 140736655136007 140736655136007 140736655138765 0
/proc/4804/statm: 28282 349 296 221 0 87 0
[pid=4807] ppid=4804 vsize=15012476 memory=75552 CPUtime=0.12 cores=1,3,5,7
/proc/4807/stat : 4807 (java) S 4804 4804 3762 0 -1 1077944320 7550 0 0 0 10 2 0 0 20 0 15 0 224236443 15372775424 18888 33554432000 4194304 4196468 140729031396912 140729031379456 140139071459063 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
/proc/4807/statm: 3753119 18888 2768 1 0 3715579 0
[pid=4807/tid=4808] ppid=4804 vsize=15012476 memory=-2843876196750247070 CPUtime=0.09 cores=1,3,5,7
/proc/4807/task/4808/stat : 4808 (java) R 4804 4804 3762 0 -1 4202560 5630 0 0 0 8 1 0 0 20 0 15 0 224236444 15372775424 18949 33554432000 4194304 4196468 140729031396912 140139043271048 140139053953030 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4809] ppid=4804 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4809/stat : 4809 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236445 15372775424 18949 33554432000 4194304 4196468 140729031396912 140139075701008 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4810] ppid=4804 vsize=15012476 memory=140368081786496 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4810/stat : 4810 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236445 15372775424 18949 33554432000 4194304 4196468 140729031396912 140138889857424 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4811] ppid=4804 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4811/stat : 4811 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236445 15372775424 18949 33554432000 4194304 4196468 140729031396912 140138888804880 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4812] ppid=4804 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4812/stat : 4812 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236445 15372775424 18949 33554432000 4194304 4196468 140729031396912 140138887752336 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4813] ppid=4804 vsize=15012476 memory=140368081786496 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4813/stat : 4813 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236447 15372775424 18949 33554432000 4194304 4196468 140729031396912 140138478107120 140139071470210 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4814] ppid=4804 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4814/stat : 4814 (java) S 4804 4804 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224236447 15372775424 18949 33554432000 4194304 4196468 140729031396912 140137635767712 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4815] ppid=4804 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4815/stat : 4815 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236447 15372775424 18949 33554432000 4194304 4196468 140729031396912 140137400886768 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4816] ppid=4804 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4816/stat : 4816 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236450 15372775424 18949 33554432000 4194304 4196468 140729031396912 140137026378448 140139071477659 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4817] ppid=4804 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4817/stat : 4817 (java) S 4804 4804 3762 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 224236450 15372775424 18949 33554432000 4194304 4196468 140729031396912 140138477053936 140139071470210 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4818] ppid=4804 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4818/stat : 4818 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236450 15372775424 18949 33554432000 4194304 4196468 140729031396912 140138476001392 140139071470210 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4819] ppid=4804 vsize=15012476 memory=140368081786496 CPUtime=0.01 cores=1,3,5,7
/proc/4807/task/4819/stat : 4819 (java) S 4804 4804 3762 0 -1 1077944384 291 0 0 0 1 0 0 0 20 0 15 0 224236450 15372775424 18949 33554432000 4194304 4196468 140729031396912 140138407520496 140139071470210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4820] ppid=4804 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4820/stat : 4820 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236450 15372775424 18949 33554432000 4194304 4196468 140729031396912 140136528472672 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4821] ppid=4804 vsize=15012476 memory=140368081786496 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4821/stat : 4821 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236450 15372775424 18949 33554432000 4194304 4196468 140729031396912 140138406468400 140139071470210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 76948 KiB
[startup+0.211351 s]*
/proc/loadavg: 2.00 2.01 2.05 4/222 4821
/proc/meminfo: memFree=8356148/32770624 swapFree=67108860/67108860
[pid=4804] ppid=4801 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4804/stat : 4804 (scop.sh) S 4801 4804 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224236443 115843072 349 33554432000 4194304 5098028 140736655132400 140736655129656 140411901960828 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10792960 140736655135808 140736655136007 140736655136007 140736655138765 0
/proc/4804/statm: 28282 349 296 221 0 87 0
[pid=4807] ppid=4804 vsize=15012476 memory=86456 CPUtime=0.24 cores=1,3,5,7
/proc/4807/stat : 4807 (java) S 4804 4804 3762 0 -1 1077944320 10483 0 0 0 22 2 0 0 20 0 15 0 224236443 15372775424 21614 33554432000 4194304 4196468 140729031396912 140729031379456 140139071459063 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
/proc/4807/statm: 3753119 21614 2903 1 0 3715579 0
[pid=4807/tid=4808] ppid=4804 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/4807/task/4808/stat : 4808 (java) R 4804 4804 3762 0 -1 4202560 8380 0 0 0 18 2 0 0 20 0 15 0 224236444 15372775424 21614 33554432000 4194304 4196468 140729031396912 140139043285456 140139055539550 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4809] ppid=4804 vsize=15012476 memory=540 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4809/stat : 4809 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236445 15372775424 21614 33554432000 4194304 4196468 140729031396912 140139075701008 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4810] ppid=4804 vsize=15012476 memory=4050059736071739040 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4810/stat : 4810 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236445 15372775424 21614 33554432000 4194304 4196468 140729031396912 140138889857424 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4811] ppid=4804 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4811/stat : 4811 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236445 15372775424 21614 33554432000 4194304 4196468 140729031396912 140138888804880 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4812] ppid=4804 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4812/stat : 4812 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236445 15372775424 21614 33554432000 4194304 4196468 140729031396912 140138887752336 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4813] ppid=4804 vsize=15012476 memory=140368081786496 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4813/stat : 4813 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236447 15372775424 21614 33554432000 4194304 4196468 140729031396912 140138478107120 140139071470210 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4814] ppid=4804 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4814/stat : 4814 (java) S 4804 4804 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224236447 15372775424 21614 33554432000 4194304 4196468 140729031396912 140137635767712 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4815] ppid=4804 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4815/stat : 4815 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236447 15372775424 21614 33554432000 4194304 4196468 140729031396912 140137400886768 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4816] ppid=4804 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4816/stat : 4816 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236450 15372775424 21614 33554432000 4194304 4196468 140729031396912 140137026378448 140139071477659 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4817] ppid=4804 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4807/task/4817/stat : 4817 (java) S 4804 4804 3762 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 15 0 224236450 15372775424 21614 33554432000 4194304 4196468 140729031396912 140138477053936 140139071470210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4818] ppid=4804 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4818/stat : 4818 (java) S 4804 4804 3762 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 224236450 15372775424 21614 33554432000 4194304 4196468 140729031396912 140138476001392 140139071470210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4819] ppid=4804 vsize=15012476 memory=140368081786496 CPUtime=0.03 cores=1,3,5,7
/proc/4807/task/4819/stat : 4819 (java) S 4804 4804 3762 0 -1 1077944384 300 0 0 0 3 0 0 0 20 0 15 0 224236450 15372775424 21614 33554432000 4194304 4196468 140729031396912 140138407520496 140139071470210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4820] ppid=4804 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4820/stat : 4820 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236450 15372775424 21614 33554432000 4194304 4196468 140729031396912 140136528472672 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4821] ppid=4804 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4821/stat : 4821 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236450 15372775424 21614 33554432000 4194304 4196468 140729031396912 140138406468400 140139071470210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87852 KiB
[startup+0.31135 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 4821
/proc/meminfo: memFree=8353032/32770624 swapFree=67108860/67108860
[pid=4804] ppid=4801 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4804/stat : 4804 (scop.sh) S 4801 4804 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224236443 115843072 349 33554432000 4194304 5098028 140736655132400 140736655129656 140411901960828 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10792960 140736655135808 140736655136007 140736655136007 140736655138765 0
/proc/4804/statm: 28282 349 296 221 0 87 0
[pid=4807] ppid=4804 vsize=15012476 memory=89968 CPUtime=0.42 cores=1,3,5,7
/proc/4807/stat : 4807 (java) S 4804 4804 3762 0 -1 1077944320 11004 0 0 0 39 3 0 0 20 0 15 0 224236443 15372775424 22492 33554432000 4194304 4196468 140729031396912 140729031379456 140139071459063 0 0 2 16800973 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
/proc/4807/statm: 3753119 22492 2961 1 0 3715579 0
[pid=4807/tid=4808] ppid=4804 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/4807/task/4808/stat : 4808 (java) R 4804 4804 3762 0 -1 4202560 8751 0 0 0 27 2 0 0 20 0 15 0 224236444 15372775424 22492 33554432000 4194304 4196468 140729031396912 140139043250320 140139071470998 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4809] ppid=4804 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4809/stat : 4809 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236445 15372775424 22492 33554432000 4194304 4196468 140729031396912 140139075701008 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4810] ppid=4804 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4810/stat : 4810 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236445 15372775424 22492 33554432000 4194304 4196468 140729031396912 140138889857424 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4811] ppid=4804 vsize=15012476 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4811/stat : 4811 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236445 15372775424 22492 33554432000 4194304 4196468 140729031396912 140138888804880 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4812] ppid=4804 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4812/stat : 4812 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236445 15372775424 22492 33554432000 4194304 4196468 140729031396912 140138887752336 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4813] ppid=4804 vsize=15012476 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4813/stat : 4813 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236447 15372775424 22492 33554432000 4194304 4196468 140729031396912 140138478107120 140139071470210 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4814] ppid=4804 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4814/stat : 4814 (java) S 4804 4804 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224236447 15372775424 22492 33554432000 4194304 4196468 140729031396912 140137635767712 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4815] ppid=4804 vsize=15012476 memory=8549982201333320512 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4815/stat : 4815 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236447 15372775424 22492 33554432000 4194304 4196468 140729031396912 140137400886768 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4816] ppid=4804 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4816/stat : 4816 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236450 15372775424 22492 33554432000 4194304 4196468 140729031396912 140137026378448 140139071477659 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4817] ppid=4804 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4807/task/4817/stat : 4817 (java) R 4804 4804 3762 0 -1 1077944384 430 0 0 0 3 0 0 0 20 0 15 0 224236450 15372775424 22492 33554432000 4194304 4196468 140729031396912 140138477053936 140139071470210 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4818] ppid=4804 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4807/task/4818/stat : 4818 (java) R 4804 4804 3762 0 -1 4202560 173 0 0 0 1 0 0 0 20 0 15 0 224236450 15372775424 22492 33554432000 4194304 4196468 140729031396912 140138476001392 140139064444105 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4819] ppid=4804 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4807/task/4819/stat : 4819 (java) R 4804 4804 3762 0 -1 4202560 319 0 0 0 7 0 0 0 20 0 15 0 224236450 15372775424 22492 33554432000 4194304 4196468 140729031396912 140138407520496 140139055640515 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4820] ppid=4804 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4820/stat : 4820 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236450 15372775424 22492 33554432000 4194304 4196468 140729031396912 140136528472672 140139071469269 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4821] ppid=4804 vsize=15012476 memory=3762531200685717295 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4821/stat : 4821 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236450 15372775424 22492 33554432000 4194304 4196468 140729031396912 140138406468400 140139071470210 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91364 KiB
[startup+0.701266 s]
/proc/loadavg: 2.00 2.01 2.05 3/222 4821
/proc/meminfo: memFree=8328724/32770624 swapFree=67108860/67108860
[pid=4804] ppid=4801 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4804/stat : 4804 (scop.sh) S 4801 4804 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224236443 115843072 349 33554432000 4194304 5098028 140736655132400 140736655129656 140411901960828 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10792960 140736655135808 140736655136007 140736655136007 140736655138765 0
/proc/4804/statm: 28282 349 296 221 0 87 0
[pid=4807] ppid=4804 vsize=15020872 memory=129876 CPUtime=1 cores=1,3,5,7
/proc/4807/stat : 4807 (java) S 4804 4804 3762 0 -1 1077944320 18130 0 0 0 95 5 0 0 20 0 15 0 224236443 15381372928 32469 33554432000 4194304 4196468 140729031396912 140729031379456 140139071459063 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
/proc/4807/statm: 3755218 32469 3148 1 0 3716603 0
[pid=4807/tid=4808] ppid=4804 vsize=15020872 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4807/task/4808/stat : 4808 (java) R 4804 4804 3762 0 -1 4202560 15429 0 0 0 63 4 0 0 20 0 15 0 224236444 15381372928 32469 33554432000 4194304 4196468 140729031396912 140139043291456 140139063794635 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4809] ppid=4804 vsize=15020872 memory=6425271076031 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4809/stat : 4809 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236445 15381372928 32469 33554432000 4194304 4196468 140729031396912 140139075701008 140139071469269 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4810] ppid=4804 vsize=15020872 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4810/stat : 4810 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236445 15381372928 32469 33554432000 4194304 4196468 140729031396912 140138889857424 140139071469269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4811] ppid=4804 vsize=15020872 memory=13850767857552233 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4811/stat : 4811 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236445 15381372928 32469 33554432000 4194304 4196468 140729031396912 140138888804880 140139071469269 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4812] ppid=4804 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4812/stat : 4812 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236445 15381372928 32469 33554432000 4194304 4196468 140729031396912 140138887752336 140139071469269 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4813] ppid=4804 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4813/stat : 4813 (java) S 4804 4804 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224236447 15381372928 32469 33554432000 4194304 4196468 140729031396912 140138478107120 140139071470210 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4814] ppid=4804 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4814/stat : 4814 (java) S 4804 4804 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224236447 15381372928 32469 33554432000 4194304 4196468 140729031396912 140137635767712 140139071469269 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4815] ppid=4804 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4815/stat : 4815 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236447 15381372928 32469 33554432000 4194304 4196468 140729031396912 140137400886768 140139071469269 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4816] ppid=4804 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4816/stat : 4816 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236450 15381372928 32469 33554432000 4194304 4196468 140729031396912 140137026378448 140139071477659 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4817] ppid=4804 vsize=15020872 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4807/task/4817/stat : 4817 (java) S 4804 4804 3762 0 -1 1077944384 497 0 0 0 8 0 0 0 20 0 15 0 224236450 15381372928 32469 33554432000 4194304 4196468 140729031396912 140138477053936 140139071470210 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4818] ppid=4804 vsize=15020872 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4807/task/4818/stat : 4818 (java) S 4804 4804 3762 0 -1 1077944384 444 0 0 0 8 0 0 0 20 0 15 0 224236450 15381372928 32469 33554432000 4194304 4196468 140729031396912 140138476001392 140139071470210 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4819] ppid=4804 vsize=15020872 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4807/task/4819/stat : 4819 (java) S 4804 4804 3762 0 -1 1077944384 424 0 0 0 15 0 0 0 20 0 15 0 224236450 15381372928 32469 33554432000 4194304 4196468 140729031396912 140138407520496 140139071470210 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4820] ppid=4804 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4820/stat : 4820 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236450 15381372928 32469 33554432000 4194304 4196468 140729031396912 140136528472672 140139071469269 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
[pid=4807/tid=4821] ppid=4804 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4807/task/4821/stat : 4821 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236450 15381372928 32469 33554432000 4194304 4196468 140729031396912 140138406468400 140139071470210 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24510464 140729031398407 140729031398705 140729031398705 140729031401423 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131272 KiB
[startup+1.50082 s]
/proc/loadavg: 2.00 2.01 2.05 6/222 4821
/proc/meminfo: memFree=8302484/32770624 swapFree=67108860/67108860
[pid=4804] ppid=4801 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4804/stat : 4804 (scop.sh) S 4801 4804 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224236443 115843072 349 33554432000 4194304 5098028 140736655132400 140736655129656 140411901960828 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10792960 140736655135808 140736655136007 140736655136007 140736655138765 0
/proc/4804/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Current children cumulated CPU time: 9.14 s
Current children cumulated vsize: 8213296 KiB
Current children cumulated memory: 137964 KiB
[startup+7.20089 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 4842
/proc/meminfo: memFree=8306648/32770624 swapFree=67108860/67108860
[pid=4804] ppid=4801 vsize=113128 memory=1472 CPUtime=4.35 cores=1,3,5,7
/proc/4804/stat : 4804 (scop.sh) S 4801 4804 3762 0 -1 4202496 591 24940 0 0 0 0 423 12 20 0 1 0 224236443 115843072 368 33554432000 4194304 5098028 140736655132400 140736655129144 140411901960828 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10792960 140736655135808 140736655136007 140736655136007 140736655138765 0
/proc/4804/statm: 28282 368 311 221 0 87 0
[pid=4822] ppid=4804 vsize=8068220 memory=120492 CPUtime=1.08 cores=1,3,5,7
/proc/4822/stat : 4822 (java) S 4804 4804 3762 0 -1 1077944320 17776 0 0 0 102 6 0 0 20 0 19 0 224236641 8261857280 30123 33554432000 4194304 4196468 140733310291984 140733310274528 139673430806263 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
/proc/4822/statm: 2017055 30123 3154 1 0 1978454 0
[pid=4837] ppid=4822 vsize=31948 memory=16000 CPUtime=4.51 cores=1,3,5,7
/proc/4837/stat : 4837 (minisat_release) R 4822 4804 3762 0 -1 4202496 7373 0 0 0 451 0 0 0 20 0 1 0 224236711 32714752 4000 33554432000 4194304 4308513 140726489924064 140726489920968 4289173 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 21610496 140726489928821 140726489928918 140726489928918 140726489931717 0
/proc/4837/statm: 7987 4000 337 28 0 4227 0
[pid=4822/tid=4823] ppid=4804 vsize=8068220 memory=1472 CPUtime=0.72 cores=1,3,5,7
/proc/4822/task/4823/stat : 4823 (java) S 4804 4804 3762 0 -1 1077944384 14935 0 0 0 68 4 0 0 20 0 19 0 224236641 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673402646416 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4824] ppid=4804 vsize=8068220 memory=6425271076031 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4824/stat : 4824 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224236643 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673435048336 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4825] ppid=4804 vsize=8068220 memory=302585819863187771 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4825/stat : 4825 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224236643 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673235216656 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4826] ppid=4804 vsize=8068220 memory=13850767857552233 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4826/stat : 4826 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224236643 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673234164368 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4827] ppid=4804 vsize=8068220 memory=7668615773214368081 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4827/stat : 4827 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224236643 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673233111568 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4828] ppid=4804 vsize=8068220 memory=7377267182136552041 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4828/stat : 4828 (java) S 4804 4804 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224236644 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672877206128 139673430817410 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4829] ppid=4804 vsize=8068220 memory=7377267182136552041 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4829/stat : 4829 (java) S 4804 4804 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224236644 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672269350176 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4830] ppid=4804 vsize=8068220 memory=7883945190852553829 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4830/stat : 4830 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224236645 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672000915056 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4831] ppid=4804 vsize=8068220 memory=7164498470656633452 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4831/stat : 4831 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139671626406480 139673430824859 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4832] ppid=4804 vsize=8068220 memory=7883945190852553829 CPUtime=0.08 cores=1,3,5,7
/proc/4822/task/4832/stat : 4832 (java) S 4804 4804 3762 0 -1 1077944384 746 0 0 0 8 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672876152944 139673430817410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4833] ppid=4804 vsize=8068220 memory=7377267182136552041 CPUtime=0.06 cores=1,3,5,7
/proc/4822/task/4833/stat : 4833 (java) S 4804 4804 3762 0 -1 1077944384 203 0 0 0 6 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672875100144 139673430817410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4834] ppid=4804 vsize=8068220 memory=1944 CPUtime=0.18 cores=1,3,5,7
/proc/4822/task/4834/stat : 4834 (java) S 4804 4804 3762 0 -1 1077944384 502 0 0 0 18 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672806222192 139673430817410 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4835] ppid=4804 vsize=8068220 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4835/stat : 4835 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139671128500704 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4836] ppid=4804 vsize=8068220 memory=4536 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4836/stat : 4836 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224236648 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672805170096 139673430817410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4838] ppid=4804 vsize=8068220 memory=8448 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4838/stat : 4838 (java) S 4804 4804 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224236711 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672873715136 139673430830873 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4840] ppid=4804 vsize=8068220 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4840/stat : 4840 (java) S 4804 4804 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224236711 8261857280 30123 33554432000 4194304 4196468 140733310291984 139670591614992 139673430828189 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4841] ppid=4804 vsize=8068220 memory=1144 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4841/stat : 4841 (java) S 4804 4804 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224236712 8261857280 30123 33554432000 4194304 4196468 140733310291984 139670725836176 139673430828189 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4842] ppid=4804 vsize=8068220 memory=15244 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4842/stat : 4842 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224236714 8261857280 30123 33554432000 4194304 4196468 140733310291984 139670323190688 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
Current children cumulated CPU time: 9.94 s
Current children cumulated vsize: 8213296 KiB
Current children cumulated memory: 137964 KiB
[startup+8.00086 s]*
/proc/loadavg: 2.00 2.01 2.05 3/227 4842
/proc/meminfo: memFree=8303732/32770624 swapFree=67108860/67108860
[pid=4804] ppid=4801 vsize=113128 memory=1472 CPUtime=4.35 cores=1,3,5,7
/proc/4804/stat : 4804 (scop.sh) S 4801 4804 3762 0 -1 4202496 591 24940 0 0 0 0 423 12 20 0 1 0 224236443 115843072 368 33554432000 4194304 5098028 140736655132400 140736655129144 140411901960828 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10792960 140736655135808 140736655136007 140736655136007 140736655138765 0
/proc/4804/statm: 28282 368 311 221 0 87 0
[pid=4822] ppid=4804 vsize=8068220 memory=120492 CPUtime=1.08 cores=1,3,5,7
/proc/4822/stat : 4822 (java) S 4804 4804 3762 0 -1 1077944320 17777 0 0 0 102 6 0 0 20 0 19 0 224236641 8261857280 30123 33554432000 4194304 4196468 140733310291984 140733310274528 139673430806263 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
/proc/4822/statm: 2017055 30123 3154 1 0 1978454 0
[pid=4837] ppid=4822 vsize=35820 memory=18924 CPUtime=5.31 cores=1,3,5,7
/proc/4837/stat : 4837 (minisat_release) R 4822 4804 3762 0 -1 4202496 8001 0 0 0 531 0 0 0 20 0 1 0 224236711 36679680 4731 33554432000 4194304 4308513 140726489924064 140726489921064 4250371 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 21610496 140726489928821 140726489928918 140726489928918 140726489931717 0
/proc/4837/statm: 8955 4731 337 28 0 5195 0
[pid=4822/tid=4823] ppid=4804 vsize=8068220 memory=-5059952977386882957 CPUtime=0.72 cores=1,3,5,7
/proc/4822/task/4823/stat : 4823 (java) S 4804 4804 3762 0 -1 1077944384 14935 0 0 0 68 4 0 0 20 0 19 0 224236641 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673402646416 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4824] ppid=4804 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4824/stat : 4824 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224236643 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673435048336 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4825] ppid=4804 vsize=8068220 memory=7681421203011431829 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4825/stat : 4825 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224236643 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673235216656 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4826] ppid=4804 vsize=8068220 memory=7896318971486248851 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4826/stat : 4826 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224236643 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673234164368 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4827] ppid=4804 vsize=8068220 memory=-7812736537705029536 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4827/stat : 4827 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224236643 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673233111568 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4828] ppid=4804 vsize=8068220 memory=-6948047529741492128 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4828/stat : 4828 (java) S 4804 4804 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224236644 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672877206128 139673430817410 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4829] ppid=4804 vsize=8068220 memory=-6873162000112450758 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4829/stat : 4829 (java) S 4804 4804 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224236644 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672269350176 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4830] ppid=4804 vsize=8068220 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4830/stat : 4830 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224236645 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672000915056 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4831] ppid=4804 vsize=8068220 memory=7896318971486248851 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4831/stat : 4831 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139671626406480 139673430824859 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4832] ppid=4804 vsize=8068220 memory=-7812736537705029536 CPUtime=0.08 cores=1,3,5,7
/proc/4822/task/4832/stat : 4832 (java) S 4804 4804 3762 0 -1 1077944384 746 0 0 0 8 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672876152944 139673430817410 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4833] ppid=4804 vsize=8068220 memory=-6948047529741492128 CPUtime=0.06 cores=1,3,5,7
/proc/4822/task/4833/stat : 4833 (java) S 4804 4804 3762 0 -1 1077944384 204 0 0 0 6 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672875100144 139673430817410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4834] ppid=4804 vsize=8068220 memory=9130442918505708164 CPUtime=0.18 cores=1,3,5,7
/proc/4822/task/4834/stat : 4834 (java) S 4804 4804 3762 0 -1 1077944384 502 0 0 0 18 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672806222192 139673430817410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4835] ppid=4804 vsize=8068220 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4835/stat : 4835 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139671128500704 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4836] ppid=4804 vsize=8068220 memory=-3039135443232236825 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4836/stat : 4836 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224236648 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672805170096 139673430817410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4838] ppid=4804 vsize=8068220 memory=-2748367524519556131 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4838/stat : 4838 (java) S 4804 4804 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224236711 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672873715136 139673430830873 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4840] ppid=4804 vsize=8068220 memory=-3756611412707075625 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4840/stat : 4840 (java) S 4804 4804 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224236711 8261857280 30123 33554432000 4194304 4196468 140733310291984 139670591614992 139673430828189 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4841] ppid=4804 vsize=8068220 memory=7307769233802357356 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4841/stat : 4841 (java) S 4804 4804 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224236712 8261857280 30123 33554432000 4194304 4196468 140733310291984 139670725836176 139673430828189 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4842] ppid=4804 vsize=8068220 memory=7377267182136552041 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4842/stat : 4842 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224236714 8261857280 30123 33554432000 4194304 4196468 140733310291984 139670323190688 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
Current children cumulated CPU time: 10.74 s
Current children cumulated vsize: 8217168 KiB
Current children cumulated memory: 140888 KiB
[startup+8.20088 s]
/proc/loadavg: 2.00 2.01 2.05 3/227 4842
/proc/meminfo: memFree=8303732/32770624 swapFree=67108860/67108860
[pid=4804] ppid=4801 vsize=113128 memory=1472 CPUtime=4.35 cores=1,3,5,7
/proc/4804/stat : 4804 (scop.sh) S 4801 4804 3762 0 -1 4202496 591 24940 0 0 0 0 423 12 20 0 1 0 224236443 115843072 368 33554432000 4194304 5098028 140736655132400 140736655129144 140411901960828 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10792960 140736655135808 140736655136007 140736655136007 140736655138765 0
/proc/4804/statm: 28282 368 311 221 0 87 0
[pid=4822] ppid=4804 vsize=8068220 memory=120492 CPUtime=1.08 cores=1,3,5,7
/proc/4822/stat : 4822 (java) S 4804 4804 3762 0 -1 1077944320 17777 0 0 0 102 6 0 0 20 0 19 0 224236641 8261857280 30123 33554432000 4194304 4196468 140733310291984 140733310274528 139673430806263 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
/proc/4822/statm: 2017055 30123 3154 1 0 1978454 0
[pid=4837] ppid=4822 vsize=35820 memory=19144 CPUtime=5.51 cores=1,3,5,7
/proc/4837/stat : 4837 (minisat_release) R 4822 4804 3762 0 -1 4202496 8059 0 0 0 551 0 0 0 20 0 1 0 224236711 36679680 4786 33554432000 4194304 4308513 140726489924064 140726489921064 4275544 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 21610496 140726489928821 140726489928918 140726489928918 140726489931717 0
/proc/4837/statm: 8955 4786 337 28 0 5195 0
[pid=4822/tid=4823] ppid=4804 vsize=8068220 memory=8836 CPUtime=0.72 cores=1,3,5,7
/proc/4822/task/4823/stat : 4823 (java) S 4804 4804 3762 0 -1 1077944384 14935 0 0 0 68 4 0 0 20 0 19 0 224236641 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673402646416 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4824] ppid=4804 vsize=8068220 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4824/stat : 4824 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224236643 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673435048336 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4825] ppid=4804 vsize=8068220 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4825/stat : 4825 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224236643 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673235216656 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4826] ppid=4804 vsize=8068220 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4826/stat : 4826 (java) S 4804 4804 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224236643 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673234164368 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4827] ppid=4804 vsize=8068220 memory=17668 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4827/stat : 4827 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224236643 8261857280 30123 33554432000 4194304 4196468 140733310291984 139673233111568 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4828] ppid=4804 vsize=8068220 memory=19876 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4828/stat : 4828 (java) S 4804 4804 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224236644 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672877206128 139673430817410 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4829] ppid=4804 vsize=8068220 memory=22084 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4829/stat : 4829 (java) S 4804 4804 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224236644 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672269350176 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4830] ppid=4804 vsize=8068220 memory=24292 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4830/stat : 4830 (java) S 4804 4804 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224236645 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672000915056 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4831] ppid=4804 vsize=8068220 memory=26500 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4831/stat : 4831 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139671626406480 139673430824859 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4832] ppid=4804 vsize=8068220 memory=28708 CPUtime=0.08 cores=1,3,5,7
/proc/4822/task/4832/stat : 4832 (java) S 4804 4804 3762 0 -1 1077944384 746 0 0 0 8 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672876152944 139673430817410 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4833] ppid=4804 vsize=8068220 memory=30916 CPUtime=0.06 cores=1,3,5,7
/proc/4822/task/4833/stat : 4833 (java) S 4804 4804 3762 0 -1 1077944384 204 0 0 0 6 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672875100144 139673430817410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4834] ppid=4804 vsize=8068220 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/4822/task/4834/stat : 4834 (java) S 4804 4804 3762 0 -1 1077944384 502 0 0 0 18 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672806222192 139673430817410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4835] ppid=4804 vsize=8068220 memory=-3252517613199061085 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4835/stat : 4835 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224236647 8261857280 30123 33554432000 4194304 4196468 140733310291984 139671128500704 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4836] ppid=4804 vsize=8068220 memory=-7674914008656224160 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4836/stat : 4836 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224236648 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672805170096 139673430817410 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4838] ppid=4804 vsize=8068220 memory=9023629670928638048 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4838/stat : 4838 (java) S 4804 4804 3762 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224236711 8261857280 30123 33554432000 4194304 4196468 140733310291984 139672873715136 139673430830873 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4840] ppid=4804 vsize=8068220 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4840/stat : 4840 (java) S 4804 4804 3762 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 224236711 8261857280 30123 33554432000 4194304 4196468 140733310291984 139670591614992 139673430828189 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4841] ppid=4804 vsize=8068220 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4841/stat : 4841 (java) S 4804 4804 3762 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224236712 8261857280 30123 33554432000 4194304 4196468 140733310291984 139670725836176 139673430828189 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
[pid=4822/tid=4842] ppid=4804 vsize=8068220 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/4822/task/4842/stat : 4842 (java) S 4804 4804 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224236714 8261857280 30123 33554432000 4194304 4196468 140733310291984 139670323190688 139673430816469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32886784 140733310293174 140733310293297 140733310293297 140733310296015 0
Current children cumulated CPU time: 10.94 s
Current children cumulated vsize: 8217168 KiB
Current children cumulated memory: 141108 KiB
Child status: 0
Real time (s): 8.29946
CPU time (s): 11.1278
CPU user time (s): 10.9199
CPU system time (s): 0.207935
CPU usage (%): 134.078
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 319020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9199
system time used= 0.207935
maximum resident set size= 320960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51865
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5231
involuntary context switches= 48
# summary of solver processes directly reported to runsolver:
# pid: 4804
# total CPU time (s): 11.1278
# total CPU user time (s): 10.9199
# total CPU system time (s): 0.207935
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.074585 second user time and 0.135704 second system time
The end