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-21653-serial-file.bin HOME/instance-4305452-1534078166.xml
0.66/0.52
0.66/0.52 scop order+minisat_release (2018-07-31)
0.66/0.52 (Encoding Process)
0.66/0.52
0.66/0.55 c BEGIN-Prog: Sun Aug 12 14:49:27 CEST 2018
0.66/0.55 c PID: 21656
0.66/0.55 c IP: 172.20.3.139
0.66/0.55 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
1.57/0.92 c (0,0) Parsing End
1.57/0.92 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 93 ctr, max domain size 128
1.57/0.92 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.57/0.92 c (0,0) Constraint Name Generate Begin
1.57/0.93 c (0,0) Ctr:HOME/instance-4305452-1534078166.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar
1.57/0.93 c (0,0) Constraint Name Generate End
1.57/0.93 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.57/0.93 c (0,0) CSP to CSPinCNF Begin
7.90/3.07 c (2,2) translated 10 (10%) constraints
10.09/4.21 c (3,3) translated 19 (20%) constraints
11.23/5.31 c (4,4) translated 28 (30%) constraints
12.49/6.52 c (6,5) translated 38 (40%) constraints
13.80/7.62 c (7,7) translated 47 (50%) constraints
15.55/8.82 c (8,8) translated 56 (60%) constraints
16.48/9.72 c (9,9) translated 66 (70%) constraints
16.48/9.72 c (9,9) translated 75 (80%) constraints
16.48/9.73 c (9,9) translated 84 (90%) constraints
16.48/9.74 c (9,9) translated 93 (100%) constraints
18.02/10.35 c (9,9) STATISTICS1:HOME/instance-4305452-1534078166.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,7904,192916,127,127,128,2,127:435,127:369884;2:200074,128:62;30:2;3:176328;2:16520;1:4,2:435;1:569088;0:66,
18.02/10.35 c (9,9) ==========================================
18.02/10.35 c (9,9) Order
18.02/10.35 c (9,9) ==========================================
19.51/10.81 c (10,10) translated 19292 (10%) constraints
20.45/11.12 c (10,10) translated 38584 (20%) constraints
20.83/11.36 c (10,10) translated 57875 (30%) constraints
21.05/11.59 c (11,10) translated 77167 (40%) constraints
21.35/11.82 c (11,11) translated 96458 (50%) constraints
21.57/12.05 c (11,11) translated 115750 (60%) constraints
21.78/12.27 c (11,11) translated 135042 (70%) constraints
22.09/12.50 c (11,11) translated 154333 (80%) constraints
22.29/12.74 c (12,12) translated 173625 (90%) constraints
22.49/12.98 c (12,12) translated 192916 (100%) constraints
22.49/12.98 c (12,12) CSP to CSPinCNF End
22.49/12.98 c (12,12) CSP: 30 int (0 aux), 7874 bool (7874 aux), 192916 ctr, max domain size 127
22.49/12.98 c (12,12) Heap : 2620 MiB used (max 10795 MiB), NonHeap : 28 MiB used (max 0 MiB)
22.49/12.98 c (12,12) CSPinCNF Propagation Begin
50.17/36.33 c (35,34) 0 values, 62 unsatisfiable literals, and 4 valid clauses are removed
50.17/36.33 c (35,34) CSPinCNF Propagation End
50.17/36.33 c (35,34) CSP: 30 int (0 aux), 7874 bool (7874 aux), 192912 ctr, max domain size 127
50.17/36.33 c (35,34) Heap : 2231 MiB used (max 10847 MiB), NonHeap : 29 MiB used (max 0 MiB)
50.17/36.33 c (35,34) Simplify CSPinCNF Begin
50.77/36.60 c (36,34) Simplify CSPinCNF End
50.77/36.61 c (36,34) CSP: 30 int (0 aux), 8744 bool (8744 aux), 193782 ctr, max domain size 127
50.77/36.61 c (36,34) Heap : 2363 MiB used (max 10847 MiB), NonHeap : 30 MiB used (max 0 MiB)
50.77/36.61 c (36,34) Calculate Precise Domain Begin
50.77/36.61 c (36,34) 0 values are removed by re-calculation
50.77/36.61 c (36,34) Calculate Precise Domain End
50.77/36.61 c (36,34) CSP: 30 int (0 aux), 8744 bool (8744 aux), 193782 ctr, max domain size 127
50.77/36.61 c (36,34) Heap : 2363 MiB used (max 10847 MiB), NonHeap : 30 MiB used (max 0 MiB)
50.77/36.61 c (36,34) CSPinCNF to SatSolver Begin
52.03/37.16 c (36,35) 19379 (10 %) CSP clauses are encoded (12524 SAT variables, 132748 SAT clauses)
52.23/37.26 c (36,35) 38757 (20 %) CSP clauses are encoded (12524 SAT variables, 152126 SAT clauses)
52.33/37.36 c (36,35) 58135 (30 %) CSP clauses are encoded (12524 SAT variables, 171504 SAT clauses)
52.43/37.45 c (36,35) 77513 (40 %) CSP clauses are encoded (12524 SAT variables, 190882 SAT clauses)
52.53/37.55 c (37,35) 96891 (50 %) CSP clauses are encoded (12524 SAT variables, 210260 SAT clauses)
52.64/37.65 c (37,35) 116270 (60 %) CSP clauses are encoded (12524 SAT variables, 229639 SAT clauses)
52.74/37.74 c (37,35) 135648 (70 %) CSP clauses are encoded (12524 SAT variables, 249017 SAT clauses)
52.85/37.83 c (37,35) 155026 (80 %) CSP clauses are encoded (12524 SAT variables, 268395 SAT clauses)
52.95/37.93 c (37,36) 174404 (90 %) CSP clauses are encoded (12524 SAT variables, 287773 SAT clauses)
53.07/38.10 c (37,36) 193782 (100 %) CSP clauses are encoded (12524 SAT variables, 307151 SAT clauses)
53.07/38.10 c (37,36) Launch Command will be: minisat_release
53.07/38.10 c (37,36) CSPinCNF to SatSolver End
53.07/38.10 c (37,36) Heap : 269 MiB used (max 11028 MiB), NonHeap : 31 MiB used (max 0 MiB)
54.06/38.56 c (38,36) STATISTICS2:HOME/instance-4305452-1534078166.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,8774,193782,127,127,127,2,127:870,127:370754;2:201814,127:62;30:2;3:176328;2:17390,2:870;1:570828,
54.06/38.56 c (38,36) 12524 bool, 307152 clause
54.06/38.56 c (38,36) Export Begin
54.20/38.67 c (38,36) Export to HOME/scop-21653-serial-file.bin
54.20/38.67 c (38,36) Export End
54.20/38.67 c (38,36) Export File Size: 0.08 MB
54.20/38.67 c (38,36) 0,0,12,35,36,36,37,STOP-AFTER(DIMACS)
54.20/38.67 c END-Prog: Sun Aug 12 14:50:05 CEST 2018
0.00/38.71 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-21653-serial-file.bin
55.02/39.20 c (0,0) Read Serial File Begin
55.02/39.20 c (0,0) HOME/scop-21653-serial-file.bin
55.17/39.40 c (0,0) Read Serial File End
55.41/39.41
55.41/39.41 scop order+minisat_release (2018-07-31)
55.41/39.41 (Solving Process)
55.41/39.41
55.41/39.43 c BEGIN-Prog: Sun Aug 12 14:50:06 CEST 2018
55.41/39.43 c PID: 21679
55.41/39.43 c IP: 172.20.3.139
55.41/39.43 c HOST: node139.alineos.net
55.41/39.44 c (0,0) SatSolver.solve Begin
55.41/39.44 c (0,0) 0 bool, 0 clause
55.41/39.44 c (0,0) minisat_release HOME/instance-4305452-1534078166.xml-scop-21656.cnf
56.39/40.24 c (1,0) c This is COMiniSatPS.
56.39/40.24 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
56.39/40.24 c (1,0) c ============================[ Problem Statistics ]=============================
56.39/40.24 c (1,0) c | |
56.39/40.24 c (1,0) c | Number of variables: 12524 |
56.39/40.24 c (1,0) c | Number of clauses: 307152 |
56.39/40.24 c (1,0) c | Parse time: 0.08 s |
56.39/40.24 c (1,0) c | Eliminated clauses: 0.01 Mb |
56.39/40.24 c (1,0) c Reduced to 12089 vars, 304283 cls (grow=0)
56.39/40.24 c (1,0) c No iterative elimination performed. (vars=12089, c/v ratio=25.2)
56.39/40.24 c (1,0) c | Simplification time: 0.38 s |
56.39/40.24 c (1,0) c | |
56.39/40.24 c (1,0) c ============================[ Search Statistics ]==============================
56.39/40.24 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
56.39/40.24 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
56.39/40.24 c (1,0) c ===============================================================================
56.39/40.24 c (1,0) c ===============================================================================
56.39/40.24 c (1,0) c restarts : 12
56.39/40.24 c (1,0) c conflicts : 1495 (1965 /sec)
56.39/40.24 c (1,0) c decisions : 2744 (0.00 % random) (3607 /sec)
56.39/40.24 c (1,0) c propagations : 1484579 (1951357 /sec)
56.39/40.24 c (1,0) c conflict literals : 39113 (21.95 % deleted)
56.39/40.24 c (1,0) c CPU time : 0.760793 s
56.39/40.24 c (1,0)
56.39/40.24 c (1,0) s SATISFIABLE
56.39/40.27 c (1,0) SatSolver.solve End
56.39/40.28 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
56.39/40.28 c (1,0) Show results Begin
56.59/40.31 s SATISFIABLE
56.59/40.31 v <instantiation>
56.59/40.31 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29]</list>
56.59/40.31 v <values>19 57 27 93 112 68 1 9 81 115 122 45 87 67 52 29 44 82 23 42 40 65 51 74 114 37 125 72 24 106</values>
56.59/40.31 v </instantiation>
56.59/40.31 c (1,0) Show results End
56.59/40.31 c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
56.59/40.31 c (1,0) 1,1,STOP-AFTER(ALL)
56.59/40.31 c END-Prog: Sun Aug 12 14:50:07 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 (5698 MiB free)
memory of node 1: 16384 MiB (6572 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305452-1534078166/watcher-4305452-1534078166 -o /tmp/evaluation-result-4305452-1534078166/solver-4305452-1534078166 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305452-1534078166.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=21653, runsolver pid=21650
[startup+0.100167 s]*
/proc/loadavg: 2.06 2.96 2.87 4/222 21670
/proc/meminfo: memFree=12505004/32770624 swapFree=67108860/67108860
[pid=21653] ppid=21650 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21653/stat : 21653 (scop.sh) S 21650 21653 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225379784 115843072 349 33554432000 4194304 5098028 140729639088384 140729639085640 140476948464252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20160512 140729639097408 140729639097607 140729639097607 140729639100365 0
/proc/21653/statm: 28282 349 296 221 0 87 0
[pid=21656] ppid=21653 vsize=15012476 memory=73680 CPUtime=0.11 cores=0,2,4,6
/proc/21656/stat : 21656 (java) S 21653 21653 16770 0 -1 1077944320 6516 0 0 0 10 1 0 0 20 0 15 0 225379785 15372775424 18420 33554432000 4194304 4196468 140721672043072 140721672025616 140713165147895 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
/proc/21656/statm: 3753119 18420 2766 1 0 3715579 0
[pid=21656/tid=21657] ppid=21653 vsize=15012476 memory=-6222985969016291267 CPUtime=0.09 cores=0,2,4,6
/proc/21656/task/21657/stat : 21657 (java) R 21653 21653 16770 0 -1 4202560 4605 0 0 0 8 1 0 0 20 0 15 0 225379785 15372775424 18420 33554432000 4194304 4196468 140721672043072 140713136959880 140713148334704 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21658] ppid=21653 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21658/stat : 21658 (java) S 21653 21653 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379787 15372775424 18420 33554432000 4194304 4196468 140721672043072 140713169390736 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21659] ppid=21653 vsize=15012476 memory=139879599400576 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21659/stat : 21659 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379787 15372775424 18420 33554432000 4194304 4196468 140721672043072 140712625908752 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21660] ppid=21653 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21660/stat : 21660 (java) S 21653 21653 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379787 15372775424 18420 33554432000 4194304 4196468 140721672043072 140712624855952 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21661] ppid=21653 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21661/stat : 21661 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379787 15372775424 18420 33554432000 4194304 4196468 140721672043072 140712623803152 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21662] ppid=21653 vsize=15012476 memory=139879599400576 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21662/stat : 21662 (java) S 21653 21653 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379788 15372775424 18420 33554432000 4194304 4196468 140721672043072 140712504801648 140713165159042 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21663] ppid=21653 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21663/stat : 21663 (java) S 21653 21653 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225379789 15372775424 18420 33554432000 4194304 4196468 140721672043072 140711785653280 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21664] ppid=21653 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21664/stat : 21664 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379789 15372775424 18420 33554432000 4194304 4196468 140721672043072 140711517217648 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21665] ppid=21653 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21665/stat : 21665 (java) S 21653 21653 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379791 15372775424 18420 33554432000 4194304 4196468 140721672043072 140711142709072 140713165166491 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21666] ppid=21653 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21666/stat : 21666 (java) S 21653 21653 16770 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 225379791 15372775424 18420 33554432000 4194304 4196468 140721672043072 140712503749488 140713165159042 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21667] ppid=21653 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21667/stat : 21667 (java) S 21653 21653 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379791 15372775424 18420 33554432000 4194304 4196468 140721672043072 140712502696688 140713165159042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21668] ppid=21653 vsize=15012476 memory=139879599400576 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21668/stat : 21668 (java) R 21653 21653 16770 0 -1 4202560 273 0 0 0 0 0 0 0 20 0 15 0 225379791 15372775424 18420 33554432000 4194304 4196468 140721672043072 140712501641000 140713145474720 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21669] ppid=21653 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21669/stat : 21669 (java) S 21653 21653 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379792 15372775424 18420 33554432000 4194304 4196468 140721672043072 140710644804320 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21670] ppid=21653 vsize=15012476 memory=139879599400576 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21670/stat : 21670 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379792 15372775424 18420 33554432000 4194304 4196468 140721672043072 140712500591280 140713165159042 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75076 KiB
[startup+0.210784 s]*
/proc/loadavg: 2.06 2.96 2.87 3/222 21670
/proc/meminfo: memFree=12491176/32770624 swapFree=67108860/67108860
[pid=21653] ppid=21650 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21653/stat : 21653 (scop.sh) S 21650 21653 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225379784 115843072 349 33554432000 4194304 5098028 140729639088384 140729639085640 140476948464252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20160512 140729639097408 140729639097607 140729639097607 140729639100365 0
/proc/21653/statm: 28282 349 296 221 0 87 0
[pid=21656] ppid=21653 vsize=15012476 memory=86732 CPUtime=0.25 cores=0,2,4,6
/proc/21656/stat : 21656 (java) S 21653 21653 16770 0 -1 1077944320 10037 0 0 0 23 2 0 0 20 0 15 0 225379785 15372775424 21683 33554432000 4194304 4196468 140721672043072 140721672025616 140713165147895 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
/proc/21656/statm: 3753119 21683 2900 1 0 3715579 0
[pid=21656/tid=21657] ppid=21653 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/21656/task/21657/stat : 21657 (java) R 21653 21653 16770 0 -1 4202560 7936 0 0 0 18 1 0 0 20 0 15 0 225379785 15372775424 21683 33554432000 4194304 4196468 140721672043072 140713136970432 140713165159830 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21658] ppid=21653 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21658/stat : 21658 (java) S 21653 21653 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379787 15372775424 21683 33554432000 4194304 4196468 140721672043072 140713169390736 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21659] ppid=21653 vsize=15012476 memory=139879600595294 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21659/stat : 21659 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379787 15372775424 21683 33554432000 4194304 4196468 140721672043072 140712625908752 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21660] ppid=21653 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21660/stat : 21660 (java) S 21653 21653 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379787 15372775424 21683 33554432000 4194304 4196468 140721672043072 140712624855952 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21661] ppid=21653 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21661/stat : 21661 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379787 15372775424 21683 33554432000 4194304 4196468 140721672043072 140712623803152 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21662] ppid=21653 vsize=15012476 memory=139879599400576 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21662/stat : 21662 (java) S 21653 21653 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379788 15372775424 21683 33554432000 4194304 4196468 140721672043072 140712504801648 140713165159042 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21663] ppid=21653 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21663/stat : 21663 (java) S 21653 21653 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225379789 15372775424 21683 33554432000 4194304 4196468 140721672043072 140711785653280 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21664] ppid=21653 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21664/stat : 21664 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379789 15372775424 21683 33554432000 4194304 4196468 140721672043072 140711517217648 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21665] ppid=21653 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21665/stat : 21665 (java) S 21653 21653 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379791 15372775424 21683 33554432000 4194304 4196468 140721672043072 140711142709072 140713165166491 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21666] ppid=21653 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21666/stat : 21666 (java) S 21653 21653 16770 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 225379791 15372775424 21683 33554432000 4194304 4196468 140721672043072 140712503749488 140713165159042 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21667] ppid=21653 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21667/stat : 21667 (java) S 21653 21653 16770 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 225379791 15372775424 21683 33554432000 4194304 4196468 140721672043072 140712502696688 140713165159042 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21668] ppid=21653 vsize=15012476 memory=139879599400576 CPUtime=0.03 cores=0,2,4,6
/proc/21656/task/21668/stat : 21668 (java) R 21653 21653 16770 0 -1 4202560 294 0 0 0 3 0 0 0 20 0 15 0 225379791 15372775424 21683 33554432000 4194304 4196468 140721672043072 140712501643888 140713144102605 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21669] ppid=21653 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21669/stat : 21669 (java) S 21653 21653 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379792 15372775424 21683 33554432000 4194304 4196468 140721672043072 140710644804320 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21670] ppid=21653 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21670/stat : 21670 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379792 15372775424 21683 33554432000 4194304 4196468 140721672043072 140712500591280 140713165159042 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 88128 KiB
[startup+0.310774 s]*
/proc/loadavg: 2.06 2.96 2.87 3/222 21670
/proc/meminfo: memFree=12488012/32770624 swapFree=67108860/67108860
[pid=21653] ppid=21650 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21653/stat : 21653 (scop.sh) S 21650 21653 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225379784 115843072 349 33554432000 4194304 5098028 140729639088384 140729639085640 140476948464252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20160512 140729639097408 140729639097607 140729639097607 140729639100365 0
/proc/21653/statm: 28282 349 296 221 0 87 0
[pid=21656] ppid=21653 vsize=15012476 memory=90252 CPUtime=0.42 cores=0,2,4,6
/proc/21656/stat : 21656 (java) S 21653 21653 16770 0 -1 1077944320 10564 0 0 0 40 2 0 0 20 0 15 0 225379785 15372775424 22563 33554432000 4194304 4196468 140721672043072 140721672025616 140713165147895 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
/proc/21656/statm: 3753119 22563 2973 1 0 3715579 0
[pid=21656/tid=21657] ppid=21653 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/21656/task/21657/stat : 21657 (java) R 21653 21653 16770 0 -1 4202560 8308 0 0 0 28 1 0 0 20 0 15 0 225379785 15372775424 22563 33554432000 4194304 4196468 140721672043072 140713136943344 140713149228382 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21658] ppid=21653 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21658/stat : 21658 (java) S 21653 21653 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379787 15372775424 22563 33554432000 4194304 4196468 140721672043072 140713169390736 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21659] ppid=21653 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21659/stat : 21659 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379787 15372775424 22563 33554432000 4194304 4196468 140721672043072 140712625908752 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21660] ppid=21653 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21660/stat : 21660 (java) S 21653 21653 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379787 15372775424 22563 33554432000 4194304 4196468 140721672043072 140712624855952 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21661] ppid=21653 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21661/stat : 21661 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379787 15372775424 22563 33554432000 4194304 4196468 140721672043072 140712623803152 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21662] ppid=21653 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21662/stat : 21662 (java) S 21653 21653 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379788 15372775424 22563 33554432000 4194304 4196468 140721672043072 140712504801648 140713165159042 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21663] ppid=21653 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21663/stat : 21663 (java) S 21653 21653 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225379789 15372775424 22563 33554432000 4194304 4196468 140721672043072 140711785653280 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21664] ppid=21653 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21664/stat : 21664 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379789 15372775424 22563 33554432000 4194304 4196468 140721672043072 140711517217648 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21665] ppid=21653 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21665/stat : 21665 (java) S 21653 21653 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379791 15372775424 22563 33554432000 4194304 4196468 140721672043072 140711142709072 140713165166491 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21666] ppid=21653 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21656/task/21666/stat : 21666 (java) S 21653 21653 16770 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 15 0 225379791 15372775424 22563 33554432000 4194304 4196468 140721672043072 140712503749488 140713165159042 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21667] ppid=21653 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21656/task/21667/stat : 21667 (java) R 21653 21653 16770 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 15 0 225379791 15372775424 22563 33554432000 4194304 4196468 140721672043072 140712502696688 140713165159042 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21668] ppid=21653 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21656/task/21668/stat : 21668 (java) S 21653 21653 16770 0 -1 1077944384 312 0 0 0 7 0 0 0 20 0 15 0 225379791 15372775424 22563 33554432000 4194304 4196468 140721672043072 140712501643888 140713165159042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21669] ppid=21653 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21669/stat : 21669 (java) S 21653 21653 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379792 15372775424 22563 33554432000 4194304 4196468 140721672043072 140710644804320 140713165158101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21670] ppid=21653 vsize=15012476 memory=3977583576071872561 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21670/stat : 21670 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379792 15372775424 22563 33554432000 4194304 4196468 140721672043072 140712500591280 140713165159042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91648 KiB
[startup+0.700798 s]
/proc/loadavg: 2.06 2.96 2.87 3/222 21670
/proc/meminfo: memFree=12464076/32770624 swapFree=67108860/67108860
[pid=21653] ppid=21650 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21653/stat : 21653 (scop.sh) S 21650 21653 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225379784 115843072 349 33554432000 4194304 5098028 140729639088384 140729639085640 140476948464252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20160512 140729639097408 140729639097607 140729639097607 140729639100365 0
/proc/21653/statm: 28282 349 296 221 0 87 0
[pid=21656] ppid=21653 vsize=15020872 memory=129504 CPUtime=1 cores=0,2,4,6
/proc/21656/stat : 21656 (java) S 21653 21653 16770 0 -1 1077944320 17535 0 0 0 96 4 0 0 20 0 15 0 225379785 15381372928 32376 33554432000 4194304 4196468 140721672043072 140721672025616 140713165147895 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
/proc/21656/statm: 3755218 32376 3160 1 0 3716603 0
[pid=21656/tid=21657] ppid=21653 vsize=15020872 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/21656/task/21657/stat : 21657 (java) R 21653 21653 16770 0 -1 4202560 14906 0 0 0 64 3 0 0 20 0 15 0 225379785 15381372928 32376 33554432000 4194304 4196468 140721672043072 140713136982864 140713165169821 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21658] ppid=21653 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21658/stat : 21658 (java) S 21653 21653 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379787 15381372928 32376 33554432000 4194304 4196468 140721672043072 140713169390736 140713165158101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21659] ppid=21653 vsize=15020872 memory=61156 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21659/stat : 21659 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379787 15381372928 32376 33554432000 4194304 4196468 140721672043072 140712625908752 140713165158101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21660] ppid=21653 vsize=15020872 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21660/stat : 21660 (java) S 21653 21653 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225379787 15381372928 32376 33554432000 4194304 4196468 140721672043072 140712624855952 140713165158101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21661] ppid=21653 vsize=15020872 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21661/stat : 21661 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379787 15381372928 32376 33554432000 4194304 4196468 140721672043072 140712623803152 140713165158101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21662] ppid=21653 vsize=15020872 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21662/stat : 21662 (java) S 21653 21653 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225379788 15381372928 32376 33554432000 4194304 4196468 140721672043072 140712504801648 140713165159042 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21663] ppid=21653 vsize=15020872 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21663/stat : 21663 (java) S 21653 21653 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225379789 15381372928 32376 33554432000 4194304 4196468 140721672043072 140711785653280 140713165158101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21664] ppid=21653 vsize=15020872 memory=796 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21664/stat : 21664 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379789 15381372928 32441 33554432000 4194304 4196468 140721672043072 140711517217648 140713165158101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21665] ppid=21653 vsize=15020872 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21665/stat : 21665 (java) S 21653 21653 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379791 15381372928 32441 33554432000 4194304 4196468 140721672043072 140711142709072 140713165166491 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21666] ppid=21653 vsize=15020872 memory=876 CPUtime=0.06 cores=0,2,4,6
/proc/21656/task/21666/stat : 21666 (java) S 21653 21653 16770 0 -1 1077944384 433 0 0 0 6 0 0 0 20 0 15 0 225379791 15381372928 32441 33554432000 4194304 4196468 140721672043072 140712503749488 140713165159042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21667] ppid=21653 vsize=15020872 memory=10096 CPUtime=0.09 cores=0,2,4,6
/proc/21656/task/21667/stat : 21667 (java) R 21653 21653 16770 0 -1 4202560 467 0 0 0 9 0 0 0 20 0 15 0 225379791 15381372928 32441 33554432000 4194304 4196468 140721672043072 140712502687520 140713146333702 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21668] ppid=21653 vsize=15020872 memory=1228 CPUtime=0.16 cores=0,2,4,6
/proc/21656/task/21668/stat : 21668 (java) R 21653 21653 16770 0 -1 4202560 396 0 0 0 16 0 0 0 20 0 15 0 225379791 15381372928 32441 33554432000 4194304 4196468 140721672043072 140712501639616 140713157389285 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21669] ppid=21653 vsize=15020872 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21669/stat : 21669 (java) S 21653 21653 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225379792 15381372928 32441 33554432000 4194304 4196468 140721672043072 140710644804320 140713165158101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
[pid=21656/tid=21670] ppid=21653 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/21656/task/21670/stat : 21670 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225379792 15381372928 32441 33554432000 4194304 4196468 140721672043072 140712500591280 140713165159042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17797120 140721672045574 140721672045873 140721672045873 140721672048591 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130900 KiB
[startup+1.50508 s]
/proc/loadavg: 2.06 2.96 2.87 5/222 21670
/proc/meminfo: memFree=12432984/32770624 swapFree=67108860/67108860
[pid=21653] ppid=21650 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21653/stat : 21653 (scop.sh) S 21650 21653 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225379784 115843072 349 33554432000 4194304 5098028 140729639088384 140729639085640 140476948464252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20160512 140729639097408 140729639097607 140729639097607 140729639100365 0
/proc/21653/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/21679/task/21690/stat : 21690 (java) S 21653 21653 16770 0 -1 1077944384 224 0 0 0 3 0 0 0 20 0 15 0 225383662 7584116736 22946 33554432000 4194304 4196468 140726470175232 140158530705520 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21691] ppid=21653 vsize=7406364 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21679/task/21691/stat : 21691 (java) S 21653 21653 16770 0 -1 1077944384 321 0 0 0 9 0 0 0 20 0 15 0 225383662 7584116736 22946 33554432000 4194304 4196468 140726470175232 140158529652976 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21692] ppid=21653 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21692/stat : 21692 (java) S 21653 21653 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225383662 7584116736 22946 33554432000 4194304 4196468 140726470175232 140156996676192 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21693] ppid=21653 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21693/stat : 21693 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225383662 7584116736 22946 33554432000 4194304 4196468 140726470175232 140158528600880 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
Current children cumulated CPU time: 55.02 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 92992 KiB
[startup+40.0008 s]*
/proc/loadavg: 2.08 2.85 2.84 3/228 21699
/proc/meminfo: memFree=12420540/32770624 swapFree=67108860/67108860
[pid=21653] ppid=21650 vsize=113128 memory=1472 CPUtime=54.39 cores=0,2,4,6
/proc/21653/stat : 21653 (scop.sh) S 21650 21653 16770 0 -1 4202496 589 53061 0 0 0 0 5284 155 20 0 1 0 225379784 115843072 368 33554432000 4194304 5098028 140729639088384 140729639085128 140476948464252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20160512 140729639097408 140729639097607 140729639097607 140729639100365 0
/proc/21653/statm: 28282 368 311 221 0 87 0
[pid=21679] ppid=21653 vsize=8068220 memory=122260 CPUtime=1.27 cores=0,2,4,6
/proc/21679/stat : 21679 (java) S 21653 21653 16770 0 -1 1077944320 17720 0 0 0 120 7 0 0 20 0 19 0 225383656 8261857280 30565 33554432000 4194304 4196468 140726470175232 140726470157776 140159288545015 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
/proc/21679/statm: 2017055 30565 3156 1 0 1978454 0
[pid=21694] ppid=21679 vsize=47808 memory=27144 CPUtime=0.53 cores=0,2,4,6
/proc/21694/stat : 21694 (minisat_release) R 21679 21653 16770 0 -1 4202496 7835 0 0 0 52 1 0 0 20 0 1 0 225383731 48955392 6786 33554432000 4194304 4308513 140720470156608 140720470153752 4275579 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 36503552 140720470160500 140720470160598 140720470160598 140720470163397 0
/proc/21694/statm: 11952 6786 322 28 0 8192 0
[pid=21679/tid=21680] ppid=21653 vsize=8068220 memory=-7824251494390453861 CPUtime=0.77 cores=0,2,4,6
/proc/21679/task/21680/stat : 21680 (java) S 21653 21653 16770 0 -1 1077944384 14522 0 0 0 72 5 0 0 20 0 19 0 225383656 8261857280 30565 33554432000 4194304 4196468 140726470175232 140159260385168 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21681] ppid=21653 vsize=8068220 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21681/stat : 21681 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225383657 8261857280 30565 33554432000 4194304 4196468 140726470175232 140159292786960 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21682] ppid=21653 vsize=8068220 memory=960 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21682/stat : 21682 (java) S 21653 21653 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225383657 8261857280 30565 33554432000 4194304 4196468 140726470175232 140159092955536 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21683] ppid=21653 vsize=8068220 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21683/stat : 21683 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225383657 8261857280 30565 33554432000 4194304 4196468 140726470175232 140159091902992 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21684] ppid=21653 vsize=8068220 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21684/stat : 21684 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225383657 8261857280 30565 33554432000 4194304 4196468 140726470175232 140159090850448 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21685] ppid=21653 vsize=8068220 memory=932 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21685/stat : 21685 (java) S 21653 21653 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225383659 8261857280 30565 33554432000 4194304 4196468 140726470175232 140158532811248 140159288556162 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21686] ppid=21653 vsize=8068220 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21686/stat : 21686 (java) S 21653 21653 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225383659 8261857280 30565 33554432000 4194304 4196468 140726470175232 140158137525664 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21687] ppid=21653 vsize=8068220 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21687/stat : 21687 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225383659 8261857280 30565 33554432000 4194304 4196468 140726470175232 140157869090288 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21688] ppid=21653 vsize=8068220 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21688/stat : 21688 (java) S 21653 21653 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225383662 8261857280 30565 33554432000 4194304 4196468 140726470175232 140157494581968 140159288563611 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21689] ppid=21653 vsize=8068220 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/21679/task/21689/stat : 21689 (java) S 21653 21653 16770 0 -1 1077944384 639 0 0 0 10 0 0 0 20 0 19 0 225383662 8261857280 30565 33554432000 4194304 4196468 140726470175232 140158531758064 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21690] ppid=21653 vsize=8068220 memory=22244 CPUtime=0.14 cores=0,2,4,6
/proc/21679/task/21690/stat : 21690 (java) S 21653 21653 16770 0 -1 1077944384 587 0 0 0 14 0 0 0 20 0 19 0 225383662 8261857280 30565 33554432000 4194304 4196468 140726470175232 140158530705520 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21691] ppid=21653 vsize=8068220 memory=2100 CPUtime=0.21 cores=0,2,4,6
/proc/21679/task/21691/stat : 21691 (java) S 21653 21653 16770 0 -1 1077944384 579 0 0 0 21 0 0 0 20 0 19 0 225383662 8261857280 30565 33554432000 4194304 4196468 140726470175232 140158529652976 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21692] ppid=21653 vsize=8068220 memory=7528 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21692/stat : 21692 (java) S 21653 21653 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225383662 8261857280 30565 33554432000 4194304 4196468 140726470175232 140156996676192 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21693] ppid=21653 vsize=8068220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21693/stat : 21693 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225383662 8261857280 30565 33554432000 4194304 4196468 140726470175232 140158528600880 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21695] ppid=21653 vsize=8068220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21695/stat : 21695 (java) S 21653 21653 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225383731 8261857280 30565 33554432000 4194304 4196468 140726470175232 140158607840832 140159288569625 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21697] ppid=21653 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21697/stat : 21697 (java) S 21653 21653 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225383731 8261857280 30565 33554432000 4194304 4196468 140726470175232 140156459790512 140159288566941 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21698] ppid=21653 vsize=8068220 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21698/stat : 21698 (java) S 21653 21653 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225383731 8261857280 30565 33554432000 4194304 4196468 140726470175232 140156325567792 140159288566941 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21699] ppid=21653 vsize=8068220 memory=13567093857585738 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21699/stat : 21699 (java) S 21653 21653 16770 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 225383734 8261857280 30565 33554432000 4194304 4196468 140726470175232 140156594019360 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
Current children cumulated CPU time: 56.19 s
Current children cumulated vsize: 8229156 KiB
Current children cumulated memory: 150876 KiB
[startup+40.201 s]
/proc/loadavg: 2.08 2.85 2.84 3/228 21699
/proc/meminfo: memFree=12420540/32770624 swapFree=67108860/67108860
[pid=21653] ppid=21650 vsize=113128 memory=1472 CPUtime=54.39 cores=0,2,4,6
/proc/21653/stat : 21653 (scop.sh) S 21650 21653 16770 0 -1 4202496 589 53061 0 0 0 0 5284 155 20 0 1 0 225379784 115843072 368 33554432000 4194304 5098028 140729639088384 140729639085128 140476948464252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20160512 140729639097408 140729639097607 140729639097607 140729639100365 0
/proc/21653/statm: 28282 368 311 221 0 87 0
[pid=21679] ppid=21653 vsize=8068220 memory=122260 CPUtime=1.27 cores=0,2,4,6
/proc/21679/stat : 21679 (java) S 21653 21653 16770 0 -1 1077944320 17720 0 0 0 120 7 0 0 20 0 19 0 225383656 8261857280 30565 33554432000 4194304 4196468 140726470175232 140726470157776 140159288545015 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
/proc/21679/statm: 2017055 30565 3156 1 0 1978454 0
[pid=21694] ppid=21679 vsize=47808 memory=27144 CPUtime=0.73 cores=0,2,4,6
/proc/21694/stat : 21694 (minisat_release) R 21679 21653 16770 0 -1 4202496 7845 0 0 0 72 1 0 0 20 0 1 0 225383731 48955392 6786 33554432000 4194304 4308513 140720470156608 140720470153752 4276008 0 4 0 8396802 0 0 0 17 4 0 0 0 0 0 6409496 6410680 36503552 140720470160500 140720470160598 140720470160598 140720470163397 0
/proc/21694/statm: 11952 6786 322 28 0 8192 0
[pid=21679/tid=21680] ppid=21653 vsize=8068220 memory=2748 CPUtime=0.77 cores=0,2,4,6
/proc/21679/task/21680/stat : 21680 (java) S 21653 21653 16770 0 -1 1077944384 14522 0 0 0 72 5 0 0 20 0 19 0 225383656 8261857280 30565 33554432000 4194304 4196468 140726470175232 140159260385168 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21681] ppid=21653 vsize=8068220 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21681/stat : 21681 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225383657 8261857280 30565 33554432000 4194304 4196468 140726470175232 140159292786960 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21682] ppid=21653 vsize=8068220 memory=4056432 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21682/stat : 21682 (java) S 21653 21653 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 225383657 8261857280 30565 33554432000 4194304 4196468 140726470175232 140159092955536 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21683] ppid=21653 vsize=8068220 memory=2369 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21683/stat : 21683 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225383657 8261857280 30565 33554432000 4194304 4196468 140726470175232 140159091902992 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21684] ppid=21653 vsize=8068220 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21684/stat : 21684 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225383657 8261857280 30565 33554432000 4194304 4196468 140726470175232 140159090850448 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21685] ppid=21653 vsize=8068220 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21685/stat : 21685 (java) S 21653 21653 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 225383659 8261857280 30565 33554432000 4194304 4196468 140726470175232 140158532811248 140159288556162 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21686] ppid=21653 vsize=8068220 memory=13567093857585738 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21686/stat : 21686 (java) S 21653 21653 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 225383659 8261857280 30565 33554432000 4194304 4196468 140726470175232 140158137525664 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21687] ppid=21653 vsize=8068220 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21687/stat : 21687 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225383659 8261857280 30565 33554432000 4194304 4196468 140726470175232 140157869090288 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21688] ppid=21653 vsize=8068220 memory=796 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21688/stat : 21688 (java) S 21653 21653 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225383662 8261857280 30565 33554432000 4194304 4196468 140726470175232 140157494581968 140159288563611 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21689] ppid=21653 vsize=8068220 memory=5408 CPUtime=0.1 cores=0,2,4,6
/proc/21679/task/21689/stat : 21689 (java) S 21653 21653 16770 0 -1 1077944384 639 0 0 0 10 0 0 0 20 0 19 0 225383662 8261857280 30565 33554432000 4194304 4196468 140726470175232 140158531758064 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21690] ppid=21653 vsize=8068220 memory=876 CPUtime=0.14 cores=0,2,4,6
/proc/21679/task/21690/stat : 21690 (java) S 21653 21653 16770 0 -1 1077944384 587 0 0 0 14 0 0 0 20 0 19 0 225383662 8261857280 30565 33554432000 4194304 4196468 140726470175232 140158530705520 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21691] ppid=21653 vsize=8068220 memory=10096 CPUtime=0.21 cores=0,2,4,6
/proc/21679/task/21691/stat : 21691 (java) S 21653 21653 16770 0 -1 1077944384 579 0 0 0 21 0 0 0 20 0 19 0 225383662 8261857280 30565 33554432000 4194304 4196468 140726470175232 140158529652976 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21692] ppid=21653 vsize=8068220 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21692/stat : 21692 (java) S 21653 21653 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 225383662 8261857280 30565 33554432000 4194304 4196468 140726470175232 140156996676192 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21693] ppid=21653 vsize=8068220 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21693/stat : 21693 (java) S 21653 21653 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 225383662 8261857280 30565 33554432000 4194304 4196468 140726470175232 140158528600880 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21695] ppid=21653 vsize=8068220 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21695/stat : 21695 (java) S 21653 21653 16770 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 225383731 8261857280 30565 33554432000 4194304 4196468 140726470175232 140158607840832 140159288569625 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21697] ppid=21653 vsize=8068220 memory=8804 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21697/stat : 21697 (java) S 21653 21653 16770 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 225383731 8261857280 30565 33554432000 4194304 4196468 140726470175232 140156459790512 140159288566941 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21698] ppid=21653 vsize=8068220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21698/stat : 21698 (java) S 21653 21653 16770 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 225383731 8261857280 30565 33554432000 4194304 4196468 140726470175232 140156325567792 140159288566941 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21699] ppid=21653 vsize=8068220 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/21679/task/21699/stat : 21699 (java) S 21653 21653 16770 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 225383734 8261857280 30565 33554432000 4194304 4196468 140726470175232 140156594019360 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
Current children cumulated CPU time: 56.39 s
Current children cumulated vsize: 8229156 KiB
Current children cumulated memory: 150876 KiB
[startup+40.3009 s]
/proc/loadavg: 2.08 2.85 2.84 3/228 21699
/proc/meminfo: memFree=12420540/32770624 swapFree=67108860/67108860
[pid=21653] ppid=21650 vsize=113128 memory=1472 CPUtime=54.39 cores=0,2,4,6
/proc/21653/stat : 21653 (scop.sh) S 21650 21653 16770 0 -1 4202496 589 53061 0 0 0 0 5284 155 20 0 1 0 225379784 115843072 368 33554432000 4194304 5098028 140729639088384 140729639085128 140476948464252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20160512 140729639097408 140729639097607 140729639097607 140729639100365 0
/proc/21653/statm: 28282 368 311 221 0 87 0
[pid=21679] ppid=21653 vsize=7937144 memory=122808 CPUtime=2.2 cores=0,2,4,6
/proc/21679/stat : 21679 (java) S 21653 21653 16770 0 -1 1077944320 17931 7851 0 0 136 7 76 1 20 0 17 0 225383656 8127635456 30702 33554432000 4194304 4196468 140726470175232 140726470157776 140159288545015 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
/proc/21679/statm: 1984286 30702 3171 1 0 1945685 0
[pid=21679/tid=21680] ppid=21653 vsize=7937144 memory=122260 CPUtime=1.56 cores=0,2,4,6
/proc/21679/task/21680/stat : 21680 (java) R 21653 21653 16770 0 -1 4202560 14568 7851 0 0 74 5 76 1 20 0 17 0 225383656 8127635456 30702 33554432000 4194304 4196468 140726470175232 140159260383136 140159272625502 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21681] ppid=21653 vsize=7937144 memory=1952 CPUtime=0.77 cores=0,2,4,6
/proc/21679/task/21681/stat : 21681 (java) S 21653 21653 16770 0 -1 1077944384 1 7851 0 0 0 0 76 1 20 0 17 0 225383657 8127635456 30702 33554432000 4194304 4196468 140726470175232 140159292786960 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21682] ppid=21653 vsize=7937144 memory=1160 CPUtime=0.77 cores=0,2,4,6
/proc/21679/task/21682/stat : 21682 (java) S 21653 21653 16770 0 -1 1077944384 2 7851 0 0 0 0 76 1 20 0 17 0 225383657 8127635456 30702 33554432000 4194304 4196468 140726470175232 140159092955536 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21683] ppid=21653 vsize=7937144 memory=1704 CPUtime=0.77 cores=0,2,4,6
/proc/21679/task/21683/stat : 21683 (java) S 21653 21653 16770 0 -1 1077944384 1 7851 0 0 0 0 76 1 20 0 17 0 225383657 8127635456 30702 33554432000 4194304 4196468 140726470175232 140159091902992 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21684] ppid=21653 vsize=7937144 memory=796 CPUtime=0.77 cores=0,2,4,6
/proc/21679/task/21684/stat : 21684 (java) S 21653 21653 16770 0 -1 1077944384 1 7851 0 0 0 0 76 1 20 0 17 0 225383657 8127635456 30702 33554432000 4194304 4196468 140726470175232 140159090850448 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21685] ppid=21653 vsize=7937144 memory=10096 CPUtime=0.77 cores=0,2,4,6
/proc/21679/task/21685/stat : 21685 (java) S 21653 21653 16770 0 -1 1077944384 5 7851 0 0 0 0 76 1 20 0 17 0 225383659 8127635456 30702 33554432000 4194304 4196468 140726470175232 140158532811248 140159288556162 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21686] ppid=21653 vsize=7937144 memory=1228 CPUtime=0.77 cores=0,2,4,6
/proc/21679/task/21686/stat : 21686 (java) S 21653 21653 16770 0 -1 1077944384 13 7851 0 0 0 0 76 1 20 0 17 0 225383659 8127635456 30702 33554432000 4194304 4196468 140726470175232 140158137525664 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21687] ppid=21653 vsize=7937144 memory=1472 CPUtime=0.77 cores=0,2,4,6
/proc/21679/task/21687/stat : 21687 (java) S 21653 21653 16770 0 -1 1077944384 1 7851 0 0 0 0 76 1 20 0 17 0 225383659 8127635456 30702 33554432000 4194304 4196468 140726470175232 140157869090288 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21688] ppid=21653 vsize=7937144 memory=1788 CPUtime=0.77 cores=0,2,4,6
/proc/21679/task/21688/stat : 21688 (java) S 21653 21653 16770 0 -1 1077944384 3 7851 0 0 0 0 76 1 20 0 17 0 225383662 8127635456 30702 33554432000 4194304 4196468 140726470175232 140157494581968 140159288563611 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21689] ppid=21653 vsize=7937144 memory=1472 CPUtime=0.91 cores=0,2,4,6
/proc/21679/task/21689/stat : 21689 (java) R 21653 21653 16770 0 -1 4202560 660 7851 0 0 14 0 76 1 20 0 17 0 225383662 8127635456 30702 33554432000 4194304 4196468 140726470175232 140158531758064 140159288566362 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21690] ppid=21653 vsize=7937144 memory=122260 CPUtime=0.96 cores=0,2,4,6
/proc/21679/task/21690/stat : 21690 (java) R 21653 21653 16770 0 -1 4202560 610 7851 0 0 19 0 76 1 20 0 17 0 225383662 8127635456 30702 33554432000 4194304 4196468 140726470175232 140158530694000 140159288566362 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21691] ppid=21653 vsize=7937144 memory=1796 CPUtime=1.01 cores=0,2,4,6
/proc/21679/task/21691/stat : 21691 (java) S 21653 21653 16770 0 -1 1077944384 648 7851 0 0 24 0 76 1 20 0 17 0 225383662 8127635456 30702 33554432000 4194304 4196468 140726470175232 140158529652976 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21692] ppid=21653 vsize=7937144 memory=122260 CPUtime=0.77 cores=0,2,4,6
/proc/21679/task/21692/stat : 21692 (java) S 21653 21653 16770 0 -1 1077944384 3 7851 0 0 0 0 76 1 20 0 17 0 225383662 8127635456 30702 33554432000 4194304 4196468 140726470175232 140156996676192 140159288555221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21693] ppid=21653 vsize=7937144 memory=1396 CPUtime=0.77 cores=0,2,4,6
/proc/21679/task/21693/stat : 21693 (java) S 21653 21653 16770 0 -1 1077944384 1 7851 0 0 0 0 76 1 20 0 17 0 225383662 8127635456 30702 33554432000 4194304 4196468 140726470175232 140158528600880 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21695] ppid=21653 vsize=7937144 memory=4057136 CPUtime=0.77 cores=0,2,4,6
/proc/21679/task/21695/stat : 21695 (java) S 21653 21653 16770 0 -1 1077944384 23 7851 0 0 0 0 76 1 20 0 17 0 225383731 8127635456 30702 33554432000 4194304 4196468 140726470175232 140158607840016 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
[pid=21679/tid=21699] ppid=21653 vsize=7937144 memory=3508 CPUtime=0.77 cores=0,2,4,6
/proc/21679/task/21699/stat : 21699 (java) S 21653 21653 16770 0 -1 1077944384 30 7851 0 0 0 0 76 1 20 0 17 0 225383734 8127635456 30702 33554432000 4194304 4196468 140726470175232 140156594021168 140159288556162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140726470177973 140726470178097 140726470178097 140726470180815 0
Current children cumulated CPU time: 56.59 s
Current children cumulated vsize: 8050272 KiB
Current children cumulated memory: 124280 KiB
Child status: 0
Real time (s): 40.3272
CPU time (s): 56.6779
CPU user time (s): 55.0146
CPU system time (s): 1.66335
CPU usage (%): 140.545
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 4094372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.0146
system time used= 1.66335
maximum resident set size= 4093548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79541
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7446
involuntary context switches= 180
# summary of solver processes directly reported to runsolver:
# pid: 21653
# total CPU time (s): 56.6779
# total CPU user time (s): 55.0146
# total CPU system time (s): 1.66335
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.256034 second user time and 0.475692 second system time
The end