0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver minisat_release -solverOption default -tmp HOME -serialFile HOME/scop-20538-serial-file.bin HOME/instance-4305631-1534066867.xml
0.55/0.51
0.66/0.52 scop both+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.54 c BEGIN-Prog: Sun Aug 12 11:41:08 CEST 2018
0.66/0.54 c PID: 20541
0.66/0.54 c IP: 172.20.3.135
0.66/0.54 c HOST: node135.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.21/0.87 c (0,0) Parsing End
1.21/0.88 c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 38 ctr, max domain size 37
1.21/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.88 c (0,0) Constraint Name Generate Begin
1.21/0.88 c (0,0) Ctr:HOME/instance-4305631-1534066867.xml,AllDifferent:Dist:Eq:IntVar
1.21/0.88 c (0,0) Constraint Name Generate End
1.21/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.21/0.88 c (0,0) CSP to CSPinCNF Begin
1.41/0.99 c (0,0) translated 4 (10%) constraints
1.41/1.00 c (0,0) translated 8 (20%) constraints
1.59/1.02 c (0,0) translated 12 (30%) constraints
1.59/1.03 c (0,0) translated 16 (40%) constraints
1.59/1.04 c (0,0) translated 19 (50%) constraints
1.59/1.04 c (0,0) translated 23 (60%) constraints
1.59/1.05 c (0,0) translated 27 (70%) constraints
1.59/1.06 c (0,0) translated 31 (80%) constraints
1.59/1.07 c (0,0) translated 35 (90%) constraints
1.81/1.12 c (0,0) translated 38 (100%) constraints
2.41/1.31 c (0,0) STATISTICS1:HOME/instance-4305631-1534066867.xml,AllDifferent:Dist:Eq:IntVar,52,862,1332,37,36,3,1332:144;37:120;36:630,37:560;36:1476,36:2;16:2;2:786;1:72,3:144;2:750;1:104,
2.41/1.31 c (0,0) ==========================================
2.41/1.31 c (0,0) Both Encoding selects:
2.41/1.31 c (0,0) Order
2.41/1.31 c (0,0) ==========================================
2.41/1.33 c (0,0) translated 87 (10%) constraints
2.41/1.35 c (0,0) translated 173 (20%) constraints
2.41/1.36 c (0,0) translated 259 (30%) constraints
2.41/1.37 c (0,0) translated 345 (40%) constraints
2.41/1.38 c (0,0) translated 431 (50%) constraints
2.41/1.39 c (0,0) translated 518 (60%) constraints
2.67/1.40 c (0,0) translated 604 (70%) constraints
2.67/1.40 c (0,0) translated 690 (80%) constraints
2.67/1.41 c (0,0) translated 776 (90%) constraints
2.67/1.42 c (0,0) translated 862 (100%) constraints
2.67/1.42 c (0,0) CSP to CSPinCNF End
2.67/1.42 c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 862 ctr, max domain size 37
2.67/1.42 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.67/1.42 c (0,0) CSPinCNF Propagation Begin
2.67/1.45 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.67/1.45 c (0,0) CSPinCNF Propagation End
2.67/1.45 c (0,0) CSP: 52 int (0 aux), 0 bool (0 aux), 862 ctr, max domain size 37
2.67/1.45 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.67/1.45 c (0,0) Simplify CSPinCNF Begin
2.97/1.57 c (1,1) Simplify CSPinCNF End
2.97/1.58 c (1,1) CSP: 52 int (0 aux), 1572 bool (1572 aux), 2434 ctr, max domain size 37
2.97/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.97/1.58 c (1,1) Calculate Precise Domain Begin
2.97/1.58 c (1,1) 0 values are removed by re-calculation
2.97/1.58 c (1,1) Calculate Precise Domain End
2.97/1.58 c (1,1) CSP: 52 int (0 aux), 1572 bool (1572 aux), 2434 ctr, max domain size 37
2.97/1.58 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.97/1.58 c (1,1) CSPinCNF to SatSolver Begin
4.57/2.10 c (1,1) 244 (10 %) CSP clauses are encoded (3408 SAT variables, 99299 SAT clauses)
4.88/2.14 c (1,1) 487 (20 %) CSP clauses are encoded (3408 SAT variables, 105374 SAT clauses)
4.88/2.19 c (1,1) 731 (30 %) CSP clauses are encoded (3408 SAT variables, 111289 SAT clauses)
5.17/2.23 c (1,1) 974 (40 %) CSP clauses are encoded (3408 SAT variables, 117202 SAT clauses)
5.17/2.26 c (1,1) 1217 (50 %) CSP clauses are encoded (3408 SAT variables, 123115 SAT clauses)
5.39/2.44 c (1,1) 1461 (60 %) CSP clauses are encoded (3408 SAT variables, 129064 SAT clauses)
5.39/2.48 c (1,1) 1704 (70 %) CSP clauses are encoded (3408 SAT variables, 134977 SAT clauses)
5.62/2.51 c (1,1) 1948 (80 %) CSP clauses are encoded (3408 SAT variables, 140891 SAT clauses)
5.62/2.53 c (2,1) 2191 (90 %) CSP clauses are encoded (3408 SAT variables, 146804 SAT clauses)
5.62/2.55 c (2,1) 2434 (100 %) CSP clauses are encoded (3408 SAT variables, 152717 SAT clauses)
5.62/2.55 c (2,1) Launch Command will be: minisat_release
5.62/2.55 c (2,1) CSPinCNF to SatSolver End
5.62/2.55 c (2,1) Heap : 506 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
5.62/2.58 c (2,1) STATISTICS2:HOME/instance-4305631-1534066867.xml,AllDifferent:Dist:Eq:IntVar,1624,2434,1332,37,36,3,1332:144;37:240;36:1260,37:800;36:2736;2:3144,36:2;16:2;2:2358;1:72,3:144;2:1500;1:3248,
5.62/2.58 c (2,1) 3408 bool, 152718 clause
5.62/2.58 c (2,1) Export Begin
5.91/2.66 c (2,1) Export to HOME/scop-20538-serial-file.bin
5.91/2.66 c (2,1) Export End
5.91/2.66 c (2,1) Export File Size: 0.01 MB
5.91/2.66 c (2,1) 0,0,0,0,1,1,2,STOP-AFTER(DIMACS)
5.91/2.66 c END-Prog: Sun Aug 12 11:41:10 CEST 2018
5.91/2.67 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20538-serial-file.bin
6.62/3.16 c (0,0) Read Serial File Begin
6.62/3.16 c (0,0) HOME/scop-20538-serial-file.bin
6.89/3.32 c (0,0) Read Serial File End
6.89/3.33
6.89/3.33 scop order+minisat_release (2018-07-31)
6.89/3.33 (Solving Process)
6.89/3.33
6.89/3.35 c BEGIN-Prog: Sun Aug 12 11:41:11 CEST 2018
6.89/3.35 c PID: 20556
6.89/3.35 c IP: 172.20.3.135
6.89/3.35 c HOST: node135.alineos.net
6.89/3.35 c (0,0) SatSolver.solve Begin
6.89/3.35 c (0,0) 0 bool, 0 clause
6.89/3.35 c (0,0) minisat_release HOME/instance-4305631-1534066867.xml-scop-20541.cnf
455.86/451.96 c (448,0) c This is COMiniSatPS.
455.86/451.96 c (448,0) c WARNING: for repeatability, setting FPU to use double precision
455.86/451.96 c (448,0) c ============================[ Problem Statistics ]=============================
455.86/451.96 c (448,0) c | |
455.86/451.96 c (448,0) c | Number of variables: 3408 |
455.86/451.96 c (448,0) c | Number of clauses: 152718 |
455.86/451.96 c (448,0) c | Parse time: 0.04 s |
455.86/451.96 c (448,0) c | Eliminated clauses: 0.01 Mb |
455.86/451.96 c (448,0) c Reduced to 2622 vars, 151932 cls (grow=0)
455.86/451.96 c (448,0) c No iterative elimination performed. (vars=2622, c/v ratio=57.9)
455.86/451.96 c (448,0) c | Simplification time: 0.23 s |
455.86/451.96 c (448,0) c | |
455.86/451.96 c (448,0) c ============================[ Search Statistics ]==============================
455.86/451.96 c (448,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
455.86/451.96 c (448,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
455.86/451.96 c (448,0) c ===============================================================================
455.86/451.96 c (448,0) c ===============================================================================
455.86/451.96 c (448,0) c restarts : 5202
455.86/451.96 c (448,0) c conflicts : 2998680 (6686 /sec)
455.86/451.96 c (448,0) c decisions : 3652971 (0.00 % random) (8145 /sec)
455.86/451.96 c (448,0) c propagations : 965789586 (2153323 /sec)
455.86/451.96 c (448,0) c conflict literals : 86648243 (37.65 % deleted)
455.86/451.96 c (448,0) c CPU time : 448.511 s
455.86/451.96 c (448,0)
455.86/451.96 c (448,0) s SATISFIABLE
455.86/451.98 c (448,0) SatSolver.solve End
455.86/451.98 c (448,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
455.86/451.98 c (448,0) Show results Begin
456.01/452.04 s SATISFIABLE
456.01/452.05 v <instantiation>
456.01/452.05 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] cn[3][0] cn[3][1] cn[3][2] cn[3][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] ce[3][0][1] ce[3][0][2] ce[3][0][3] ce[3][1][2] ce[3][1][3] ce[3][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] cie[2][0] cie[2][1] cie[2][2] cie[2][3]</list>
456.01/452.05 v <values>33 24 8 13 6 14 29 0 34 10 17 36 2 32 35 1 9 25 20 16 11 5 8 23 6 15 14 29 24 17 2 7 26 19 30 33 1 3 31 34 27 10 21 13 28 4 12 36 32 22 18 35</values>
456.01/452.05 v </instantiation>
456.01/452.05 c (449,0) Show results End
456.01/452.05 c (449,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
456.01/452.05 c (449,0) 448,449,STOP-AFTER(ALL)
456.01/452.05 c END-Prog: Sun Aug 12 11:48:40 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 (6732 MiB free)
memory of node 1: 16384 MiB (4638 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305631-1534066867/watcher-4305631-1534066867 -o /tmp/evaluation-result-4305631-1534066867/solver-4305631-1534066867 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534062530-19415 --watchdog 2580 scop.sh 11g scop.jar -both minisat_release default HOME HOME/instance-4305631-1534066867.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=20538, runsolver pid=20535
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 2.29 2.08 2.01 3/225 20555
/proc/meminfo: memFree=11584572/32770624 swapFree=67108860/67108860
[pid=20538] ppid=20535 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20538/stat : 20538 (scop.sh) S 20535 20538 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224249918 115843072 349 33554432000 4194304 5098028 140724071839600 140724071836856 139742218863228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21708800 140724071846977 140724071847175 140724071847175 140724071849933 0
/proc/20538/statm: 28282 349 296 221 0 87 0
[pid=20541] ppid=20538 vsize=15012476 memory=72248 CPUtime=0.11 cores=1,3,5,7
/proc/20541/stat : 20541 (java) S 20538 20538 19383 0 -1 1077944320 6171 0 0 0 9 2 0 0 20 0 15 0 224249918 15372775424 18062 33554432000 4194304 4196468 140734717411024 140734717393568 140309077667575 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
/proc/20541/statm: 3753119 18062 2770 1 0 3715579 0
[pid=20541/tid=20542] ppid=20538 vsize=15012476 memory=7533807676074704953 CPUtime=0.08 cores=1,3,5,7
/proc/20541/task/20542/stat : 20542 (java) R 20538 20538 19383 0 -1 4202560 4260 0 0 0 7 1 0 0 20 0 15 0 224249919 15372775424 18062 33554432000 4194304 4196468 140734717411024 140309049493904 140309059231131 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20543] ppid=20538 vsize=15012476 memory=3472468774450230960 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20543/stat : 20543 (java) S 20538 20538 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224249920 15372775424 18062 33554432000 4194304 4196468 140734717411024 140309081909776 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20544] ppid=20538 vsize=15012476 memory=140478222550656 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20544/stat : 20544 (java) S 20538 20538 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224249920 15372775424 18062 33554432000 4194304 4196468 140734717411024 140308872993424 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20545] ppid=20538 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20545/stat : 20545 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249920 15372775424 18062 33554432000 4194304 4196468 140734717411024 140308871940368 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20546] ppid=20538 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20546/stat : 20546 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249920 15372775424 18062 33554432000 4194304 4196468 140734717411024 140308870887824 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20547] ppid=20538 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20547/stat : 20547 (java) S 20538 20538 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224249922 15372775424 18062 33554432000 4194304 4196468 140734717411024 140308048067312 140309077678722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20548] ppid=20538 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20548/stat : 20548 (java) S 20538 20538 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224249922 15372775424 18062 33554432000 4194304 4196468 140734717411024 140307656074912 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20549] ppid=20538 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20549/stat : 20549 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249923 15372775424 18062 33554432000 4194304 4196468 140734717411024 140307387639024 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20550] ppid=20538 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20550/stat : 20550 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224249925 15372775424 18062 33554432000 4194304 4196468 140734717411024 140307013130704 140309077686171 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20551] ppid=20538 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20551/stat : 20551 (java) S 20538 20538 19383 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 224249925 15372775424 18062 33554432000 4194304 4196468 140734717411024 140308047014128 140309077678722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20552] ppid=20538 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20552/stat : 20552 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224249925 15372775424 18062 33554432000 4194304 4196468 140734717411024 140308045961584 140309077678722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20553] ppid=20538 vsize=15012476 memory=140478222550656 CPUtime=0.01 cores=1,3,5,7
/proc/20541/task/20553/stat : 20553 (java) S 20538 20538 19383 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 224249925 15372775424 18062 33554432000 4194304 4196468 140734717411024 140308044908528 140309077678722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20554] ppid=20538 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20554/stat : 20554 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224249925 15372775424 18062 33554432000 4194304 4196468 140734717411024 140306515224928 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20555] ppid=20538 vsize=15012476 memory=140478222550656 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20555/stat : 20555 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249925 15372775424 18128 33554432000 4194304 4196468 140734717411024 140308043856944 140309077678722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73644 KiB
[startup+0.210843 s]*
/proc/loadavg: 2.29 2.08 2.01 3/225 20555
/proc/meminfo: memFree=11569860/32770624 swapFree=67108860/67108860
[pid=20538] ppid=20535 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20538/stat : 20538 (scop.sh) S 20535 20538 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224249918 115843072 349 33554432000 4194304 5098028 140724071839600 140724071836856 139742218863228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21708800 140724071846977 140724071847175 140724071847175 140724071849933 0
/proc/20538/statm: 28282 349 296 221 0 87 0
[pid=20541] ppid=20538 vsize=15012476 memory=85544 CPUtime=0.26 cores=1,3,5,7
/proc/20541/stat : 20541 (java) S 20538 20538 19383 0 -1 1077944320 9762 0 0 0 23 3 0 0 20 0 15 0 224249918 15372775424 21386 33554432000 4194304 4196468 140734717411024 140734717393568 140309077667575 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
/proc/20541/statm: 3753119 21386 2879 1 0 3715579 0
[pid=20541/tid=20542] ppid=20538 vsize=15012476 memory=8514701219881124769 CPUtime=0.19 cores=1,3,5,7
/proc/20541/task/20542/stat : 20542 (java) R 20538 20538 19383 0 -1 4202560 7668 0 0 0 17 2 0 0 20 0 15 0 224249919 15372775424 21386 33554432000 4194304 4196468 140734717411024 140309049492384 140308545409024 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20543] ppid=20538 vsize=15012476 memory=3472468774450230960 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20543/stat : 20543 (java) S 20538 20538 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224249920 15372775424 21386 33554432000 4194304 4196468 140734717411024 140309081909776 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20544] ppid=20538 vsize=15012476 memory=140478222550656 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20544/stat : 20544 (java) S 20538 20538 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224249920 15372775424 21386 33554432000 4194304 4196468 140734717411024 140308872993424 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20545] ppid=20538 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20545/stat : 20545 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249920 15372775424 21386 33554432000 4194304 4196468 140734717411024 140308871940368 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20546] ppid=20538 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20546/stat : 20546 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249920 15372775424 21386 33554432000 4194304 4196468 140734717411024 140308870887824 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20547] ppid=20538 vsize=15012476 memory=140478222550656 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20547/stat : 20547 (java) S 20538 20538 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224249922 15372775424 21386 33554432000 4194304 4196468 140734717411024 140308048067312 140309077678722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20548] ppid=20538 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20548/stat : 20548 (java) S 20538 20538 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224249922 15372775424 21386 33554432000 4194304 4196468 140734717411024 140307656074912 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20549] ppid=20538 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20549/stat : 20549 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249923 15372775424 21386 33554432000 4194304 4196468 140734717411024 140307387639024 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20550] ppid=20538 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20550/stat : 20550 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224249925 15372775424 21386 33554432000 4194304 4196468 140734717411024 140307013130704 140309077686171 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20551] ppid=20538 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20551/stat : 20551 (java) S 20538 20538 19383 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 15 0 224249925 15372775424 21386 33554432000 4194304 4196468 140734717411024 140308047014128 140309077678722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20552] ppid=20538 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20552/stat : 20552 (java) S 20538 20538 19383 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 224249925 15372775424 21386 33554432000 4194304 4196468 140734717411024 140308045961584 140309077678722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20553] ppid=20538 vsize=15012476 memory=140478222550656 CPUtime=0.03 cores=1,3,5,7
/proc/20541/task/20553/stat : 20553 (java) R 20538 20538 19383 0 -1 4202560 297 0 0 0 3 0 0 0 20 0 15 0 224249925 15372775424 21386 33554432000 4194304 4196468 140734717411024 140308044908528 140309056586070 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20554] ppid=20538 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20554/stat : 20554 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224249925 15372775424 21386 33554432000 4194304 4196468 140734717411024 140306515224928 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20555] ppid=20538 vsize=15012476 memory=140478222550656 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20555/stat : 20555 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249925 15372775424 21386 33554432000 4194304 4196468 140734717411024 140308043856944 140309077678722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86940 KiB
[startup+0.310852 s]*
/proc/loadavg: 2.29 2.08 2.01 3/225 20555
/proc/meminfo: memFree=11566200/32770624 swapFree=67108860/67108860
[pid=20538] ppid=20535 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20538/stat : 20538 (scop.sh) S 20535 20538 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224249918 115843072 349 33554432000 4194304 5098028 140724071839600 140724071836856 139742218863228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21708800 140724071846977 140724071847175 140724071847175 140724071849933 0
/proc/20538/statm: 28282 349 296 221 0 87 0
[pid=20541] ppid=20538 vsize=15012476 memory=89688 CPUtime=0.42 cores=1,3,5,7
/proc/20541/stat : 20541 (java) S 20538 20538 19383 0 -1 1077944320 10384 0 0 0 39 3 0 0 20 0 15 0 224249918 15372775424 22422 33554432000 4194304 4196468 140734717411024 140734717393568 140309077667575 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
/proc/20541/statm: 3753119 22422 2988 1 0 3715579 0
[pid=20541/tid=20542] ppid=20538 vsize=15012476 memory=8514701219881124769 CPUtime=0.29 cores=1,3,5,7
/proc/20541/task/20542/stat : 20542 (java) R 20538 20538 19383 0 -1 4202560 8103 0 0 0 27 2 0 0 20 0 15 0 224249919 15372775424 22422 33554432000 4194304 4196468 140734717411024 140309049462576 140309077689501 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20543] ppid=20538 vsize=15012476 memory=3472468774450230960 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20543/stat : 20543 (java) S 20538 20538 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224249920 15372775424 22422 33554432000 4194304 4196468 140734717411024 140309081909776 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20544] ppid=20538 vsize=15012476 memory=280956335262592 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20544/stat : 20544 (java) S 20538 20538 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224249920 15372775424 22422 33554432000 4194304 4196468 140734717411024 140308872993424 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20545] ppid=20538 vsize=15012476 memory=280956225456160 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20545/stat : 20545 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249920 15372775424 22422 33554432000 4194304 4196468 140734717411024 140308871940368 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20546] ppid=20538 vsize=15012476 memory=140478112711951 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20546/stat : 20546 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249920 15372775424 22422 33554432000 4194304 4196468 140734717411024 140308870887824 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20547] ppid=20538 vsize=15012476 memory=280956335269504 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20547/stat : 20547 (java) S 20538 20538 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224249922 15372775424 22422 33554432000 4194304 4196468 140734717411024 140308048067312 140309077678722 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20548] ppid=20538 vsize=15012476 memory=140478112716559 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20548/stat : 20548 (java) S 20538 20538 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224249922 15372775424 22422 33554432000 4194304 4196468 140734717411024 140307656074912 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20549] ppid=20538 vsize=15012476 memory=140478112738551 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20549/stat : 20549 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249923 15372775424 22422 33554432000 4194304 4196468 140734717411024 140307387639024 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20550] ppid=20538 vsize=15012476 memory=280956225465376 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20550/stat : 20550 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224249925 15372775424 22422 33554432000 4194304 4196468 140734717411024 140307013130704 140309077686171 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20551] ppid=20538 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20541/task/20551/stat : 20551 (java) R 20538 20538 19383 0 -1 1077944384 543 0 0 0 2 0 0 0 20 0 15 0 224249925 15372775424 22422 33554432000 4194304 4196468 140734717411024 140308047014128 140309077678722 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20552] ppid=20538 vsize=15012476 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20541/task/20552/stat : 20552 (java) R 20538 20538 19383 0 -1 4202560 65 0 0 0 2 0 0 0 20 0 15 0 224249925 15372775424 22422 33554432000 4194304 4196468 140734717411024 140308045961584 140309061153509 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20553] ppid=20538 vsize=15012476 memory=140478222550656 CPUtime=0.07 cores=1,3,5,7
/proc/20541/task/20553/stat : 20553 (java) R 20538 20538 19383 0 -1 4202560 341 0 0 0 7 0 0 0 20 0 15 0 224249925 15372775424 22422 33554432000 4194304 4196468 140734717411024 140308044908528 140309056803513 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20554] ppid=20538 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20554/stat : 20554 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224249925 15372775424 22422 33554432000 4194304 4196468 140734717411024 140306515224928 140309077677781 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20555] ppid=20538 vsize=15012476 memory=140478222552052 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20555/stat : 20555 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249925 15372775424 22422 33554432000 4194304 4196468 140734717411024 140308043856944 140309077678722 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91084 KiB
[startup+0.700752 s]
/proc/loadavg: 2.29 2.08 2.01 3/225 20555
/proc/meminfo: memFree=11541892/32770624 swapFree=67108860/67108860
[pid=20538] ppid=20535 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20538/stat : 20538 (scop.sh) S 20535 20538 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224249918 115843072 349 33554432000 4194304 5098028 140724071839600 140724071836856 139742218863228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21708800 140724071846977 140724071847175 140724071847175 140724071849933 0
/proc/20538/statm: 28282 349 296 221 0 87 0
[pid=20541] ppid=20538 vsize=15020872 memory=130016 CPUtime=1.01 cores=1,3,5,7
/proc/20541/stat : 20541 (java) S 20538 20538 19383 0 -1 1077944320 17615 0 0 0 95 6 0 0 20 0 15 0 224249918 15381372928 32504 33554432000 4194304 4196468 140734717411024 140734717393568 140309077667575 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
/proc/20541/statm: 3755218 32504 3147 1 0 3716603 0
[pid=20541/tid=20542] ppid=20538 vsize=15020872 memory=57 CPUtime=0.67 cores=1,3,5,7
/proc/20541/task/20542/stat : 20542 (java) R 20538 20538 19383 0 -1 4202560 14890 0 0 0 62 5 0 0 20 0 15 0 224249919 15381372928 32504 33554432000 4194304 4196468 140734717411024 140309049500432 140309077689501 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20543] ppid=20538 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20543/stat : 20543 (java) S 20538 20538 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224249920 15381372928 32504 33554432000 4194304 4196468 140734717411024 140309081909776 140309077677781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20544] ppid=20538 vsize=15020872 memory=7886766292050393141 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20544/stat : 20544 (java) S 20538 20538 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224249920 15381372928 32504 33554432000 4194304 4196468 140734717411024 140308872993424 140309077677781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20545] ppid=20538 vsize=15020872 memory=7518566439143952480 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20545/stat : 20545 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249920 15381372928 32504 33554432000 4194304 4196468 140734717411024 140308871940368 140309077677781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20546] ppid=20538 vsize=15020872 memory=7372762397046498368 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20546/stat : 20546 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249920 15381372928 32504 33554432000 4194304 4196468 140734717411024 140308870887824 140309077677781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20547] ppid=20538 vsize=15020872 memory=2319389199337275488 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20547/stat : 20547 (java) S 20538 20538 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224249922 15381372928 32504 33554432000 4194304 4196468 140734717411024 140308048067312 140309077678722 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20548] ppid=20538 vsize=15020872 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20548/stat : 20548 (java) S 20538 20538 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224249922 15381372928 32504 33554432000 4194304 4196468 140734717411024 140307656074912 140309077677781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20549] ppid=20538 vsize=15020872 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20549/stat : 20549 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249923 15381372928 32504 33554432000 4194304 4196468 140734717411024 140307387639024 140309077677781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20550] ppid=20538 vsize=15020872 memory=968 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20550/stat : 20550 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224249925 15381372928 32504 33554432000 4194304 4196468 140734717411024 140307013130704 140309077686171 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20551] ppid=20538 vsize=15020872 memory=12144 CPUtime=0.08 cores=1,3,5,7
/proc/20541/task/20551/stat : 20551 (java) S 20538 20538 19383 0 -1 1077944384 771 0 0 0 8 0 0 0 20 0 15 0 224249925 15381372928 32504 33554432000 4194304 4196468 140734717411024 140308047014128 140309077678722 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20552] ppid=20538 vsize=15020872 memory=1712 CPUtime=0.07 cores=1,3,5,7
/proc/20541/task/20552/stat : 20552 (java) R 20538 20538 19383 0 -1 1077944384 156 0 0 0 7 0 0 0 20 0 15 0 224249925 15381372928 32504 33554432000 4194304 4196468 140734717411024 140308045961584 140309077678722 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20553] ppid=20538 vsize=15020872 memory=8812 CPUtime=0.16 cores=1,3,5,7
/proc/20541/task/20553/stat : 20553 (java) S 20538 20538 19383 0 -1 1077944384 463 0 0 0 16 0 0 0 20 0 15 0 224249925 15381372928 32504 33554432000 4194304 4196468 140734717411024 140308044908528 140309077678722 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20554] ppid=20538 vsize=15020872 memory=4576 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20554/stat : 20554 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224249925 15381372928 32504 33554432000 4194304 4196468 140734717411024 140306515224928 140309077677781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
[pid=20541/tid=20555] ppid=20538 vsize=15020872 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20555/stat : 20555 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224249925 15381372928 32504 33554432000 4194304 4196468 140734717411024 140308043856944 140309077678722 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26648576 140734717416455 140734717416753 140734717416753 140734717419471 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131412 KiB
[startup+1.50097 s]
/proc/loadavg: 2.29 2.08 2.01 4/225 20555
/proc/meminfo: memFree=11515404/32770624 swapFree=67108860/67108860
[pid=20538] ppid=20535 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/20538/stat : 20538 (scop.sh) S 20535 20538 19383 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224249918 115843072 349 33554432000 4194304 5098028 140724071839600 140724071836856 139742218863228 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21708800 140724071846977 140724071847175 140724071847175 140724071849933 0
/proc/20538/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/20556/task/20572/stat : 20572 (java) S 20538 20538 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224250256 8261857280 28547 33554432000 4194304 4196468 140724333595600 140453081265856 140453267533593 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20574] ppid=20538 vsize=8068220 memory=-7824251494390650982 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20574/stat : 20574 (java) S 20538 20538 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224250257 8261857280 28547 33554432000 4194304 4196468 140724333595600 140450597941008 140453267530909 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20575] ppid=20538 vsize=8068220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20575/stat : 20575 (java) S 20538 20538 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224250257 8261857280 28547 33554432000 4194304 4196468 140724333595600 140450732162704 140453267530909 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20576] ppid=20538 vsize=8068220 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20576/stat : 20576 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224250259 8261857280 28547 33554432000 4194304 4196468 140724333595600 140450329517216 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
Current children cumulated CPU time: 453.56 s
Current children cumulated vsize: 8251688 KiB
Current children cumulated memory: 169588 KiB
[startup+451.201 s]
/proc/loadavg: 2.00 2.03 2.02 3/231 20585
/proc/meminfo: memFree=11475804/32770624 swapFree=67108860/67108860
[pid=20538] ppid=20535 vsize=113128 memory=1472 CPUtime=6.05 cores=1,3,5,7
/proc/20538/stat : 20538 (scop.sh) S 20535 20538 19383 0 -1 4202496 591 25678 0 0 0 0 589 16 20 0 1 0 224249918 115843072 368 33554432000 4194304 5098028 140724071839600 140724071836344 139742218863228 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21708800 140724071846977 140724071847175 140724071847175 140724071849933 0
/proc/20538/statm: 28282 368 311 221 0 87 0
[pid=20556] ppid=20538 vsize=8068220 memory=114188 CPUtime=1.29 cores=1,3,5,7
/proc/20556/stat : 20556 (java) S 20538 20538 19383 0 -1 1077944320 17871 0 0 0 114 15 0 0 20 0 19 0 224250186 8261857280 28547 33554432000 4194304 4196468 140724333595600 140724333578144 140453267508983 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
/proc/20556/statm: 2017055 28547 3153 1 0 1978454 0
[pid=20571] ppid=20556 vsize=70340 memory=53928 CPUtime=447.82 cores=1,3,5,7
/proc/20571/stat : 20571 (minisat_release) R 20556 20538 19383 0 -1 4202496 66151 0 0 0 44774 8 0 0 20 0 1 0 224250256 72028160 13482 33554432000 4194304 4308513 140736160447904 140736160444904 4262700 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 39624704 140736160449652 140736160449750 140736160449750 140736160452549 0
/proc/20571/statm: 17585 13482 341 28 0 13825 0
[pid=20556/tid=20557] ppid=20538 vsize=8068220 memory=53928 CPUtime=0.73 cores=1,3,5,7
/proc/20556/task/20557/stat : 20557 (java) S 20538 20538 19383 0 -1 1077944384 14981 0 0 0 69 4 0 0 20 0 19 0 224250186 8261857280 28547 33554432000 4194304 4196468 140724333595600 140453239349136 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20558] ppid=20538 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20558/stat : 20558 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224250188 8261857280 28547 33554432000 4194304 4196468 140724333595600 140453271751312 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20559] ppid=20538 vsize=8068220 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20559/stat : 20559 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224250188 8261857280 28547 33554432000 4194304 4196468 140724333595600 140453085907472 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20560] ppid=20538 vsize=8068220 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20560/stat : 20560 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224250188 8261857280 28547 33554432000 4194304 4196468 140724333595600 140453084854672 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20561] ppid=20538 vsize=8068220 memory=644 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20561/stat : 20561 (java) S 20538 20538 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224250188 8261857280 28547 33554432000 4194304 4196468 140724333595600 140453083801872 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20562] ppid=20538 vsize=8068220 memory=-7824251494390650982 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20562/stat : 20562 (java) S 20538 20538 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224250189 8261857280 28547 33554432000 4194304 4196468 140724333595600 140452645763952 140453267520130 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20563] ppid=20538 vsize=8068220 memory=53928 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20563/stat : 20563 (java) S 20538 20538 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224250189 8261857280 28547 33554432000 4194304 4196468 140724333595600 140452141458976 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20564] ppid=20538 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20564/stat : 20564 (java) S 20538 20538 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224250190 8261857280 28547 33554432000 4194304 4196468 140724333595600 140452007236976 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20565] ppid=20538 vsize=8068220 memory=118364 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20565/stat : 20565 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224250192 8261857280 28547 33554432000 4194304 4196468 140724333595600 140451632732496 140453267527579 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20566] ppid=20538 vsize=8068220 memory=-7824251494390650982 CPUtime=0.08 cores=1,3,5,7
/proc/20556/task/20566/stat : 20566 (java) S 20538 20538 19383 0 -1 1077944384 734 0 0 0 8 0 0 0 20 0 19 0 224250192 8261857280 28547 33554432000 4194304 4196468 140724333595600 140452644710768 140453267520130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20567] ppid=20538 vsize=8068220 memory=114188 CPUtime=0.08 cores=1,3,5,7
/proc/20556/task/20567/stat : 20567 (java) S 20538 20538 19383 0 -1 1077944384 204 0 0 0 8 0 0 0 20 0 19 0 224250192 8261857280 28547 33554432000 4194304 4196468 140724333595600 140452643657968 140453267520130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20568] ppid=20538 vsize=8068220 memory=53928 CPUtime=0.17 cores=1,3,5,7
/proc/20556/task/20568/stat : 20568 (java) S 20538 20538 19383 0 -1 1077944384 494 0 0 0 17 0 0 0 20 0 19 0 224250192 8261857280 28547 33554432000 4194304 4196468 140724333595600 140452642605168 140453267520130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20569] ppid=20538 vsize=8068220 memory=4576 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20569/stat : 20569 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224250192 8261857280 28547 33554432000 4194304 4196468 140724333595600 140451134826720 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20570] ppid=20538 vsize=8068220 memory=60984 CPUtime=0.18 cores=1,3,5,7
/proc/20556/task/20570/stat : 20570 (java) S 20538 20538 19383 0 -1 1077944384 31 0 0 0 8 10 0 0 20 0 19 0 224250192 8261857280 28547 33554432000 4194304 4196468 140724333595600 140452641553584 140453267520130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20572] ppid=20538 vsize=8068220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20572/stat : 20572 (java) S 20538 20538 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224250256 8261857280 28547 33554432000 4194304 4196468 140724333595600 140453081265856 140453267533593 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20574] ppid=20538 vsize=8068220 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20574/stat : 20574 (java) S 20538 20538 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224250257 8261857280 28547 33554432000 4194304 4196468 140724333595600 140450597941008 140453267530909 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20575] ppid=20538 vsize=8068220 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20575/stat : 20575 (java) S 20538 20538 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224250257 8261857280 28547 33554432000 4194304 4196468 140724333595600 140450732162704 140453267530909 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20576] ppid=20538 vsize=8068220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20576/stat : 20576 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224250259 8261857280 28547 33554432000 4194304 4196468 140724333595600 140450329517216 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
Current children cumulated CPU time: 455.16 s
Current children cumulated vsize: 8251688 KiB
Current children cumulated memory: 169588 KiB
[startup+451.601 s]
/proc/loadavg: 2.00 2.03 2.02 3/231 20585
/proc/meminfo: memFree=11475804/32770624 swapFree=67108860/67108860
[pid=20538] ppid=20535 vsize=113128 memory=1472 CPUtime=6.05 cores=1,3,5,7
/proc/20538/stat : 20538 (scop.sh) S 20535 20538 19383 0 -1 4202496 591 25678 0 0 0 0 589 16 20 0 1 0 224249918 115843072 368 33554432000 4194304 5098028 140724071839600 140724071836344 139742218863228 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21708800 140724071846977 140724071847175 140724071847175 140724071849933 0
/proc/20538/statm: 28282 368 311 221 0 87 0
[pid=20556] ppid=20538 vsize=8068220 memory=114188 CPUtime=1.29 cores=1,3,5,7
/proc/20556/stat : 20556 (java) S 20538 20538 19383 0 -1 1077944320 17871 0 0 0 114 15 0 0 20 0 19 0 224250186 8261857280 28547 33554432000 4194304 4196468 140724333595600 140724333578144 140453267508983 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
/proc/20556/statm: 2017055 28547 3153 1 0 1978454 0
[pid=20571] ppid=20556 vsize=70340 memory=53928 CPUtime=448.22 cores=1,3,5,7
/proc/20571/stat : 20571 (minisat_release) R 20556 20538 19383 0 -1 4202496 66155 0 0 0 44814 8 0 0 20 0 1 0 224250256 72028160 13482 33554432000 4194304 4308513 140736160447904 140736160444904 4276123 0 4 0 8396802 0 0 0 17 5 0 0 0 0 0 6409496 6410680 39624704 140736160449652 140736160449750 140736160449750 140736160452549 0
/proc/20571/statm: 17585 13482 341 28 0 13825 0
[pid=20556/tid=20557] ppid=20538 vsize=8068220 memory=-7824251494390650982 CPUtime=0.73 cores=1,3,5,7
/proc/20556/task/20557/stat : 20557 (java) S 20538 20538 19383 0 -1 1077944384 14981 0 0 0 69 4 0 0 20 0 19 0 224250186 8261857280 28547 33554432000 4194304 4196468 140724333595600 140453239349136 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20558] ppid=20538 vsize=8068220 memory=60984 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20558/stat : 20558 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224250188 8261857280 28547 33554432000 4194304 4196468 140724333595600 140453271751312 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20559] ppid=20538 vsize=8068220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20559/stat : 20559 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224250188 8261857280 28547 33554432000 4194304 4196468 140724333595600 140453085907472 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20560] ppid=20538 vsize=8068220 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20560/stat : 20560 (java) S 20538 20538 19383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224250188 8261857280 28547 33554432000 4194304 4196468 140724333595600 140453084854672 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20561] ppid=20538 vsize=8068220 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20561/stat : 20561 (java) S 20538 20538 19383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224250188 8261857280 28547 33554432000 4194304 4196468 140724333595600 140453083801872 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20562] ppid=20538 vsize=8068220 memory=792 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20562/stat : 20562 (java) S 20538 20538 19383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224250189 8261857280 28547 33554432000 4194304 4196468 140724333595600 140452645763952 140453267520130 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20563] ppid=20538 vsize=8068220 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20563/stat : 20563 (java) S 20538 20538 19383 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224250189 8261857280 28547 33554432000 4194304 4196468 140724333595600 140452141458976 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20564] ppid=20538 vsize=8068220 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20564/stat : 20564 (java) S 20538 20538 19383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 224250190 8261857280 28547 33554432000 4194304 4196468 140724333595600 140452007236976 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20565] ppid=20538 vsize=8068220 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20565/stat : 20565 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224250192 8261857280 28547 33554432000 4194304 4196468 140724333595600 140451632732496 140453267527579 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20566] ppid=20538 vsize=8068220 memory=1472 CPUtime=0.08 cores=1,3,5,7
/proc/20556/task/20566/stat : 20566 (java) S 20538 20538 19383 0 -1 1077944384 734 0 0 0 8 0 0 0 20 0 19 0 224250192 8261857280 28547 33554432000 4194304 4196468 140724333595600 140452644710768 140453267520130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20567] ppid=20538 vsize=8068220 memory=118364 CPUtime=0.08 cores=1,3,5,7
/proc/20556/task/20567/stat : 20567 (java) S 20538 20538 19383 0 -1 1077944384 204 0 0 0 8 0 0 0 20 0 19 0 224250192 8261857280 28547 33554432000 4194304 4196468 140724333595600 140452643657968 140453267520130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20568] ppid=20538 vsize=8068220 memory=59624 CPUtime=0.17 cores=1,3,5,7
/proc/20556/task/20568/stat : 20568 (java) S 20538 20538 19383 0 -1 1077944384 494 0 0 0 17 0 0 0 20 0 19 0 224250192 8261857280 28547 33554432000 4194304 4196468 140724333595600 140452642605168 140453267520130 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20569] ppid=20538 vsize=8068220 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20569/stat : 20569 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224250192 8261857280 28547 33554432000 4194304 4196468 140724333595600 140451134826720 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20570] ppid=20538 vsize=8068220 memory=3304 CPUtime=0.18 cores=1,3,5,7
/proc/20556/task/20570/stat : 20570 (java) S 20538 20538 19383 0 -1 1077944384 31 0 0 0 8 10 0 0 20 0 19 0 224250192 8261857280 28547 33554432000 4194304 4196468 140724333595600 140452641553584 140453267520130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20572] ppid=20538 vsize=8068220 memory=1472 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20572/stat : 20572 (java) S 20538 20538 19383 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 224250256 8261857280 28547 33554432000 4194304 4196468 140724333595600 140453081265856 140453267533593 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20574] ppid=20538 vsize=8068220 memory=114188 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20574/stat : 20574 (java) S 20538 20538 19383 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 224250257 8261857280 28547 33554432000 4194304 4196468 140724333595600 140450597941008 140453267530909 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20575] ppid=20538 vsize=8068220 memory=53928 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20575/stat : 20575 (java) S 20538 20538 19383 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 224250257 8261857280 28547 33554432000 4194304 4196468 140724333595600 140450732162704 140453267530909 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20576] ppid=20538 vsize=8068220 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/20556/task/20576/stat : 20576 (java) S 20538 20538 19383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224250259 8261857280 28547 33554432000 4194304 4196468 140724333595600 140450329517216 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
Current children cumulated CPU time: 455.56 s
Current children cumulated vsize: 8251688 KiB
Current children cumulated memory: 169588 KiB
[startup+452.001 s]*
/proc/loadavg: 2.00 2.03 2.02 3/228 20585
/proc/meminfo: memFree=11525636/32770624 swapFree=67108860/67108860
[pid=20538] ppid=20535 vsize=113128 memory=1472 CPUtime=6.05 cores=1,3,5,7
/proc/20538/stat : 20538 (scop.sh) S 20535 20538 19383 0 -1 4202496 591 25678 0 0 0 0 589 16 20 0 1 0 224249918 115843072 368 33554432000 4194304 5098028 140724071839600 140724071836344 139742218863228 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21708800 140724071846977 140724071847175 140724071847175 140724071849933 0
/proc/20538/statm: 28282 368 311 221 0 87 0
[pid=20556] ppid=20538 vsize=7937144 memory=117632 CPUtime=449.96 cores=1,3,5,7
/proc/20556/stat : 20556 (java) S 20538 20538 19383 0 -1 1077944320 18171 66180 0 0 121 16 44851 8 20 0 17 0 224250186 8127635456 29408 33554432000 4194304 4196468 140724333595600 140724333578144 140453267508983 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
/proc/20556/statm: 1984286 29408 3157 1 0 1945685 0
[pid=20556/tid=20557] ppid=20538 vsize=7937144 memory=6791534058613427641 CPUtime=449.34 cores=1,3,5,7
/proc/20556/task/20557/stat : 20557 (java) R 20538 20538 19383 0 -1 4202560 15120 66180 0 0 71 4 44851 8 20 0 17 0 224250186 8127635456 29408 33554432000 4194304 4196468 140724333595600 140453239338736 140453251589470 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20558] ppid=20538 vsize=7937144 memory=-7003737579269690708 CPUtime=448.59 cores=1,3,5,7
/proc/20556/task/20558/stat : 20558 (java) S 20538 20538 19383 0 -1 1077944384 1 66180 0 0 0 0 44851 8 20 0 17 0 224250188 8127635456 29408 33554432000 4194304 4196468 140724333595600 140453271751312 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20559] ppid=20538 vsize=7937144 memory=34904 CPUtime=448.59 cores=1,3,5,7
/proc/20556/task/20559/stat : 20559 (java) S 20538 20538 19383 0 -1 1077944384 1 66180 0 0 0 0 44851 8 20 0 17 0 224250188 8127635456 29408 33554432000 4194304 4196468 140724333595600 140453085907472 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20560] ppid=20538 vsize=7937144 memory=18220 CPUtime=448.59 cores=1,3,5,7
/proc/20556/task/20560/stat : 20560 (java) S 20538 20538 19383 0 -1 1077944384 1 66180 0 0 0 0 44851 8 20 0 17 0 224250188 8127635456 29408 33554432000 4194304 4196468 140724333595600 140453084854672 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20561] ppid=20538 vsize=7937144 memory=1788 CPUtime=448.59 cores=1,3,5,7
/proc/20556/task/20561/stat : 20561 (java) S 20538 20538 19383 0 -1 1077944384 2 66180 0 0 0 0 44851 8 20 0 17 0 224250188 8127635456 29408 33554432000 4194304 4196468 140724333595600 140453083801872 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20562] ppid=20538 vsize=7937144 memory=1232 CPUtime=448.59 cores=1,3,5,7
/proc/20556/task/20562/stat : 20562 (java) S 20538 20538 19383 0 -1 1077944384 5 66180 0 0 0 0 44851 8 20 0 17 0 224250189 8127635456 29408 33554432000 4194304 4196468 140724333595600 140452645763952 140453267520130 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20563] ppid=20538 vsize=7937144 memory=644 CPUtime=448.59 cores=1,3,5,7
/proc/20556/task/20563/stat : 20563 (java) S 20538 20538 19383 0 -1 1077944384 13 66180 0 0 0 0 44851 8 20 0 17 0 224250189 8127635456 29408 33554432000 4194304 4196468 140724333595600 140452141458976 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20564] ppid=20538 vsize=7937144 memory=3560 CPUtime=448.59 cores=1,3,5,7
/proc/20556/task/20564/stat : 20564 (java) S 20538 20538 19383 0 -1 1077944384 21 66180 0 0 0 0 44851 8 20 0 17 0 224250190 8127635456 29408 33554432000 4194304 4196468 140724333595600 140452007236976 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20565] ppid=20538 vsize=7937144 memory=60984 CPUtime=448.59 cores=1,3,5,7
/proc/20556/task/20565/stat : 20565 (java) S 20538 20538 19383 0 -1 1077944384 3 66180 0 0 0 0 44851 8 20 0 17 0 224250192 8127635456 29408 33554432000 4194304 4196468 140724333595600 140451632732496 140453267527579 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20566] ppid=20538 vsize=7937144 memory=5772 CPUtime=448.68 cores=1,3,5,7
/proc/20556/task/20566/stat : 20566 (java) S 20538 20538 19383 0 -1 1077944384 750 66180 0 0 9 0 44851 8 20 0 17 0 224250192 8127635456 29408 33554432000 4194304 4196468 140724333595600 140452644710768 140453267520130 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20567] ppid=20538 vsize=7937144 memory=1444 CPUtime=448.67 cores=1,3,5,7
/proc/20556/task/20567/stat : 20567 (java) S 20538 20538 19383 0 -1 1077944384 221 66180 0 0 8 0 44851 8 20 0 17 0 224250192 8127635456 29408 33554432000 4194304 4196468 140724333595600 140452643657968 140453267520130 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20568] ppid=20538 vsize=7937144 memory=1160 CPUtime=448.78 cores=1,3,5,7
/proc/20556/task/20568/stat : 20568 (java) S 20538 20538 19383 0 -1 1077944384 532 66180 0 0 19 0 44851 8 20 0 17 0 224250192 8127635456 29408 33554432000 4194304 4196468 140724333595600 140452642605168 140453267520130 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20569] ppid=20538 vsize=7937144 memory=968 CPUtime=448.59 cores=1,3,5,7
/proc/20556/task/20569/stat : 20569 (java) S 20538 20538 19383 0 -1 1077944384 3 66180 0 0 0 0 44851 8 20 0 17 0 224250192 8127635456 29408 33554432000 4194304 4196468 140724333595600 140451134826720 140453267519189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20570] ppid=20538 vsize=7937144 memory=12144 CPUtime=448.77 cores=1,3,5,7
/proc/20556/task/20570/stat : 20570 (java) S 20538 20538 19383 0 -1 1077944384 31 66180 0 0 8 10 44851 8 20 0 17 0 224250192 8127635456 29408 33554432000 4194304 4196468 140724333595600 140452641553584 140453267520130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20572] ppid=20538 vsize=7937144 memory=1712 CPUtime=448.59 cores=1,3,5,7
/proc/20556/task/20572/stat : 20572 (java) S 20538 20538 19383 0 -1 1077944384 30 66180 0 0 0 0 44851 8 20 0 17 0 224250256 8127635456 29408 33554432000 4194304 4196468 140724333595600 140453081265040 140453267520130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
[pid=20556/tid=20576] ppid=20538 vsize=7937144 memory=8812 CPUtime=448.59 cores=1,3,5,7
/proc/20556/task/20576/stat : 20576 (java) S 20538 20538 19383 0 -1 1077944384 7 66180 0 0 0 0 44851 8 20 0 17 0 224250259 8127635456 29408 33554432000 4194304 4196468 140724333595600 140450329519024 140453267520130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140724333601973 140724333602097 140724333602097 140724333604815 0
Current children cumulated CPU time: 456.01 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 119104 KiB
Child status: 0
Real time (s): 452.065
CPU time (s): 456.132
CPU user time (s): 455.705
CPU system time (s): 0.42637
CPU usage (%): 100.9
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 535736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 455.705
system time used= 0.42637
maximum resident set size= 540276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15158
involuntary context switches= 135
# summary of solver processes directly reported to runsolver:
# pid: 20538
# total CPU time (s): 456.132
# total CPU user time (s): 455.705
# total CPU system time (s): 0.42637
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.0975 second user time and 4.02172 second system time
The end