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-4706-serial-file.bin HOME/instance-4305393-1534066729.xml
0.53/0.51
0.65/0.52 scop order+minisat_release (2018-07-31)
0.65/0.52 (Encoding Process)
0.65/0.52
0.65/0.54 c BEGIN-Prog: Sun Aug 12 11:38:50 CEST 2018
0.65/0.54 c PID: 4709
0.65/0.54 c IP: 172.20.3.151
0.65/0.54 c HOST: node151.alineos.net
0.65/0.55 c (0,0) Parsing Begin
1.18/0.83 c (0,0) Parsing End
1.18/0.84 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 18 ctr, max domain size 17
1.18/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.18/0.84 c (0,0) Constraint Name Generate Begin
1.18/0.84 c (0,0) Ctr:HOME/instance-4305393-1534066729.xml,AllDifferent:Dist:Eq:IntVar
1.18/0.84 c (0,0) Constraint Name Generate End
1.18/0.84 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.84 c (0,0) CSP to CSPinCNF Begin
1.36/0.94 c (0,0) translated 2 (10%) constraints
1.36/0.95 c (0,0) translated 4 (20%) constraints
1.36/0.96 c (0,0) translated 6 (30%) constraints
1.36/0.97 c (0,0) translated 8 (40%) constraints
1.36/0.97 c (0,0) translated 9 (50%) constraints
1.36/0.98 c (0,0) translated 11 (60%) constraints
1.36/0.98 c (0,0) translated 13 (70%) constraints
1.36/0.99 c (0,0) translated 15 (80%) constraints
1.36/1.00 c (0,0) translated 17 (90%) constraints
1.55/1.02 c (0,0) translated 18 (100%) constraints
1.80/1.14 c (0,0) STATISTICS1:HOME/instance-4305393-1534066729.xml,AllDifferent:Dist:Eq:IntVar,24,200,272,17,16,3,272:64;17:28;16:120,17:200;16:336,16:2;8:2;2:164;1:32,3:64;2:148;1:48,
1.80/1.14 c (0,0) ==========================================
1.80/1.14 c (0,0) Order
1.80/1.14 c (0,0) ==========================================
1.80/1.15 c (0,0) translated 20 (10%) constraints
1.80/1.15 c (0,0) translated 40 (20%) constraints
1.80/1.16 c (0,0) translated 60 (30%) constraints
1.80/1.17 c (0,0) translated 80 (40%) constraints
1.80/1.17 c (0,0) translated 100 (50%) constraints
1.80/1.18 c (0,0) translated 120 (60%) constraints
1.80/1.19 c (0,0) translated 140 (70%) constraints
1.80/1.19 c (0,0) translated 160 (80%) constraints
2.02/1.20 c (0,0) translated 180 (90%) constraints
2.02/1.21 c (0,0) translated 200 (100%) constraints
2.02/1.21 c (0,0) CSP to CSPinCNF End
2.02/1.21 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 17
2.02/1.21 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.02/1.21 c (0,0) CSPinCNF Propagation Begin
2.02/1.24 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.02/1.24 c (0,0) CSPinCNF Propagation End
2.02/1.24 c (0,0) CSP: 24 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 17
2.02/1.24 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.02/1.24 c (0,0) Simplify CSPinCNF Begin
2.02/1.30 c (0,0) Simplify CSPinCNF End
2.27/1.30 c (0,0) CSP: 24 int (0 aux), 328 bool (328 aux), 528 ctr, max domain size 17
2.27/1.30 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.27/1.30 c (0,0) Calculate Precise Domain Begin
2.27/1.30 c (0,0) 0 values are removed by re-calculation
2.27/1.30 c (0,0) Calculate Precise Domain End
2.27/1.30 c (0,0) CSP: 24 int (0 aux), 328 bool (328 aux), 528 ctr, max domain size 17
2.27/1.30 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.27/1.30 c (0,0) CSPinCNF to SatSolver Begin
2.54/1.44 c (0,0) 53 (10 %) CSP clauses are encoded (696 SAT variables, 6034 SAT clauses)
2.54/1.46 c (0,0) 106 (20 %) CSP clauses are encoded (696 SAT variables, 9345 SAT clauses)
2.54/1.47 c (0,0) 159 (30 %) CSP clauses are encoded (696 SAT variables, 9974 SAT clauses)
2.54/1.48 c (0,0) 212 (40 %) CSP clauses are encoded (696 SAT variables, 10541 SAT clauses)
2.54/1.48 c (0,0) 264 (50 %) CSP clauses are encoded (696 SAT variables, 11103 SAT clauses)
2.54/1.49 c (0,0) 317 (60 %) CSP clauses are encoded (696 SAT variables, 11696 SAT clauses)
2.54/1.49 c (0,0) 370 (70 %) CSP clauses are encoded (696 SAT variables, 12274 SAT clauses)
2.54/1.50 c (0,0) 423 (80 %) CSP clauses are encoded (696 SAT variables, 12852 SAT clauses)
2.87/1.50 c (0,0) 476 (90 %) CSP clauses are encoded (696 SAT variables, 13445 SAT clauses)
2.87/1.51 c (0,0) 528 (100 %) CSP clauses are encoded (696 SAT variables, 14007 SAT clauses)
2.87/1.51 c (0,0) Launch Command will be: minisat_release
2.87/1.51 c (0,0) CSPinCNF to SatSolver End
2.87/1.51 c (0,0) Heap : 225 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.87/1.53 c (1,0) STATISTICS2:HOME/instance-4305393-1534066729.xml,AllDifferent:Dist:Eq:IntVar,352,528,272,17,16,3,272:64;17:56;16:240,17:256;16:576;2:656,16:2;8:2;2:492;1:32,3:64;2:296;1:704,
2.87/1.53 c (1,0) 696 bool, 14008 clause
2.87/1.53 c (1,0) Export Begin
3.19/1.60 c (1,1) Export to HOME/scop-4706-serial-file.bin
3.19/1.60 c (1,1) Export End
3.19/1.61 c (1,1) Export File Size: 0.01 MB
3.19/1.61 c (1,1) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
3.19/1.61 c END-Prog: Sun Aug 12 11:38:51 CEST 2018
3.19/1.62 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-4706-serial-file.bin
3.84/2.12 c (0,0) Read Serial File Begin
3.84/2.12 c (0,0) HOME/scop-4706-serial-file.bin
3.98/2.27 c (0,0) Read Serial File End
3.98/2.28
3.98/2.28 scop order+minisat_release (2018-07-31)
3.98/2.28 (Solving Process)
3.98/2.28
4.12/2.30 c BEGIN-Prog: Sun Aug 12 11:38:52 CEST 2018
4.12/2.30 c PID: 4724
4.12/2.30 c IP: 172.20.3.151
4.12/2.30 c HOST: node151.alineos.net
4.12/2.31 c (0,0) SatSolver.solve Begin
4.12/2.31 c (0,0) 0 bool, 0 clause
4.12/2.31 c (0,0) minisat_release HOME/instance-4305393-1534066729.xml-scop-4709.cnf
4.12/2.36 c (0,0) c This is COMiniSatPS.
4.12/2.36 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.12/2.36 c (0,0) c ============================[ Problem Statistics ]=============================
4.12/2.36 c (0,0) c | |
4.12/2.36 c (0,0) c | Number of variables: 696 |
4.12/2.36 c (0,0) c | Number of clauses: 14008 |
4.12/2.36 c (0,0) c | Parse time: 0.00 s |
4.12/2.36 c (0,0) c | Eliminated clauses: 0.00 Mb |
4.12/2.36 c (0,0) c Reduced to 532 vars, 13844 cls (grow=0)
4.12/2.36 c (0,0) c No iterative elimination performed. (vars=532, c/v ratio=26.0)
4.12/2.36 c (0,0) c | Simplification time: 0.01 s |
4.12/2.36 c (0,0) c | |
4.12/2.36 c (0,0) c ============================[ Search Statistics ]==============================
4.12/2.36 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.12/2.36 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.12/2.36 c (0,0) c ===============================================================================
4.12/2.36 c (0,0) c ===============================================================================
4.12/2.36 c (0,0) c restarts : 1
4.12/2.36 c (0,0) c conflicts : 265 (9948 /sec)
4.12/2.37 c (0,0) c decisions : 335 (0.00 % random) (12576 /sec)
4.12/2.37 c (0,0) c propagations : 33037 (1240174 /sec)
4.12/2.37 c (0,0) c conflict literals : 3933 (28.46 % deleted)
4.12/2.37 c (0,0) c CPU time : 0.026639 s
4.12/2.37 c (0,0)
4.12/2.37 c (0,0) s SATISFIABLE
4.12/2.38 c (0,0) SatSolver.solve End
4.12/2.38 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
4.12/2.38 c (0,0) Show results Begin
4.36/2.44 s SATISFIABLE
4.36/2.45 v <instantiation>
4.36/2.45 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] 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] cie[0][0] cie[0][1] cie[0][2] cie[0][3]</list>
4.36/2.45 v <values>0 16 13 2 15 10 3 11 16 13 2 3 14 11 5 12 4 7 1 8 15 6 10 9</values>
4.36/2.45 v </instantiation>
4.36/2.45 c (0,0) Show results End
4.36/2.45 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
4.36/2.45 c (0,0) 0,0,STOP-AFTER(ALL)
4.36/2.45 c END-Prog: Sun Aug 12 11:38:52 CEST 2018
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (2707 MiB free)
memory of node 1: 16384 MiB (5526 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305393-1534066729/watcher-4305393-1534066729 -o /tmp/evaluation-result-4305393-1534066729/solver-4305393-1534066729 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3794 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305393-1534066729.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=4706, runsolver pid=4703
Current StackSize limit: 8192 KiB
[startup+0.100369 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 4723
/proc/meminfo: memFree=8371380/32770624 swapFree=67108860/67108860
[pid=4706] ppid=4703 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4706/stat : 4706 (scop.sh) S 4703 4706 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224236131 115843072 349 33554432000 4194304 5098028 140725703490176 140725703487432 140502329991804 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36683776 140725703492672 140725703492871 140725703492871 140725703495629 0
/proc/4706/statm: 28282 349 296 221 0 87 0
[pid=4709] ppid=4706 vsize=15012476 memory=71672 CPUtime=0.1 cores=1,3,5,7
/proc/4709/stat : 4709 (java) S 4706 4706 3762 0 -1 1077944320 6583 0 0 0 9 1 0 0 20 0 15 0 224236131 15372775424 17918 33554432000 4194304 4196468 140729781596672 140729781579216 140345493589751 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
/proc/4709/statm: 3753119 17918 2737 1 0 3715579 0
[pid=4709/tid=4710] ppid=4706 vsize=15012476 memory=-2843869612414452894 CPUtime=0.08 cores=1,3,5,7
/proc/4709/task/4710/stat : 4710 (java) R 4706 4706 3762 0 -1 4202560 4720 0 0 0 7 1 0 0 20 0 15 0 224236132 15372775424 17918 33554432000 4194304 4196468 140729781596672 140345465385800 140345485831141 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4711] ppid=4706 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4711/stat : 4711 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236133 15372775424 17918 33554432000 4194304 4196468 140729781596672 140345497831952 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4712] ppid=4706 vsize=15012476 memory=139963257378432 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4712/stat : 4712 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15372775424 17918 33554432000 4194304 4196468 140729781596672 140345311988368 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4713] ppid=4706 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4713/stat : 4713 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15372775424 17918 33554432000 4194304 4196468 140729781596672 140345310935312 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4714] ppid=4706 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4714/stat : 4714 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15372775424 17918 33554432000 4194304 4196468 140729781596672 140345309882768 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4715] ppid=4706 vsize=15012476 memory=139963257378432 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4715/stat : 4715 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236135 15372775424 17918 33554432000 4194304 4196468 140729781596672 140344531229424 140345493600898 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4716] ppid=4706 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4716/stat : 4716 (java) S 4706 4706 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224236135 15372775424 17918 33554432000 4194304 4196468 140729781596672 140344029079200 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4717] ppid=4706 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4717/stat : 4717 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236136 15372775424 17918 33554432000 4194304 4196468 140729781596672 140343760643312 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4718] ppid=4706 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4718/stat : 4718 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236138 15372775424 17984 33554432000 4194304 4196468 140729781596672 140343386134992 140345493608347 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4719] ppid=4706 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4719/stat : 4719 (java) S 4706 4706 3762 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 224236138 15372775424 17984 33554432000 4194304 4196468 140729781596672 140344530176240 140345493600898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4720] ppid=4706 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4720/stat : 4720 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236138 15372775424 17984 33554432000 4194304 4196468 140729781596672 140344529123696 140345493600898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4721] ppid=4706 vsize=15012476 memory=139963257378432 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4721/stat : 4721 (java) R 4706 4706 3762 0 -1 4202560 249 0 0 0 0 0 0 0 20 0 15 0 224236138 15372775424 17984 33554432000 4194304 4196468 140729781596672 140344528070640 140345472252091 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4722] ppid=4706 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4722/stat : 4722 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236138 15372775424 17984 33554432000 4194304 4196468 140729781596672 140342888229216 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4723] ppid=4706 vsize=15012476 memory=139963257378432 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4723/stat : 4723 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236138 15372775424 17984 33554432000 4194304 4196468 140729781596672 140344527019056 140345493600898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73068 KiB
[startup+0.210591 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 4723
/proc/meminfo: memFree=8357692/32770624 swapFree=67108860/67108860
[pid=4706] ppid=4703 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4706/stat : 4706 (scop.sh) S 4703 4706 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224236131 115843072 349 33554432000 4194304 5098028 140725703490176 140725703487432 140502329991804 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36683776 140725703492672 140725703492871 140725703492871 140725703495629 0
/proc/4706/statm: 28282 349 296 221 0 87 0
[pid=4709] ppid=4706 vsize=15012476 memory=85804 CPUtime=0.24 cores=1,3,5,7
/proc/4709/stat : 4709 (java) S 4706 4706 3762 0 -1 1077944320 10256 0 0 0 22 2 0 0 20 0 15 0 224236131 15372775424 21451 33554432000 4194304 4196468 140729781596672 140729781579216 140345493589751 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
/proc/4709/statm: 3753119 21451 2926 1 0 3715579 0
[pid=4709/tid=4710] ppid=4706 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/4709/task/4710/stat : 4710 (java) R 4706 4706 3762 0 -1 4202560 8166 0 0 0 18 2 0 0 20 0 15 0 224236132 15372775424 21451 33554432000 4194304 4196468 140729781596672 140345465398496 140344985535745 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4711] ppid=4706 vsize=15012476 memory=540 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4711/stat : 4711 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236133 15372775424 21451 33554432000 4194304 4196468 140729781596672 140345497831952 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4712] ppid=4706 vsize=15012476 memory=4050059331247330976 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4712/stat : 4712 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15372775424 21451 33554432000 4194304 4196468 140729781596672 140345311988368 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4713] ppid=4706 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4713/stat : 4713 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15372775424 21451 33554432000 4194304 4196468 140729781596672 140345310935312 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4714] ppid=4706 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4714/stat : 4714 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15372775424 21451 33554432000 4194304 4196468 140729781596672 140345309882768 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4715] ppid=4706 vsize=15012476 memory=139963257378432 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4715/stat : 4715 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236135 15372775424 21451 33554432000 4194304 4196468 140729781596672 140344531229424 140345493600898 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4716] ppid=4706 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4716/stat : 4716 (java) S 4706 4706 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224236135 15372775424 21451 33554432000 4194304 4196468 140729781596672 140344029079200 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4717] ppid=4706 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4717/stat : 4717 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236136 15372775424 21451 33554432000 4194304 4196468 140729781596672 140343760643312 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4718] ppid=4706 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4718/stat : 4718 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236138 15372775424 21451 33554432000 4194304 4196468 140729781596672 140343386134992 140345493608347 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4719] ppid=4706 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4719/stat : 4719 (java) S 4706 4706 3762 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 15 0 224236138 15372775424 21451 33554432000 4194304 4196468 140729781596672 140344530176240 140345493600898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4720] ppid=4706 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4720/stat : 4720 (java) S 4706 4706 3762 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 224236138 15372775424 21451 33554432000 4194304 4196468 140729781596672 140344529123696 140345493600898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4721] ppid=4706 vsize=15012476 memory=139963257378432 CPUtime=0.03 cores=1,3,5,7
/proc/4709/task/4721/stat : 4721 (java) R 4706 4706 3762 0 -1 4202560 288 0 0 0 3 0 0 0 20 0 15 0 224236138 15372775424 21451 33554432000 4194304 4196468 140729781596672 140344528070640 140345485826878 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4722] ppid=4706 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4722/stat : 4722 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236138 15372775424 21451 33554432000 4194304 4196468 140729781596672 140342888229216 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4723] ppid=4706 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4723/stat : 4723 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236138 15372775424 21451 33554432000 4194304 4196468 140729781596672 140344527019056 140345493600898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87200 KiB
[startup+0.31066 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 4723
/proc/meminfo: memFree=8354032/32770624 swapFree=67108860/67108860
[pid=4706] ppid=4703 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4706/stat : 4706 (scop.sh) S 4703 4706 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224236131 115843072 349 33554432000 4194304 5098028 140725703490176 140725703487432 140502329991804 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36683776 140725703492672 140725703492871 140725703492871 140725703495629 0
/proc/4706/statm: 28282 349 296 221 0 87 0
[pid=4709] ppid=4706 vsize=15012476 memory=89436 CPUtime=0.42 cores=1,3,5,7
/proc/4709/stat : 4709 (java) S 4706 4706 3762 0 -1 1077944320 10870 0 0 0 39 3 0 0 20 0 15 0 224236131 15372775424 22359 33554432000 4194304 4196468 140729781596672 140729781579216 140345493589751 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
/proc/4709/statm: 3753119 22359 2979 1 0 3715579 0
[pid=4709/tid=4710] ppid=4706 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/4709/task/4710/stat : 4710 (java) R 4706 4706 3762 0 -1 4202560 8614 0 0 0 27 2 0 0 20 0 15 0 224236132 15372775424 22359 33554432000 4194304 4196468 140729781596672 140345465384752 140345477670238 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4711] ppid=4706 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4711/stat : 4711 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236133 15372775424 22359 33554432000 4194304 4196468 140729781596672 140345497831952 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4712] ppid=4706 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4712/stat : 4712 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15372775424 22359 33554432000 4194304 4196468 140729781596672 140345311988368 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4713] ppid=4706 vsize=15012476 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4713/stat : 4713 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15372775424 22359 33554432000 4194304 4196468 140729781596672 140345310935312 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4714] ppid=4706 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4714/stat : 4714 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15372775424 22359 33554432000 4194304 4196468 140729781596672 140345309882768 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4715] ppid=4706 vsize=15012476 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4715/stat : 4715 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236135 15372775424 22359 33554432000 4194304 4196468 140729781596672 140344531229424 140345493600898 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4716] ppid=4706 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4716/stat : 4716 (java) S 4706 4706 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224236135 15372775424 22359 33554432000 4194304 4196468 140729781596672 140344029079200 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4717] ppid=4706 vsize=15012476 memory=8549982201333320512 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4717/stat : 4717 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236136 15372775424 22359 33554432000 4194304 4196468 140729781596672 140343760643312 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4718] ppid=4706 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4718/stat : 4718 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236138 15372775424 22359 33554432000 4194304 4196468 140729781596672 140343386134992 140345493608347 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4719] ppid=4706 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4709/task/4719/stat : 4719 (java) R 4706 4706 3762 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 15 0 224236138 15372775424 22359 33554432000 4194304 4196468 140729781596672 140344530176240 140345493600898 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4720] ppid=4706 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4709/task/4720/stat : 4720 (java) R 4706 4706 3762 0 -1 1077944384 149 0 0 0 1 0 0 0 20 0 15 0 224236138 15372775424 22359 33554432000 4194304 4196468 140729781596672 140344529123696 140345493600898 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4721] ppid=4706 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4709/task/4721/stat : 4721 (java) S 4706 4706 3762 0 -1 1077944384 325 0 0 0 7 0 0 0 20 0 15 0 224236138 15372775424 22359 33554432000 4194304 4196468 140729781596672 140344528070640 140345493600898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4722] ppid=4706 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4722/stat : 4722 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236138 15372775424 22359 33554432000 4194304 4196468 140729781596672 140342888229216 140345493599957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4723] ppid=4706 vsize=15012476 memory=3907215970010347311 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4723/stat : 4723 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236138 15372775424 22359 33554432000 4194304 4196468 140729781596672 140344527019056 140345493600898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 90832 KiB
[startup+0.700795 s]
/proc/loadavg: 2.00 2.01 2.05 3/222 4723
/proc/meminfo: memFree=8329484/32770624 swapFree=67108860/67108860
[pid=4706] ppid=4703 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4706/stat : 4706 (scop.sh) S 4703 4706 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224236131 115843072 349 33554432000 4194304 5098028 140725703490176 140725703487432 140502329991804 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36683776 140725703492672 140725703492871 140725703492871 140725703495629 0
/proc/4706/statm: 28282 349 296 221 0 87 0
[pid=4709] ppid=4706 vsize=15020872 memory=129568 CPUtime=0.99 cores=1,3,5,7
/proc/4709/stat : 4709 (java) S 4706 4706 3762 0 -1 1077944320 18112 0 0 0 94 5 0 0 20 0 15 0 224236131 15381372928 32392 33554432000 4194304 4196468 140729781596672 140729781579216 140345493589751 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
/proc/4709/statm: 3755218 32392 3157 1 0 3716603 0
[pid=4709/tid=4710] ppid=4706 vsize=15020872 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4709/task/4710/stat : 4710 (java) R 4706 4706 3762 0 -1 4202560 15404 0 0 0 63 4 0 0 20 0 15 0 224236132 15381372928 32392 33554432000 4194304 4196468 140729781596672 140345465422416 140345493601686 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4711] ppid=4706 vsize=15020872 memory=6425271076031 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4711/stat : 4711 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236133 15381372928 32392 33554432000 4194304 4196468 140729781596672 140345497831952 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4712] ppid=4706 vsize=15020872 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4712/stat : 4712 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15381372928 32392 33554432000 4194304 4196468 140729781596672 140345311988368 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4713] ppid=4706 vsize=15020872 memory=13850767857552233 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4713/stat : 4713 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15381372928 32392 33554432000 4194304 4196468 140729781596672 140345310935312 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4714] ppid=4706 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4714/stat : 4714 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15381372928 32392 33554432000 4194304 4196468 140729781596672 140345309882768 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4715] ppid=4706 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4715/stat : 4715 (java) S 4706 4706 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224236135 15381372928 32392 33554432000 4194304 4196468 140729781596672 140344531229424 140345493600898 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4716] ppid=4706 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4716/stat : 4716 (java) S 4706 4706 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224236135 15381372928 32392 33554432000 4194304 4196468 140729781596672 140344029079200 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4717] ppid=4706 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4717/stat : 4717 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236136 15381372928 32392 33554432000 4194304 4196468 140729781596672 140343760643312 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4718] ppid=4706 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4718/stat : 4718 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236138 15381372928 32392 33554432000 4194304 4196468 140729781596672 140343386134992 140345493608347 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4719] ppid=4706 vsize=15020872 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4709/task/4719/stat : 4719 (java) S 4706 4706 3762 0 -1 1077944384 675 0 0 0 10 0 0 0 20 0 15 0 224236138 15381372928 32392 33554432000 4194304 4196468 140729781596672 140344530176240 140345493600898 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4720] ppid=4706 vsize=15020872 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4709/task/4720/stat : 4720 (java) S 4706 4706 3762 0 -1 1077944384 259 0 0 0 5 0 0 0 20 0 15 0 224236138 15381372928 32392 33554432000 4194304 4196468 140729781596672 140344529123696 140345493600898 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4721] ppid=4706 vsize=15020872 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4709/task/4721/stat : 4721 (java) R 4706 4706 3762 0 -1 4202560 436 0 0 0 15 0 0 0 20 0 15 0 224236138 15381372928 32392 33554432000 4194304 4196468 140729781596672 140344528070640 140345473832528 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4722] ppid=4706 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4722/stat : 4722 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236138 15381372928 32392 33554432000 4194304 4196468 140729781596672 140342888229216 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4723] ppid=4706 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4723/stat : 4723 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236138 15381372928 32392 33554432000 4194304 4196468 140729781596672 140344527019056 140345493600898 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130964 KiB
[startup+1.50083 s]
/proc/loadavg: 2.00 2.01 2.05 6/222 4723
/proc/meminfo: memFree=8302996/32770624 swapFree=67108860/67108860
[pid=4706] ppid=4703 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4706/stat : 4706 (scop.sh) S 4703 4706 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224236131 115843072 349 33554432000 4194304 5098028 140725703490176 140725703487432 140502329991804 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36683776 140725703492672 140725703492871 140725703492871 140725703495629 0
/proc/4706/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/4709/task/4711/stat : 4711 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236133 15387734016 49209 33554432000 4194304 4196468 140729781596672 140345497831952 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4712] ppid=4706 vsize=15027084 memory=844 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4712/stat : 4712 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15387734016 49209 33554432000 4194304 4196468 140729781596672 140345311988368 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4713] ppid=4706 vsize=15027084 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4713/stat : 4713 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15387734016 49209 33554432000 4194304 4196468 140729781596672 140345310935312 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4714] ppid=4706 vsize=15027084 memory=920 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4714/stat : 4714 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15387734016 49209 33554432000 4194304 4196468 140729781596672 140345309882768 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4715] ppid=4706 vsize=15027084 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4715/stat : 4715 (java) S 4706 4706 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224236135 15387734016 49209 33554432000 4194304 4196468 140729781596672 140344531229424 140345493600898 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4716] ppid=4706 vsize=15027084 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4716/stat : 4716 (java) S 4706 4706 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224236135 15387734016 49209 33554432000 4194304 4196468 140729781596672 140344029079200 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4717] ppid=4706 vsize=15027084 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4717/stat : 4717 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236136 15387734016 49209 33554432000 4194304 4196468 140729781596672 140343760643312 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4718] ppid=4706 vsize=15027084 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4718/stat : 4718 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236138 15387734016 49209 33554432000 4194304 4196468 140729781596672 140343386134992 140345493608347 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4719] ppid=4706 vsize=15027084 memory=1408 CPUtime=0.41 cores=1,3,5,7
/proc/4709/task/4719/stat : 4719 (java) R 4706 4706 3762 0 -1 4202560 994 0 0 0 41 0 0 0 20 0 15 0 224236138 15387734016 49209 33554432000 4194304 4196468 140729781596672 140344530174640 140345478715529 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4720] ppid=4706 vsize=15027084 memory=3580 CPUtime=0.3 cores=1,3,5,7
/proc/4709/task/4720/stat : 4720 (java) R 4706 4706 3762 0 -1 4202560 801 0 0 0 30 0 0 0 20 0 15 0 224236138 15387734016 49209 33554432000 4194304 4196468 140729781596672 140344529115648 140345477982175 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4721] ppid=4706 vsize=15027084 memory=1472 CPUtime=0.67 cores=1,3,5,7
/proc/4709/task/4721/stat : 4721 (java) S 4706 4706 3762 0 -1 1077944384 2666 0 0 0 66 1 0 0 20 0 15 0 224236138 15387734016 49209 33554432000 4194304 4196468 140729781596672 140344528070640 140345493600898 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4722] ppid=4706 vsize=15027084 memory=118140 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4722/stat : 4722 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236138 15387734016 49209 33554432000 4194304 4196468 140729781596672 140342888229216 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4723] ppid=4706 vsize=15027084 memory=51428 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4723/stat : 4723 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236138 15387734016 49209 33554432000 4194304 4196468 140729781596672 140344527019056 140345493600898 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 198232 KiB
[startup+2.45743 s]
# the end of solver process 4706 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.29619 s, system=0.185282 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60145 s]
/proc/loadavg: 2.00 2.01 2.05 6/222 4723
/proc/meminfo: memFree=8302996/32770624 swapFree=67108860/67108860
[pid=4706] ppid=4703 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/4706/stat : 4706 (scop.sh) S 4703 4706 3762 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 224236131 115843072 349 33554432000 4194304 5098028 140725703490176 140725703487432 140502329991804 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 36683776 140725703492672 140725703492871 140725703492871 140725703495629 0
/proc/4706/statm: 28282 349 296 221 0 87 0
[pid=4709] ppid=4706 vsize=15027104 memory=206220 CPUtime=3.19 cores=1,3,5,7
/proc/4709/stat : 4709 (java) S 4706 4706 3762 0 -1 1077944320 23404 0 0 0 310 9 0 0 20 0 15 0 224236131 15387754496 51555 33554432000 4194304 4196468 140729781596672 140729781579216 140345493589751 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
/proc/4709/statm: 3756776 51555 3216 1 0 3717627 0
[pid=4709/tid=4710] ppid=4706 vsize=15027104 memory=1396 CPUtime=1.56 cores=1,3,5,7
/proc/4709/task/4710/stat : 4710 (java) R 4706 4706 3762 0 -1 4202560 17231 0 0 0 150 6 0 0 20 0 15 0 224236132 15387754496 51555 33554432000 4194304 4196468 140729781596672 140345465420512 140345493611677 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4711] ppid=4706 vsize=15027104 memory=141304 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4711/stat : 4711 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236133 15387754496 51555 33554432000 4194304 4196468 140729781596672 140345497831952 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4712] ppid=4706 vsize=15027104 memory=279926238434880 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4712/stat : 4712 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15387754496 51555 33554432000 4194304 4196468 140729781596672 140345311988368 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4713] ppid=4706 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4713/stat : 4713 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15387754496 51555 33554432000 4194304 4196468 140729781596672 140345310935312 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4714] ppid=4706 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4714/stat : 4714 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236133 15387754496 51555 33554432000 4194304 4196468 140729781596672 140345309882768 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4715] ppid=4706 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4715/stat : 4715 (java) S 4706 4706 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224236135 15387754496 51555 33554432000 4194304 4196468 140729781596672 140344531229424 140345493600898 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4716] ppid=4706 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4716/stat : 4716 (java) S 4706 4706 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224236135 15387754496 51555 33554432000 4194304 4196468 140729781596672 140344029079200 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4717] ppid=4706 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4717/stat : 4717 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236136 15387754496 51555 33554432000 4194304 4196468 140729781596672 140343760643312 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4718] ppid=4706 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4718/stat : 4718 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236138 15387754496 51555 33554432000 4194304 4196468 140729781596672 140343386134992 140345493608347 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4719] ppid=4706 vsize=15027104 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/4709/task/4719/stat : 4719 (java) S 4706 4706 3762 0 -1 1077944384 1060 0 0 0 48 0 0 0 20 0 15 0 224236138 15387754496 51555 33554432000 4194304 4196468 140729781596672 140344530176240 140345493600898 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4720] ppid=4706 vsize=15027104 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/4709/task/4720/stat : 4720 (java) R 4706 4706 3762 0 -1 4202560 1023 0 0 0 40 0 0 0 20 0 15 0 224236138 15387754496 51555 33554432000 4194304 4196468 140729781596672 140344529115648 140345477500442 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4721] ppid=4706 vsize=15027104 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/4709/task/4721/stat : 4721 (java) S 4706 4706 3762 0 -1 1077944384 2752 0 0 0 70 1 0 0 20 0 15 0 224236138 15387754496 51555 33554432000 4194304 4196468 140729781596672 140344528070640 140345493600898 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4722] ppid=4706 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4722/stat : 4722 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236138 15387754496 51555 33554432000 4194304 4196468 140729781596672 140342888229216 140345493599957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
[pid=4709/tid=4723] ppid=4706 vsize=15027104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4709/task/4723/stat : 4723 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236138 15387754496 51555 33554432000 4194304 4196468 140729781596672 140344527019056 140345493600898 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33243136 140729781601287 140729781601585 140729781601585 140729781604303 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 15140232 KiB
Current children cumulated memory: 207616 KiB
[startup+2.00032 s]*
/proc/loadavg: 2.00 2.01 2.05 3/222 4738
/proc/meminfo: memFree=8375268/32770624 swapFree=67108860/67108860
[pid=4706] ppid=4703 vsize=113128 memory=1472 CPUtime=3.22 cores=1,3,5,7
/proc/4706/stat : 4706 (scop.sh) S 4703 4706 3762 0 -1 4202496 591 23889 0 0 0 0 313 9 20 0 1 0 224236131 115843072 368 33554432000 4194304 5098028 140725703490176 140725703486920 140502329991804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36683776 140725703492672 140725703492871 140725703492871 140725703495629 0
/proc/4706/statm: 28282 368 311 221 0 87 0
[pid=4724] ppid=4706 vsize=7406364 memory=68236 CPUtime=0.5 cores=1,3,5,7
/proc/4724/stat : 4724 (java) S 4706 4706 3762 0 -1 1077944320 11650 0 0 0 46 4 0 0 20 0 15 0 224236294 7584116736 17059 33554432000 4194304 4196468 140726401895216 140726401877760 140201250668279 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
/proc/4724/statm: 1851591 17059 3002 1 0 1813530 0
[pid=4724/tid=4725] ppid=4706 vsize=7406364 memory=8112282956445269571 CPUtime=0.36 cores=1,3,5,7
/proc/4724/task/4725/stat : 4725 (java) R 4706 4706 3762 0 -1 4202560 9191 0 0 0 33 3 0 0 20 0 15 0 224236294 7584116736 17059 33554432000 4194304 4196468 140726401895216 140201222496936 140201234748766 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4726] ppid=4706 vsize=7406364 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4724/task/4726/stat : 4726 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236295 7584116736 17059 33554432000 4194304 4196468 140726401895216 140201254910608 140201250678485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4727] ppid=4706 vsize=7406364 memory=7013627810293574997 CPUtime=0 cores=1,3,5,7
/proc/4724/task/4727/stat : 4727 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236295 7584116736 17059 33554432000 4194304 4196468 140726401895216 140201088289296 140201250678485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4728] ppid=4706 vsize=7406364 memory=7013627805897876566 CPUtime=0 cores=1,3,5,7
/proc/4724/task/4728/stat : 4728 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236296 7584116736 17059 33554432000 4194304 4196468 140726401895216 140200735222160 140201250678485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4729] ppid=4706 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4724/task/4729/stat : 4729 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236296 7584116736 17059 33554432000 4194304 4196468 140726401895216 140200734169360 140201250678485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4730] ppid=4706 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4724/task/4730/stat : 4730 (java) S 4706 4706 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224236297 7584116736 17059 33554432000 4194304 4196468 140726401895216 140200562912112 140201250679426 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4731] ppid=4706 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4724/task/4731/stat : 4731 (java) S 4706 4706 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224236297 7584116736 17059 33554432000 4194304 4196468 140726401895216 140200080565792 140201250678485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4732] ppid=4706 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4724/task/4732/stat : 4732 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236298 7584116736 17059 33554432000 4194304 4196468 140726401895216 140199812130160 140201250678485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4733] ppid=4706 vsize=7406364 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4724/task/4733/stat : 4733 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236300 7584116736 17059 33554432000 4194304 4196468 140726401895216 140199437621584 140201250686875 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4734] ppid=4706 vsize=7406364 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4724/task/4734/stat : 4734 (java) S 4706 4706 3762 0 -1 1077944384 417 0 0 0 2 0 0 0 20 0 15 0 224236300 7584116736 17059 33554432000 4194304 4196468 140726401895216 140200561858928 140201250679426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4735] ppid=4706 vsize=7406364 memory=55 CPUtime=0.02 cores=1,3,5,7
/proc/4724/task/4735/stat : 4735 (java) S 4706 4706 3762 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 15 0 224236300 7584116736 17059 33554432000 4194304 4196468 140726401895216 140200560806128 140201250679426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4736] ppid=4706 vsize=7406364 memory=2588 CPUtime=0.08 cores=1,3,5,7
/proc/4724/task/4736/stat : 4736 (java) R 4706 4706 3762 0 -1 4202560 468 0 0 0 8 0 0 0 20 0 15 0 224236300 7584116736 17059 33554432000 4194304 4196468 140726401895216 140200559753328 140201250682161 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4737] ppid=4706 vsize=7406364 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/4724/task/4737/stat : 4737 (java) S 4706 4706 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224236300 7584116736 17059 33554432000 4194304 4196468 140726401895216 140198939715808 140201250678485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4738] ppid=4706 vsize=7406364 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/4724/task/4738/stat : 4738 (java) S 4706 4706 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224236300 7584116736 17059 33554432000 4194304 4196468 140726401895216 140200558701744 140201250679426 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
Current children cumulated CPU time: 3.72 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 69708 KiB
[startup+2.40072 s]
/proc/loadavg: 2.00 2.01 2.05 3/222 4738
/proc/meminfo: memFree=8375268/32770624 swapFree=67108860/67108860
[pid=4706] ppid=4703 vsize=113128 memory=1472 CPUtime=3.22 cores=1,3,5,7
/proc/4706/stat : 4706 (scop.sh) S 4703 4706 3762 0 -1 4202496 591 23889 0 0 0 0 313 9 20 0 1 0 224236131 115843072 368 33554432000 4194304 5098028 140725703490176 140725703486920 140502329991804 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36683776 140725703492672 140725703492871 140725703492871 140725703495629 0
/proc/4706/statm: 28282 368 311 221 0 87 0
[pid=4724] ppid=4706 vsize=7871608 memory=116312 CPUtime=1.14 cores=1,3,5,7
/proc/4724/stat : 4724 (java) S 4706 4706 3762 0 -1 1077944320 18825 1025 0 0 105 7 2 0 20 0 17 0 224236294 8060526592 29078 33554432000 4194304 4196468 140726401895216 140726401877760 140201250668279 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
/proc/4724/statm: 1967902 29078 3157 1 0 1929301 0
[pid=4724/tid=4725] ppid=4706 vsize=7871608 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/4724/task/4725/stat : 4725 (java) R 4706 4706 3762 0 -1 4202560 15639 1025 0 0 69 5 2 0 20 0 17 0 224236294 8060526592 29078 33554432000 4194304 4196468 140726401895216 140201222461232 140201234748796 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4726] ppid=4706 vsize=7871608 memory=8112282956445269571 CPUtime=0.02 cores=1,3,5,7
/proc/4724/task/4726/stat : 4726 (java) S 4706 4706 3762 0 -1 1077944384 2 1025 0 0 0 0 2 0 20 0 17 0 224236295 8060526592 29078 33554432000 4194304 4196468 140726401895216 140201254910608 140201250678485 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4727] ppid=4706 vsize=7871608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4724/task/4727/stat : 4727 (java) S 4706 4706 3762 0 -1 1077944384 1 1025 0 0 0 0 2 0 20 0 17 0 224236295 8060526592 29078 33554432000 4194304 4196468 140726401895216 140201088289296 140201250678485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4728] ppid=4706 vsize=7871608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4724/task/4728/stat : 4728 (java) S 4706 4706 3762 0 -1 1077944384 2 1025 0 0 0 0 2 0 20 0 17 0 224236296 8060526592 29078 33554432000 4194304 4196468 140726401895216 140200735222160 140201250678485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4729] ppid=4706 vsize=7871608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4724/task/4729/stat : 4729 (java) S 4706 4706 3762 0 -1 1077944384 2 1025 0 0 0 0 2 0 20 0 17 0 224236296 8060526592 29078 33554432000 4194304 4196468 140726401895216 140200734169360 140201250678485 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4730] ppid=4706 vsize=7871608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4724/task/4730/stat : 4730 (java) S 4706 4706 3762 0 -1 1077944384 5 1025 0 0 0 0 2 0 20 0 17 0 224236297 8060526592 29078 33554432000 4194304 4196468 140726401895216 140200562912112 140201250679426 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4731] ppid=4706 vsize=7871608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4724/task/4731/stat : 4731 (java) S 4706 4706 3762 0 -1 1077944384 13 1025 0 0 0 0 2 0 20 0 17 0 224236297 8060526592 29078 33554432000 4194304 4196468 140726401895216 140200080565792 140201250678485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4732] ppid=4706 vsize=7871608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4724/task/4732/stat : 4732 (java) S 4706 4706 3762 0 -1 1077944384 1 1025 0 0 0 0 2 0 20 0 17 0 224236298 8060526592 29078 33554432000 4194304 4196468 140726401895216 140199812130160 140201250678485 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4733] ppid=4706 vsize=7871608 memory=139963257377249 CPUtime=0.02 cores=1,3,5,7
/proc/4724/task/4733/stat : 4733 (java) S 4706 4706 3762 0 -1 1077944384 3 1025 0 0 0 0 2 0 20 0 17 0 224236300 8060526592 29078 33554432000 4194304 4196468 140726401895216 140199437621584 140201250686875 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4734] ppid=4706 vsize=7871608 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4724/task/4734/stat : 4734 (java) S 4706 4706 3762 0 -1 1077944384 665 1025 0 0 7 0 2 0 20 0 17 0 224236300 8060526592 29078 33554432000 4194304 4196468 140726401895216 140200561858928 140201250679426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4735] ppid=4706 vsize=7871608 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4724/task/4735/stat : 4735 (java) S 4706 4706 3762 0 -1 1077944384 352 1025 0 0 8 0 2 0 20 0 17 0 224236300 8060526592 29078 33554432000 4194304 4196468 140726401895216 140200560806128 140201250679426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4736] ppid=4706 vsize=7871608 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/4724/task/4736/stat : 4736 (java) S 4706 4706 3762 0 -1 1077944384 729 1025 0 0 19 0 2 0 20 0 17 0 224236300 8060526592 29078 33554432000 4194304 4196468 140726401895216 140200559753328 140201250679426 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4737] ppid=4706 vsize=7871608 memory=14755 CPUtime=0.02 cores=1,3,5,7
/proc/4724/task/4737/stat : 4737 (java) S 4706 4706 3762 0 -1 1077944384 3 1025 0 0 0 0 2 0 20 0 17 0 224236300 8060526592 29078 33554432000 4194304 4196468 140726401895216 140198939715808 140201250678485 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
[pid=4724/tid=4738] ppid=4706 vsize=7871608 memory=24359 CPUtime=0.02 cores=1,3,5,7
/proc/4724/task/4738/stat : 4738 (java) S 4706 4706 3762 0 -1 1077944384 1 1025 0 0 0 0 2 0 20 0 17 0 224236300 8060526592 29078 33554432000 4194304 4196468 140726401895216 140200558701744 140201250679426 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18448384 140726401901750 140726401901873 140726401901873 140726401904591 0
Current children cumulated CPU time: 4.36 s
Current children cumulated vsize: 7984736 KiB
Current children cumulated memory: 117784 KiB
Child status: 0
Real time (s): 2.45749
CPU time (s): 4.48148
CPU user time (s): 4.29619
CPU system time (s): 0.185282
CPU usage (%): 182.36
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 207616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.29619
system time used= 0.185282
maximum resident set size= 211324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4889
involuntary context switches= 67
# summary of solver processes directly reported to runsolver:
# pid: 4706
# total CPU time (s): 4.48148
# total CPU user time (s): 4.29619
# total CPU system time (s): 0.185282
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039085 second user time and 0.069893 second system time
The end