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-18588-serial-file.bin HOME/instance-4305347-1534072355.xml
0.54/0.51
0.54/0.51 scop order+minisat_release (2018-07-31)
0.54/0.52 (Encoding Process)
0.54/0.52
0.67/0.54 c BEGIN-Prog: Sun Aug 12 13:12:35 CEST 2018
0.67/0.54 c PID: 18591
0.67/0.54 c IP: 172.20.3.107
0.67/0.54 c HOST: node107.alineos.net
0.67/0.55 c (0,0) Parsing Begin
1.19/0.85 c (0,0) Parsing End
1.19/0.85 c (0,0) CSP: 44 int (0 aux), 0 bool (0 aux), 33 ctr, max domain size 22
1.19/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.85 c (0,0) Constraint Name Generate Begin
1.19/0.86 c (0,0) Ctr:HOME/instance-4305347-1534072355.xml,Add:Element:Eq:IntVar:Num
1.19/0.86 c (0,0) Constraint Name Generate End
1.19/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.19/0.86 c (0,0) CSP to CSPinCNF Begin
1.56/1.03 c (0,0) translated 4 (10%) constraints
1.56/1.07 c (0,0) translated 7 (20%) constraints
1.56/1.09 c (0,0) translated 10 (30%) constraints
1.84/1.13 c (0,0) translated 14 (40%) constraints
1.84/1.15 c (0,0) translated 17 (50%) constraints
1.84/1.17 c (0,0) translated 20 (60%) constraints
1.84/1.19 c (0,0) translated 24 (70%) constraints
1.84/1.19 c (0,0) translated 27 (80%) constraints
1.84/1.20 c (0,0) translated 30 (90%) constraints
2.08/1.20 c (0,0) translated 33 (100%) constraints
2.08/1.24 c (0,0) STATISTICS1:HOME/instance-4305347-1534072355.xml,Add:Element:Eq:IntVar:Num,44,495,20,20,3,2,20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2;12:2;11:2;10:2,20:46;19:46;18:46;17:46;16:46;15:46;14:46;13:46;12:46;11:530;10:46,3:484;1:11,2:22;1:1452,
2.08/1.24 c (0,0) ==========================================
2.08/1.24 c (0,0) Order
2.08/1.24 c (0,0) ==========================================
2.08/1.28 c (0,0) translated 50 (10%) constraints
2.31/1.30 c (0,0) translated 99 (20%) constraints
2.31/1.32 c (0,0) translated 149 (30%) constraints
2.31/1.34 c (0,0) translated 198 (40%) constraints
2.31/1.35 c (0,0) translated 248 (50%) constraints
2.31/1.37 c (0,0) translated 297 (60%) constraints
2.31/1.38 c (0,0) translated 347 (70%) constraints
2.31/1.39 c (0,0) translated 396 (80%) constraints
2.31/1.40 c (0,0) translated 446 (90%) constraints
2.60/1.41 c (0,0) translated 495 (100%) constraints
2.60/1.41 c (0,0) CSP to CSPinCNF End
2.60/1.41 c (0,0) CSP: 44 int (0 aux), 242 bool (242 aux), 1474 ctr, max domain size 20
2.60/1.41 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.60/1.41 c (0,0) CSPinCNF Propagation Begin
2.60/1.46 c (0,0) 0 values, 198 unsatisfiable literals, and 242 valid clauses are removed
2.60/1.46 c (0,0) CSPinCNF Propagation End
2.60/1.46 c (0,0) CSP: 44 int (0 aux), 242 bool (242 aux), 1232 ctr, max domain size 20
2.60/1.46 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.60/1.46 c (0,0) Simplify CSPinCNF Begin
2.60/1.47 c (0,0) Simplify CSPinCNF End
2.60/1.47 c (0,0) CSP: 44 int (0 aux), 242 bool (242 aux), 1232 ctr, max domain size 20
2.60/1.47 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.60/1.47 c (0,0) Calculate Precise Domain Begin
2.60/1.47 c (0,0) 0 values are removed by re-calculation
2.60/1.47 c (0,0) Calculate Precise Domain End
2.60/1.47 c (0,0) CSP: 44 int (0 aux), 242 bool (242 aux), 1232 ctr, max domain size 20
2.60/1.47 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.60/1.47 c (0,0) CSPinCNF to SatSolver Begin
2.92/1.52 c (1,0) 124 (10 %) CSP clauses are encoded (770 SAT variables, 607 SAT clauses)
2.92/1.53 c (1,0) 247 (20 %) CSP clauses are encoded (770 SAT variables, 730 SAT clauses)
2.92/1.53 c (1,1) 370 (30 %) CSP clauses are encoded (770 SAT variables, 853 SAT clauses)
2.92/1.54 c (1,1) 493 (40 %) CSP clauses are encoded (770 SAT variables, 976 SAT clauses)
2.92/1.55 c (1,1) 616 (50 %) CSP clauses are encoded (770 SAT variables, 1099 SAT clauses)
2.92/1.55 c (1,1) 740 (60 %) CSP clauses are encoded (770 SAT variables, 1223 SAT clauses)
2.92/1.55 c (1,1) 863 (70 %) CSP clauses are encoded (770 SAT variables, 1346 SAT clauses)
2.92/1.55 c (1,1) 986 (80 %) CSP clauses are encoded (770 SAT variables, 1469 SAT clauses)
2.92/1.55 c (1,1) 1109 (90 %) CSP clauses are encoded (770 SAT variables, 1592 SAT clauses)
2.92/1.57 c (1,1) 1232 (100 %) CSP clauses are encoded (770 SAT variables, 1993 SAT clauses)
2.92/1.57 c (1,1) Launch Command will be: minisat_release
2.92/1.57 c (1,1) CSPinCNF to SatSolver End
2.92/1.57 c (1,1) Heap : 225 MiB used (max 10795 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.92/1.59 c (1,1) STATISTICS2:HOME/instance-4305347-1534072355.xml,Add:Element:Eq:IntVar:Num,286,1232,20,20,3,2,20:2;19:2;18:2;17:2;16:2;15:2;14:2;13:2;12:2;11:2;10:2,20:80;19:76;18:72;17:68;16:64;15:60;14:56;13:52;12:48;11:924;10:40;2:1210,3:286;2:924;1:22,2:22;1:2706,
2.92/1.59 c (1,1) 770 bool, 2002 clause
2.92/1.59 c (1,1) Export Begin
3.21/1.66 c (1,1) Export to HOME/scop-18588-serial-file.bin
3.21/1.66 c (1,1) Export End
3.21/1.67 c (1,1) Export File Size: 0.01 MB
3.21/1.67 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.21/1.67 c END-Prog: Sun Aug 12 13:12:36 CEST 2018
3.21/1.67 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-18588-serial-file.bin
3.90/2.16 c (0,0) Read Serial File Begin
3.90/2.16 c (0,0) HOME/scop-18588-serial-file.bin
4.18/2.31 c (0,0) Read Serial File End
4.18/2.33
4.18/2.33 scop order+minisat_release (2018-07-31)
4.18/2.33 (Solving Process)
4.18/2.33
4.18/2.35 c BEGIN-Prog: Sun Aug 12 13:12:37 CEST 2018
4.18/2.35 c PID: 18606
4.18/2.35 c IP: 172.20.3.107
4.18/2.35 c HOST: node107.alineos.net
4.18/2.35 c (0,0) SatSolver.solve Begin
4.18/2.35 c (0,0) 0 bool, 0 clause
4.18/2.35 c (0,0) minisat_release HOME/instance-4305347-1534072355.xml-scop-18591.cnf
4.18/2.39 c (0,0) c This is COMiniSatPS.
4.18/2.39 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.18/2.39 c (0,0) c ============================[ Problem Statistics ]=============================
4.18/2.39 c (0,0) c | |
4.18/2.39 c (0,0) c | Number of variables: 770 |
4.18/2.39 c (0,0) c | Number of clauses: 2002 |
4.18/2.39 c (0,0) c | Parse time: 0.00 s |
4.18/2.39 c (0,0) c | Eliminated clauses: 0.01 Mb |
4.18/2.39 c (0,0) c Reduced to 437 vars, 1355 cls (grow=0)
4.18/2.39 c (0,0) c No iterative elimination performed. (vars=437, c/v ratio=3.1)
4.18/2.39 c (0,0) c | Simplification time: 0.00 s |
4.18/2.39 c (0,0) c | |
4.18/2.39 c (0,0) c ============================[ Search Statistics ]==============================
4.18/2.39 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
4.18/2.39 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.18/2.39 c (0,0) c ===============================================================================
4.18/2.39 c (0,0) c ===============================================================================
4.18/2.39 c (0,0) c restarts : 1
4.18/2.39 c (0,0) c conflicts : 16 (3520 /sec)
4.18/2.39 c (0,0) c decisions : 71 (0.00 % random) (15622 /sec)
4.18/2.39 c (0,0) c propagations : 1645 (361936 /sec)
4.18/2.39 c (0,0) c conflict literals : 254 (26.16 % deleted)
4.18/2.39 c (0,0) c CPU time : 0.004545 s
4.18/2.39 c (0,0)
4.18/2.39 c (0,0) s SATISFIABLE
4.40/2.42 c (0,0) SatSolver.solve End
4.40/2.43 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
4.40/2.43 c (0,0) Show results Begin
4.40/2.48 s SATISFIABLE
4.40/2.49 v <instantiation>
4.40/2.49 v <list>v[0] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] v[10] v[11] v[12] v[13] v[14] v[15] v[16] v[17] v[18] v[19] v[20] v[21] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21]</list>
4.40/2.49 v <values>3 11 7 10 3 5 8 1 9 1 7 5 6 11 10 8 4 2 9 6 2 4 9 7 20 17 4 0 21 16 11 5 19 12 10 2 15 6 18 8 14 3 13 1</values>
4.40/2.49 v </instantiation>
4.40/2.49 c (0,0) Show results End
4.40/2.49 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
4.40/2.49 c (0,0) 0,0,STOP-AFTER(ALL)
4.40/2.49 c END-Prog: Sun Aug 12 13:12:37 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 (12193 MiB free)
memory of node 1: 16384 MiB (11316 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305347-1534072355/watcher-4305347-1534072355 -o /tmp/evaluation-result-4305347-1534072355/solver-4305347-1534072355 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534064712-16637 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305347-1534072355.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18588, runsolver pid=18585
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 2.65 2.19 2.10 4/223 18605
/proc/meminfo: memFree=24014240/32770624 swapFree=67108860/67108860
[pid=18588] ppid=18585 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18588/stat : 18588 (scop.sh) S 18585 18588 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224798666 115843072 348 33554432000 4194304 5098028 140721256451008 140721256448264 140380421497468 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35594240 140721256453184 140721256453383 140721256453383 140721256456141 0
/proc/18588/statm: 28282 348 296 221 0 87 0
[pid=18591] ppid=18588 vsize=15012476 memory=71764 CPUtime=0.11 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18588 18588 16605 0 -1 1077944320 6563 0 0 0 9 2 0 0 20 0 15 0 224798666 15372775424 17941 33554432000 4194304 4196468 140724945045600 140724945028144 139770780966647 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
/proc/18591/statm: 3753119 17941 2769 1 0 3715579 0
[pid=18591/tid=18592] ppid=18588 vsize=15012476 memory=-6150928374978363329 CPUtime=0.08 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (java) R 18588 18588 16605 0 -1 4202560 4668 0 0 0 7 1 0 0 20 0 15 0 224798667 15372775424 17941 33554432000 4194304 4196468 140724945045600 139770752761808 139770761243472 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18593] ppid=18588 vsize=15012476 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798668 15372775424 17941 33554432000 4194304 4196468 140724945045600 139770785208592 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18594] ppid=18588 vsize=15012476 memory=139869886285440 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798668 15372775424 17941 33554432000 4194304 4196468 140724945045600 139770241997200 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18595] ppid=18588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18595/stat : 18595 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798668 15372775424 18007 33554432000 4194304 4196468 140724945045600 139770240944656 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18596] ppid=18588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18596/stat : 18596 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798668 15372775424 18007 33554432000 4194304 4196468 140724945045600 139770239892112 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18597] ppid=18588 vsize=15012476 memory=139869886285440 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18597/stat : 18597 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798670 15372775424 18007 33554432000 4194304 4196468 140724945045600 139769751390704 139770780977794 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18598] ppid=18588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18598/stat : 18598 (java) S 18588 18588 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224798670 15372775424 18007 33554432000 4194304 4196468 140724945045600 139769375876512 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18599] ppid=18588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18599/stat : 18599 (java) S 18588 18588 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224798671 15372775424 18007 33554432000 4194304 4196468 140724945045600 139769241654768 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18600] ppid=18588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18600/stat : 18600 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798673 15372775424 18007 33554432000 4194304 4196468 140724945045600 139768867150544 139770780985243 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18601] ppid=18588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18601/stat : 18601 (java) S 18588 18588 16605 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 224798673 15372775424 18007 33554432000 4194304 4196468 140724945045600 139769750337520 139770780977794 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18602] ppid=18588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18602/stat : 18602 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798673 15372775424 18007 33554432000 4194304 4196468 140724945045600 139769749284976 139770780977794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18603] ppid=18588 vsize=15012476 memory=139869886285440 CPUtime=0.01 cores=1,3,5,7
/proc/18591/task/18603/stat : 18603 (java) S 18588 18588 16605 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 224798673 15372775424 18007 33554432000 4194304 4196468 140724945045600 139769748232432 139770780977794 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18604] ppid=18588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18604/stat : 18604 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798673 15372775424 18007 33554432000 4194304 4196468 140724945045600 139768369244768 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18605] ppid=18588 vsize=15012476 memory=139869886285440 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18605/stat : 18605 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798673 15372775424 18007 33554432000 4194304 4196468 140724945045600 139769747180336 139770780977794 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73156 KiB
[startup+0.210676 s]*
/proc/loadavg: 2.65 2.19 2.10 3/223 18605
/proc/meminfo: memFree=24000784/32770624 swapFree=67108860/67108860
[pid=18588] ppid=18585 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18588/stat : 18588 (scop.sh) S 18585 18588 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224798666 115843072 348 33554432000 4194304 5098028 140721256451008 140721256448264 140380421497468 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35594240 140721256453184 140721256453383 140721256453383 140721256456141 0
/proc/18588/statm: 28282 348 296 221 0 87 0
[pid=18591] ppid=18588 vsize=15012476 memory=84576 CPUtime=0.26 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18588 18588 16605 0 -1 1077944320 10028 0 0 0 23 3 0 0 20 0 15 0 224798666 15372775424 21144 33554432000 4194304 4196468 140724945045600 140724945028144 139770780966647 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
/proc/18591/statm: 3753119 21144 2901 1 0 3715579 0
[pid=18591/tid=18592] ppid=18588 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (java) R 18588 18588 16605 0 -1 4202560 7910 0 0 0 17 2 0 0 20 0 15 0 224798667 15372775424 21144 33554432000 4194304 4196468 140724945045600 139770752791456 139770780978582 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18593] ppid=18588 vsize=15012476 memory=539 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798668 15372775424 21144 33554432000 4194304 4196468 140724945045600 139770785208592 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18594] ppid=18588 vsize=15012476 memory=4122684184192288416 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798668 15372775424 21144 33554432000 4194304 4196468 140724945045600 139770241997200 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18595] ppid=18588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18595/stat : 18595 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798668 15372775424 21144 33554432000 4194304 4196468 140724945045600 139770240944656 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18596] ppid=18588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18596/stat : 18596 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798668 15372775424 21144 33554432000 4194304 4196468 140724945045600 139770239892112 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18597] ppid=18588 vsize=15012476 memory=139869886285440 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18597/stat : 18597 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798670 15372775424 21144 33554432000 4194304 4196468 140724945045600 139769751390704 139770780977794 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18598] ppid=18588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18598/stat : 18598 (java) S 18588 18588 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224798670 15372775424 21144 33554432000 4194304 4196468 140724945045600 139769375876512 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18599] ppid=18588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18599/stat : 18599 (java) S 18588 18588 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224798671 15372775424 21144 33554432000 4194304 4196468 140724945045600 139769241654768 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18600] ppid=18588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18600/stat : 18600 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798673 15372775424 21144 33554432000 4194304 4196468 140724945045600 139768867150544 139770780985243 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18601] ppid=18588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18601/stat : 18601 (java) S 18588 18588 16605 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 224798673 15372775424 21144 33554432000 4194304 4196468 140724945045600 139769750337520 139770780977794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18602] ppid=18588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18602/stat : 18602 (java) R 18588 18588 16605 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 15 0 224798673 15372775424 21144 33554432000 4194304 4196468 140724945045600 139769749284976 139770764498112 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18603] ppid=18588 vsize=15012476 memory=139869886285440 CPUtime=0.03 cores=1,3,5,7
/proc/18591/task/18603/stat : 18603 (java) R 18588 18588 16605 0 -1 4202560 296 0 0 0 3 0 0 0 20 0 15 0 224798673 15372775424 21144 33554432000 4194304 4196468 140724945045600 139769748232432 139770780978582 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18604] ppid=18588 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18604/stat : 18604 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798673 15372775424 21144 33554432000 4194304 4196468 140724945045600 139768369244768 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18605] ppid=18588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18605/stat : 18605 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798673 15372775424 21144 33554432000 4194304 4196468 140724945045600 139769747180336 139770780977794 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 85968 KiB
[startup+0.310704 s]*
/proc/loadavg: 2.65 2.19 2.10 3/223 18605
/proc/meminfo: memFree=23995972/32770624 swapFree=67108860/67108860
[pid=18588] ppid=18585 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18588/stat : 18588 (scop.sh) S 18585 18588 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224798666 115843072 348 33554432000 4194304 5098028 140721256451008 140721256448264 140380421497468 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35594240 140721256453184 140721256453383 140721256453383 140721256456141 0
/proc/18588/statm: 28282 348 296 221 0 87 0
[pid=18591] ppid=18588 vsize=15012476 memory=88092 CPUtime=0.43 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18588 18588 16605 0 -1 1077944320 10571 0 0 0 40 3 0 0 20 0 15 0 224798666 15372775424 22023 33554432000 4194304 4196468 140724945045600 140724945028144 139770780966647 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
/proc/18591/statm: 3753119 22023 2966 1 0 3715579 0
[pid=18591/tid=18592] ppid=18588 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (java) R 18588 18588 16605 0 -1 4202560 8289 0 0 0 27 2 0 0 20 0 15 0 224798667 15372775424 22023 33554432000 4194304 4196468 140724945045600 139770752796976 139770765047134 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18593] ppid=18588 vsize=15012476 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798668 15372775424 22023 33554432000 4194304 4196468 140724945045600 139770785208592 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18594] ppid=18588 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798668 15372775424 22023 33554432000 4194304 4196468 140724945045600 139770241997200 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18595] ppid=18588 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18595/stat : 18595 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798668 15372775424 22023 33554432000 4194304 4196468 140724945045600 139770240944656 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18596] ppid=18588 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18596/stat : 18596 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798668 15372775424 22023 33554432000 4194304 4196468 140724945045600 139770239892112 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18597] ppid=18588 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18597/stat : 18597 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798670 15372775424 22023 33554432000 4194304 4196468 140724945045600 139769751390704 139770780977794 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18598] ppid=18588 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18598/stat : 18598 (java) S 18588 18588 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224798670 15372775424 22023 33554432000 4194304 4196468 140724945045600 139769375876512 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18599] ppid=18588 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18599/stat : 18599 (java) S 18588 18588 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224798671 15372775424 22023 33554432000 4194304 4196468 140724945045600 139769241654768 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18600] ppid=18588 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18600/stat : 18600 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798673 15372775424 22023 33554432000 4194304 4196468 140724945045600 139768867150544 139770780985243 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18601] ppid=18588 vsize=15012476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18591/task/18601/stat : 18601 (java) R 18588 18588 16605 0 -1 1077944384 423 0 0 0 3 0 0 0 20 0 15 0 224798673 15372775424 22023 33554432000 4194304 4196468 140724945045600 139769750337520 139770780977794 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18602] ppid=18588 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18591/task/18602/stat : 18602 (java) R 18588 18588 16605 0 -1 4202560 190 0 0 0 1 0 0 0 20 0 15 0 224798673 15372775424 22023 33554432000 4194304 4196468 140724945045600 139769749284976 139770758601296 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18603] ppid=18588 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18591/task/18603/stat : 18603 (java) R 18588 18588 16605 0 -1 4202560 316 0 0 0 7 0 0 0 20 0 15 0 224798673 15372775424 22023 33554432000 4194304 4196468 140724945045600 139769748232432 139770780987994 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18604] ppid=18588 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18604/stat : 18604 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798673 15372775424 22023 33554432000 4194304 4196468 140724945045600 139768369244768 139770780976853 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18605] ppid=18588 vsize=15012476 memory=3833186913019306033 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18605/stat : 18605 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798673 15372775424 22023 33554432000 4194304 4196468 140724945045600 139769747180336 139770780977794 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89484 KiB
[startup+0.700994 s]
/proc/loadavg: 2.65 2.19 2.10 3/223 18605
/proc/meminfo: memFree=23973008/32770624 swapFree=67108860/67108860
[pid=18588] ppid=18585 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18588/stat : 18588 (scop.sh) S 18585 18588 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224798666 115843072 348 33554432000 4194304 5098028 140721256451008 140721256448264 140380421497468 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35594240 140721256453184 140721256453383 140721256453383 140721256456141 0
/proc/18588/statm: 28282 348 296 221 0 87 0
[pid=18591] ppid=18588 vsize=15020872 memory=127852 CPUtime=1.01 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18588 18588 16605 0 -1 1077944320 17646 0 0 0 96 5 0 0 20 0 15 0 224798666 15381372928 31963 33554432000 4194304 4196468 140724945045600 140724945028144 139770780966647 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
/proc/18591/statm: 3755218 31963 3147 1 0 3716603 0
[pid=18591/tid=18592] ppid=18588 vsize=15020872 memory=-7816663703405220396 CPUtime=0.66 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (java) R 18588 18588 16605 0 -1 4202560 14936 0 0 0 62 4 0 0 20 0 15 0 224798667 15381372928 31963 33554432000 4194304 4196468 140724945045600 139770752800928 139770765047134 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18593] ppid=18588 vsize=15020872 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798668 15381372928 31963 33554432000 4194304 4196468 140724945045600 139770785208592 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18594] ppid=18588 vsize=15020872 memory=61168 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798668 15381372928 31963 33554432000 4194304 4196468 140724945045600 139770241997200 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18595] ppid=18588 vsize=15020872 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18595/stat : 18595 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798668 15381372928 31963 33554432000 4194304 4196468 140724945045600 139770240944656 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18596] ppid=18588 vsize=15020872 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18596/stat : 18596 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798668 15381372928 31963 33554432000 4194304 4196468 140724945045600 139770239892112 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18597] ppid=18588 vsize=15020872 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18597/stat : 18597 (java) S 18588 18588 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224798670 15381372928 31963 33554432000 4194304 4196468 140724945045600 139769751390704 139770780977794 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18598] ppid=18588 vsize=15020872 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18598/stat : 18598 (java) S 18588 18588 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224798670 15381372928 31963 33554432000 4194304 4196468 140724945045600 139769375876512 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18599] ppid=18588 vsize=15020872 memory=752 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18599/stat : 18599 (java) S 18588 18588 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224798671 15381372928 31963 33554432000 4194304 4196468 140724945045600 139769241654768 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18600] ppid=18588 vsize=15020872 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18600/stat : 18600 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798673 15381372928 31963 33554432000 4194304 4196468 140724945045600 139768867150544 139770780985243 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18601] ppid=18588 vsize=15020872 memory=1120 CPUtime=0.09 cores=1,3,5,7
/proc/18591/task/18601/stat : 18601 (java) S 18588 18588 16605 0 -1 1077944384 639 0 0 0 9 0 0 0 20 0 15 0 224798673 15381372928 31963 33554432000 4194304 4196468 140724945045600 139769750337520 139770780977794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18602] ppid=18588 vsize=15020872 memory=6120 CPUtime=0.07 cores=1,3,5,7
/proc/18591/task/18602/stat : 18602 (java) S 18588 18588 16605 0 -1 1077944384 297 0 0 0 7 0 0 0 20 0 15 0 224798673 15381372928 31963 33554432000 4194304 4196468 140724945045600 139769749284976 139770780977794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18603] ppid=18588 vsize=15020872 memory=1724 CPUtime=0.15 cores=1,3,5,7
/proc/18591/task/18603/stat : 18603 (java) S 18588 18588 16605 0 -1 1077944384 419 0 0 0 15 0 0 0 20 0 15 0 224798673 15381372928 31963 33554432000 4194304 4196468 140724945045600 139769748232432 139770780977794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18604] ppid=18588 vsize=15020872 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18604/stat : 18604 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798673 15381372928 31963 33554432000 4194304 4196468 140724945045600 139768369244768 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18605] ppid=18588 vsize=15020872 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18605/stat : 18605 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798673 15381372928 31963 33554432000 4194304 4196468 140724945045600 139769747180336 139770780977794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 129244 KiB
[startup+1.50083 s]
/proc/loadavg: 2.65 2.19 2.10 4/223 18605
/proc/meminfo: memFree=23944224/32770624 swapFree=67108860/67108860
[pid=18588] ppid=18585 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18588/stat : 18588 (scop.sh) S 18585 18588 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224798666 115843072 348 33554432000 4194304 5098028 140721256451008 140721256448264 140380421497468 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35594240 140721256453184 140721256453383 140721256453383 140721256456141 0
/proc/18588/statm: 28282 348 296 221 0 87 0
################
# More data... #
################
[pid=18591/tid=18597] ppid=18588 vsize=15027084 memory=10881 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18597/stat : 18597 (java) S 18588 18588 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224798670 15387734016 45401 33554432000 4194304 4196468 140724945045600 139769751390704 139770780977794 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18598] ppid=18588 vsize=15027084 memory=20710 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18598/stat : 18598 (java) S 18588 18588 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224798670 15387734016 45401 33554432000 4194304 4196468 140724945045600 139769375876512 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18599] ppid=18588 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18599/stat : 18599 (java) S 18588 18588 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224798671 15387734016 45401 33554432000 4194304 4196468 140724945045600 139769241654768 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18600] ppid=18588 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18600/stat : 18600 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798673 15387734016 45401 33554432000 4194304 4196468 140724945045600 139768867150544 139770780985243 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18601] ppid=18588 vsize=15027084 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/18591/task/18601/stat : 18601 (java) S 18588 18588 16605 0 -1 1077944384 950 0 0 0 38 0 0 0 20 0 15 0 224798673 15387734016 45401 33554432000 4194304 4196468 140724945045600 139769750337520 139770780977794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18602] ppid=18588 vsize=15027084 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/18591/task/18602/stat : 18602 (java) R 18588 18588 16605 0 -1 4202560 861 0 0 0 38 0 0 0 20 0 15 0 224798673 15387734016 45401 33554432000 4194304 4196468 140724945045600 139769749271072 139770758190800 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18603] ppid=18588 vsize=15027084 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/18591/task/18603/stat : 18603 (java) R 18588 18588 16605 0 -1 4202560 2441 0 0 0 65 0 0 0 20 0 15 0 224798673 15387734016 45401 33554432000 4194304 4196468 140724945045600 139769748232432 139770759600480 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18604] ppid=18588 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18604/stat : 18604 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798673 15387734016 45401 33554432000 4194304 4196468 140724945045600 139768369244768 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18605] ppid=18588 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18605/stat : 18605 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798673 15387734016 45401 33554432000 4194304 4196468 140724945045600 139769747180336 139770780977794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 182996 KiB
[startup+2.51166 s]
# the end of solver process 18588 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.4171 s, system=0.174861 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60147 s]
/proc/loadavg: 2.65 2.19 2.10 4/223 18605
/proc/meminfo: memFree=23944224/32770624 swapFree=67108860/67108860
[pid=18588] ppid=18585 vsize=113128 memory=1392 CPUtime=0 cores=1,3,5,7
/proc/18588/stat : 18588 (scop.sh) S 18585 18588 16605 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224798666 115843072 348 33554432000 4194304 5098028 140721256451008 140721256448264 140380421497468 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35594240 140721256453184 140721256453383 140721256453383 140721256456141 0
/proc/18588/statm: 28282 348 296 221 0 87 0
[pid=18591] ppid=18588 vsize=15027084 memory=190908 CPUtime=3.21 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18588 18588 16605 0 -1 1077944320 22187 0 0 0 312 9 0 0 20 0 15 0 224798666 15387734016 47727 33554432000 4194304 4196468 140724945045600 140724945028144 139770780966647 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
/proc/18591/statm: 3756771 47727 3201 1 0 3717627 0
[pid=18591/tid=18592] ppid=18588 vsize=15027084 memory=1740 CPUtime=1.56 cores=1,3,5,7
/proc/18591/task/18592/stat : 18592 (java) R 18588 18588 16605 0 -1 4202560 16416 0 0 0 150 6 0 0 20 0 15 0 224798667 15387734016 47727 33554432000 4194304 4196468 140724945045600 139770752796048 139770765047134 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18593] ppid=18588 vsize=15027084 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798668 15387734016 47727 33554432000 4194304 4196468 140724945045600 139770785208592 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18594] ppid=18588 vsize=15027084 memory=752 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798668 15387734016 47727 33554432000 4194304 4196468 140724945045600 139770241997200 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18595] ppid=18588 vsize=15027084 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18595/stat : 18595 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798668 15387734016 47727 33554432000 4194304 4196468 140724945045600 139770240944656 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18596] ppid=18588 vsize=15027084 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18596/stat : 18596 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798668 15387734016 47727 33554432000 4194304 4196468 140724945045600 139770239892112 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18597] ppid=18588 vsize=15027084 memory=6120 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18597/stat : 18597 (java) S 18588 18588 16605 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224798670 15387734016 47727 33554432000 4194304 4196468 140724945045600 139769751390704 139770780977794 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18598] ppid=18588 vsize=15027084 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18598/stat : 18598 (java) S 18588 18588 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224798670 15387734016 47727 33554432000 4194304 4196468 140724945045600 139769375876512 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18599] ppid=18588 vsize=15027084 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18599/stat : 18599 (java) S 18588 18588 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224798671 15387734016 47727 33554432000 4194304 4196468 140724945045600 139769241654768 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18600] ppid=18588 vsize=15027084 memory=3516 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18600/stat : 18600 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798673 15387734016 47727 33554432000 4194304 4196468 140724945045600 139768867150544 139770780985243 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18601] ppid=18588 vsize=15027084 memory=872 CPUtime=0.45 cores=1,3,5,7
/proc/18591/task/18601/stat : 18601 (java) S 18588 18588 16605 0 -1 1077944384 986 0 0 0 45 0 0 0 20 0 15 0 224798673 15387734016 47727 33554432000 4194304 4196468 140724945045600 139769750337520 139770780977794 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18602] ppid=18588 vsize=15027084 memory=1288 CPUtime=0.45 cores=1,3,5,7
/proc/18591/task/18602/stat : 18602 (java) S 18588 18588 16605 0 -1 1077944384 886 0 0 0 45 0 0 0 20 0 15 0 224798673 15387734016 47727 33554432000 4194304 4196468 140724945045600 139769749284976 139770780977794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18603] ppid=18588 vsize=15027084 memory=1088 CPUtime=0.7 cores=1,3,5,7
/proc/18591/task/18603/stat : 18603 (java) S 18588 18588 16605 0 -1 1077944384 2544 0 0 0 70 0 0 0 20 0 15 0 224798673 15387734016 47727 33554432000 4194304 4196468 140724945045600 139769748232432 139770780977794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18604] ppid=18588 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18604/stat : 18604 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798673 15387734016 47727 33554432000 4194304 4196468 140724945045600 139768369244768 139770780976853 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
[pid=18591/tid=18605] ppid=18588 vsize=15027084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18605/stat : 18605 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798673 15387734016 47727 33554432000 4194304 4196468 140724945045600 139769747180336 139770780977794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140724945048582 140724945048881 140724945048881 140724945051599 0
Current children cumulated CPU time: 3.21 s
Current children cumulated vsize: 15140212 KiB
Current children cumulated memory: 192300 KiB
[startup+2.00033 s]*
/proc/loadavg: 2.65 2.19 2.10 3/223 18620
/proc/meminfo: memFree=24020328/32770624 swapFree=67108860/67108860
[pid=18588] ppid=18585 vsize=113128 memory=1468 CPUtime=3.34 cores=1,3,5,7
/proc/18588/stat : 18588 (scop.sh) S 18585 18588 16605 0 -1 4202496 590 22939 0 0 0 0 324 10 20 0 1 0 224798666 115843072 367 33554432000 4194304 5098028 140721256451008 140721256447752 140380421497468 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35594240 140721256453184 140721256453383 140721256453383 140721256456141 0
/proc/18588/statm: 28282 367 311 221 0 87 0
[pid=18606] ppid=18588 vsize=7404280 memory=64996 CPUtime=0.45 cores=1,3,5,7
/proc/18606/stat : 18606 (java) S 18588 18588 16605 0 -1 1077944320 10749 0 0 0 42 3 0 0 20 0 15 0 224798834 7581982720 16249 33554432000 4194304 4196468 140734942220560 140734942203104 140705328086775 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
/proc/18606/statm: 1851070 16249 2995 1 0 1813530 0
[pid=18606/tid=18607] ppid=18588 vsize=7404280 memory=-6673890911685660454 CPUtime=0.31 cores=1,3,5,7
/proc/18606/task/18607/stat : 18607 (java) R 18588 18588 16605 0 -1 4202560 8442 0 0 0 29 2 0 0 20 0 15 0 224798834 7581982720 16249 33554432000 4194304 4196468 140734942220560 140705299904368 140705313252350 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18608] ppid=18588 vsize=7404280 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18608/stat : 18608 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798836 7581982720 16249 33554432000 4194304 4196468 140734942220560 140705332328848 140705328096981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18609] ppid=18588 vsize=7404280 memory=2315000224230627053 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18609/stat : 18609 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798836 7581982720 16249 33554432000 4194304 4196468 140734942220560 140705146485008 140705328096981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18610] ppid=18588 vsize=7404280 memory=-7739291840220455296 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18610/stat : 18610 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798836 7581982720 16249 33554432000 4194304 4196468 140734942220560 140705145432720 140705328096981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18611] ppid=18588 vsize=7404280 memory=4212105090693681929 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18611/stat : 18611 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798836 7581982720 16249 33554432000 4194304 4196468 140734942220560 140705144379920 140705328096981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18612] ppid=18588 vsize=7404280 memory=749538847880735974 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18612/stat : 18612 (java) S 18588 18588 16605 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224798837 7581982720 16249 33554432000 4194304 4196468 140734942220560 140704706656880 140705328097922 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18613] ppid=18588 vsize=7404280 memory=8316297343878395758 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18613/stat : 18613 (java) S 18588 18588 16605 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224798837 7581982720 16249 33554432000 4194304 4196468 140734942220560 140704202351904 140705328096981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18614] ppid=18588 vsize=7404280 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18614/stat : 18614 (java) S 18588 18588 16605 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 224798838 7581982720 16249 33554432000 4194304 4196468 140734942220560 140704068130416 140705328096981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18615] ppid=18588 vsize=7404280 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18615/stat : 18615 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798840 7581982720 16249 33554432000 4194304 4196468 140734942220560 140703693625936 140705328105371 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18616] ppid=18588 vsize=7404280 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18606/task/18616/stat : 18616 (java) S 18588 18588 16605 0 -1 1077944384 392 0 0 0 3 0 0 0 20 0 15 0 224798840 7581982720 16249 33554432000 4194304 4196468 140734942220560 140704705603696 140705328097922 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18617] ppid=18588 vsize=7404280 memory=3472328296227680303 CPUtime=0.02 cores=1,3,5,7
/proc/18606/task/18617/stat : 18617 (java) S 18588 18588 16605 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 15 0 224798840 7581982720 16249 33554432000 4194304 4196468 140734942220560 140704704550896 140705328097922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18618] ppid=18588 vsize=7404280 memory=665101877591568339 CPUtime=0.07 cores=1,3,5,7
/proc/18606/task/18618/stat : 18618 (java) S 18588 18588 16605 0 -1 1077944384 338 0 0 0 7 0 0 0 20 0 15 0 224798840 7581982720 16249 33554432000 4194304 4196468 140734942220560 140704703498608 140705328097922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18619] ppid=18588 vsize=7404280 memory=279739541886960 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18619/stat : 18619 (java) S 18588 18588 16605 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224798840 7581982720 16249 33554432000 4194304 4196468 140734942220560 140703195720160 140705328096981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18620] ppid=18588 vsize=7404280 memory=7523089898783466849 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18620/stat : 18620 (java) S 18588 18588 16605 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224798840 7581982720 16249 33554432000 4194304 4196468 140734942220560 140704702446512 140705328097922 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
Current children cumulated CPU time: 3.79 s
Current children cumulated vsize: 7517408 KiB
Current children cumulated memory: 66464 KiB
[startup+2.40333 s]
/proc/loadavg: 2.65 2.19 2.10 3/223 18620
/proc/meminfo: memFree=24020328/32770624 swapFree=67108860/67108860
[pid=18588] ppid=18585 vsize=113128 memory=1468 CPUtime=3.34 cores=1,3,5,7
/proc/18588/stat : 18588 (scop.sh) S 18585 18588 16605 0 -1 4202496 590 22939 0 0 0 0 324 10 20 0 1 0 224798666 115843072 367 33554432000 4194304 5098028 140721256451008 140721256447752 140380421497468 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35594240 140721256453184 140721256453383 140721256453383 140721256456141 0
/proc/18588/statm: 28282 367 311 221 0 87 0
[pid=18606] ppid=18588 vsize=7740532 memory=112224 CPUtime=1.06 cores=1,3,5,7
/proc/18606/stat : 18606 (java) S 18588 18588 16605 0 -1 1077944320 17846 534 0 0 101 5 0 0 20 0 16 0 224798834 7926304768 28056 33554432000 4194304 4196468 140734942220560 140734942203104 140705328086775 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
/proc/18606/statm: 1935133 28056 3142 1 0 1896532 0
[pid=18606/tid=18607] ppid=18588 vsize=7740532 memory=7595714828055106407 CPUtime=0.69 cores=1,3,5,7
/proc/18606/task/18607/stat : 18607 (java) R 18588 18588 16605 0 -1 4202560 14908 534 0 0 65 4 0 0 20 0 16 0 224798834 7926304768 28056 33554432000 4194304 4196468 140734942220560 140705299916896 140705328108122 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18608] ppid=18588 vsize=7740532 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18608/stat : 18608 (java) S 18588 18588 16605 0 -1 1077944384 1 534 0 0 0 0 0 0 20 0 16 0 224798836 7926304768 28056 33554432000 4194304 4196468 140734942220560 140705332328848 140705328096981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18609] ppid=18588 vsize=7740532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18609/stat : 18609 (java) S 18588 18588 16605 0 -1 1077944384 2 534 0 0 0 0 0 0 20 0 16 0 224798836 7926304768 28056 33554432000 4194304 4196468 140734942220560 140705146485008 140705328096981 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18610] ppid=18588 vsize=7740532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18610/stat : 18610 (java) S 18588 18588 16605 0 -1 1077944384 1 534 0 0 0 0 0 0 20 0 16 0 224798836 7926304768 28056 33554432000 4194304 4196468 140734942220560 140705145432720 140705328096981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18611] ppid=18588 vsize=7740532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18611/stat : 18611 (java) S 18588 18588 16605 0 -1 1077944384 2 534 0 0 0 0 0 0 20 0 16 0 224798836 7926304768 28056 33554432000 4194304 4196468 140734942220560 140705144379920 140705328096981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18612] ppid=18588 vsize=7740532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18612/stat : 18612 (java) S 18588 18588 16605 0 -1 1077944384 5 534 0 0 0 0 0 0 20 0 16 0 224798837 7926304768 28056 33554432000 4194304 4196468 140734942220560 140704706656880 140705328097922 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18613] ppid=18588 vsize=7740532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18613/stat : 18613 (java) S 18588 18588 16605 0 -1 1077944384 13 534 0 0 0 0 0 0 20 0 16 0 224798837 7926304768 28056 33554432000 4194304 4196468 140734942220560 140704202351904 140705328096981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18614] ppid=18588 vsize=7740532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18614/stat : 18614 (java) S 18588 18588 16605 0 -1 1077944384 21 534 0 0 0 0 0 0 20 0 16 0 224798838 7926304768 28056 33554432000 4194304 4196468 140734942220560 140704068130416 140705328096981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18615] ppid=18588 vsize=7740532 memory=279739542198624 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18615/stat : 18615 (java) S 18588 18588 16605 0 -1 1077944384 3 534 0 0 0 0 0 0 20 0 16 0 224798840 7926304768 28056 33554432000 4194304 4196468 140734942220560 140703693625936 140705328105371 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18616] ppid=18588 vsize=7740532 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18606/task/18616/stat : 18616 (java) S 18588 18588 16605 0 -1 1077944384 615 534 0 0 8 0 0 0 20 0 16 0 224798840 7926304768 28056 33554432000 4194304 4196468 140734942220560 140704705603696 140705328097922 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18617] ppid=18588 vsize=7740532 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18606/task/18617/stat : 18617 (java) R 18588 18588 16605 0 -1 4202560 309 534 0 0 7 0 0 0 20 0 16 0 224798840 7926304768 28056 33554432000 4194304 4196468 140734942220560 140704704539568 140705314110596 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18618] ppid=18588 vsize=7740532 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/18606/task/18618/stat : 18618 (java) R 18588 18588 16605 0 -1 4202560 533 534 0 0 18 0 0 0 20 0 16 0 224798840 7926304768 28056 33554432000 4194304 4196468 140734942220560 140704703498608 140705311777165 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18619] ppid=18588 vsize=7740532 memory=288230617492236672 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18619/stat : 18619 (java) S 18588 18588 16605 0 -1 1077944384 3 534 0 0 0 0 0 0 20 0 16 0 224798840 7926304768 28056 33554432000 4194304 4196468 140734942220560 140703195720160 140705328096981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
[pid=18606/tid=18620] ppid=18588 vsize=7740532 memory=14694088964328218 CPUtime=0 cores=1,3,5,7
/proc/18606/task/18620/stat : 18620 (java) S 18588 18588 16605 0 -1 1077944384 1 534 0 0 0 0 0 0 20 0 16 0 224798840 7926304768 28056 33554432000 4194304 4196468 140734942220560 140704702446512 140705328097922 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17584128 140734942225589 140734942225713 140734942225713 140734942228431 0
Current children cumulated CPU time: 4.4 s
Current children cumulated vsize: 7853660 KiB
Current children cumulated memory: 113692 KiB
[startup+2.50194 s]*
/proc/loadavg: 2.65 2.19 2.10 3/208 18626
/proc/meminfo: memFree=24071108/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2.51169
CPU time (s): 4.59196
CPU user time (s): 4.4171
CPU system time (s): 0.174861
CPU usage (%): 182.823
Max. virtual memory (cumulated for all children) (KiB): 15140212
Max. memory (cumulated for all children) (KiB): 192300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.4171
system time used= 0.174861
maximum resident set size= 199356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4778
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 18588
# total CPU time (s): 4.59196
# total CPU user time (s): 4.4171
# total CPU system time (s): 0.174861
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039295 second user time and 0.070776 second system time
The end