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-17862-serial-file.bin HOME/instance-4305430-1534065484.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 11:18:04 CEST 2018
0.66/0.55 c PID: 17865
0.66/0.55 c IP: 172.20.3.139
0.66/0.55 c HOST: node139.alineos.net
0.66/0.56 c (0,0) Parsing Begin
1.37/0.94 c (0,0) Parsing End
1.37/0.94 c (0,0) CSP: 48 int (0 aux), 12 bool (0 aux), 37 ctr, max domain size 15
1.37/0.94 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.37/0.94 c (0,0) Constraint Name Generate Begin
1.37/0.95 c (0,0) Ctr:HOME/instance-4305430-1534065484.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.37/0.95 c (0,0) Constraint Name Generate End
1.37/0.95 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.37/0.95 c (0,0) CSP to CSPinCNF Begin
1.56/1.03 c (0,0) translated 4 (10%) constraints
1.56/1.03 c (0,0) translated 8 (20%) constraints
1.56/1.04 c (0,0) translated 12 (30%) constraints
1.56/1.04 c (0,0) translated 15 (40%) constraints
1.56/1.04 c (0,0) translated 19 (50%) constraints
1.56/1.05 c (0,0) translated 23 (60%) constraints
1.74/1.13 c (0,0) translated 26 (70%) constraints
1.74/1.18 c (0,0) translated 30 (80%) constraints
1.96/1.21 c (0,0) translated 34 (90%) constraints
1.96/1.23 c (0,0) translated 37 (100%) constraints
2.25/1.37 c (0,0) STATISTICS1:HOME/instance-4305430-1534065484.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,104,256,28,14,4,3,28:24;26:88;22:50;20:38;18:42;11:18;10:2;9:2;2:22;1:2,14:184;13:184;11:92;10:46;9:46;2:638;1:24,4:66;3:55;2:110;1:25,3:264;2:24;1:374;0:12,
2.25/1.37 c (0,0) ==========================================
2.25/1.37 c (0,0) Order
2.25/1.37 c (0,0) ==========================================
2.25/1.38 c (0,0) translated 26 (10%) constraints
2.25/1.38 c (0,0) translated 52 (20%) constraints
2.25/1.39 c (0,0) translated 77 (30%) constraints
2.25/1.39 c (0,0) translated 103 (40%) constraints
2.25/1.39 c (0,0) translated 128 (50%) constraints
2.54/1.40 c (0,0) translated 154 (60%) constraints
2.54/1.40 c (0,0) translated 180 (70%) constraints
2.54/1.40 c (0,0) translated 205 (80%) constraints
2.54/1.41 c (0,0) translated 231 (90%) constraints
2.54/1.41 c (0,0) translated 256 (100%) constraints
2.54/1.41 c (0,0) CSP to CSPinCNF End
2.54/1.41 c (0,0) CSP: 48 int (0 aux), 56 bool (44 aux), 256 ctr, max domain size 14
2.54/1.42 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.54/1.42 c (0,0) CSPinCNF Propagation Begin
2.54/1.47 c (0,0) 0 values, 11 unsatisfiable literals, and 3 valid clauses are removed
2.54/1.47 c (0,0) CSPinCNF Propagation End
2.54/1.47 c (0,0) CSP: 48 int (0 aux), 56 bool (44 aux), 253 ctr, max domain size 14
2.54/1.47 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.54/1.47 c (0,0) Simplify CSPinCNF Begin
2.81/1.52 c (0,0) Simplify CSPinCNF End
2.81/1.52 c (0,0) CSP: 48 int (0 aux), 320 bool (308 aux), 517 ctr, max domain size 14
2.81/1.52 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.81/1.52 c (0,0) Calculate Precise Domain Begin
2.81/1.52 c (0,0) 0 values are removed by re-calculation
2.81/1.52 c (0,0) Calculate Precise Domain End
2.81/1.52 c (0,0) CSP: 48 int (0 aux), 320 bool (308 aux), 517 ctr, max domain size 14
2.81/1.52 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.81/1.52 c (0,0) CSPinCNF to SatSolver Begin
2.81/1.56 c (1,1) 52 (10 %) CSP clauses are encoded (616 SAT variables, 301 SAT clauses)
2.81/1.56 c (1,1) 104 (20 %) CSP clauses are encoded (616 SAT variables, 353 SAT clauses)
2.81/1.56 c (1,1) 156 (30 %) CSP clauses are encoded (616 SAT variables, 405 SAT clauses)
2.81/1.58 c (1,1) 207 (40 %) CSP clauses are encoded (616 SAT variables, 653 SAT clauses)
2.81/1.59 c (1,1) 259 (50 %) CSP clauses are encoded (616 SAT variables, 1254 SAT clauses)
3.11/1.61 c (1,1) 311 (60 %) CSP clauses are encoded (616 SAT variables, 1699 SAT clauses)
3.11/1.62 c (1,1) 362 (70 %) CSP clauses are encoded (616 SAT variables, 2324 SAT clauses)
3.11/1.63 c (1,1) 414 (80 %) CSP clauses are encoded (616 SAT variables, 3125 SAT clauses)
3.11/1.64 c (1,1) 466 (90 %) CSP clauses are encoded (616 SAT variables, 3720 SAT clauses)
3.11/1.65 c (1,1) 517 (100 %) CSP clauses are encoded (616 SAT variables, 4551 SAT clauses)
3.11/1.65 c (1,1) Launch Command will be: minisat_release
3.11/1.65 c (1,1) CSPinCNF to SatSolver End
3.11/1.65 c (1,1) Heap : 168 MiB used (max 10795 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.11/1.68 c (1,1) STATISTICS2:HOME/instance-4305430-1534065484.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,368,517,28,14,4,3,28:24;26:88;22:50;20:38;18:42;11:18;10:2;9:2;2:22,14:184;13:184;11:90;10:46;9:46;2:1166;1:22,4:66;3:44;2:385;1:22,3:264;2:22;1:902,
3.11/1.68 c (1,1) 616 bool, 4575 clause
3.11/1.68 c (1,1) Export Begin
3.44/1.78 c (1,1) Export to HOME/scop-17862-serial-file.bin
3.44/1.78 c (1,1) Export End
3.44/1.78 c (1,1) Export File Size: 0.01 MB
3.44/1.78 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.44/1.78 c END-Prog: Sun Aug 12 11:18:06 CEST 2018
0.00/1.80 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-17862-serial-file.bin
4.21/2.30 c (0,0) Read Serial File Begin
4.21/2.30 c (0,0) HOME/scop-17862-serial-file.bin
4.48/2.48 c (0,0) Read Serial File End
4.48/2.49
4.48/2.49 scop order+minisat_release (2018-07-31)
4.48/2.49 (Solving Process)
4.48/2.49
4.65/2.52 c BEGIN-Prog: Sun Aug 12 11:18:06 CEST 2018
4.65/2.52 c PID: 17880
4.65/2.52 c IP: 172.20.3.139
4.65/2.52 c HOST: node139.alineos.net
4.65/2.52 c (0,0) SatSolver.solve Begin
4.65/2.52 c (0,0) 0 bool, 0 clause
4.65/2.52 c (0,0) minisat_release HOME/instance-4305430-1534065484.xml-scop-17865.cnf
4.65/2.55 c (0,0) c This is COMiniSatPS.
4.65/2.55 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.65/2.55 c (0,0) c ============================[ Problem Statistics ]=============================
4.65/2.55 c (0,0) c | |
4.65/2.55 c (0,0) c | Number of variables: 616 |
4.65/2.55 c (0,0) c | Number of clauses: 4575 |
4.65/2.55 c (0,0) c | Parse time: 0.00 s |
4.65/2.55 c (0,0) c | Eliminated clauses: 0.00 Mb |
4.65/2.55 c (0,0) c Reduced to 437 vars, 4212 cls (grow=0)
4.65/2.55 c (0,0) c No iterative elimination performed. (vars=437, c/v ratio=9.6)
4.65/2.55 c (0,0) c | Simplification time: 0.00 s |
4.65/2.55 c (0,0) c | |
4.65/2.55 c (0,0) c ============================[ Search Statistics ]==============================
4.65/2.55 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.65/2.55 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.65/2.55 c (0,0) c ===============================================================================
4.65/2.55 c (0,0) c ===============================================================================
4.65/2.55 c (0,0) c restarts : 1
4.65/2.55 c (0,0) c conflicts : 23 (2976 /sec)
4.65/2.55 c (0,0) c decisions : 57 (0.00 % random) (7376 /sec)
4.65/2.55 c (0,0) c propagations : 749 (96920 /sec)
4.65/2.55 c (0,0) c conflict literals : 149 (11.83 % deleted)
4.65/2.55 c (0,0) c CPU time : 0.007728 s
4.65/2.55 c (0,0)
4.65/2.55 c (0,0) s UNSATISFIABLE
4.65/2.59 c (0,0) SatSolver.solve End
4.65/2.59 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.65/2.59 c (0,0) Show results Begin
4.65/2.59 s UNSATISFIABLE
4.65/2.59 c (0,0) Show results End
4.65/2.59 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
4.65/2.59 c (0,0) 0,0,STOP-AFTER(ALL)
4.65/2.59 c END-Prog: Sun Aug 12 11:18:06 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 (4669 MiB free)
memory of node 1: 16384 MiB (5701 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305430-1534065484/watcher-4305430-1534065484 -o /tmp/evaluation-result-4305430-1534065484/solver-4305430-1534065484 -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-4305430-1534065484.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=17862, runsolver pid=17859
[startup+0.109294 s]*
/proc/loadavg: 2.07 2.04 2.05 4/222 17879
/proc/meminfo: memFree=10558296/32770624 swapFree=67108860/67108860
[pid=17862] ppid=17859 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17862/stat : 17862 (scop.sh) S 17859 17862 16770 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224111541 115843072 349 33554432000 4194304 5098028 140734681827520 140734681824776 140338429616764 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16760832 140734681830464 140734681830663 140734681830663 140734681833421 0
/proc/17862/statm: 28282 349 296 221 0 87 0
[pid=17865] ppid=17862 vsize=15012476 memory=74568 CPUtime=0.12 cores=0,2,4,6
/proc/17865/stat : 17865 (java) S 17862 17862 16770 0 -1 1077944320 6728 0 0 0 10 2 0 0 20 0 15 0 224111541 15372775424 18642 33554432000 4194304 4196468 140731480203664 140731480186208 140218276822775 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
/proc/17865/statm: 3753119 18642 2768 1 0 3715579 0
[pid=17865/tid=17866] ppid=17862 vsize=15012476 memory=-6150928374978363333 CPUtime=0.09 cores=0,2,4,6
/proc/17865/task/17866/stat : 17866 (java) R 17862 17862 16770 0 -1 4202560 4819 0 0 0 8 1 0 0 20 0 15 0 224111542 15372775424 18654 33554432000 4194304 4196468 140731480203664 140218248633896 140218260866405 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17867] ppid=17862 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17867/stat : 17867 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111543 15372775424 18654 33554432000 4194304 4196468 140731480203664 140218281065488 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17868] ppid=17862 vsize=15012476 memory=140348935161472 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17868/stat : 17868 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111543 15372775424 18654 33554432000 4194304 4196468 140731480203664 140218072149136 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17869] ppid=17862 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17869/stat : 17869 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111543 15372775424 18654 33554432000 4194304 4196468 140731480203664 140218071096080 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17870] ppid=17862 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17870/stat : 17870 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111543 15372775424 18654 33554432000 4194304 4196468 140731480203664 140218070043536 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17871] ppid=17862 vsize=15012476 memory=140348935161472 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17871/stat : 17871 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111545 15372775424 18654 33554432000 4194304 4196468 140731480203664 140217246750960 140218276833922 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17872] ppid=17862 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17872/stat : 17872 (java) S 17862 17862 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224111545 15372775424 18654 33554432000 4194304 4196468 140731480203664 140216857781408 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17873] ppid=17862 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17873/stat : 17873 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111545 15372775424 18654 33554432000 4194304 4196468 140731480203664 140216589345520 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17874] ppid=17862 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17874/stat : 17874 (java) S 17862 17862 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111548 15372775424 18654 33554432000 4194304 4196468 140731480203664 140216214837200 140218276841371 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17875] ppid=17862 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17875/stat : 17875 (java) S 17862 17862 16770 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 224111548 15372775424 18654 33554432000 4194304 4196468 140731480203664 140217245698800 140218276833922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17876] ppid=17862 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17876/stat : 17876 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111548 15372775424 18654 33554432000 4194304 4196468 140731480203664 140217244646256 140218276833922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17877] ppid=17862 vsize=15012476 memory=140348935161472 CPUtime=0.01 cores=0,2,4,6
/proc/17865/task/17877/stat : 17877 (java) R 17862 17862 16770 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 15 0 224111548 15372775424 18654 33554432000 4194304 4196468 140731480203664 140217243593200 140218255752112 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17878] ppid=17862 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17878/stat : 17878 (java) S 17862 17862 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111548 15372775424 18654 33554432000 4194304 4196468 140731480203664 140215716932448 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17879] ppid=17862 vsize=15012476 memory=140348935161472 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17879/stat : 17879 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111548 15372775424 18654 33554432000 4194304 4196468 140731480203664 140217242540592 140218276833922 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 75964 KiB
[startup+0.210465 s]*
/proc/loadavg: 2.07 2.04 2.05 4/222 17879
/proc/meminfo: memFree=10546328/32770624 swapFree=67108860/67108860
[pid=17862] ppid=17859 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17862/stat : 17862 (scop.sh) S 17859 17862 16770 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224111541 115843072 349 33554432000 4194304 5098028 140734681827520 140734681824776 140338429616764 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16760832 140734681830464 140734681830663 140734681830663 140734681833421 0
/proc/17862/statm: 28282 349 296 221 0 87 0
[pid=17865] ppid=17862 vsize=15012476 memory=85536 CPUtime=0.25 cores=0,2,4,6
/proc/17865/stat : 17865 (java) S 17862 17862 16770 0 -1 1077944320 9738 0 0 0 22 3 0 0 20 0 15 0 224111541 15372775424 21384 33554432000 4194304 4196468 140731480203664 140731480186208 140218276822775 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
/proc/17865/statm: 3753119 21384 2864 1 0 3715579 0
[pid=17865/tid=17866] ppid=17862 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/17865/task/17866/stat : 17866 (java) R 17862 17862 16770 0 -1 4202560 7647 0 0 0 17 2 0 0 20 0 15 0 224111542 15372775424 21384 33554432000 4194304 4196468 140731480203664 140218248638832 140218260866405 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17867] ppid=17862 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17867/stat : 17867 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111543 15372775424 21384 33554432000 4194304 4196468 140731480203664 140218281065488 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17868] ppid=17862 vsize=15012476 memory=140348936349971 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17868/stat : 17868 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111543 15372775424 21384 33554432000 4194304 4196468 140731480203664 140218072149136 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17869] ppid=17862 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17869/stat : 17869 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111543 15372775424 21384 33554432000 4194304 4196468 140731480203664 140218071096080 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17870] ppid=17862 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17870/stat : 17870 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111543 15372775424 21384 33554432000 4194304 4196468 140731480203664 140218070043536 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17871] ppid=17862 vsize=15012476 memory=140348935161472 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17871/stat : 17871 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111545 15372775424 21384 33554432000 4194304 4196468 140731480203664 140217246750960 140218276833922 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17872] ppid=17862 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17872/stat : 17872 (java) S 17862 17862 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224111545 15372775424 21384 33554432000 4194304 4196468 140731480203664 140216857781408 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17873] ppid=17862 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17873/stat : 17873 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111545 15372775424 21384 33554432000 4194304 4196468 140731480203664 140216589345520 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17874] ppid=17862 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17874/stat : 17874 (java) S 17862 17862 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111548 15372775424 21384 33554432000 4194304 4196468 140731480203664 140216214837200 140218276841371 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17875] ppid=17862 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17875/stat : 17875 (java) S 17862 17862 16770 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 224111548 15372775424 21384 33554432000 4194304 4196468 140731480203664 140217245698800 140218276833922 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17876] ppid=17862 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17876/stat : 17876 (java) S 17862 17862 16770 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 224111548 15372775424 21384 33554432000 4194304 4196468 140731480203664 140217244646256 140218276833922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17877] ppid=17862 vsize=15012476 memory=140348935161472 CPUtime=0.02 cores=0,2,4,6
/proc/17865/task/17877/stat : 17877 (java) S 17862 17862 16770 0 -1 1077944384 281 0 0 0 2 0 0 0 20 0 15 0 224111548 15372775424 21384 33554432000 4194304 4196468 140731480203664 140217243593200 140218276833922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17878] ppid=17862 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17878/stat : 17878 (java) S 17862 17862 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111548 15372775424 21384 33554432000 4194304 4196468 140731480203664 140215716932448 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17879] ppid=17862 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17879/stat : 17879 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111548 15372775424 21384 33554432000 4194304 4196468 140731480203664 140217242540592 140218276833922 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86932 KiB
[startup+0.310494 s]*
/proc/loadavg: 2.07 2.04 2.05 3/222 17879
/proc/meminfo: memFree=10541596/32770624 swapFree=67108860/67108860
[pid=17862] ppid=17859 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17862/stat : 17862 (scop.sh) S 17859 17862 16770 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224111541 115843072 349 33554432000 4194304 5098028 140734681827520 140734681824776 140338429616764 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16760832 140734681830464 140734681830663 140734681830663 140734681833421 0
/proc/17862/statm: 28282 349 296 221 0 87 0
[pid=17865] ppid=17862 vsize=15012476 memory=89692 CPUtime=0.43 cores=0,2,4,6
/proc/17865/stat : 17865 (java) S 17862 17862 16770 0 -1 1077944320 10371 0 0 0 39 4 0 0 20 0 15 0 224111541 15372775424 22423 33554432000 4194304 4196468 140731480203664 140731480186208 140218276822775 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
/proc/17865/statm: 3753119 22423 3011 1 0 3715579 0
[pid=17865/tid=17866] ppid=17862 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17865/task/17866/stat : 17866 (java) R 17862 17862 16770 0 -1 4202560 8089 0 0 0 26 3 0 0 20 0 15 0 224111542 15372775424 22423 33554432000 4194304 4196468 140731480203664 140218248617776 140218257097987 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17867] ppid=17862 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17867/stat : 17867 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111543 15372775424 22423 33554432000 4194304 4196468 140731480203664 140218281065488 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17868] ppid=17862 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17868/stat : 17868 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111543 15372775424 22423 33554432000 4194304 4196468 140731480203664 140218072149136 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17869] ppid=17862 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17869/stat : 17869 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111543 15372775424 22423 33554432000 4194304 4196468 140731480203664 140218071096080 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17870] ppid=17862 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17870/stat : 17870 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111543 15372775424 22423 33554432000 4194304 4196468 140731480203664 140218070043536 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17871] ppid=17862 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17871/stat : 17871 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111545 15372775424 22423 33554432000 4194304 4196468 140731480203664 140217246750960 140218276833922 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17872] ppid=17862 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17872/stat : 17872 (java) S 17862 17862 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224111545 15372775424 22423 33554432000 4194304 4196468 140731480203664 140216857781408 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17873] ppid=17862 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17873/stat : 17873 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111545 15372775424 22423 33554432000 4194304 4196468 140731480203664 140216589345520 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17874] ppid=17862 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17874/stat : 17874 (java) S 17862 17862 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111548 15372775424 22423 33554432000 4194304 4196468 140731480203664 140216214837200 140218276841371 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17875] ppid=17862 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17865/task/17875/stat : 17875 (java) S 17862 17862 16770 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 15 0 224111548 15372775424 22423 33554432000 4194304 4196468 140731480203664 140217245698800 140218276833922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17876] ppid=17862 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17865/task/17876/stat : 17876 (java) S 17862 17862 16770 0 -1 1077944384 135 0 0 0 2 0 0 0 20 0 15 0 224111548 15372775424 22423 33554432000 4194304 4196468 140731480203664 140217244646256 140218276833922 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17877] ppid=17862 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17865/task/17877/stat : 17877 (java) S 17862 17862 16770 0 -1 1077944384 328 0 0 0 7 0 0 0 20 0 15 0 224111548 15372775424 22423 33554432000 4194304 4196468 140731480203664 140217243593200 140218276833922 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17878] ppid=17862 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17878/stat : 17878 (java) S 17862 17862 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111548 15372775424 22423 33554432000 4194304 4196468 140731480203664 140215716932448 140218276832981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17879] ppid=17862 vsize=15012476 memory=3544956536867594289 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17879/stat : 17879 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111548 15372775424 22423 33554432000 4194304 4196468 140731480203664 140217242540592 140218276833922 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91088 KiB
[startup+0.70078 s]
/proc/loadavg: 2.07 2.04 2.05 4/222 17879
/proc/meminfo: memFree=10517660/32770624 swapFree=67108860/67108860
[pid=17862] ppid=17859 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17862/stat : 17862 (scop.sh) S 17859 17862 16770 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224111541 115843072 349 33554432000 4194304 5098028 140734681827520 140734681824776 140338429616764 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16760832 140734681830464 140734681830663 140734681830663 140734681833421 0
/proc/17862/statm: 28282 349 296 221 0 87 0
[pid=17865] ppid=17862 vsize=15020872 memory=129496 CPUtime=1 cores=0,2,4,6
/proc/17865/stat : 17865 (java) S 17862 17862 16770 0 -1 1077944320 17568 0 0 0 94 6 0 0 20 0 15 0 224111541 15381372928 32374 33554432000 4194304 4196468 140731480203664 140731480186208 140218276822775 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
/proc/17865/statm: 3755218 32374 3153 1 0 3716603 0
[pid=17865/tid=17866] ppid=17862 vsize=15020872 memory=-7816663703405220396 CPUtime=0.66 cores=0,2,4,6
/proc/17865/task/17866/stat : 17866 (java) R 17862 17862 16770 0 -1 4202560 14841 0 0 0 62 4 0 0 20 0 15 0 224111542 15381372928 32374 33554432000 4194304 4196468 140731480203664 140218248635040 140218276844701 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17867] ppid=17862 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17867/stat : 17867 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111543 15381372928 32374 33554432000 4194304 4196468 140731480203664 140218281065488 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17868] ppid=17862 vsize=15020872 memory=60820 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17868/stat : 17868 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111543 15381372928 32374 33554432000 4194304 4196468 140731480203664 140218072149136 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17869] ppid=17862 vsize=15020872 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17869/stat : 17869 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111543 15381372928 32374 33554432000 4194304 4196468 140731480203664 140218071096080 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17870] ppid=17862 vsize=15020872 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17870/stat : 17870 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111543 15381372928 32374 33554432000 4194304 4196468 140731480203664 140218070043536 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17871] ppid=17862 vsize=15020872 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17871/stat : 17871 (java) S 17862 17862 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224111545 15381372928 32374 33554432000 4194304 4196468 140731480203664 140217246750960 140218276833922 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17872] ppid=17862 vsize=15020872 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17872/stat : 17872 (java) S 17862 17862 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224111545 15381372928 32374 33554432000 4194304 4196468 140731480203664 140216857781408 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17873] ppid=17862 vsize=15020872 memory=796 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17873/stat : 17873 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111545 15381372928 32374 33554432000 4194304 4196468 140731480203664 140216589345520 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17874] ppid=17862 vsize=15020872 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17874/stat : 17874 (java) S 17862 17862 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111548 15381372928 32374 33554432000 4194304 4196468 140731480203664 140216214837200 140218276841371 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17875] ppid=17862 vsize=15020872 memory=876 CPUtime=0.1 cores=0,2,4,6
/proc/17865/task/17875/stat : 17875 (java) R 17862 17862 16770 0 -1 4202560 735 0 0 0 10 0 0 0 20 0 15 0 224111548 15381372928 32374 33554432000 4194304 4196468 140731480203664 140217245687600 140218276844122 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17876] ppid=17862 vsize=15020872 memory=10096 CPUtime=0.05 cores=0,2,4,6
/proc/17865/task/17876/stat : 17876 (java) S 17862 17862 16770 0 -1 1077944384 197 0 0 0 5 0 0 0 20 0 15 0 224111548 15381372928 32374 33554432000 4194304 4196468 140731480203664 140217244646256 140218276833922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17877] ppid=17862 vsize=15020872 memory=1228 CPUtime=0.15 cores=0,2,4,6
/proc/17865/task/17877/stat : 17877 (java) S 17862 17862 16770 0 -1 1077944384 461 0 0 0 15 0 0 0 20 0 15 0 224111548 15381372928 32374 33554432000 4194304 4196468 140731480203664 140217243593200 140218276833922 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17878] ppid=17862 vsize=15020872 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17878/stat : 17878 (java) S 17862 17862 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111548 15381372928 32374 33554432000 4194304 4196468 140731480203664 140215716932448 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17879] ppid=17862 vsize=15020872 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17879/stat : 17879 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111548 15381372928 32374 33554432000 4194304 4196468 140731480203664 140217242540592 140218276833922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130892 KiB
[startup+1.50072 s]
/proc/loadavg: 2.07 2.04 2.05 3/222 17879
/proc/meminfo: memFree=10489000/32770624 swapFree=67108860/67108860
[pid=17862] ppid=17859 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17862/stat : 17862 (scop.sh) S 17859 17862 16770 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224111541 115843072 349 33554432000 4194304 5098028 140734681827520 140734681824776 140338429616764 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16760832 140734681830464 140734681830663 140734681830663 140734681833421 0
/proc/17862/statm: 28282 349 296 221 0 87 0
[pid=17865] ppid=17862 vsize=15024968 memory=173116 CPUtime=2.81 cores=0,2,4,6
/proc/17865/stat : 17865 (java) S 17862 17862 16770 0 -1 1077944320 21755 0 0 0 273 8 0 0 20 0 15 0 224111541 15385567232 43279 33554432000 4194304 4196468 140731480203664 140731480186208 140218276822775 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
/proc/17865/statm: 3756242 43279 3190 1 0 3717627 0
[pid=17865/tid=17866] ppid=17862 vsize=15024968 memory=60820 CPUtime=1.45 cores=0,2,4,6
/proc/17865/task/17866/stat : 17866 (java) R 17862 17862 16770 0 -1 4202560 16253 0 0 0 140 5 0 0 20 0 15 0 224111542 15385567232 43279 33554432000 4194304 4196468 140731480203664 140218248660416 140218276834710 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17867] ppid=17862 vsize=15024968 memory=129496 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17867/stat : 17867 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111543 15385567232 43279 33554432000 4194304 4196468 140731480203664 140218281065488 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17868] ppid=17862 vsize=15024968 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17868/stat : 17868 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111543 15385567232 43279 33554432000 4194304 4196468 140731480203664 140218072149136 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17869] ppid=17862 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17869/stat : 17869 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111543 15385567232 43279 33554432000 4194304 4196468 140731480203664 140218071096080 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17870] ppid=17862 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17870/stat : 17870 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111543 15385567232 43279 33554432000 4194304 4196468 140731480203664 140218070043536 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17871] ppid=17862 vsize=15024968 memory=12813 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17871/stat : 17871 (java) S 17862 17862 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224111545 15385567232 43279 33554432000 4194304 4196468 140731480203664 140217246750960 140218276833922 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17872] ppid=17862 vsize=15024968 memory=24398 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17872/stat : 17872 (java) S 17862 17862 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224111545 15385567232 43279 33554432000 4194304 4196468 140731480203664 140216857781408 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17873] ppid=17862 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17873/stat : 17873 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111545 15385567232 43279 33554432000 4194304 4196468 140731480203664 140216589345520 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17874] ppid=17862 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17874/stat : 17874 (java) S 17862 17862 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111548 15385567232 43279 33554432000 4194304 4196468 140731480203664 140216214837200 140218276841371 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17875] ppid=17862 vsize=15024968 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/17865/task/17875/stat : 17875 (java) S 17862 17862 16770 0 -1 1077944384 1045 0 0 0 34 0 0 0 20 0 15 0 224111548 15385567232 43279 33554432000 4194304 4196468 140731480203664 140217245698800 140218276833922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17876] ppid=17862 vsize=15024968 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/17865/task/17876/stat : 17876 (java) S 17862 17862 16770 0 -1 1077944384 444 0 0 0 28 0 0 0 20 0 15 0 224111548 15385567232 43279 33554432000 4194304 4196468 140731480203664 140217244646256 140218276833922 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17877] ppid=17862 vsize=15024968 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/17865/task/17877/stat : 17877 (java) R 17862 17862 16770 0 -1 4202560 2677 0 0 0 69 0 0 0 20 0 15 0 224111548 15385567232 43279 33554432000 4194304 4196468 140731480203664 140217243593200 140218269922475 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17878] ppid=17862 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17878/stat : 17878 (java) S 17862 17862 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111548 15385567232 43279 33554432000 4194304 4196468 140731480203664 140215716932448 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17879] ppid=17862 vsize=15024968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17879/stat : 17879 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111548 15385567232 43279 33554432000 4194304 4196468 140731480203664 140217242540592 140218276833922 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 174512 KiB
[startup+2.60443 s]
# the end of solver process 17862 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.7083 s, system=0.178199 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60929 s]
/proc/loadavg: 2.07 2.04 2.05 3/222 17879
/proc/meminfo: memFree=10489000/32770624 swapFree=67108860/67108860
[pid=17862] ppid=17859 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/17862/stat : 17862 (scop.sh) S 17859 17862 16770 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 224111541 115843072 349 33554432000 4194304 5098028 140734681827520 140734681824776 140338429616764 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16760832 140734681830464 140734681830663 140734681830663 140734681833421 0
/proc/17862/statm: 28282 349 296 221 0 87 0
[pid=17865] ppid=17862 vsize=15027084 memory=183216 CPUtime=3.11 cores=0,2,4,6
/proc/17865/stat : 17865 (java) S 17862 17862 16770 0 -1 1077944320 22234 0 0 0 303 8 0 0 20 0 15 0 224111541 15387734016 45804 33554432000 4194304 4196468 140731480203664 140731480186208 140218276822775 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
/proc/17865/statm: 3756771 45804 3202 1 0 3717627 0
[pid=17865/tid=17866] ppid=17862 vsize=15027084 memory=1788 CPUtime=1.57 cores=0,2,4,6
/proc/17865/task/17866/stat : 17866 (java) R 17862 17862 16770 0 -1 4202560 16485 0 0 0 151 6 0 0 20 0 15 0 224111542 15387734016 45804 33554432000 4194304 4196468 140731480203664 140218248657768 140218260197121 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17867] ppid=17862 vsize=15027084 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17867/stat : 17867 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111543 15387734016 45804 33554432000 4194304 4196468 140731480203664 140218281065488 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17868] ppid=17862 vsize=15027084 memory=796 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17868/stat : 17868 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111543 15387734016 45804 33554432000 4194304 4196468 140731480203664 140218072149136 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17869] ppid=17862 vsize=15027084 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17869/stat : 17869 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111543 15387734016 45804 33554432000 4194304 4196468 140731480203664 140218071096080 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17870] ppid=17862 vsize=15027084 memory=876 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17870/stat : 17870 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111543 15387734016 45804 33554432000 4194304 4196468 140731480203664 140218070043536 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17871] ppid=17862 vsize=15027084 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17871/stat : 17871 (java) S 17862 17862 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224111545 15387734016 45804 33554432000 4194304 4196468 140731480203664 140217246750960 140218276833922 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17872] ppid=17862 vsize=15027084 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17872/stat : 17872 (java) S 17862 17862 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224111545 15387734016 45804 33554432000 4194304 4196468 140731480203664 140216857781408 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17873] ppid=17862 vsize=15027084 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17873/stat : 17873 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111545 15387734016 45804 33554432000 4194304 4196468 140731480203664 140216589345520 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17874] ppid=17862 vsize=15027084 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17874/stat : 17874 (java) S 17862 17862 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111548 15387734016 45804 33554432000 4194304 4196468 140731480203664 140216214837200 140218276841371 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17875] ppid=17862 vsize=15027084 memory=8804 CPUtime=0.4 cores=0,2,4,6
/proc/17865/task/17875/stat : 17875 (java) R 17862 17862 16770 0 -1 4202560 1070 0 0 0 39 1 0 0 20 0 15 0 224111548 15387734016 45804 33554432000 4194304 4196468 140731480203664 140217245684512 140218258343979 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17876] ppid=17862 vsize=15027084 memory=4616 CPUtime=0.33 cores=0,2,4,6
/proc/17865/task/17876/stat : 17876 (java) R 17862 17862 16770 0 -1 4202560 470 0 0 0 33 0 0 0 20 0 15 0 224111548 15387734016 45804 33554432000 4194304 4196468 140731480203664 140217244646384 140218257458835 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17877] ppid=17862 vsize=15027084 memory=1428 CPUtime=0.78 cores=0,2,4,6
/proc/17865/task/17877/stat : 17877 (java) R 17862 17862 16770 0 -1 4202560 2873 0 0 0 78 0 0 0 20 0 15 0 224111548 15387734016 45804 33554432000 4194304 4196468 140731480203664 140217243593200 140218256539766 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17878] ppid=17862 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17878/stat : 17878 (java) S 17862 17862 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111548 15387734016 45804 33554432000 4194304 4196468 140731480203664 140215716932448 140218276832981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
[pid=17865/tid=17879] ppid=17862 vsize=15027084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17865/task/17879/stat : 17879 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111548 15387734016 45804 33554432000 4194304 4196468 140731480203664 140217242540592 140218276833922 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26386432 140731480208390 140731480208689 140731480208689 140731480211407 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 184612 KiB
[startup+2.40084 s]
/proc/loadavg: 2.07 2.04 2.05 5/222 17894
/proc/meminfo: memFree=10573372/32770624 swapFree=67108860/67108860
[pid=17862] ppid=17859 vsize=113128 memory=1472 CPUtime=3.69 cores=0,2,4,6
/proc/17862/stat : 17862 (scop.sh) S 17859 17862 16770 0 -1 4202496 590 24103 0 0 0 0 358 11 20 0 1 0 224111541 115843072 368 33554432000 4194304 5098028 140734681827520 140734681824264 140338429616764 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16760832 140734681830464 140734681830663 140734681830663 140734681833421 0
/proc/17862/statm: 28282 368 311 221 0 87 0
[pid=17880] ppid=17862 vsize=7406384 memory=94932 CPUtime=0.79 cores=0,2,4,6
/proc/17880/stat : 17880 (java) S 17862 17862 16770 0 -1 1077944320 16465 0 0 0 75 4 0 0 20 0 15 0 224111721 7584137216 23733 33554432000 4194304 4196468 140729537749600 140729537732144 139941403635447 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
/proc/17880/statm: 1851596 23733 3048 1 0 1813530 0
[pid=17880/tid=17881] ppid=17862 vsize=7406384 memory=6791534058613427641 CPUtime=0.56 cores=0,2,4,6
/proc/17880/task/17881/stat : 17881 (java) R 17862 17862 16770 0 -1 4202560 14054 0 0 0 53 3 0 0 20 0 15 0 224111722 7584137216 23733 33554432000 4194304 4196468 140729537749600 139941375456120 139941385198985 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
[pid=17880/tid=17882] ppid=17862 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17880/task/17882/stat : 17882 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111723 7584137216 23733 33554432000 4194304 4196468 140729537749600 139941407878288 139941403645653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
[pid=17880/tid=17883] ppid=17862 vsize=7406384 memory=7523656164485456995 CPUtime=0 cores=0,2,4,6
/proc/17880/task/17883/stat : 17883 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111723 7584137216 23733 33554432000 4194304 4196468 140729537749600 139941208046608 139941403645653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
[pid=17880/tid=17884] ppid=17862 vsize=7406384 memory=7157454995026568555 CPUtime=0 cores=0,2,4,6
/proc/17880/task/17884/stat : 17884 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111723 7584137216 23733 33554432000 4194304 4196468 140729537749600 139941206993808 139941403645653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
[pid=17880/tid=17885] ppid=17862 vsize=7406384 memory=6940722557099272279 CPUtime=0 cores=0,2,4,6
/proc/17880/task/17885/stat : 17885 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111723 7584137216 23733 33554432000 4194304 4196468 140729537749600 139941205941008 139941403645653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
[pid=17880/tid=17886] ppid=17862 vsize=7406384 memory=265988899 CPUtime=0 cores=0,2,4,6
/proc/17880/task/17886/stat : 17886 (java) S 17862 17862 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224111724 7584137216 23733 33554432000 4194304 4196468 140729537749600 139940849486192 139941403646594 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
[pid=17880/tid=17887] ppid=17862 vsize=7406384 memory=140348794106532 CPUtime=0 cores=0,2,4,6
/proc/17880/task/17887/stat : 17887 (java) S 17862 17862 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224111725 7584137216 23733 33554432000 4194304 4196468 140729537749600 139940235043872 139941403645653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
[pid=17880/tid=17888] ppid=17862 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17880/task/17888/stat : 17888 (java) S 17862 17862 16770 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224111725 7584137216 23733 33554432000 4194304 4196468 140729537749600 139940100821872 139941403645653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
[pid=17880/tid=17889] ppid=17862 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17880/task/17889/stat : 17889 (java) S 17862 17862 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111727 7584137216 23733 33554432000 4194304 4196468 140729537749600 139939726317392 139941403654043 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
[pid=17880/tid=17890] ppid=17862 vsize=7406384 memory=140348794111664 CPUtime=0.04 cores=0,2,4,6
/proc/17880/task/17890/stat : 17890 (java) S 17862 17862 16770 0 -1 1077944384 551 0 0 0 4 0 0 0 20 0 15 0 224111727 7584137216 23733 33554432000 4194304 4196468 140729537749600 139940848434032 139941403646594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
[pid=17880/tid=17891] ppid=17862 vsize=7406384 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17880/task/17891/stat : 17891 (java) S 17862 17862 16770 0 -1 1077944384 77 0 0 0 3 0 0 0 20 0 15 0 224111727 7584137216 23733 33554432000 4194304 4196468 140729537749600 139940847381232 139941403646594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
[pid=17880/tid=17892] ppid=17862 vsize=7406384 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/17880/task/17892/stat : 17892 (java) S 17862 17862 16770 0 -1 1077944384 429 0 0 0 13 0 0 0 20 0 15 0 224111727 7584137216 23733 33554432000 4194304 4196468 140729537749600 139940846328432 139941403646594 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
[pid=17880/tid=17893] ppid=17862 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17880/task/17893/stat : 17893 (java) S 17862 17862 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224111728 7584137216 23733 33554432000 4194304 4196468 140729537749600 139939228412640 139941403645653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
[pid=17880/tid=17894] ppid=17862 vsize=7406384 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17880/task/17894/stat : 17894 (java) S 17862 17862 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224111728 7584137216 23733 33554432000 4194304 4196468 140729537749600 139940845275824 139941403646594 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8974336 140729537754293 140729537754417 140729537754417 140729537757135 0
Current children cumulated CPU time: 4.48 s
Current children cumulated vsize: 7519512 KiB
Current children cumulated memory: 96404 KiB
[startup+2.60078 s]
/proc/loadavg: 2.07 2.04 2.05 5/222 17894
/proc/meminfo: memFree=10573372/32770624 swapFree=67108860/67108860
[pid=17862] ppid=17859 vsize=113128 memory=1472 CPUtime=3.69 cores=0,2,4,6
/proc/17862/stat : 17862 (scop.sh) S 17859 17862 16770 0 -1 4202496 590 24103 0 0 0 0 358 11 20 0 1 0 224111541 115843072 368 33554432000 4194304 5098028 140734681827520 140734681824264 140338429616764 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16760832 140734681830464 140734681830663 140734681830663 140734681833421 0
/proc/17862/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 3.69 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
Child status: 0
Real time (s): 2.60448
CPU time (s): 4.8865
CPU user time (s): 4.7083
CPU system time (s): 0.178199
CPU usage (%): 187.619
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 195972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.7083
system time used= 0.178199
maximum resident set size= 203976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43378
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5220
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 17862
# total CPU time (s): 4.8865
# total CPU user time (s): 4.7083
# total CPU system time (s): 0.178199
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053791 second user time and 0.055747 second system time
The end