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-21013-serial-file.bin HOME/instance-4305480-1534075925.xml
0.54/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 14:12:06 CEST 2018
0.66/0.54 c PID: 21016
0.66/0.54 c IP: 172.20.3.139
0.66/0.54 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.90/1.09 c (0,0) Parsing End
1.90/1.09 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 11 ctr, max domain size 26
1.90/1.09 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.90/1.09 c (0,0) Constraint Name Generate Begin
1.90/1.10 c (0,0) Ctr:HOME/instance-4305480-1534075925.xml,ExtensionSupport:IntVar
1.90/1.10 c (0,0) Constraint Name Generate End
1.90/1.10 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.90/1.10 c (0,0) CSP to CSPinCNF Begin
27.70/14.41 c (13,13) translated 2 (10%) constraints
35.24/19.48 c (18,18) translated 3 (20%) constraints
39.88/24.05 c (23,22) translated 4 (30%) constraints
46.50/28.98 c (28,27) translated 5 (40%) constraints
52.99/33.96 c (33,31) translated 6 (50%) constraints
57.12/37.98 c (37,35) translated 7 (60%) constraints
61.06/40.31 c (39,37) translated 8 (70%) constraints
62.87/42.18 c (41,39) translated 9 (80%) constraints
64.78/44.04 c (43,41) translated 10 (90%) constraints
68.94/46.49 c (45,43) translated 11 (100%) constraints
76.05/50.82 c (50,46) STATISTICS1:HOME/instance-4305480-1534075925.xml,ExtensionSupport:IntVar,74417,881049,-1,26,27,1,,26:1452308;2:1652105,27:169;26:147;25:117;24:123;23:152;22:160;21:111;20:174;19:121;18:220;17:212;16:280;15:262;14:320;13:419;12:527;11:757;10:977;9:1277;8:2011;7:2886;6:4289;5:6581;4:473012;3:254754;2:130991,1:3104413;0:11,
76.05/50.82 c (50,46) ==========================================
76.05/50.82 c (50,46) Order
76.05/50.82 c (50,46) ==========================================
77.72/52.03 c (51,48) translated 88105 (10%) constraints
78.89/53.19 c (52,49) translated 176210 (20%) constraints
80.12/54.37 c (53,50) translated 264315 (30%) constraints
82.50/55.84 c (55,51) translated 352420 (40%) constraints
83.60/57.00 c (56,52) translated 440525 (50%) constraints
84.86/58.16 c (57,53) translated 528630 (60%) constraints
86.07/59.32 c (58,55) translated 616735 (70%) constraints
87.17/60.48 c (59,56) translated 704840 (80%) constraints
89.61/61.97 c (61,57) translated 792945 (90%) constraints
90.82/63.14 c (62,58) translated 881049 (100%) constraints
90.82/63.14 c (62,58) CSP to CSPinCNF End
90.82/63.18 c (62,58) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
90.82/63.18 c (62,58) Heap : 2036 MiB used (max 10560 MiB), NonHeap : 27 MiB used (max 0 MiB)
90.82/63.18 c (62,58) CSPinCNF Propagation Begin
99.65/68.43 c (67,62) 0 values, 11 unsatisfiable literals, and 0 valid clauses are removed
99.65/68.43 c (67,62) CSPinCNF Propagation End
99.65/68.46 c (67,62) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
99.65/68.46 c (67,62) Heap : 2594 MiB used (max 10574 MiB), NonHeap : 28 MiB used (max 0 MiB)
99.65/68.46 c (67,62) Simplify CSPinCNF Begin
101.25/69.94 c (69,64) Simplify CSPinCNF End
101.25/69.97 c (69,64) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
101.25/69.97 c (69,64) Heap : 3256 MiB used (max 10574 MiB), NonHeap : 28 MiB used (max 0 MiB)
101.25/69.97 c (69,64) Calculate Precise Domain Begin
101.25/69.97 c (69,64) 0 values are removed by re-calculation
101.25/69.97 c (69,64) Calculate Precise Domain End
101.25/69.99 c (69,64) CSP: 30 int (0 aux), 74387 bool (74387 aux), 881049 ctr, max domain size 26
101.25/69.99 c (69,64) Heap : 3256 MiB used (max 10574 MiB), NonHeap : 28 MiB used (max 0 MiB)
101.25/69.99 c (69,64) CSPinCNF to SatSolver Begin
102.58/70.66 c (70,65) 88105 (10 %) CSP clauses are encoded (75137 SAT variables, 88824 SAT clauses)
104.76/71.54 c (71,65) 176210 (20 %) CSP clauses are encoded (75137 SAT variables, 176929 SAT clauses)
105.16/72.00 c (71,65) 264315 (30 %) CSP clauses are encoded (75137 SAT variables, 265034 SAT clauses)
105.66/72.45 c (71,66) 352420 (40 %) CSP clauses are encoded (75137 SAT variables, 353139 SAT clauses)
106.16/72.90 c (72,66) 440525 (50 %) CSP clauses are encoded (75137 SAT variables, 441244 SAT clauses)
106.56/73.34 c (72,67) 528630 (60 %) CSP clauses are encoded (75137 SAT variables, 529349 SAT clauses)
108.77/74.23 c (73,67) 616735 (70 %) CSP clauses are encoded (75137 SAT variables, 617454 SAT clauses)
109.17/74.68 c (74,68) 704840 (80 %) CSP clauses are encoded (75137 SAT variables, 705559 SAT clauses)
109.72/75.14 c (74,68) 792945 (90 %) CSP clauses are encoded (75137 SAT variables, 793664 SAT clauses)
110.21/75.60 c (75,69) 881049 (100 %) CSP clauses are encoded (75137 SAT variables, 881768 SAT clauses)
110.21/75.60 c (75,69) Launch Command will be: minisat_release
110.21/75.60 c (75,69) CSPinCNF to SatSolver End
110.21/75.60 c (75,69) Heap : 3451 MiB used (max 10567 MiB), NonHeap : 29 MiB used (max 0 MiB)
112.21/77.47 c (76,70) STATISTICS2:HOME/instance-4305480-1534075925.xml,ExtensionSupport:IntVar,74417,881049,-1,26,27,1,,26:1452308;2:1652105,27:158;26:158;25:117;24:123;23:152;22:160;21:111;20:174;19:121;18:220;17:212;16:280;15:262;14:320;13:419;12:527;11:757;10:977;9:1277;8:2011;7:2886;6:4289;5:6581;4:473012;3:254754;2:130991,1:3104413,
112.21/77.47 c (76,70) 75137 bool, 881769 clause
112.21/77.47 c (76,70) Export Begin
112.32/77.55 c (77,71) Export to HOME/scop-21013-serial-file.bin
112.32/77.55 c (77,71) Export End
112.32/77.56 c (77,71) Export File Size: 0.01 MB
112.32/77.56 c (77,71) 0,0,62,67,69,69,75,STOP-AFTER(DIMACS)
112.32/77.56 c END-Prog: Sun Aug 12 14:13:23 CEST 2018
112.32/77.59 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21013-serial-file.bin
113.01/78.08 c (0,0) Read Serial File Begin
113.01/78.08 c (0,0) HOME/scop-21013-serial-file.bin
113.28/78.24 c (0,0) Read Serial File End
113.28/78.26
113.28/78.26 scop order+minisat_release (2018-07-31)
113.28/78.26 (Solving Process)
113.28/78.26
113.28/78.28 c BEGIN-Prog: Sun Aug 12 14:13:23 CEST 2018
113.28/78.28 c PID: 21032
113.28/78.28 c IP: 172.20.3.139
113.28/78.28 c HOST: node139.alineos.net
113.28/78.28 c (0,0) SatSolver.solve Begin
113.28/78.28 c (0,0) 0 bool, 0 clause
113.28/78.28 c (0,0) minisat_release HOME/instance-4305480-1534075925.xml-scop-21016.cnf
116.66/81.47 c (3,0) c This is COMiniSatPS.
116.66/81.47 c (3,0) c WARNING: for repeatability, setting FPU to use double precision
116.66/81.47 c (3,0) c ============================[ Problem Statistics ]=============================
116.66/81.47 c (3,0) c | |
116.66/81.47 c (3,0) c | Number of variables: 75137 |
116.66/81.47 c (3,0) c | Number of clauses: 881769 |
116.66/81.47 c (3,0) c | Parse time: 0.27 s |
116.66/81.47 c (3,0) c | Eliminated clauses: 0.31 Mb |
116.66/81.47 c (3,0) c Reduced to 71031 vars, 865567 cls (grow=0)
116.66/81.47 c (3,0) c No iterative elimination performed. (vars=71031, c/v ratio=12.2)
116.66/81.47 c (3,0) c | Simplification time: 1.80 s |
116.66/81.47 c (3,0) c | |
116.66/81.47 c (3,0) c ============================[ Search Statistics ]==============================
116.66/81.47 c (3,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
116.66/81.47 c (3,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
116.66/81.47 c (3,0) c ===============================================================================
116.66/81.47 c (3,0) c ===============================================================================
116.66/81.47 c (3,0) c restarts : 4
116.66/81.47 c (3,0) c conflicts : 1740 (561 /sec)
116.66/81.47 c (3,0) c decisions : 10046 (0.00 % random) (3236 /sec)
116.66/81.47 c (3,0) c propagations : 4848788 (1562100 /sec)
116.66/81.47 c (3,0) c conflict literals : 309351 (20.09 % deleted)
116.66/81.47 c (3,0) c CPU time : 3.10402 s
116.66/81.47 c (3,0)
116.66/81.47 c (3,0) s SATISFIABLE
116.85/81.55 c (3,0) SatSolver.solve End
116.85/81.55 c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
116.85/81.55 c (3,0) Show results Begin
117.02/81.60 s SATISFIABLE
117.02/81.61 v <instantiation>
117.02/81.61 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5]</list>
117.02/81.61 v <values>1 0 10 20 5 20 8 19 4 17 4 17 11 7 0 1 17 0 0 8 13 0 17 3 8 18 4 13 0 24</values>
117.02/81.61 v </instantiation>
117.02/81.62 c (3,0) Show results End
117.02/81.62 c (3,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
117.02/81.62 c (3,0) 3,3,STOP-AFTER(ALL)
117.02/81.62 c END-Prog: Sun Aug 12 14:13:27 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 (4543 MiB free)
memory of node 1: 16384 MiB (5917 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305480-1534075925/watcher-4305480-1534075925 -o /tmp/evaluation-result-4305480-1534075925/solver-4305480-1534075925 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305480-1534075925.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=21013, runsolver pid=21010
[startup+0.100139 s]*
/proc/loadavg: 2.02 2.04 2.05 3/224 21030
/proc/meminfo: memFree=10653604/32770624 swapFree=67108860/67108860
[pid=21013] ppid=21010 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21013/stat : 21013 (scop.sh) S 21010 21013 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225155669 115843072 348 33554432000 4194304 5098028 140736099146592 140736099143848 140651637731964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12255232 140736099152960 140736099153159 140736099153159 140736099155917 0
/proc/21013/statm: 28282 348 296 221 0 87 0
[pid=21016] ppid=21013 vsize=15012476 memory=70032 CPUtime=0.11 cores=1,3,5,7
/proc/21016/stat : 21016 (java) S 21013 21013 16770 0 -1 1077944320 6656 0 0 0 9 2 0 0 20 0 15 0 225155669 15372775424 17508 33554432000 4194304 4196468 140720935413952 140720935396496 140288932921079 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
/proc/21016/statm: 3753119 17508 2770 1 0 3715579 0
[pid=21016/tid=21017] ppid=21013 vsize=15012476 memory=-6078870780940435399 CPUtime=0.08 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (java) R 21013 21013 16770 0 -1 4202560 4765 0 0 0 7 1 0 0 20 0 15 0 225155670 15372775424 17574 33554432000 4194304 4196468 140720935413952 140288904733064 140288913196800 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21018] ppid=21013 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (java) S 21013 21013 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225155671 15372775424 17574 33554432000 4194304 4196468 140720935413952 140288937163920 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21019] ppid=21013 vsize=15012476 memory=139671990834816 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155671 15372775424 17574 33554432000 4194304 4196468 140720935413952 140288735939600 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21020] ppid=21013 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21020/stat : 21020 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155671 15372775424 17574 33554432000 4194304 4196468 140720935413952 140288734886800 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21021] ppid=21013 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21021/stat : 21021 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155671 15372775424 17574 33554432000 4194304 4196468 140720935413952 140288733834000 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21022] ppid=21013 vsize=15012476 memory=139671990834816 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21022/stat : 21022 (java) S 21013 21013 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225155673 15372775424 17574 33554432000 4194304 4196468 140720935413952 140287926069616 140288932932226 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21023] ppid=21013 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21023/stat : 21023 (java) S 21013 21013 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225155673 15372775424 17574 33554432000 4194304 4196468 140720935413952 140287389197344 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21024] ppid=21013 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21024/stat : 21024 (java) S 21013 21013 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225155673 15372775424 17574 33554432000 4194304 4196468 140720935413952 140287254975344 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21025] ppid=21013 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21025/stat : 21025 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155676 15372775424 17574 33554432000 4194304 4196468 140720935413952 140286880470864 140288932939675 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21026] ppid=21013 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21026/stat : 21026 (java) S 21013 21013 16770 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 225155676 15372775424 17574 33554432000 4194304 4196468 140720935413952 140287925017456 140288932932226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21027] ppid=21013 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21027/stat : 21027 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155676 15372775424 17574 33554432000 4194304 4196468 140720935413952 140287923964656 140288932932226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21028] ppid=21013 vsize=15012476 memory=139671990834816 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21028/stat : 21028 (java) S 21013 21013 16770 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 225155676 15372775424 17640 33554432000 4194304 4196468 140720935413952 140287922911856 140288932932226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21029] ppid=21013 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21029/stat : 21029 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155676 15372775424 17640 33554432000 4194304 4196468 140720935413952 140286382566112 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21030] ppid=21013 vsize=15012476 memory=139671990834816 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21030/stat : 21030 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155676 15372775424 17640 33554432000 4194304 4196468 140720935413952 140287921859248 140288932932226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 71424 KiB
[startup+0.210801 s]*
/proc/loadavg: 2.02 2.04 2.05 3/224 21030
/proc/meminfo: memFree=10639420/32770624 swapFree=67108860/67108860
[pid=21013] ppid=21010 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21013/stat : 21013 (scop.sh) S 21010 21013 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225155669 115843072 348 33554432000 4194304 5098028 140736099146592 140736099143848 140651637731964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12255232 140736099152960 140736099153159 140736099153159 140736099155917 0
/proc/21013/statm: 28282 348 296 221 0 87 0
[pid=21016] ppid=21013 vsize=15012476 memory=83644 CPUtime=0.26 cores=1,3,5,7
/proc/21016/stat : 21016 (java) S 21013 21013 16770 0 -1 1077944320 10292 0 0 0 22 4 0 0 20 0 15 0 225155669 15372775424 20911 33554432000 4194304 4196468 140720935413952 140720935396496 140288932921079 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
/proc/21016/statm: 3753119 20911 2907 1 0 3715579 0
[pid=21016/tid=21017] ppid=21013 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (java) R 21013 21013 16770 0 -1 4202560 8168 0 0 0 17 2 0 0 20 0 15 0 225155670 15372775424 20911 33554432000 4194304 4196468 140720935413952 140288904747472 140288932933014 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21018] ppid=21013 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (java) S 21013 21013 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225155671 15372775424 20911 33554432000 4194304 4196468 140720935413952 140288937163920 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21019] ppid=21013 vsize=15012476 memory=139671992029342 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155671 15372775424 20911 33554432000 4194304 4196468 140720935413952 140288735939600 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21020] ppid=21013 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21020/stat : 21020 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155671 15372775424 20911 33554432000 4194304 4196468 140720935413952 140288734886800 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21021] ppid=21013 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21021/stat : 21021 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155671 15372775424 20911 33554432000 4194304 4196468 140720935413952 140288733834000 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21022] ppid=21013 vsize=15012476 memory=139671990834816 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21022/stat : 21022 (java) S 21013 21013 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225155673 15372775424 20911 33554432000 4194304 4196468 140720935413952 140287926069616 140288932932226 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21023] ppid=21013 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21023/stat : 21023 (java) S 21013 21013 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225155673 15372775424 20911 33554432000 4194304 4196468 140720935413952 140287389197344 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21024] ppid=21013 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21024/stat : 21024 (java) S 21013 21013 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225155673 15372775424 20911 33554432000 4194304 4196468 140720935413952 140287254975344 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21025] ppid=21013 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21025/stat : 21025 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155676 15372775424 20911 33554432000 4194304 4196468 140720935413952 140286880470864 140288932939675 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21026] ppid=21013 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21026/stat : 21026 (java) S 21013 21013 16770 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 225155676 15372775424 20911 33554432000 4194304 4196468 140720935413952 140287925017456 140288932932226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21027] ppid=21013 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21027/stat : 21027 (java) S 21013 21013 16770 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 225155676 15372775424 20911 33554432000 4194304 4196468 140720935413952 140287923964656 140288932932226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21028] ppid=21013 vsize=15012476 memory=139671990834816 CPUtime=0.03 cores=1,3,5,7
/proc/21016/task/21028/stat : 21028 (java) S 21013 21013 16770 0 -1 1077944384 313 0 0 0 3 0 0 0 20 0 15 0 225155676 15372775424 20911 33554432000 4194304 4196468 140720935413952 140287922911856 140288932932226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21029] ppid=21013 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21029/stat : 21029 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155676 15372775424 20911 33554432000 4194304 4196468 140720935413952 140286382566112 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21030] ppid=21013 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21030/stat : 21030 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155676 15372775424 20911 33554432000 4194304 4196468 140720935413952 140287921859248 140288932932226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85036 KiB
[startup+0.310775 s]*
/proc/loadavg: 2.02 2.04 2.05 3/224 21030
/proc/meminfo: memFree=10635636/32770624 swapFree=67108860/67108860
[pid=21013] ppid=21010 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21013/stat : 21013 (scop.sh) S 21010 21013 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225155669 115843072 348 33554432000 4194304 5098028 140736099146592 140736099143848 140651637731964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12255232 140736099152960 140736099153159 140736099153159 140736099155917 0
/proc/21013/statm: 28282 348 296 221 0 87 0
[pid=21016] ppid=21013 vsize=15012476 memory=87320 CPUtime=0.42 cores=1,3,5,7
/proc/21016/stat : 21016 (java) S 21013 21013 16770 0 -1 1077944320 10889 0 0 0 38 4 0 0 20 0 15 0 225155669 15372775424 21830 33554432000 4194304 4196468 140720935413952 140720935396496 140288932921079 0 0 2 16800973 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
/proc/21016/statm: 3753119 21830 2960 1 0 3715579 0
[pid=21016/tid=21017] ppid=21013 vsize=15012476 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (java) R 21013 21013 16770 0 -1 4202560 8599 0 0 0 27 3 0 0 20 0 15 0 225155670 15372775424 21830 33554432000 4194304 4196468 140720935413952 140288904716528 140288932943005 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21018] ppid=21013 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (java) S 21013 21013 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225155671 15372775424 21830 33554432000 4194304 4196468 140720935413952 140288937163920 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21019] ppid=21013 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155671 15372775424 21830 33554432000 4194304 4196468 140720935413952 140288735939600 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21020] ppid=21013 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21020/stat : 21020 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155671 15372775424 21830 33554432000 4194304 4196468 140720935413952 140288734886800 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21021] ppid=21013 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21021/stat : 21021 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155671 15372775424 21830 33554432000 4194304 4196468 140720935413952 140288733834000 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21022] ppid=21013 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21022/stat : 21022 (java) S 21013 21013 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225155673 15372775424 21830 33554432000 4194304 4196468 140720935413952 140287926069616 140288932932226 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21023] ppid=21013 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21023/stat : 21023 (java) S 21013 21013 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225155673 15372775424 21830 33554432000 4194304 4196468 140720935413952 140287389197344 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21024] ppid=21013 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21024/stat : 21024 (java) S 21013 21013 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225155673 15372775424 21830 33554432000 4194304 4196468 140720935413952 140287254975344 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21025] ppid=21013 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21025/stat : 21025 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155676 15372775424 21830 33554432000 4194304 4196468 140720935413952 140286880470864 140288932939675 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21026] ppid=21013 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21016/task/21026/stat : 21026 (java) R 21013 21013 16770 0 -1 4202560 330 0 0 0 1 0 0 0 20 0 15 0 225155676 15372775424 21896 33554432000 4194304 4196468 140720935413952 140287925017552 140288925158206 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21027] ppid=21013 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21016/task/21027/stat : 21027 (java) R 21013 21013 16770 0 -1 1077944384 263 0 0 0 3 0 0 0 20 0 15 0 225155676 15372775424 21896 33554432000 4194304 4196468 140720935413952 140287923964656 140288932932226 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21028] ppid=21013 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21016/task/21028/stat : 21028 (java) R 21013 21013 16770 0 -1 4202560 354 0 0 0 7 0 0 0 20 0 15 0 225155676 15372775424 21896 33554432000 4194304 4196468 140720935413952 140287922911856 140288412614777 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21029] ppid=21013 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21029/stat : 21029 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155676 15372775424 21896 33554432000 4194304 4196468 140720935413952 140286382566112 140288932931285 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21030] ppid=21013 vsize=15012476 memory=4121417289171017777 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21030/stat : 21030 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155676 15372775424 21896 33554432000 4194304 4196468 140720935413952 140287921859248 140288932932226 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88712 KiB
[startup+0.700809 s]
/proc/loadavg: 2.02 2.04 2.05 3/224 21030
/proc/meminfo: memFree=10610956/32770624 swapFree=67108860/67108860
[pid=21013] ppid=21010 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21013/stat : 21013 (scop.sh) S 21010 21013 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225155669 115843072 348 33554432000 4194304 5098028 140736099146592 140736099143848 140651637731964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12255232 140736099152960 140736099153159 140736099153159 140736099155917 0
/proc/21013/statm: 28282 348 296 221 0 87 0
[pid=21016] ppid=21013 vsize=15018824 memory=127248 CPUtime=1 cores=1,3,5,7
/proc/21016/stat : 21016 (java) S 21013 21013 16770 0 -1 1077944320 18013 0 0 0 94 6 0 0 20 0 15 0 225155669 15379275776 31812 33554432000 4194304 4196468 140720935413952 140720935396496 140288932921079 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
/proc/21016/statm: 3754706 31812 3147 1 0 3716091 0
[pid=21016/tid=21017] ppid=21013 vsize=15020872 memory=-7816663703405220396 CPUtime=0.66 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (java) R 21013 21013 16770 0 -1 4202560 15209 0 0 0 62 4 0 0 20 0 15 0 225155670 15381372928 31812 33554432000 4194304 4196468 140720935413952 140288904752976 140288916964709 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21018] ppid=21013 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (java) S 21013 21013 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225155671 15381372928 31812 33554432000 4194304 4196468 140720935413952 140288937163920 140288932931285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21019] ppid=21013 vsize=15020872 memory=61120 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155671 15381372928 31812 33554432000 4194304 4196468 140720935413952 140288735939600 140288932931285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21020] ppid=21013 vsize=15020872 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21020/stat : 21020 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155671 15381372928 31812 33554432000 4194304 4196468 140720935413952 140288734886800 140288932931285 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21021] ppid=21013 vsize=15020872 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21021/stat : 21021 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155671 15381372928 31812 33554432000 4194304 4196468 140720935413952 140288733834000 140288932931285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21022] ppid=21013 vsize=15020872 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21022/stat : 21022 (java) S 21013 21013 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225155673 15381372928 31812 33554432000 4194304 4196468 140720935413952 140287926069616 140288932932226 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21023] ppid=21013 vsize=15020872 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21023/stat : 21023 (java) S 21013 21013 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225155673 15381372928 31812 33554432000 4194304 4196468 140720935413952 140287389197344 140288932931285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21024] ppid=21013 vsize=15020872 memory=796 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21024/stat : 21024 (java) S 21013 21013 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225155673 15381372928 31812 33554432000 4194304 4196468 140720935413952 140287254975344 140288932931285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21025] ppid=21013 vsize=15020872 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21025/stat : 21025 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155676 15381372928 31812 33554432000 4194304 4196468 140720935413952 140286880470864 140288932939675 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21026] ppid=21013 vsize=15020872 memory=876 CPUtime=0.06 cores=1,3,5,7
/proc/21016/task/21026/stat : 21026 (java) R 21013 21013 16770 0 -1 1077944384 518 0 0 0 6 0 0 0 20 0 15 0 225155676 15381372928 31812 33554432000 4194304 4196468 140720935413952 140287925017456 140288932932226 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21027] ppid=21013 vsize=15020872 memory=10096 CPUtime=0.1 cores=1,3,5,7
/proc/21016/task/21027/stat : 21027 (java) S 21013 21013 16770 0 -1 1077944384 487 0 0 0 10 0 0 0 20 0 15 0 225155676 15381372928 31812 33554432000 4194304 4196468 140720935413952 140287923964656 140288932932226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21028] ppid=21013 vsize=15020872 memory=1228 CPUtime=0.14 cores=1,3,5,7
/proc/21016/task/21028/stat : 21028 (java) S 21013 21013 16770 0 -1 1077944384 455 0 0 0 14 0 0 0 20 0 15 0 225155676 15381372928 31812 33554432000 4194304 4196468 140720935413952 140287922911856 140288932932226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21029] ppid=21013 vsize=15020872 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21029/stat : 21029 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225155676 15381372928 31812 33554432000 4194304 4196468 140720935413952 140286382566112 140288932931285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
[pid=21016/tid=21030] ppid=21013 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21030/stat : 21030 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225155676 15381372928 31812 33554432000 4194304 4196468 140720935413952 140287921859248 140288932932226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8994816 140720935416838 140720935417137 140720935417137 140720935419855 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15131952 KiB
Current children cumulated memory: 128640 KiB
[startup+1.50123 s]
/proc/loadavg: 2.02 2.04 2.05 6/224 21030
/proc/meminfo: memFree=10513024/32770624 swapFree=67108860/67108860
[pid=21013] ppid=21010 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/21013/stat : 21013 (scop.sh) S 21010 21013 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225155669 115843072 348 33554432000 4194304 5098028 140736099146592 140736099143848 140651637731964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12255232 140736099152960 140736099153159 140736099153159 140736099155917 0
/proc/21013/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
/proc/21032/task/21048/stat : 21048 (java) S 21013 21013 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225163500 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110146159808 140110778937113 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21050] ppid=21013 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21050/stat : 21050 (java) S 21013 21013 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225163500 8261857280 29198 33554432000 4194304 4196468 140735632459232 140107940080912 140110778934429 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21051] ppid=21013 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21051/stat : 21051 (java) S 21013 21013 16770 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225163500 8261857280 29198 33554432000 4194304 4196468 140735632459232 140107805859984 140110778934429 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21052] ppid=21013 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21052/stat : 21052 (java) S 21013 21013 16770 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 225163503 8261857280 29198 33554432000 4194304 4196468 140735632459232 140108074311328 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
Current children cumulated CPU time: 115.27 s
Current children cumulated vsize: 8290176 KiB
Current children cumulated memory: 202580 KiB
[startup+80.801 s]
/proc/loadavg: 2.08 2.07 2.06 3/229 21052
/proc/meminfo: memFree=10503528/32770624 swapFree=67108860/67108860
[pid=21013] ppid=21010 vsize=113128 memory=1468 CPUtime=112.46 cores=1,3,5,7
/proc/21013/stat : 21013 (scop.sh) S 21010 21013 16770 0 -1 4202496 590 77297 0 0 0 0 10903 343 20 0 1 0 225155669 115843072 367 33554432000 4194304 5098028 140736099146592 140736099143336 140651637731964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12255232 140736099152960 140736099153159 140736099153159 140736099155917 0
/proc/21013/statm: 28282 367 311 221 0 87 0
[pid=21032] ppid=21013 vsize=8068220 memory=116792 CPUtime=1.12 cores=1,3,5,7
/proc/21032/stat : 21032 (java) S 21013 21013 16770 0 -1 1077944320 17952 0 0 0 106 6 0 0 20 0 19 0 225163428 8261857280 29198 33554432000 4194304 4196468 140735632459232 140735632441776 140110778912503 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
/proc/21032/statm: 2017055 29198 3150 1 0 1978454 0
[pid=21047] ppid=21032 vsize=104724 memory=76156 CPUtime=2.48 cores=1,3,5,7
/proc/21047/stat : 21047 (minisat_release) R 21032 21013 16770 0 -1 4202496 36265 0 0 0 243 5 0 0 20 0 1 0 225163500 107237376 19039 33554432000 4194304 4308513 140729753311472 140729753308104 139661565457964 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 19959808 140729753318516 140729753318614 140729753318614 140729753321413 0
/proc/21047/statm: 26181 19039 331 28 0 22421 0
[pid=21032/tid=21033] ppid=21013 vsize=8068220 memory=3428 CPUtime=0.74 cores=1,3,5,7
/proc/21032/task/21033/stat : 21033 (java) S 21013 21013 16770 0 -1 1077944384 14997 0 0 0 69 5 0 0 20 0 19 0 225163429 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110750752656 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21034] ppid=21013 vsize=8068220 memory=3428 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21034/stat : 21034 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225163430 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110783155344 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21035] ppid=21013 vsize=8068220 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21035/stat : 21035 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225163430 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110583323664 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21036] ppid=21013 vsize=8068220 memory=116792 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21036/stat : 21036 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225163430 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110582270864 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21037] ppid=21013 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21037/stat : 21037 (java) S 21013 21013 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225163430 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110581218064 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21038] ppid=21013 vsize=8068220 memory=116792 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21038/stat : 21038 (java) S 21013 21013 16770 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225163431 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110225402224 140110778923650 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21039] ppid=21013 vsize=8068220 memory=84320 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21039/stat : 21039 (java) S 21013 21013 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225163432 8261857280 29198 33554432000 4194304 4196468 140735632459232 140109617816608 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21040] ppid=21013 vsize=8068220 memory=19 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21040/stat : 21040 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225163432 8261857280 29198 33554432000 4194304 4196468 140735632459232 140109349380976 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21041] ppid=21013 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21041/stat : 21041 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225163434 8261857280 29198 33554432000 4194304 4196468 140735632459232 140108974872400 140110778931099 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21042] ppid=21013 vsize=8068220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21032/task/21042/stat : 21042 (java) S 21013 21013 16770 0 -1 1077944384 656 0 0 0 8 0 0 0 20 0 19 0 225163434 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110224350064 140110778923650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21043] ppid=21013 vsize=8068220 memory=116836 CPUtime=0.09 cores=1,3,5,7
/proc/21032/task/21043/stat : 21043 (java) S 21013 21013 16770 0 -1 1077944384 298 0 0 0 9 0 0 0 20 0 19 0 225163434 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110223297264 140110778923650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21044] ppid=21013 vsize=8068220 memory=67056 CPUtime=0.19 cores=1,3,5,7
/proc/21032/task/21044/stat : 21044 (java) S 21013 21013 16770 0 -1 1077944384 581 0 0 0 19 0 0 0 20 0 19 0 225163435 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110154689136 140110778923650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21045] ppid=21013 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21045/stat : 21045 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225163435 8261857280 29198 33554432000 4194304 4196468 140735632459232 140108476967648 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21046] ppid=21013 vsize=8068220 memory=2948 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21046/stat : 21046 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225163435 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110153636528 140110778923650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21048] ppid=21013 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21048/stat : 21048 (java) S 21013 21013 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225163500 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110146159808 140110778937113 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21050] ppid=21013 vsize=8068220 memory=71772 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21050/stat : 21050 (java) S 21013 21013 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225163500 8261857280 29198 33554432000 4194304 4196468 140735632459232 140107940080912 140110778934429 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21051] ppid=21013 vsize=8068220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21051/stat : 21051 (java) S 21013 21013 16770 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225163500 8261857280 29198 33554432000 4194304 4196468 140735632459232 140107805859984 140110778934429 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21052] ppid=21013 vsize=8068220 memory=1468 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21052/stat : 21052 (java) S 21013 21013 16770 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 225163503 8261857280 29198 33554432000 4194304 4196468 140735632459232 140108074311328 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
Current children cumulated CPU time: 116.06 s
Current children cumulated vsize: 8286072 KiB
Current children cumulated memory: 194416 KiB
[startup+81.201 s]
/proc/loadavg: 2.08 2.07 2.06 3/229 21052
/proc/meminfo: memFree=10511460/32770624 swapFree=67108860/67108860
[pid=21013] ppid=21010 vsize=113128 memory=1468 CPUtime=112.46 cores=1,3,5,7
/proc/21013/stat : 21013 (scop.sh) S 21010 21013 16770 0 -1 4202496 590 77297 0 0 0 0 10903 343 20 0 1 0 225155669 115843072 367 33554432000 4194304 5098028 140736099146592 140736099143336 140651637731964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12255232 140736099152960 140736099153159 140736099153159 140736099155917 0
/proc/21013/statm: 28282 367 311 221 0 87 0
[pid=21032] ppid=21013 vsize=8068220 memory=116792 CPUtime=1.12 cores=1,3,5,7
/proc/21032/stat : 21032 (java) S 21013 21013 16770 0 -1 1077944320 17952 0 0 0 106 6 0 0 20 0 19 0 225163428 8261857280 29198 33554432000 4194304 4196468 140735632459232 140735632441776 140110778912503 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
/proc/21032/statm: 2017055 29198 3150 1 0 1978454 0
[pid=21047] ppid=21032 vsize=104724 memory=76196 CPUtime=2.88 cores=1,3,5,7
/proc/21047/stat : 21047 (minisat_release) R 21032 21013 16770 0 -1 4202496 36373 0 0 0 283 5 0 0 20 0 1 0 225163500 107237376 19049 33554432000 4194304 4308513 140729753311472 140729753309096 4265095 0 4 0 8396802 0 0 0 17 1 0 0 0 0 0 6409496 6410680 19959808 140729753318516 140729753318614 140729753318614 140729753321413 0
/proc/21047/statm: 26181 19049 340 28 0 22421 0
[pid=21032/tid=21033] ppid=21013 vsize=8068220 memory=139671867478773 CPUtime=0.74 cores=1,3,5,7
/proc/21032/task/21033/stat : 21033 (java) S 21013 21013 16770 0 -1 1077944384 14997 0 0 0 69 5 0 0 20 0 19 0 225163429 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110750752656 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21034] ppid=21013 vsize=8068220 memory=2 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21034/stat : 21034 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225163430 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110783155344 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21035] ppid=21013 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21035/stat : 21035 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225163430 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110583323664 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21036] ppid=21013 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21036/stat : 21036 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225163430 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110582270864 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21037] ppid=21013 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21037/stat : 21037 (java) S 21013 21013 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225163430 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110581218064 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21038] ppid=21013 vsize=8068220 memory=822 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21038/stat : 21038 (java) S 21013 21013 16770 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 225163431 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110225402224 140110778923650 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21039] ppid=21013 vsize=8068220 memory=734 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21039/stat : 21039 (java) S 21013 21013 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225163432 8261857280 29198 33554432000 4194304 4196468 140735632459232 140109617816608 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21040] ppid=21013 vsize=8068220 memory=127 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21040/stat : 21040 (java) S 21013 21013 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225163432 8261857280 29198 33554432000 4194304 4196468 140735632459232 140109349380976 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21041] ppid=21013 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21041/stat : 21041 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225163434 8261857280 29198 33554432000 4194304 4196468 140735632459232 140108974872400 140110778931099 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21042] ppid=21013 vsize=8068220 memory=4 CPUtime=0.08 cores=1,3,5,7
/proc/21032/task/21042/stat : 21042 (java) S 21013 21013 16770 0 -1 1077944384 656 0 0 0 8 0 0 0 20 0 19 0 225163434 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110224350064 140110778923650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21043] ppid=21013 vsize=8068220 memory=7528 CPUtime=0.09 cores=1,3,5,7
/proc/21032/task/21043/stat : 21043 (java) S 21013 21013 16770 0 -1 1077944384 298 0 0 0 9 0 0 0 20 0 19 0 225163434 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110223297264 140110778923650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21044] ppid=21013 vsize=8068220 memory=840 CPUtime=0.19 cores=1,3,5,7
/proc/21032/task/21044/stat : 21044 (java) S 21013 21013 16770 0 -1 1077944384 581 0 0 0 19 0 0 0 20 0 19 0 225163435 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110154689136 140110778923650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21045] ppid=21013 vsize=8068220 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21045/stat : 21045 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225163435 8261857280 29198 33554432000 4194304 4196468 140735632459232 140108476967648 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21046] ppid=21013 vsize=8068220 memory=916 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21046/stat : 21046 (java) S 21013 21013 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225163435 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110153636528 140110778923650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21048] ppid=21013 vsize=8068220 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21048/stat : 21048 (java) S 21013 21013 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225163500 8261857280 29198 33554432000 4194304 4196468 140735632459232 140110146159808 140110778937113 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21050] ppid=21013 vsize=8068220 memory=3428 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21050/stat : 21050 (java) S 21013 21013 16770 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 225163500 8261857280 29198 33554432000 4194304 4196468 140735632459232 140107940080912 140110778934429 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21051] ppid=21013 vsize=8068220 memory=3428 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21051/stat : 21051 (java) S 21013 21013 16770 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 225163500 8261857280 29198 33554432000 4194304 4196468 140735632459232 140107805859984 140110778934429 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21052] ppid=21013 vsize=8068220 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/21032/task/21052/stat : 21052 (java) S 21013 21013 16770 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 225163503 8261857280 29198 33554432000 4194304 4196468 140735632459232 140108074311328 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
Current children cumulated CPU time: 116.46 s
Current children cumulated vsize: 8286072 KiB
Current children cumulated memory: 194456 KiB
[startup+81.6012 s]
/proc/loadavg: 2.08 2.07 2.06 3/229 21052
/proc/meminfo: memFree=10511460/32770624 swapFree=67108860/67108860
[pid=21013] ppid=21010 vsize=113128 memory=1468 CPUtime=112.46 cores=1,3,5,7
/proc/21013/stat : 21013 (scop.sh) S 21010 21013 16770 0 -1 4202496 590 77297 0 0 0 0 10903 343 20 0 1 0 225155669 115843072 367 33554432000 4194304 5098028 140736099146592 140736099143336 140651637731964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 12255232 140736099152960 140736099153159 140736099153159 140736099155917 0
/proc/21013/statm: 28282 367 311 221 0 87 0
[pid=21032] ppid=21013 vsize=7937144 memory=134988 CPUtime=4.56 cores=1,3,5,7
/proc/21032/stat : 21032 (java) S 21013 21013 16770 0 -1 1077944320 18382 36847 0 0 132 6 312 6 20 0 17 0 225163428 8127635456 33747 33554432000 4194304 4196468 140735632459232 140735632441776 140110778912503 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
/proc/21032/statm: 1984286 33747 3168 1 0 1945685 0
[pid=21032/tid=21033] ppid=21013 vsize=7937144 memory=116792 CPUtime=3.96 cores=1,3,5,7
/proc/21032/task/21033/stat : 21033 (java) R 21013 21013 16770 0 -1 4202560 15211 36847 0 0 73 5 312 6 20 0 17 0 225163429 8127635456 33747 33554432000 4194304 4196468 140735632459232 140110750728208 140110760476059 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21034] ppid=21013 vsize=7937144 memory=6791534058613427641 CPUtime=3.18 cores=1,3,5,7
/proc/21032/task/21034/stat : 21034 (java) S 21013 21013 16770 0 -1 1077944384 1 36847 0 0 0 0 312 6 20 0 17 0 225163430 8127635456 33747 33554432000 4194304 4196468 140735632459232 140110783155344 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21035] ppid=21013 vsize=7937144 memory=1796 CPUtime=3.18 cores=1,3,5,7
/proc/21032/task/21035/stat : 21035 (java) S 21013 21013 16770 0 -1 1077944384 1 36847 0 0 0 0 312 6 20 0 17 0 225163430 8127635456 33747 33554432000 4194304 4196468 140735632459232 140110583323664 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21036] ppid=21013 vsize=7937144 memory=636 CPUtime=3.18 cores=1,3,5,7
/proc/21032/task/21036/stat : 21036 (java) S 21013 21013 16770 0 -1 1077944384 1 36847 0 0 0 0 312 6 20 0 17 0 225163430 8127635456 33747 33554432000 4194304 4196468 140735632459232 140110582270864 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21037] ppid=21013 vsize=7937144 memory=960 CPUtime=3.18 cores=1,3,5,7
/proc/21032/task/21037/stat : 21037 (java) S 21013 21013 16770 0 -1 1077944384 2 36847 0 0 0 0 312 6 20 0 17 0 225163430 8127635456 33747 33554432000 4194304 4196468 140735632459232 140110581218064 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21038] ppid=21013 vsize=7937144 memory=116792 CPUtime=3.18 cores=1,3,5,7
/proc/21032/task/21038/stat : 21038 (java) S 21013 21013 16770 0 -1 1077944384 6 36847 0 0 0 0 312 6 20 0 17 0 225163431 8127635456 33747 33554432000 4194304 4196468 140735632459232 140110225402224 140110778923650 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21039] ppid=21013 vsize=7937144 memory=82208 CPUtime=3.18 cores=1,3,5,7
/proc/21032/task/21039/stat : 21039 (java) S 21013 21013 16770 0 -1 1077944384 13 36847 0 0 0 0 312 6 20 0 17 0 225163432 8127635456 33747 33554432000 4194304 4196468 140735632459232 140109617816608 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21040] ppid=21013 vsize=7937144 memory=61120 CPUtime=3.18 cores=1,3,5,7
/proc/21032/task/21040/stat : 21040 (java) S 21013 21013 16770 0 -1 1077944384 1 36847 0 0 0 0 312 6 20 0 17 0 225163432 8127635456 33747 33554432000 4194304 4196468 140735632459232 140109349380976 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21041] ppid=21013 vsize=7937144 memory=1240 CPUtime=3.18 cores=1,3,5,7
/proc/21032/task/21041/stat : 21041 (java) S 21013 21013 16770 0 -1 1077944384 3 36847 0 0 0 0 312 6 20 0 17 0 225163434 8127635456 33747 33554432000 4194304 4196468 140735632459232 140108974872400 140110778931099 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21042] ppid=21013 vsize=7937144 memory=2416 CPUtime=3.31 cores=1,3,5,7
/proc/21032/task/21042/stat : 21042 (java) S 21013 21013 16770 0 -1 1077944384 685 36847 0 0 13 0 312 6 20 0 17 0 225163434 8127635456 33747 33554432000 4194304 4196468 140735632459232 140110224350064 140110778923650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21043] ppid=21013 vsize=7937144 memory=1788 CPUtime=3.3 cores=1,3,5,7
/proc/21032/task/21043/stat : 21043 (java) S 21013 21013 16770 0 -1 1077944384 315 36847 0 0 12 0 312 6 20 0 17 0 225163434 8127635456 33747 33554432000 4194304 4196468 140735632459232 140110223297264 140110778923650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21044] ppid=21013 vsize=7937144 memory=4616 CPUtime=3.42 cores=1,3,5,7
/proc/21032/task/21044/stat : 21044 (java) S 21013 21013 16770 0 -1 1077944384 685 36847 0 0 24 0 312 6 20 0 17 0 225163435 8127635456 33747 33554432000 4194304 4196468 140735632459232 140110154689136 140110778923650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21045] ppid=21013 vsize=7937144 memory=1428 CPUtime=3.18 cores=1,3,5,7
/proc/21032/task/21045/stat : 21045 (java) S 21013 21013 16770 0 -1 1077944384 3 36847 0 0 0 0 312 6 20 0 17 0 225163435 8127635456 33747 33554432000 4194304 4196468 140735632459232 140108476967648 140110778922709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21046] ppid=21013 vsize=7937144 memory=15880 CPUtime=3.18 cores=1,3,5,7
/proc/21032/task/21046/stat : 21046 (java) S 21013 21013 16770 0 -1 1077944384 3 36847 0 0 0 0 312 6 20 0 17 0 225163435 8127635456 33747 33554432000 4194304 4196468 140735632459232 140110153636528 140110778923650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21048] ppid=21013 vsize=7937144 memory=16228 CPUtime=3.18 cores=1,3,5,7
/proc/21032/task/21048/stat : 21048 (java) S 21013 21013 16770 0 -1 1077944384 24 36847 0 0 0 0 312 6 20 0 17 0 225163500 8127635456 33747 33554432000 4194304 4196468 140735632459232 140110146158992 140110778923650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
[pid=21032/tid=21052] ppid=21013 vsize=7937144 memory=2460 CPUtime=3.18 cores=1,3,5,7
/proc/21032/task/21052/stat : 21052 (java) S 21013 21013 16770 0 -1 1077944384 32 36847 0 0 0 0 312 6 20 0 17 0 225163503 8127635456 33747 33554432000 4194304 4196468 140735632459232 140108074313136 140110778923650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21041152 140735632467125 140735632467249 140735632467249 140735632469967 0
Current children cumulated CPU time: 117.02 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 136456 KiB
Child status: 0
Real time (s): 81.637
CPU time (s): 117.101
CPU user time (s): 113.52
CPU system time (s): 3.5807
CPU usage (%): 143.441
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 5635492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 113.52
system time used= 3.5807
maximum resident set size= 5635132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133210
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8836
involuntary context switches= 347
# summary of solver processes directly reported to runsolver:
# pid: 21013
# total CPU time (s): 117.101
# total CPU user time (s): 113.52
# total CPU system time (s): 3.5807
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.583698 second user time and 0.837272 second system time
The end