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-6601-serial-file.bin HOME/instance-4305352-1534072508.xml
0.65/0.52
0.65/0.52 scop order+minisat_release (2018-07-31)
0.65/0.52 (Encoding Process)
0.65/0.52
0.65/0.55 c BEGIN-Prog: Sun Aug 12 13:15:09 CEST 2018
0.65/0.55 c PID: 6604
0.65/0.55 c IP: 172.20.3.151
0.65/0.55 c HOST: node151.alineos.net
0.65/0.55 c (0,0) Parsing Begin
1.19/0.88 c (0,0) Parsing End
1.19/0.88 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 48 ctr, max domain size 32
1.19/0.88 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.88 c (0,0) Constraint Name Generate Begin
1.19/0.89 c (0,0) Ctr:HOME/instance-4305352-1534072508.xml,Add:Element:Eq:IntVar:Num
1.19/0.89 c (0,0) Constraint Name Generate End
1.19/0.89 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.89 c (0,0) CSP to CSPinCNF Begin
1.55/1.09 c (0,0) translated 5 (10%) constraints
1.83/1.16 c (0,0) translated 10 (20%) constraints
2.09/1.21 c (0,0) translated 15 (30%) constraints
2.09/1.24 c (0,0) translated 20 (40%) constraints
2.09/1.25 c (0,0) translated 24 (50%) constraints
2.09/1.27 c (0,0) translated 29 (60%) constraints
2.09/1.29 c (0,0) translated 34 (70%) constraints
2.09/1.29 c (0,0) translated 39 (80%) constraints
2.09/1.30 c (0,0) translated 44 (90%) constraints
2.09/1.30 c (0,0) translated 48 (100%) constraints
2.36/1.34 c (0,0) STATISTICS1:HOME/instance-4305352-1534072508.xml,Add:Element:Eq:IntVar:Num,64,1040,30,30,3,2,30:2;29:2;28:2;27:2;26:2;25:2;24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2,30:66;29:66;28:66;27:66;26:66;25:66;24:66;23:66;22:66;21:66;20:66;19:66;18:66;17:66;16:1090;15:66,3:1024;1:16,2:32;1:3072,
2.36/1.34 c (0,0) ==========================================
2.36/1.34 c (0,0) Order
2.36/1.34 c (0,0) ==========================================
2.63/1.40 c (0,0) translated 104 (10%) constraints
2.63/1.43 c (0,0) translated 208 (20%) constraints
2.63/1.46 c (0,0) translated 312 (30%) constraints
2.63/1.48 c (0,0) translated 416 (40%) constraints
2.91/1.51 c (0,0) translated 520 (50%) constraints
2.91/1.52 c (0,0) translated 624 (60%) constraints
2.91/1.54 c (1,1) translated 728 (70%) constraints
2.91/1.55 c (1,1) translated 832 (80%) constraints
2.91/1.56 c (1,1) translated 936 (90%) constraints
2.91/1.58 c (1,1) translated 1040 (100%) constraints
2.91/1.58 c (1,1) CSP to CSPinCNF End
2.91/1.59 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 3104 ctr, max domain size 30
2.91/1.59 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.91/1.59 c (1,1) CSPinCNF Propagation Begin
3.26/1.65 c (1,1) 0 values, 368 unsatisfiable literals, and 432 valid clauses are removed
3.26/1.65 c (1,1) CSPinCNF Propagation End
3.26/1.65 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30
3.26/1.65 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.26/1.65 c (1,1) Simplify CSPinCNF Begin
3.26/1.66 c (1,1) Simplify CSPinCNF End
3.26/1.66 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30
3.26/1.66 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.26/1.66 c (1,1) Calculate Precise Domain Begin
3.26/1.67 c (1,1) 0 values are removed by re-calculation
3.26/1.67 c (1,1) Calculate Precise Domain End
3.26/1.67 c (1,1) CSP: 64 int (0 aux), 512 bool (512 aux), 2672 ctr, max domain size 30
3.26/1.67 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.26/1.67 c (1,1) CSPinCNF to SatSolver Begin
3.60/1.73 c (1,1) 268 (10 %) CSP clauses are encoded (1680 SAT variables, 1371 SAT clauses)
3.60/1.74 c (1,1) 535 (20 %) CSP clauses are encoded (1680 SAT variables, 1638 SAT clauses)
3.60/1.75 c (1,1) 802 (30 %) CSP clauses are encoded (1680 SAT variables, 1905 SAT clauses)
3.60/1.75 c (1,1) 1069 (40 %) CSP clauses are encoded (1680 SAT variables, 2172 SAT clauses)
3.60/1.76 c (1,1) 1336 (50 %) CSP clauses are encoded (1680 SAT variables, 2439 SAT clauses)
3.60/1.76 c (1,1) 1604 (60 %) CSP clauses are encoded (1680 SAT variables, 2707 SAT clauses)
3.60/1.77 c (1,1) 1871 (70 %) CSP clauses are encoded (1680 SAT variables, 2974 SAT clauses)
3.60/1.77 c (1,1) 2138 (80 %) CSP clauses are encoded (1680 SAT variables, 3241 SAT clauses)
3.60/1.77 c (1,1) 2405 (90 %) CSP clauses are encoded (1680 SAT variables, 3508 SAT clauses)
3.60/1.79 c (1,1) 2672 (100 %) CSP clauses are encoded (1680 SAT variables, 4418 SAT clauses)
3.60/1.79 c (1,1) Launch Command will be: minisat_release
3.60/1.79 c (1,1) CSPinCNF to SatSolver End
3.60/1.79 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.90/1.82 c (1,1) STATISTICS2:HOME/instance-4305352-1534072508.xml,Add:Element:Eq:IntVar:Num,576,2672,30,30,3,2,30:2;29:2;28:2;27:2;26:2;25:2;24:2;23:2;22:2;21:2;20:2;19:2;18:2;17:2;16:2;15:2,30:120;29:116;28:112;27:108;26:104;25:100;24:96;23:92;22:88;21:84;20:80;19:76;18:72;17:68;16:1984;15:60;2:2640,3:656;2:1984;1:32,2:32;1:5936,
3.90/1.82 c (1,1) 1680 bool, 4432 clause
3.90/1.82 c (1,1) Export Begin
4.13/1.90 c (1,1) Export to HOME/scop-6601-serial-file.bin
4.13/1.90 c (1,1) Export End
4.13/1.90 c (1,1) Export File Size: 0.01 MB
4.13/1.90 c (1,1) 0,0,1,1,1,1,1,STOP-AFTER(DIMACS)
4.13/1.90 c END-Prog: Sun Aug 12 13:15:10 CEST 2018
4.13/1.91 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-6601-serial-file.bin
4.77/2.40 c (0,0) Read Serial File Begin
4.77/2.40 c (0,0) HOME/scop-6601-serial-file.bin
4.91/2.56 c (0,0) Read Serial File End
4.91/2.58
4.91/2.58 scop order+minisat_release (2018-07-31)
4.91/2.58 (Solving Process)
4.91/2.58
5.05/2.60 c BEGIN-Prog: Sun Aug 12 13:15:11 CEST 2018
5.05/2.60 c PID: 6619
5.05/2.60 c IP: 172.20.3.151
5.05/2.60 c HOST: node151.alineos.net
5.05/2.60 c (0,0) SatSolver.solve Begin
5.05/2.60 c (0,0) 0 bool, 0 clause
5.05/2.60 c (0,0) minisat_release HOME/instance-4305352-1534072508.xml-scop-6604.cnf
5.05/2.64 c (0,0) c This is COMiniSatPS.
5.05/2.64 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.05/2.64 c (0,0) c ============================[ Problem Statistics ]=============================
5.05/2.64 c (0,0) c | |
5.05/2.64 c (0,0) c | Number of variables: 1680 |
5.05/2.64 c (0,0) c | Number of clauses: 4432 |
5.05/2.64 c (0,0) c | Parse time: 0.00 s |
5.05/2.64 c (0,0) c | Eliminated clauses: 0.02 Mb |
5.05/2.64 c (0,0) c Reduced to 981 vars, 3085 cls (grow=0)
5.05/2.64 c (0,0) c No iterative elimination performed. (vars=981, c/v ratio=3.1)
5.05/2.64 c (0,0) c | Simplification time: 0.00 s |
5.05/2.64 c (0,0) c | |
5.05/2.64 c (0,0) c ============================[ Search Statistics ]==============================
5.05/2.64 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
5.05/2.64 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.05/2.64 c (0,0) c ===============================================================================
5.05/2.64 c (0,0) c ===============================================================================
5.05/2.64 c (0,0) c restarts : 2
5.05/2.64 c (0,0) c conflicts : 421 (25887 /sec)
5.05/2.64 c (0,0) c decisions : 723 (0.00 % random) (44457 /sec)
5.05/2.64 c (0,0) c propagations : 56689 (3485765 /sec)
5.05/2.64 c (0,0) c conflict literals : 14753 (22.75 % deleted)
5.05/2.64 c (0,0) c CPU time : 0.016263 s
5.05/2.64 c (0,0)
5.05/2.64 c (0,0) s SATISFIABLE
5.05/2.67 c (0,0) SatSolver.solve End
5.05/2.67 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
5.05/2.67 c (0,0) Show results Begin
5.31/2.73 s SATISFIABLE
5.31/2.74 v <instantiation>
5.31/2.74 v <list>v[0] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] v[10] v[11] v[12] v[13] v[14] v[15] v[16] v[17] v[18] v[19] v[20] v[21] v[22] v[23] v[24] v[25] v[26] v[27] v[28] v[29] v[30] v[31] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31]</list>
5.31/2.74 v <values>4 16 14 15 7 4 13 5 2 11 12 2 7 5 9 10 8 14 16 15 13 11 6 12 9 8 10 3 1 6 1 3 30 28 11 8 31 27 5 0 13 7 29 22 12 4 25 16 24 14 26 15 21 9 23 10 20 6 17 2 19 3 18 1</values>
5.31/2.74 v </instantiation>
5.39/2.86 c (0,0) Show results End
5.39/2.86 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
5.39/2.86 c (0,0) 0,0,STOP-AFTER(ALL)
5.39/2.86 c END-Prog: Sun Aug 12 13:15:11 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 (2862 MiB free)
memory of node 1: 16384 MiB (5307 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305352-1534072508/watcher-4305352-1534072508 -o /tmp/evaluation-result-4305352-1534072508/solver-4305352-1534072508 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305352-1534072508.xml
running on 4 cores: 0,2,4,6
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=6601, runsolver pid=6598
[startup+0.100089 s]*
/proc/loadavg: 2.15 2.06 2.06 3/222 6618
/proc/meminfo: memFree=8304772/32770624 swapFree=67108860/67108860
[pid=6601] ppid=6598 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6601/stat : 6601 (scop.sh) S 6598 6601 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224813991 115843072 349 33554432000 4194304 5098028 140732546643040 140732546640296 140647091466876 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40366080 140732546651200 140732546651399 140732546651399 140732546654157 0
/proc/6601/statm: 28282 349 296 221 0 87 0
[pid=6604] ppid=6601 vsize=15012476 memory=73560 CPUtime=0.1 cores=0,2,4,6
/proc/6604/stat : 6604 (java) S 6601 6601 3762 0 -1 1077944320 5997 0 0 0 9 1 0 0 20 0 15 0 224813991 15372775424 18390 33554432000 4194304 4196468 140720673435888 140720673418432 140359277776631 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
/proc/6604/statm: 3753119 18390 2771 1 0 3715579 0
[pid=6604/tid=6605] ppid=6601 vsize=15012476 memory=-6526411401870300574 CPUtime=0.09 cores=0,2,4,6
/proc/6604/task/6605/stat : 6605 (java) R 6601 6601 3762 0 -1 4202560 4076 0 0 0 8 1 0 0 20 0 15 0 224813992 15372775424 18390 33554432000 4194304 4196468 140720673435888 140359249588616 140359258051969 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6606] ppid=6601 vsize=15012476 memory=3472468363692340912 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6606/stat : 6606 (java) S 6601 6601 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224813993 15372775424 18390 33554432000 4194304 4196468 140720673435888 140359282018960 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6607] ppid=6601 vsize=15012476 memory=140067464660608 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6607/stat : 6607 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15372775424 18390 33554432000 4194304 4196468 140720673435888 140359073102352 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6608] ppid=6601 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6608/stat : 6608 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15372775424 18390 33554432000 4194304 4196468 140720673435888 140359072049552 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6609] ppid=6601 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6609/stat : 6609 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15372775424 18390 33554432000 4194304 4196468 140720673435888 140359070996752 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6610] ppid=6601 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6610/stat : 6610 (java) S 6601 6601 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224813995 15372775424 18390 33554432000 4194304 4196468 140720673435888 140358616828784 140359277787778 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6611] ppid=6601 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6611/stat : 6611 (java) S 6601 6601 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224813995 15372775424 18390 33554432000 4194304 4196468 140720673435888 140357920613920 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6612] ppid=6601 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6612/stat : 6612 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813996 15372775424 18390 33554432000 4194304 4196468 140720673435888 140357652178288 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6613] ppid=6601 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6613/stat : 6613 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224813998 15372775424 18390 33554432000 4194304 4196468 140720673435888 140357277669712 140359277795227 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6614] ppid=6601 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6614/stat : 6614 (java) S 6601 6601 3762 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 224813998 15372775424 18390 33554432000 4194304 4196468 140720673435888 140358615775600 140359277787778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6615] ppid=6601 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6615/stat : 6615 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224813998 15372775424 18390 33554432000 4194304 4196468 140720673435888 140358614722800 140359277787778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6616] ppid=6601 vsize=15012476 memory=140067464660608 CPUtime=0.01 cores=0,2,4,6
/proc/6604/task/6616/stat : 6616 (java) S 6601 6601 3762 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 15 0 224813998 15372775424 18390 33554432000 4194304 4196468 140720673435888 140358613670000 140359277787778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6617] ppid=6601 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6617/stat : 6617 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224813998 15372775424 18390 33554432000 4194304 4196468 140720673435888 140356779763936 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6618] ppid=6601 vsize=15012476 memory=140067464660608 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6618/stat : 6618 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813998 15372775424 18390 33554432000 4194304 4196468 140720673435888 140358612618416 140359277787778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 74956 KiB
[startup+0.210516 s]*
/proc/loadavg: 2.15 2.06 2.06 3/222 6618
/proc/meminfo: memFree=8291004/32770624 swapFree=67108860/67108860
[pid=6601] ppid=6598 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6601/stat : 6601 (scop.sh) S 6598 6601 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224813991 115843072 349 33554432000 4194304 5098028 140732546643040 140732546640296 140647091466876 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40366080 140732546651200 140732546651399 140732546651399 140732546654157 0
/proc/6601/statm: 28282 349 296 221 0 87 0
[pid=6604] ppid=6601 vsize=15012476 memory=86584 CPUtime=0.24 cores=0,2,4,6
/proc/6604/stat : 6604 (java) S 6601 6601 3762 0 -1 1077944320 9488 0 0 0 22 2 0 0 20 0 15 0 224813991 15372775424 21646 33554432000 4194304 4196468 140720673435888 140720673418432 140359277776631 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
/proc/6604/statm: 3753119 21646 2906 1 0 3715579 0
[pid=6604/tid=6605] ppid=6601 vsize=15012476 memory=-8976644418600983157 CPUtime=0.2 cores=0,2,4,6
/proc/6604/task/6605/stat : 6605 (java) R 6601 6601 3762 0 -1 4202560 7388 0 0 0 18 2 0 0 20 0 15 0 224813992 15372775424 21646 33554432000 4194304 4196468 140720673435888 140359249603024 140359277788566 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6606] ppid=6601 vsize=15012476 memory=3472468363692340912 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6606/stat : 6606 (java) S 6601 6601 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224813993 15372775424 21646 33554432000 4194304 4196468 140720673435888 140359282018960 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6607] ppid=6601 vsize=15012476 memory=140067464660608 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6607/stat : 6607 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15372775424 21646 33554432000 4194304 4196468 140720673435888 140359073102352 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6608] ppid=6601 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6608/stat : 6608 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15372775424 21646 33554432000 4194304 4196468 140720673435888 140359072049552 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6609] ppid=6601 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6609/stat : 6609 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15372775424 21646 33554432000 4194304 4196468 140720673435888 140359070996752 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6610] ppid=6601 vsize=15012476 memory=140067464660608 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6610/stat : 6610 (java) S 6601 6601 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224813995 15372775424 21646 33554432000 4194304 4196468 140720673435888 140358616828784 140359277787778 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6611] ppid=6601 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6611/stat : 6611 (java) S 6601 6601 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224813995 15372775424 21646 33554432000 4194304 4196468 140720673435888 140357920613920 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6612] ppid=6601 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6612/stat : 6612 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813996 15372775424 21646 33554432000 4194304 4196468 140720673435888 140357652178288 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6613] ppid=6601 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6613/stat : 6613 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224813998 15372775424 21646 33554432000 4194304 4196468 140720673435888 140357277669712 140359277795227 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6614] ppid=6601 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6604/task/6614/stat : 6614 (java) S 6601 6601 3762 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 15 0 224813998 15372775424 21646 33554432000 4194304 4196468 140720673435888 140358615775600 140359277787778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6615] ppid=6601 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6615/stat : 6615 (java) S 6601 6601 3762 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 224813998 15372775424 21646 33554432000 4194304 4196468 140720673435888 140358614722800 140359277787778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6616] ppid=6601 vsize=15012476 memory=140067464660608 CPUtime=0.03 cores=0,2,4,6
/proc/6604/task/6616/stat : 6616 (java) R 6601 6601 3762 0 -1 4202560 306 0 0 0 3 0 0 0 20 0 15 0 224813998 15372775424 21646 33554432000 4194304 4196468 140720673435888 140358613670000 140359269805787 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6617] ppid=6601 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6617/stat : 6617 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224813998 15372775424 21646 33554432000 4194304 4196468 140720673435888 140356779763936 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6618] ppid=6601 vsize=15012476 memory=140067464660608 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6618/stat : 6618 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813998 15372775424 21646 33554432000 4194304 4196468 140720673435888 140358612618416 140359277787778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87980 KiB
[startup+0.31048 s]*
/proc/loadavg: 2.15 2.06 2.06 3/222 6618
/proc/meminfo: memFree=8287716/32770624 swapFree=67108860/67108860
[pid=6601] ppid=6598 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6601/stat : 6601 (scop.sh) S 6598 6601 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224813991 115843072 349 33554432000 4194304 5098028 140732546643040 140732546640296 140647091466876 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40366080 140732546651200 140732546651399 140732546651399 140732546654157 0
/proc/6601/statm: 28282 349 296 221 0 87 0
[pid=6604] ppid=6601 vsize=15012476 memory=90368 CPUtime=0.42 cores=0,2,4,6
/proc/6604/stat : 6604 (java) S 6601 6601 3762 0 -1 1077944320 10016 0 0 0 39 3 0 0 20 0 15 0 224813991 15372775424 22592 33554432000 4194304 4196468 140720673435888 140720673418432 140359277776631 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
/proc/6604/statm: 3753119 22592 3017 1 0 3715579 0
[pid=6604/tid=6605] ppid=6601 vsize=15012476 memory=-8976644418600983157 CPUtime=0.29 cores=0,2,4,6
/proc/6604/task/6605/stat : 6605 (java) R 6601 6601 3762 0 -1 4202560 7757 0 0 0 27 2 0 0 20 0 15 0 224813992 15372775424 22592 33554432000 4194304 4196468 140720673435888 140359249572080 140359263143877 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6606] ppid=6601 vsize=15012476 memory=3472468363692340912 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6606/stat : 6606 (java) S 6601 6601 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224813993 15372775424 22592 33554432000 4194304 4196468 140720673435888 140359282018960 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6607] ppid=6601 vsize=15012476 memory=280134804016000 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6607/stat : 6607 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15372775424 22592 33554432000 4194304 4196468 140720673435888 140359073102352 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6608] ppid=6601 vsize=15012476 memory=280134678743072 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6608/stat : 6608 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15372775424 22592 33554432000 4194304 4196468 140720673435888 140359072049552 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6609] ppid=6601 vsize=15012476 memory=140067339355407 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6609/stat : 6609 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15372775424 22592 33554432000 4194304 4196468 140720673435888 140359070996752 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6610] ppid=6601 vsize=15012476 memory=280134804022912 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6610/stat : 6610 (java) S 6601 6601 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224813995 15372775424 22592 33554432000 4194304 4196468 140720673435888 140358616828784 140359277787778 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6611] ppid=6601 vsize=15012476 memory=140067339360015 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6611/stat : 6611 (java) S 6601 6601 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224813995 15372775424 22592 33554432000 4194304 4196468 140720673435888 140357920613920 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6612] ppid=6601 vsize=15012476 memory=140067339368422 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6612/stat : 6612 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813996 15372775424 22592 33554432000 4194304 4196468 140720673435888 140357652178288 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6613] ppid=6601 vsize=15012476 memory=280134678752288 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6613/stat : 6613 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224813998 15372775424 22592 33554432000 4194304 4196468 140720673435888 140357277669712 140359277795227 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6614] ppid=6601 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6604/task/6614/stat : 6614 (java) S 6601 6601 3762 0 -1 1077944384 407 0 0 0 2 0 0 0 20 0 15 0 224813998 15372775424 22592 33554432000 4194304 4196468 140720673435888 140358615775600 140359277787778 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6615] ppid=6601 vsize=15012476 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6604/task/6615/stat : 6615 (java) S 6601 6601 3762 0 -1 1077944384 202 0 0 0 2 0 0 0 20 0 15 0 224813998 15372775424 22592 33554432000 4194304 4196468 140720673435888 140358614722800 140359277787778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6616] ppid=6601 vsize=15012476 memory=140067464660608 CPUtime=0.07 cores=0,2,4,6
/proc/6604/task/6616/stat : 6616 (java) S 6601 6601 3762 0 -1 1077944384 324 0 0 0 7 0 0 0 20 0 15 0 224813998 15372775424 22592 33554432000 4194304 4196468 140720673435888 140358613670000 140359277787778 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6617] ppid=6601 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6617/stat : 6617 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224813998 15372775424 22592 33554432000 4194304 4196468 140720673435888 140356779763936 140359277786837 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6618] ppid=6601 vsize=15012476 memory=140067464662004 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6618/stat : 6618 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813998 15372775424 22592 33554432000 4194304 4196468 140720673435888 140358612618416 140359277787778 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91764 KiB
[startup+0.702241 s]
/proc/loadavg: 2.15 2.06 2.06 3/222 6618
/proc/meminfo: memFree=8263532/32770624 swapFree=67108860/67108860
[pid=6601] ppid=6598 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6601/stat : 6601 (scop.sh) S 6598 6601 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224813991 115843072 349 33554432000 4194304 5098028 140732546643040 140732546640296 140647091466876 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40366080 140732546651200 140732546651399 140732546651399 140732546654157 0
/proc/6601/statm: 28282 349 296 221 0 87 0
[pid=6604] ppid=6601 vsize=15020872 memory=129628 CPUtime=1 cores=0,2,4,6
/proc/6604/stat : 6604 (java) S 6601 6601 3762 0 -1 1077944320 17082 0 0 0 96 4 0 0 20 0 15 0 224813991 15381372928 32407 33554432000 4194304 4196468 140720673435888 140720673418432 140359277776631 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
/proc/6604/statm: 3755218 32407 3146 1 0 3716603 0
[pid=6604/tid=6605] ppid=6601 vsize=15020872 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/6604/task/6605/stat : 6605 (java) R 6601 6601 3762 0 -1 4202560 14391 0 0 0 64 3 0 0 20 0 15 0 224813992 15381372928 32407 33554432000 4194304 4196468 140720673435888 140359249598032 140359261857118 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6606] ppid=6601 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6606/stat : 6606 (java) S 6601 6601 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224813993 15381372928 32407 33554432000 4194304 4196468 140720673435888 140359282018960 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6607] ppid=6601 vsize=15020872 memory=8751464017575360309 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6607/stat : 6607 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15381372928 32407 33554432000 4194304 4196468 140720673435888 140359073102352 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6608] ppid=6601 vsize=15020872 memory=5788902676974756672 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6608/stat : 6608 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15381372928 32407 33554432000 4194304 4196468 140720673435888 140359072049552 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6609] ppid=6601 vsize=15020872 memory=6440526044186890340 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6609/stat : 6609 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15381372928 32407 33554432000 4194304 4196468 140720673435888 140359070996752 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6610] ppid=6601 vsize=15020872 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6610/stat : 6610 (java) S 6601 6601 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224813995 15381372928 32407 33554432000 4194304 4196468 140720673435888 140358616828784 140359277787778 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6611] ppid=6601 vsize=15020872 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6611/stat : 6611 (java) S 6601 6601 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224813995 15381372928 32407 33554432000 4194304 4196468 140720673435888 140357920613920 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6612] ppid=6601 vsize=15020872 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6612/stat : 6612 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813996 15381372928 32407 33554432000 4194304 4196468 140720673435888 140357652178288 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6613] ppid=6601 vsize=15020872 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6613/stat : 6613 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224813998 15381372928 32407 33554432000 4194304 4196468 140720673435888 140357277669712 140359277795227 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6614] ppid=6601 vsize=15020872 memory=4536 CPUtime=0.07 cores=0,2,4,6
/proc/6604/task/6614/stat : 6614 (java) S 6601 6601 3762 0 -1 1077944384 476 0 0 0 7 0 0 0 20 0 15 0 224813998 15381372928 32407 33554432000 4194304 4196468 140720673435888 140358615775600 140359277787778 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6615] ppid=6601 vsize=15020872 memory=8448 CPUtime=0.08 cores=0,2,4,6
/proc/6604/task/6615/stat : 6615 (java) S 6601 6601 3762 0 -1 1077944384 453 0 0 0 8 0 0 0 20 0 15 0 224813998 15381372928 32407 33554432000 4194304 4196468 140720673435888 140358614722800 140359277787778 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6616] ppid=6601 vsize=15020872 memory=1628 CPUtime=0.15 cores=0,2,4,6
/proc/6604/task/6616/stat : 6616 (java) S 6601 6601 3762 0 -1 1077944384 429 0 0 0 15 0 0 0 20 0 15 0 224813998 15381372928 32407 33554432000 4194304 4196468 140720673435888 140358613670000 140359277787778 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6617] ppid=6601 vsize=15020872 memory=1144 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6617/stat : 6617 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224813998 15381372928 32407 33554432000 4194304 4196468 140720673435888 140356779763936 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6618] ppid=6601 vsize=15020872 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6618/stat : 6618 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813998 15381372928 32407 33554432000 4194304 4196468 140720673435888 140358612618416 140359277787778 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 131024 KiB
[startup+1.5016 s]
/proc/loadavg: 2.15 2.06 2.06 5/222 6618
/proc/meminfo: memFree=8234932/32770624 swapFree=67108860/67108860
[pid=6601] ppid=6598 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6601/stat : 6601 (scop.sh) S 6598 6601 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224813991 115843072 349 33554432000 4194304 5098028 140732546643040 140732546640296 140647091466876 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40366080 140732546651200 140732546651399 140732546651399 140732546654157 0
/proc/6601/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/6604/task/6606/stat : 6606 (java) S 6601 6601 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224813993 15383470080 45858 33554432000 4194304 4196468 140720673435888 140359282018960 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6607] ppid=6601 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6607/stat : 6607 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15383470080 45858 33554432000 4194304 4196468 140720673435888 140359073102352 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6608] ppid=6601 vsize=15022920 memory=280134678561440 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6608/stat : 6608 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15383470080 45858 33554432000 4194304 4196468 140720673435888 140359072049552 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6609] ppid=6601 vsize=15022920 memory=54 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6609/stat : 6609 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15383470080 45858 33554432000 4194304 4196468 140720673435888 140359070996752 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6610] ppid=6601 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6610/stat : 6610 (java) S 6601 6601 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224813995 15383470080 45858 33554432000 4194304 4196468 140720673435888 140358616828784 140359277787778 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6611] ppid=6601 vsize=15022920 memory=280134678770240 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6611/stat : 6611 (java) S 6601 6601 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224813995 15383470080 45858 33554432000 4194304 4196468 140720673435888 140357920613920 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6612] ppid=6601 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6612/stat : 6612 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813996 15383470080 45858 33554432000 4194304 4196468 140720673435888 140357652178288 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6613] ppid=6601 vsize=15022920 memory=280134678789408 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6613/stat : 6613 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224813998 15383470080 45858 33554432000 4194304 4196468 140720673435888 140357277669712 140359277795227 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6614] ppid=6601 vsize=15022920 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/6604/task/6614/stat : 6614 (java) R 6601 6601 3762 0 -1 4202560 725 0 0 0 36 0 0 0 20 0 15 0 224813998 15383470080 45858 33554432000 4194304 4196468 140720673435888 140358615762592 140359259186639 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6615] ppid=6601 vsize=15022920 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/6604/task/6615/stat : 6615 (java) R 6601 6601 3762 0 -1 4202560 875 0 0 0 41 1 0 0 20 0 15 0 224813998 15383470080 45858 33554432000 4194304 4196468 140720673435888 140358614708680 140359259324161 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6616] ppid=6601 vsize=15022920 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/6604/task/6616/stat : 6616 (java) S 6601 6601 3762 0 -1 1077944384 2381 0 0 0 64 0 0 0 20 0 15 0 224813998 15383470080 45858 33554432000 4194304 4196468 140720673435888 140358613670000 140359277787778 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6617] ppid=6601 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6617/stat : 6617 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224813998 15383470080 45858 33554432000 4194304 4196468 140720673435888 140356779763936 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6618] ppid=6601 vsize=15022920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6618/stat : 6618 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813998 15383470080 45858 33554432000 4194304 4196468 140720673435888 140358612618416 140359277787778 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 15136048 KiB
Current children cumulated memory: 184828 KiB
[startup+2.8724 s]
# the end of solver process 6601 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.25165 s, system=0.190135 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.61053 s]
/proc/loadavg: 2.15 2.06 2.06 5/222 6618
/proc/meminfo: memFree=8234932/32770624 swapFree=67108860/67108860
[pid=6601] ppid=6598 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6601/stat : 6601 (scop.sh) S 6598 6601 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224813991 115843072 349 33554432000 4194304 5098028 140732546643040 140732546640296 140647091466876 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40366080 140732546651200 140732546651399 140732546651399 140732546654157 0
/proc/6601/statm: 28282 349 296 221 0 87 0
[pid=6604] ppid=6601 vsize=15022920 memory=200348 CPUtime=3.26 cores=0,2,4,6
/proc/6604/stat : 6604 (java) S 6601 6601 3762 0 -1 1077944320 21418 0 0 0 318 8 0 0 20 0 15 0 224813991 15383470080 50087 33554432000 4194304 4196468 140720673435888 140720673418432 140359277776631 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
/proc/6604/statm: 3755730 50087 3193 1 0 3717115 0
[pid=6604/tid=6605] ppid=6601 vsize=15022920 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/6604/task/6605/stat : 6605 (java) R 6601 6601 3762 0 -1 4202560 15543 0 0 0 152 5 0 0 20 0 15 0 224813992 15383470080 50087 33554432000 4194304 4196468 140720673435888 140359249614960 140359262912664 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6606] ppid=6601 vsize=15022920 memory=7451557858453776242 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6606/stat : 6606 (java) S 6601 6601 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224813993 15383470080 50087 33554432000 4194304 4196468 140720673435888 140359282018960 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6607] ppid=6601 vsize=15022920 memory=7230921007607278949 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6607/stat : 6607 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15383470080 50087 33554432000 4194304 4196468 140720673435888 140359073102352 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6608] ppid=6601 vsize=15022920 memory=7445408212643835240 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6608/stat : 6608 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15383470080 50087 33554432000 4194304 4196468 140720673435888 140359072049552 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6609] ppid=6601 vsize=15022920 memory=7445408212643835240 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6609/stat : 6609 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813993 15383470080 50087 33554432000 4194304 4196468 140720673435888 140359070996752 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6610] ppid=6601 vsize=15022920 memory=7157735280196867940 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6610/stat : 6610 (java) S 6601 6601 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224813995 15383470080 50087 33554432000 4194304 4196468 140720673435888 140358616828784 140359277787778 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6611] ppid=6601 vsize=15022920 memory=7014751519617013604 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6611/stat : 6611 (java) S 6601 6601 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224813995 15383470080 50087 33554432000 4194304 4196468 140720673435888 140357920613920 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6612] ppid=6601 vsize=15022920 memory=140067464660608 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6612/stat : 6612 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813996 15383470080 50087 33554432000 4194304 4196468 140720673435888 140357652178288 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6613] ppid=6601 vsize=15022920 memory=140063178489857 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6613/stat : 6613 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224813998 15383470080 50087 33554432000 4194304 4196468 140720673435888 140357277669712 140359277795227 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6614] ppid=6601 vsize=15022920 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/6604/task/6614/stat : 6614 (java) R 6601 6601 3762 0 -1 4202560 1207 0 0 0 46 0 0 0 20 0 15 0 224813998 15383470080 50087 33554432000 4194304 4196468 140720673435888 140358615756616 140359257433040 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6615] ppid=6601 vsize=15022920 memory=7157735280196867940 CPUtime=0.52 cores=0,2,4,6
/proc/6604/task/6615/stat : 6615 (java) R 6601 6601 3762 0 -1 1077944384 920 0 0 0 51 1 0 0 20 0 15 0 224813998 15383470080 50087 33554432000 4194304 4196468 140720673435888 140358614709648 140359277786837 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6616] ppid=6601 vsize=15022920 memory=7450758440401003873 CPUtime=0.67 cores=0,2,4,6
/proc/6604/task/6616/stat : 6616 (java) R 6601 6601 3762 0 -1 4202560 2414 0 0 0 67 0 0 0 20 0 15 0 224813998 15383470080 50087 33554432000 4194304 4196468 140720673435888 140358613670000 140359257204912 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6617] ppid=6601 vsize=15022920 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6617/stat : 6617 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224813998 15383470080 50087 33554432000 4194304 4196468 140720673435888 140356779763936 140359277786837 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
[pid=6604/tid=6618] ppid=6601 vsize=15022920 memory=165260 CPUtime=0 cores=0,2,4,6
/proc/6604/task/6618/stat : 6618 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224813998 15383470080 50087 33554432000 4194304 4196468 140720673435888 140358612618416 140359277787778 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35942400 140720673444871 140720673445169 140720673445169 140720673447887 0
Current children cumulated CPU time: 3.26 s
Current children cumulated vsize: 15136048 KiB
Current children cumulated memory: 201744 KiB
[startup+2.40071 s]
/proc/loadavg: 2.15 2.06 2.06 3/222 6633
/proc/meminfo: memFree=8327828/32770624 swapFree=67108860/67108860
[pid=6601] ppid=6598 vsize=113128 memory=1472 CPUtime=4.14 cores=0,2,4,6
/proc/6601/stat : 6601 (scop.sh) S 6598 6601 3762 0 -1 4202496 590 23611 0 0 0 0 404 10 20 0 1 0 224813991 115843072 368 33554432000 4194304 5098028 140732546643040 140732546639784 140647091466876 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40366080 140732546651200 140732546651399 140732546651399 140732546654157 0
/proc/6601/statm: 28282 368 311 221 0 87 0
[pid=6619] ppid=6601 vsize=7406364 memory=90132 CPUtime=0.63 cores=0,2,4,6
/proc/6619/stat : 6619 (java) S 6601 6601 3762 0 -1 1077944320 15674 0 0 0 58 5 0 0 20 0 15 0 224814183 7584116736 22533 33554432000 4194304 4196468 140736415320432 140736415302976 140602075995895 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
/proc/6619/statm: 1851591 22533 2989 1 0 1813530 0
[pid=6619/tid=6620] ppid=6601 vsize=7406364 memory=8112282956445269571 CPUtime=0.46 cores=0,2,4,6
/proc/6619/task/6620/stat : 6620 (java) R 6601 6601 3762 0 -1 4202560 13397 0 0 0 42 4 0 0 20 0 15 0 224814183 7584116736 22533 33554432000 4194304 4196468 140736415320432 140602047812128 140602060076382 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6621] ppid=6601 vsize=7406364 memory=7230370212312015976 CPUtime=0 cores=0,2,4,6
/proc/6619/task/6621/stat : 6621 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814184 7584116736 22533 33554432000 4194304 4196468 140736415320432 140602080238352 140602076006101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6622] ppid=6601 vsize=7406364 memory=385 CPUtime=0 cores=0,2,4,6
/proc/6619/task/6622/stat : 6622 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814184 7584116736 22533 33554432000 4194304 4196468 140736415320432 140601880406928 140602076006101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6623] ppid=6601 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6619/task/6623/stat : 6623 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814184 7584116736 22533 33554432000 4194304 4196468 140736415320432 140601879354384 140602076006101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6624] ppid=6601 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6619/task/6624/stat : 6624 (java) S 6601 6601 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814184 7584116736 22533 33554432000 4194304 4196468 140736415320432 140601878301840 140602076006101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6625] ppid=6601 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6619/task/6625/stat : 6625 (java) S 6601 6601 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224814185 7584116736 22533 33554432000 4194304 4196468 140736415320432 140601454471152 140602076007042 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6626] ppid=6601 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6619/task/6626/stat : 6626 (java) S 6601 6601 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224814186 7584116736 22533 33554432000 4194304 4196468 140736415320432 140600921809824 140602076006101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6627] ppid=6601 vsize=7406364 memory=280134678987840 CPUtime=0 cores=0,2,4,6
/proc/6619/task/6627/stat : 6627 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814186 7584116736 22533 33554432000 4194304 4196468 140736415320432 140600653374448 140602076006101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6628] ppid=6601 vsize=7406364 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/6619/task/6628/stat : 6628 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814188 7584116736 22533 33554432000 4194304 4196468 140736415320432 140600278866128 140602076014491 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6629] ppid=6601 vsize=7406364 memory=6656426216303648864 CPUtime=0.03 cores=0,2,4,6
/proc/6619/task/6629/stat : 6629 (java) S 6601 6601 3762 0 -1 1077944384 515 0 0 0 3 0 0 0 20 0 15 0 224814188 7584116736 22533 33554432000 4194304 4196468 140736415320432 140601453418992 140602076007042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6630] ppid=6601 vsize=7406364 memory=6655300316396806240 CPUtime=0.02 cores=0,2,4,6
/proc/6619/task/6630/stat : 6630 (java) S 6601 6601 3762 0 -1 1077944384 96 0 0 0 2 0 0 0 20 0 15 0 224814188 7584116736 22533 33554432000 4194304 4196468 140736415320432 140601452366448 140602076007042 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6631] ppid=6601 vsize=7406364 memory=6944656575208382560 CPUtime=0.09 cores=0,2,4,6
/proc/6619/task/6631/stat : 6631 (java) S 6601 6601 3762 0 -1 1077944384 335 0 0 0 9 0 0 0 20 0 15 0 224814188 7584116736 22533 33554432000 4194304 4196468 140736415320432 140601451313904 140602076007042 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6632] ppid=6601 vsize=7406364 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/6619/task/6632/stat : 6632 (java) S 6601 6601 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224814189 7584116736 22533 33554432000 4194304 4196468 140736415320432 140599780961376 140602076006101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6633] ppid=6601 vsize=7406364 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/6619/task/6633/stat : 6633 (java) S 6601 6601 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224814189 7584116736 22533 33554432000 4194304 4196468 140736415320432 140601450260784 140602076007042 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
Current children cumulated CPU time: 4.77 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 91604 KiB
[startup+2.80074 s]
/proc/loadavg: 2.15 2.06 2.06 3/222 6633
/proc/meminfo: memFree=8327828/32770624 swapFree=67108860/67108860
[pid=6601] ppid=6598 vsize=113128 memory=1472 CPUtime=4.14 cores=0,2,4,6
/proc/6601/stat : 6601 (scop.sh) S 6598 6601 3762 0 -1 4202496 590 23611 0 0 0 0 404 10 20 0 1 0 224813991 115843072 368 33554432000 4194304 5098028 140732546643040 140732546639784 140647091466876 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40366080 140732546651200 140732546651399 140732546651399 140732546654157 0
/proc/6601/statm: 28282 368 311 221 0 87 0
[pid=6619] ppid=6601 vsize=7871608 memory=122572 CPUtime=1.25 cores=0,2,4,6
/proc/6619/stat : 6619 (java) S 6601 6601 3762 0 -1 1077944320 18357 717 0 0 118 6 1 0 20 0 17 0 224814183 8060526592 30643 33554432000 4194304 4196468 140736415320432 140736415302976 140602075995895 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
/proc/6619/statm: 1967902 30643 3157 1 0 1929301 0
[pid=6619/tid=6620] ppid=6601 vsize=7871608 memory=24350 CPUtime=0.81 cores=0,2,4,6
/proc/6619/task/6620/stat : 6620 (java) D 6601 6601 3762 0 -1 4202560 15294 717 0 0 75 5 1 0 20 0 17 0 224814183 8060526592 30643 33554432000 4194304 4196468 140736415320432 140602047837672 140602068681527 0 4 2 25189581 18446744072100379781 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6621] ppid=6601 vsize=7871608 memory=6944656592455360604 CPUtime=0.01 cores=0,2,4,6
/proc/6619/task/6621/stat : 6621 (java) S 6601 6601 3762 0 -1 1077944384 1 717 0 0 0 0 1 0 20 0 17 0 224814184 8060526592 30643 33554432000 4194304 4196468 140736415320432 140602080238352 140602076006101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6622] ppid=6601 vsize=7871608 memory=6944652177228980320 CPUtime=0.01 cores=0,2,4,6
/proc/6619/task/6622/stat : 6622 (java) S 6601 6601 3762 0 -1 1077944384 1 717 0 0 0 0 1 0 20 0 17 0 224814184 8060526592 30643 33554432000 4194304 4196468 140736415320432 140601880406928 140602076006101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6623] ppid=6601 vsize=7871608 memory=4137282578176515228 CPUtime=0.01 cores=0,2,4,6
/proc/6619/task/6623/stat : 6623 (java) S 6601 6601 3762 0 -1 1077944384 1 717 0 0 0 0 1 0 20 0 17 0 224814184 8060526592 30643 33554432000 4194304 4196468 140736415320432 140601879354384 140602076006101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6624] ppid=6601 vsize=7871608 memory=-7088785026379990432 CPUtime=0.01 cores=0,2,4,6
/proc/6619/task/6624/stat : 6624 (java) S 6601 6601 3762 0 -1 1077944384 2 717 0 0 0 0 1 0 20 0 17 0 224814184 8060526592 30643 33554432000 4194304 4196468 140736415320432 140601878301840 140602076006101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6625] ppid=6601 vsize=7871608 memory=4137287014106042739 CPUtime=0.01 cores=0,2,4,6
/proc/6619/task/6625/stat : 6625 (java) S 6601 6601 3762 0 -1 1077944384 6 717 0 0 0 0 1 0 20 0 17 0 224814185 8060526592 30643 33554432000 4194304 4196468 140736415320432 140601454471152 140602076007042 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6626] ppid=6601 vsize=7871608 memory=-9001734013606258791 CPUtime=0.01 cores=0,2,4,6
/proc/6619/task/6626/stat : 6626 (java) S 6601 6601 3762 0 -1 1077944384 13 717 0 0 0 0 1 0 20 0 17 0 224814186 8060526592 30643 33554432000 4194304 4196468 140736415320432 140600921809824 140602076006101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6627] ppid=6601 vsize=7871608 memory=3054156605268583796 CPUtime=0.01 cores=0,2,4,6
/proc/6619/task/6627/stat : 6627 (java) S 6601 6601 3762 0 -1 1077944384 1 717 0 0 0 0 1 0 20 0 17 0 224814186 8060526592 30643 33554432000 4194304 4196468 140736415320432 140600653374448 140602076006101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6628] ppid=6601 vsize=7871608 memory=-7970089901882176704 CPUtime=0.01 cores=0,2,4,6
/proc/6619/task/6628/stat : 6628 (java) S 6601 6601 3762 0 -1 1077944384 3 717 0 0 0 0 1 0 20 0 17 0 224814188 8060526592 30643 33554432000 4194304 4196468 140736415320432 140600278866128 140602076014491 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6629] ppid=6601 vsize=7871608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6619/task/6629/stat : 6629 (java) S 6601 6601 3762 0 -1 1077944384 613 717 0 0 7 0 1 0 20 0 17 0 224814188 8060526592 30643 33554432000 4194304 4196468 140736415320432 140601453418992 140602076007042 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6630] ppid=6601 vsize=7871608 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/6619/task/6630/stat : 6630 (java) S 6601 6601 3762 0 -1 1077944384 340 717 0 0 10 0 1 0 20 0 17 0 224814188 8060526592 30643 33554432000 4194304 4196468 140736415320432 140601452366448 140602076007042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6631] ppid=6601 vsize=7871608 memory=280134678623264 CPUtime=0.23 cores=0,2,4,6
/proc/6619/task/6631/stat : 6631 (java) S 6601 6601 3762 0 -1 1077944384 636 717 0 0 22 0 1 0 20 0 17 0 224814188 8060526592 30643 33554432000 4194304 4196468 140736415320432 140601451313904 140602076007042 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6632] ppid=6601 vsize=7871608 memory=18232 CPUtime=0.01 cores=0,2,4,6
/proc/6619/task/6632/stat : 6632 (java) S 6601 6601 3762 0 -1 1077944384 3 717 0 0 0 0 1 0 20 0 17 0 224814189 8060526592 30643 33554432000 4194304 4196468 140736415320432 140599780961376 140602076006101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
[pid=6619/tid=6633] ppid=6601 vsize=7871608 memory=640 CPUtime=0.01 cores=0,2,4,6
/proc/6619/task/6633/stat : 6633 (java) S 6601 6601 3762 0 -1 1077944384 2 717 0 0 0 0 1 0 20 0 17 0 224814189 8060526592 30643 33554432000 4194304 4196468 140736415320432 140601450260784 140602076007042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20946944 140736415323318 140736415323441 140736415323441 140736415326159 0
Current children cumulated CPU time: 5.39 s
Current children cumulated vsize: 7984736 KiB
Current children cumulated memory: 124044 KiB
Child status: 0
Real time (s): 2.87244
CPU time (s): 5.44178
CPU user time (s): 5.25165
CPU system time (s): 0.190135
CPU usage (%): 189.448
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 238368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.25165
system time used= 0.190135
maximum resident set size= 239512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43310
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5139
involuntary context switches= 21
# summary of solver processes directly reported to runsolver:
# pid: 6601
# total CPU time (s): 5.44178
# total CPU user time (s): 5.25165
# total CPU system time (s): 0.190135
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038333 second user time and 0.07338 second system time
The end