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-19542-serial-file.bin HOME/instance-4305535-1534068094.xml
0.54/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.54 c BEGIN-Prog: Sun Aug 12 12:01:35 CEST 2018
0.66/0.54 c PID: 19545
0.66/0.54 c IP: 172.20.3.139
0.66/0.54 c HOST: node139.alineos.net
0.66/0.55 c (0,0) Parsing Begin
5.28/2.06 c (1,1) Parsing End
5.28/2.06 c (1,1) CSP: 680 int (0 aux), 0 bool (0 aux), 4103 ctr, max domain size 36
5.28/2.07 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.28/2.07 c (1,1) Constraint Name Generate Begin
5.28/2.09 c (1,1) Ctr:HOME/instance-4305535-1534068094.xml,Dist:Eq:IntVar:Le:Num
5.28/2.09 c (1,1) Constraint Name Generate End
5.28/2.09 c (1,1) Heap : 507 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
5.28/2.09 c (1,1) CSP to CSPinCNF Begin
6.22/2.38 c (1,1) translated 411 (10%) constraints
6.61/2.44 c (1,1) translated 821 (20%) constraints
6.61/2.49 c (1,1) translated 1231 (30%) constraints
6.90/2.54 c (2,2) translated 1642 (40%) constraints
6.90/2.59 c (2,2) translated 2052 (50%) constraints
7.21/2.64 c (2,2) translated 2462 (60%) constraints
7.21/2.69 c (2,2) translated 2873 (70%) constraints
7.50/2.73 c (2,2) translated 3283 (80%) constraints
7.50/2.76 c (2,2) translated 3693 (90%) constraints
7.81/2.88 c (2,2) translated 4103 (100%) constraints
8.19/2.96 c (2,2) STATISTICS1:HOME/instance-4305535-1534068094.xml,Dist:Eq:IntVar:Le:Num,680,4783,36,36,2,2,36:3314;29:5144;22:344;20:24;6:60,36:9348;29:7956;22:364;20:40;6:64,2:4103;1:680,2:8886,
8.19/2.96 c (2,2) ==========================================
8.19/2.96 c (2,2) Order
8.19/2.96 c (2,2) ==========================================
8.19/2.99 c (2,2) translated 479 (10%) constraints
8.19/3.01 c (2,2) translated 957 (20%) constraints
8.57/3.03 c (2,2) translated 1435 (30%) constraints
8.57/3.05 c (2,2) translated 1914 (40%) constraints
8.57/3.06 c (2,2) translated 2392 (50%) constraints
8.57/3.08 c (2,2) translated 2870 (60%) constraints
8.57/3.10 c (2,2) translated 3349 (70%) constraints
8.85/3.11 c (2,2) translated 3827 (80%) constraints
8.85/3.13 c (2,2) translated 4305 (90%) constraints
8.85/3.14 c (2,2) translated 4783 (100%) constraints
8.85/3.15 c (2,2) CSP to CSPinCNF End
8.85/3.15 c (2,2) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 36
8.85/3.15 c (2,2) Heap : 676 MiB used (max 10795 MiB), NonHeap : 32 MiB used (max 0 MiB)
8.85/3.15 c (2,2) CSPinCNF Propagation Begin
10.94/4.49 c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
10.94/4.49 c (3,3) CSPinCNF Propagation End
10.94/4.50 c (3,3) CSP: 680 int (0 aux), 0 bool (0 aux), 4783 ctr, max domain size 36
10.94/4.50 c (3,3) Heap : 2027 MiB used (max 10795 MiB), NonHeap : 33 MiB used (max 0 MiB)
10.94/4.50 c (3,3) Simplify CSPinCNF Begin
11.62/4.76 c (4,4) Simplify CSPinCNF End
11.62/4.76 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 36
11.62/4.76 c (4,4) Heap : 2084 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.62/4.76 c (4,4) Calculate Precise Domain Begin
11.62/4.77 c (4,4) 0 values are removed by re-calculation
11.62/4.77 c (4,4) Calculate Precise Domain End
11.62/4.77 c (4,4) CSP: 680 int (0 aux), 8206 bool (8206 aux), 12989 ctr, max domain size 36
11.62/4.77 c (4,4) Heap : 2084 MiB used (max 10795 MiB), NonHeap : 34 MiB used (max 0 MiB)
11.62/4.77 c (4,4) CSPinCNF to SatSolver Begin
12.63/5.05 c (4,4) 1299 (10 %) CSP clauses are encoded (29390 SAT variables, 46979 SAT clauses)
12.94/5.16 c (4,4) 2598 (20 %) CSP clauses are encoded (29390 SAT variables, 73084 SAT clauses)
13.17/5.23 c (4,4) 3897 (30 %) CSP clauses are encoded (29390 SAT variables, 97080 SAT clauses)
13.38/5.32 c (4,4) 5196 (40 %) CSP clauses are encoded (29390 SAT variables, 123193 SAT clauses)
13.60/5.41 c (4,4) 6495 (50 %) CSP clauses are encoded (29390 SAT variables, 150090 SAT clauses)
13.83/5.51 c (4,4) 7794 (60 %) CSP clauses are encoded (29390 SAT variables, 177184 SAT clauses)
14.05/5.60 c (5,5) 9093 (70 %) CSP clauses are encoded (29390 SAT variables, 203885 SAT clauses)
14.05/5.67 c (5,5) 10392 (80 %) CSP clauses are encoded (29390 SAT variables, 230656 SAT clauses)
14.20/5.74 c (5,5) 11691 (90 %) CSP clauses are encoded (29390 SAT variables, 256270 SAT clauses)
14.41/5.80 c (5,5) 12989 (100 %) CSP clauses are encoded (29390 SAT variables, 279146 SAT clauses)
14.41/5.80 c (5,5) Launch Command will be: minisat_release
14.41/5.80 c (5,5) CSPinCNF to SatSolver End
14.41/5.80 c (5,5) Heap : 2703 MiB used (max 10795 MiB), NonHeap : 37 MiB used (max 0 MiB)
14.73/5.90 c (5,5) STATISTICS2:HOME/instance-4305535-1534068094.xml,Dist:Eq:IntVar:Le:Num,8886,12989,36,36,2,2,36:3314;29:5144;22:344;20:24;6:60,36:9348;29:7956;22:364;20:40;6:64;2:16412,2:12309;1:680,2:8886;1:16412,
14.73/5.90 c (5,5) 29390 bool, 279158 clause
14.73/5.90 c (5,5) Export Begin
15.61/6.27 c (5,5) Export to HOME/scop-19542-serial-file.bin
15.61/6.27 c (5,5) Export End
15.61/6.27 c (5,5) Export File Size: 4.01 MB
15.61/6.27 c (5,5) 1,1,2,3,4,4,5,STOP-AFTER(DIMACS)
15.61/6.27 c END-Prog: Sun Aug 12 12:01:40 CEST 2018
0.00/6.30 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-19542-serial-file.bin
15.74/6.78 c (0,0) Read Serial File Begin
15.74/6.78 c (0,0) HOME/scop-19542-serial-file.bin
16.98/7.28 c (0,0) Read Serial File End
17.27/7.30
17.27/7.30 scop order+minisat_release (2018-07-31)
17.27/7.30 (Solving Process)
17.27/7.30
17.27/7.32 c BEGIN-Prog: Sun Aug 12 12:01:41 CEST 2018
17.27/7.32 c PID: 19560
17.27/7.32 c IP: 172.20.3.139
17.27/7.32 c HOST: node139.alineos.net
17.27/7.32 c (0,0) SatSolver.solve Begin
17.27/7.32 c (0,0) 0 bool, 0 clause
17.27/7.32 c (0,0) minisat_release HOME/instance-4305535-1534068094.xml-scop-19545.cnf
17.50/7.78 c (1,0) c This is COMiniSatPS.
17.50/7.78 c (1,0) c WARNING: for repeatability, setting FPU to use double precision
17.50/7.78 c (1,0) c ============================[ Problem Statistics ]=============================
17.50/7.78 c (1,0) c | |
17.50/7.78 c (1,0) c | Number of variables: 29390 |
17.50/7.78 c (1,0) c | Number of clauses: 279158 |
17.50/7.78 c (1,0) c | Parse time: 0.09 s |
17.50/7.78 c (1,0) c | Eliminated clauses: 0.08 Mb |
17.50/7.78 c (1,0) c Reduced to 25148 vars, 272466 cls (grow=0)
17.50/7.78 c (1,0) c No iterative elimination performed. (vars=25148, c/v ratio=10.8)
17.50/7.78 c (1,0) c | Simplification time: 0.29 s |
17.50/7.78 c (1,0) c | |
17.50/7.78 c (1,0) c ============================[ Search Statistics ]==============================
17.50/7.78 c (1,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
17.50/7.78 c (1,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
17.50/7.78 c (1,0) c ===============================================================================
17.50/7.78 c (1,0) c ===============================================================================
17.50/7.78 c (1,0) c restarts : 1
17.50/7.78 c (1,0) c conflicts : 387 (951 /sec)
17.50/7.78 c (1,0) c decisions : 1096 (0.00 % random) (2694 /sec)
17.50/7.78 c (1,0) c propagations : 68234 (167751 /sec)
17.50/7.78 c (1,0) c conflict literals : 2532 (25.29 % deleted)
17.50/7.78 c (1,0) c CPU time : 0.406757 s
17.50/7.78 c (1,0)
17.50/7.78 c (1,0) s UNSATISFIABLE
17.50/7.78 c (1,0) SatSolver.solve End
17.50/7.78 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.50/7.78 c (1,0) Show results Begin
17.50/7.78 s UNSATISFIABLE
17.50/7.78 c (1,0) Show results End
17.50/7.78 c (1,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
17.50/7.78 c (1,0) 1,1,STOP-AFTER(ALL)
17.50/7.78 c END-Prog: Sun Aug 12 12:01:42 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 (4496 MiB free)
memory of node 1: 16384 MiB (5829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305535-1534068094/watcher-4305535-1534068094 -o /tmp/evaluation-result-4305535-1534068094/solver-4305535-1534068094 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16802 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305535-1534068094.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
Current StackSize limit: 8192 KiB
solver pid=19542, runsolver pid=19539
[startup+0.100135 s]*
/proc/loadavg: 3.12 2.39 2.17 3/223 19559
/proc/meminfo: memFree=10513936/32770624 swapFree=67108860/67108860
[pid=19542] ppid=19539 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (scop.sh) S 19539 19542 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224372563 115843072 349 33554432000 4194304 5098028 140734345851744 140734345849000 139661224600188 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32116736 140734345856064 140734345856263 140734345856263 140734345859021 0
/proc/19542/statm: 28282 349 296 221 0 87 0
[pid=19545] ppid=19542 vsize=15012476 memory=72200 CPUtime=0.11 cores=1,3,5,7
/proc/19545/stat : 19545 (java) S 19542 19542 16770 0 -1 1077944320 6667 0 0 0 9 2 0 0 20 0 15 0 224372563 15372775424 18050 33554432000 4194304 4196468 140730138463360 140730138445904 139850363133687 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
/proc/19545/statm: 3753119 18050 2773 1 0 3715579 0
[pid=19545/tid=19546] ppid=19542 vsize=15012476 memory=-6006813186902507461 CPUtime=0.08 cores=1,3,5,7
/proc/19545/task/19546/stat : 19546 (java) R 19542 19542 16770 0 -1 4202560 4754 0 0 0 7 1 0 0 20 0 15 0 224372563 15372775424 18050 33554432000 4194304 4196468 140730138463360 139850334960016 139850346320517 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19547] ppid=19542 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19547/stat : 19547 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372565 15372775424 18050 33554432000 4194304 4196468 140730138463360 139850367376400 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19548] ppid=19542 vsize=15012476 memory=140145841243776 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19548/stat : 19548 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372565 15372775424 18050 33554432000 4194304 4196468 140730138463360 139850181532816 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19549] ppid=19542 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19549/stat : 19549 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372565 15372775424 18050 33554432000 4194304 4196468 140730138463360 139850180479760 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19550] ppid=19542 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19550/stat : 19550 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372565 15372775424 18050 33554432000 4194304 4196468 140730138463360 139850179427216 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19551] ppid=19542 vsize=15012476 memory=140145841243776 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19551/stat : 19551 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372567 15372775424 18050 33554432000 4194304 4196468 140730138463360 139849132210416 139850363144834 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19552] ppid=19542 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19552/stat : 19552 (java) S 19542 19542 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224372567 15372775424 18050 33554432000 4194304 4196468 140730138463360 139849034097824 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19553] ppid=19542 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19553/stat : 19553 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372567 15372775424 18050 33554432000 4194304 4196468 140730138463360 139848765661936 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19554] ppid=19542 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19554/stat : 19554 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224372570 15372775424 18050 33554432000 4194304 4196468 140730138463360 139848391153616 139850363152283 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19555] ppid=19542 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19555/stat : 19555 (java) S 19542 19542 16770 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 224372570 15372775424 18050 33554432000 4194304 4196468 140730138463360 139849131158256 139850363144834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19556] ppid=19542 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19556/stat : 19556 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224372570 15372775424 18050 33554432000 4194304 4196468 140730138463360 139849130105712 139850363144834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19557] ppid=19542 vsize=15012476 memory=140145841243776 CPUtime=0.01 cores=1,3,5,7
/proc/19545/task/19557/stat : 19557 (java) S 19542 19542 16770 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 15 0 224372570 15372775424 18050 33554432000 4194304 4196468 140730138463360 139849129052656 139850363144834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19558] ppid=19542 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19558/stat : 19558 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224372570 15372775424 18050 33554432000 4194304 4196468 140730138463360 139847893248864 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19559] ppid=19542 vsize=15012476 memory=140145841243776 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19559/stat : 19559 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372570 15372775424 18050 33554432000 4194304 4196468 140730138463360 139849128000048 139850363144834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 73596 KiB
[startup+0.210775 s]*
/proc/loadavg: 3.12 2.39 2.17 4/223 19559
/proc/meminfo: memFree=10499860/32770624 swapFree=67108860/67108860
[pid=19542] ppid=19539 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (scop.sh) S 19539 19542 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224372563 115843072 349 33554432000 4194304 5098028 140734345851744 140734345849000 139661224600188 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32116736 140734345856064 140734345856263 140734345856263 140734345859021 0
/proc/19542/statm: 28282 349 296 221 0 87 0
[pid=19545] ppid=19542 vsize=15012476 memory=85540 CPUtime=0.25 cores=1,3,5,7
/proc/19545/stat : 19545 (java) S 19542 19542 16770 0 -1 1077944320 10275 0 0 0 22 3 0 0 20 0 15 0 224372563 15372775424 21385 33554432000 4194304 4196468 140730138463360 140730138445904 139850363133687 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
/proc/19545/statm: 3753119 21385 2869 1 0 3715579 0
[pid=19545/tid=19546] ppid=19542 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/19545/task/19546/stat : 19546 (java) R 19542 19542 16770 0 -1 4202560 8177 0 0 0 17 2 0 0 20 0 15 0 224372563 15372775424 21385 33554432000 4194304 4196468 140730138463360 139850334960080 139850363145622 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19547] ppid=19542 vsize=15012476 memory=365 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19547/stat : 19547 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372565 15372775424 21385 33554432000 4194304 4196468 140730138463360 139850367376400 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19548] ppid=19542 vsize=15012476 memory=140145842433822 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19548/stat : 19548 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372565 15372775424 21385 33554432000 4194304 4196468 140730138463360 139850181532816 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19549] ppid=19542 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19549/stat : 19549 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372565 15372775424 21385 33554432000 4194304 4196468 140730138463360 139850180479760 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19550] ppid=19542 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19550/stat : 19550 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372565 15372775424 21385 33554432000 4194304 4196468 140730138463360 139850179427216 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19551] ppid=19542 vsize=15012476 memory=140145841243776 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19551/stat : 19551 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372567 15372775424 21385 33554432000 4194304 4196468 140730138463360 139849132210416 139850363144834 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19552] ppid=19542 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19552/stat : 19552 (java) S 19542 19542 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224372567 15372775424 21385 33554432000 4194304 4196468 140730138463360 139849034097824 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19553] ppid=19542 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19553/stat : 19553 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372567 15372775424 21385 33554432000 4194304 4196468 140730138463360 139848765661936 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19554] ppid=19542 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19554/stat : 19554 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224372570 15372775424 21385 33554432000 4194304 4196468 140730138463360 139848391153616 139850363152283 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19555] ppid=19542 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19555/stat : 19555 (java) S 19542 19542 16770 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 15 0 224372570 15372775424 21385 33554432000 4194304 4196468 140730138463360 139849131158256 139850363144834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19556] ppid=19542 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19556/stat : 19556 (java) S 19542 19542 16770 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 224372570 15372775424 21385 33554432000 4194304 4196468 140730138463360 139849130105712 139850363144834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19557] ppid=19542 vsize=15012476 memory=140145841243776 CPUtime=0.03 cores=1,3,5,7
/proc/19545/task/19557/stat : 19557 (java) R 19542 19542 16770 0 -1 4202560 288 0 0 0 3 0 0 0 20 0 15 0 224372570 15372775424 21385 33554432000 4194304 4196468 140730138463360 139849129052656 139850347214174 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19558] ppid=19542 vsize=15012476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19558/stat : 19558 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224372570 15372775424 21385 33554432000 4194304 4196468 140730138463360 139847893248864 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19559] ppid=19542 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19559/stat : 19559 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372570 15372775424 21385 33554432000 4194304 4196468 140730138463360 139849128000048 139850363144834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 86936 KiB
[startup+0.310763 s]*
/proc/loadavg: 3.12 2.39 2.17 3/223 19559
/proc/meminfo: memFree=10495564/32770624 swapFree=67108860/67108860
[pid=19542] ppid=19539 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (scop.sh) S 19539 19542 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224372563 115843072 349 33554432000 4194304 5098028 140734345851744 140734345849000 139661224600188 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32116736 140734345856064 140734345856263 140734345856263 140734345859021 0
/proc/19542/statm: 28282 349 296 221 0 87 0
[pid=19545] ppid=19542 vsize=15012476 memory=89680 CPUtime=0.43 cores=1,3,5,7
/proc/19545/stat : 19545 (java) S 19542 19542 16770 0 -1 1077944320 10890 0 0 0 39 4 0 0 20 0 15 0 224372563 15372775424 22420 33554432000 4194304 4196468 140730138463360 140730138445904 139850363133687 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
/proc/19545/statm: 3753119 22420 2983 1 0 3715579 0
[pid=19545/tid=19546] ppid=19542 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/19545/task/19546/stat : 19546 (java) R 19542 19542 16770 0 -1 4202560 8612 0 0 0 26 3 0 0 20 0 15 0 224372563 15372775424 22420 33554432000 4194304 4196468 140730138463360 139850334928688 139850363155613 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19547] ppid=19542 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19547/stat : 19547 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372565 15372775424 22420 33554432000 4194304 4196468 140730138463360 139850367376400 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19548] ppid=19542 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19548/stat : 19548 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372565 15372775424 22420 33554432000 4194304 4196468 140730138463360 139850181532816 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19549] ppid=19542 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19549/stat : 19549 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372565 15372775424 22420 33554432000 4194304 4196468 140730138463360 139850180479760 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19550] ppid=19542 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19550/stat : 19550 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372565 15372775424 22420 33554432000 4194304 4196468 140730138463360 139850179427216 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19551] ppid=19542 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19551/stat : 19551 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372567 15372775424 22420 33554432000 4194304 4196468 140730138463360 139849132210416 139850363144834 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19552] ppid=19542 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19552/stat : 19552 (java) S 19542 19542 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224372567 15372775424 22420 33554432000 4194304 4196468 140730138463360 139849034097824 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19553] ppid=19542 vsize=15012476 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19553/stat : 19553 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372567 15372775424 22420 33554432000 4194304 4196468 140730138463360 139848765661936 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19554] ppid=19542 vsize=15012476 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19554/stat : 19554 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224372570 15372775424 22420 33554432000 4194304 4196468 140730138463360 139848391153616 139850363152283 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19555] ppid=19542 vsize=15012476 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19545/task/19555/stat : 19555 (java) R 19542 19542 16770 0 -1 1077944384 573 0 0 0 2 0 0 0 20 0 15 0 224372570 15372775424 22420 33554432000 4194304 4196468 140730138463360 139849131158256 139850363144834 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19556] ppid=19542 vsize=15012476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19545/task/19556/stat : 19556 (java) R 19542 19542 16770 0 -1 4202560 43 0 0 0 1 0 0 0 20 0 15 0 224372570 15372775424 22420 33554432000 4194304 4196468 140730138463360 139849130105712 139850342645757 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19557] ppid=19542 vsize=15012476 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19545/task/19557/stat : 19557 (java) R 19542 19542 16770 0 -1 4202560 330 0 0 0 7 0 0 0 20 0 15 0 224372570 15372775424 22420 33554432000 4194304 4196468 140730138463360 139849129052656 139850341976848 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19558] ppid=19542 vsize=15012476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19558/stat : 19558 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224372570 15372775424 22420 33554432000 4194304 4196468 140730138463360 139847893248864 139850363143893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19559] ppid=19542 vsize=15012476 memory=3617014130905522225 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19559/stat : 19559 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372570 15372775424 22420 33554432000 4194304 4196468 140730138463360 139849128000048 139850363144834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91076 KiB
[startup+0.710296 s]
/proc/loadavg: 3.12 2.39 2.17 3/223 19559
/proc/meminfo: memFree=10471256/32770624 swapFree=67108860/67108860
[pid=19542] ppid=19539 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (scop.sh) S 19539 19542 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224372563 115843072 349 33554432000 4194304 5098028 140734345851744 140734345849000 139661224600188 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32116736 140734345856064 140734345856263 140734345856263 140734345859021 0
/proc/19542/statm: 28282 349 296 221 0 87 0
[pid=19545] ppid=19542 vsize=15018748 memory=131756 CPUtime=1.08 cores=1,3,5,7
/proc/19545/stat : 19545 (java) S 19542 19542 16770 0 -1 1077944320 18003 0 0 0 102 6 0 0 20 0 15 0 224372563 15379197952 32939 33554432000 4194304 4196468 140730138463360 140730138445904 139850363133687 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
/proc/19545/statm: 3754687 32939 3147 1 0 3716091 0
[pid=19545/tid=19546] ppid=19542 vsize=15018748 memory=-7816663703405220396 CPUtime=0.68 cores=1,3,5,7
/proc/19545/task/19546/stat : 19546 (java) R 19542 19542 16770 0 -1 4202560 15113 0 0 0 63 5 0 0 20 0 15 0 224372563 15379197952 32939 33554432000 4194304 4196468 140730138463360 139850334971360 139850363155613 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19547] ppid=19542 vsize=15018748 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19547/stat : 19547 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372565 15379197952 32939 33554432000 4194304 4196468 140730138463360 139850367376400 139850363143893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19548] ppid=19542 vsize=15018748 memory=60928 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19548/stat : 19548 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372565 15379197952 32939 33554432000 4194304 4196468 140730138463360 139850181532816 139850363143893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19549] ppid=19542 vsize=15018748 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19549/stat : 19549 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372565 15379197952 32939 33554432000 4194304 4196468 140730138463360 139850180479760 139850363143893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19550] ppid=19542 vsize=15018748 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19550/stat : 19550 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224372565 15379197952 32939 33554432000 4194304 4196468 140730138463360 139850179427216 139850363143893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19551] ppid=19542 vsize=15018748 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19551/stat : 19551 (java) S 19542 19542 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224372567 15379197952 32939 33554432000 4194304 4196468 140730138463360 139849132210416 139850363144834 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19552] ppid=19542 vsize=15018748 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19552/stat : 19552 (java) S 19542 19542 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224372567 15379197952 32939 33554432000 4194304 4196468 140730138463360 139849034097824 139850363143893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19553] ppid=19542 vsize=15018748 memory=796 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19553/stat : 19553 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372567 15379197952 32939 33554432000 4194304 4196468 140730138463360 139848765661936 139850363143893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19554] ppid=19542 vsize=15018748 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19554/stat : 19554 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224372570 15379197952 32939 33554432000 4194304 4196468 140730138463360 139848391153616 139850363152283 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19555] ppid=19542 vsize=15018748 memory=876 CPUtime=0.11 cores=1,3,5,7
/proc/19545/task/19555/stat : 19555 (java) R 19542 19542 16770 0 -1 4202560 817 0 0 0 11 0 0 0 20 0 15 0 224372570 15379197952 32939 33554432000 4194304 4196468 140730138463360 139849131148048 139850346626181 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19556] ppid=19542 vsize=15018748 memory=10096 CPUtime=0.08 cores=1,3,5,7
/proc/19545/task/19556/stat : 19556 (java) R 19542 19542 16770 0 -1 4202560 242 0 0 0 8 0 0 0 20 0 15 0 224372570 15379197952 32939 33554432000 4194304 4196468 140730138463360 139849130095632 139850355423136 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19557] ppid=19542 vsize=15018748 memory=1228 CPUtime=0.18 cores=1,3,5,7
/proc/19545/task/19557/stat : 19557 (java) R 19542 19542 16770 0 -1 4202560 527 0 0 0 18 0 0 0 20 0 15 0 224372570 15379197952 32939 33554432000 4194304 4196468 140730138463360 139849129049920 139850342101950 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19558] ppid=19542 vsize=15018748 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19558/stat : 19558 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224372570 15379197952 32939 33554432000 4194304 4196468 140730138463360 139847893248864 139850363143893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19559] ppid=19542 vsize=15018748 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19559/stat : 19559 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224372570 15379197952 32939 33554432000 4194304 4196468 140730138463360 139849128000048 139850363144834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 133152 KiB
[startup+1.5012 s]
/proc/loadavg: 3.12 2.39 2.17 6/223 19559
/proc/meminfo: memFree=10250212/32770624 swapFree=67108860/67108860
[pid=19542] ppid=19539 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (scop.sh) S 19539 19542 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224372563 115843072 349 33554432000 4194304 5098028 140734345851744 140734345849000 139661224600188 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32116736 140734345856064 140734345856263 140734345856263 140734345859021 0
/proc/19542/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
[pid=19545/tid=19558] ppid=19542 vsize=15024968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19558/stat : 19558 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224372570 15385567232 164479 33554432000 4194304 4196468 140730138463360 139847893248864 139850363143893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
[pid=19545/tid=19559] ppid=19542 vsize=15024968 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/19545/task/19559/stat : 19559 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224372570 15385567232 164479 33554432000 4194304 4196468 140730138463360 139849128000048 139850363144834 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10637312 140730138465286 140730138465585 140730138465585 140730138468303 0
Current children cumulated CPU time: 8.85 s
Current children cumulated vsize: 15138096 KiB
Current children cumulated memory: 659312 KiB
[startup+6.30083 s]
/proc/loadavg: 3.27 2.44 2.19 6/223 19559
/proc/meminfo: memFree=7768780/32770624 swapFree=67108860/67108860
[pid=19542] ppid=19539 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/19542/stat : 19542 (scop.sh) S 19539 19542 16770 0 -1 4202496 562 321 0 0 0 0 0 0 20 0 1 0 224372563 115843072 349 33554432000 4194304 5098028 140734345851744 140734345849000 139661224600188 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32116736 140734345856064 140734345856263 140734345856263 140734345859021 0
/proc/19542/statm: 28282 349 296 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1396 KiB
heavy processes:
[startup+7.79658 s]
# the end of solver process 19542 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.1344 s, system=0.845102 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.41125 s]
/proc/loadavg: 3.27 2.44 2.19 3/210 19559
/proc/meminfo: memFree=10561620/32770624 swapFree=67108860/67108860
[pid=19542] ppid=19539 vsize=113128 memory=1472 CPUtime=15.74 cores=1,3,5,7
/proc/19542/stat : 19542 (scop.sh) S 19539 19542 16770 0 -1 4202496 592 35174 0 0 0 0 1507 67 20 0 1 0 224372563 115843072 368 33554432000 4194304 5098028 140734345851744 140734345848488 139661224600188 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32116736 140734345856064 140734345856263 140734345856263 140734345859021 0
/proc/19542/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 15.74 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+7.20085 s]
/proc/loadavg: 3.27 2.44 2.19 5/223 19574
/proc/meminfo: memFree=10481788/32770624 swapFree=67108860/67108860
[pid=19542] ppid=19539 vsize=113128 memory=1472 CPUtime=15.74 cores=1,3,5,7
/proc/19542/stat : 19542 (scop.sh) S 19539 19542 16770 0 -1 4202496 592 35174 0 0 0 0 1507 67 20 0 1 0 224372563 115843072 368 33554432000 4194304 5098028 140734345851744 140734345848488 139661224600188 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32116736 140734345856064 140734345856263 140734345856263 140734345859021 0
/proc/19542/statm: 28282 368 311 221 0 87 0
[pid=19560] ppid=19542 vsize=7408432 memory=109240 CPUtime=1.24 cores=1,3,5,7
/proc/19560/stat : 19560 (java) S 19542 19542 16770 0 -1 1077944320 17448 0 0 0 115 9 0 0 20 0 15 0 224373193 7586234368 27310 33554432000 4194304 4196468 140729694155952 140729694138496 140050650267383 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
/proc/19560/statm: 1852108 27310 3110 1 0 1814042 0
[pid=19560/tid=19561] ppid=19542 vsize=7408432 memory=6365110644732088677 CPUtime=0.73 cores=1,3,5,7
/proc/19560/task/19561/stat : 19561 (java) R 19542 19542 16770 0 -1 4202560 14165 0 0 0 65 8 0 0 20 0 15 0 224373193 7586234368 27310 33554432000 4194304 4196468 140729694155952 140050622103136 140050650289309 0 4 2 25189581 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19562] ppid=19542 vsize=7408432 memory=4783210246327787616 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19562/stat : 19562 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224373194 7586234368 27310 33554432000 4194304 4196468 140729694155952 140050654510224 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19563] ppid=19542 vsize=7408432 memory=-7739291840220455296 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19563/stat : 19563 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224373194 7586234368 27310 33554432000 4194304 4196468 140729694155952 140050454678544 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19564] ppid=19542 vsize=7408432 memory=-6528666371049903518 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19564/stat : 19564 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224373195 7586234368 27310 33554432000 4194304 4196468 140729694155952 140050453625744 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19565] ppid=19542 vsize=7408432 memory=6525018278055875452 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19565/stat : 19565 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224373195 7586234368 27310 33554432000 4194304 4196468 140729694155952 140050452572944 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19566] ppid=19542 vsize=7408432 memory=7822038051842263957 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19566/stat : 19566 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224373196 7586234368 27310 33554432000 4194304 4196468 140729694155952 140050096400752 140050650278530 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19567] ppid=19542 vsize=7408432 memory=4871374705135476842 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19567/stat : 19567 (java) S 19542 19542 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224373196 7586234368 27310 33554432000 4194304 4196468 140729694155952 140049488274464 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19568] ppid=19542 vsize=7408432 memory=280291444788720 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19568/stat : 19568 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224373197 7586234368 27310 33554432000 4194304 4196468 140729694155952 140049219838832 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19569] ppid=19542 vsize=7408432 memory=7525061344641901905 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19569/stat : 19569 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224373199 7586234368 27310 33554432000 4194304 4196468 140729694155952 140048845330256 140050650285979 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19570] ppid=19542 vsize=7408432 memory=4639341378635059280 CPUtime=0.14 cores=1,3,5,7
/proc/19560/task/19570/stat : 19570 (java) R 19542 19542 16770 0 -1 4202560 646 0 0 0 14 0 0 0 20 0 15 0 224373199 7586234368 27310 33554432000 4194304 4196468 140729694155952 140050095338384 140050630121076 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19571] ppid=19542 vsize=7408432 memory=288230574492221466 CPUtime=0.15 cores=1,3,5,7
/proc/19560/task/19571/stat : 19571 (java) R 19542 19542 16770 0 -1 4202560 764 0 0 0 15 0 0 0 20 0 15 0 224373199 7586234368 27310 33554432000 4194304 4196468 140729694155952 140050094284592 140050627862160 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19572] ppid=19542 vsize=7408432 memory=288230621803970871 CPUtime=0.19 cores=1,3,5,7
/proc/19560/task/19572/stat : 19572 (java) R 19542 19542 16770 0 -1 1077944384 539 0 0 0 19 0 0 0 20 0 15 0 224373199 7586234368 27310 33554432000 4194304 4196468 140729694155952 140050025146992 140050650278530 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19573] ppid=19542 vsize=7408432 memory=13567093857585738 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19573/stat : 19573 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224373199 7586234368 27310 33554432000 4194304 4196468 140729694155952 140048347425504 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19574] ppid=19542 vsize=7408432 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19574/stat : 19574 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224373200 7586234368 27310 33554432000 4194304 4196468 140729694155952 140050024094384 140050650278530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
Current children cumulated CPU time: 16.98 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 110712 KiB
[startup+7.60095 s]
/proc/loadavg: 3.27 2.44 2.19 5/223 19574
/proc/meminfo: memFree=10481788/32770624 swapFree=67108860/67108860
[pid=19542] ppid=19539 vsize=113128 memory=1472 CPUtime=15.74 cores=1,3,5,7
/proc/19542/stat : 19542 (scop.sh) S 19539 19542 16770 0 -1 4202496 592 35174 0 0 0 0 1507 67 20 0 1 0 224372563 115843072 368 33554432000 4194304 5098028 140734345851744 140734345848488 139661224600188 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32116736 140734345856064 140734345856263 140734345856263 140734345859021 0
/proc/19542/statm: 28282 368 311 221 0 87 0
[pid=19560] ppid=19542 vsize=8068220 memory=134620 CPUtime=1.76 cores=1,3,5,7
/proc/19560/stat : 19560 (java) S 19542 19542 16770 0 -1 1077944320 18828 0 0 0 163 13 0 0 20 0 19 0 224373193 8261857280 33655 33554432000 4194304 4196468 140729694155952 140729694138496 140050650267383 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
/proc/19560/statm: 2017055 33655 3165 1 0 1978454 0
[pid=19560/tid=19561] ppid=19542 vsize=8068220 memory=8804 CPUtime=0.92 cores=1,3,5,7
/proc/19560/task/19561/stat : 19561 (java) S 19542 19542 16770 0 -1 1077944384 15081 0 0 0 81 11 0 0 20 0 19 0 224373193 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050622107536 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19562] ppid=19542 vsize=8068220 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19562/stat : 19562 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224373194 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050654510224 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19563] ppid=19542 vsize=8068220 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19563/stat : 19563 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224373194 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050454678544 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19564] ppid=19542 vsize=8068220 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19564/stat : 19564 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224373195 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050453625744 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19565] ppid=19542 vsize=8068220 memory=16228 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19565/stat : 19565 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224373195 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050452572944 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19566] ppid=19542 vsize=8068220 memory=33856 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19566/stat : 19566 (java) S 19542 19542 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224373196 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050096400752 140050650278530 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19567] ppid=19542 vsize=8068220 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19567/stat : 19567 (java) S 19542 19542 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224373196 8261857280 33655 33554432000 4194304 4196468 140729694155952 140049488274464 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19568] ppid=19542 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19568/stat : 19568 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224373197 8261857280 33655 33554432000 4194304 4196468 140729694155952 140049219838832 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19569] ppid=19542 vsize=8068220 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19569/stat : 19569 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224373199 8261857280 33655 33554432000 4194304 4196468 140729694155952 140048845330256 140050650285979 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19570] ppid=19542 vsize=8068220 memory=6944652027076318631 CPUtime=0.27 cores=1,3,5,7
/proc/19560/task/19570/stat : 19570 (java) S 19542 19542 16770 0 -1 1077944384 885 0 0 0 27 0 0 0 20 0 19 0 224373199 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050095348592 140050650278530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19571] ppid=19542 vsize=8068220 memory=-3195349257566499689 CPUtime=0.29 cores=1,3,5,7
/proc/19560/task/19571/stat : 19571 (java) S 19542 19542 16770 0 -1 1077944384 801 0 0 0 29 0 0 0 20 0 19 0 224373199 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050094295792 140050650278530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19572] ppid=19542 vsize=8068220 memory=6944656592452807320 CPUtime=0.25 cores=1,3,5,7
/proc/19560/task/19572/stat : 19572 (java) S 19542 19542 16770 0 -1 1077944384 653 0 0 0 25 0 0 0 20 0 19 0 224373199 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050025146992 140050650278530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19573] ppid=19542 vsize=8068220 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19573/stat : 19573 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224373199 8261857280 33655 33554432000 4194304 4196468 140729694155952 140048347425504 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19574] ppid=19542 vsize=8068220 memory=-3494347379275715998 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19574/stat : 19574 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224373200 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050024094384 140050650278530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
Current children cumulated CPU time: 17.5 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 136092 KiB
[startup+7.70082 s]
/proc/loadavg: 3.27 2.44 2.19 5/223 19574
/proc/meminfo: memFree=10481788/32770624 swapFree=67108860/67108860
[pid=19542] ppid=19539 vsize=113128 memory=1472 CPUtime=15.74 cores=1,3,5,7
/proc/19542/stat : 19542 (scop.sh) S 19539 19542 16770 0 -1 4202496 592 35174 0 0 0 0 1507 67 20 0 1 0 224372563 115843072 368 33554432000 4194304 5098028 140734345851744 140734345848488 139661224600188 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32116736 140734345856064 140734345856263 140734345856263 140734345859021 0
/proc/19542/statm: 28282 368 311 221 0 87 0
[pid=19560] ppid=19542 vsize=8068220 memory=134620 CPUtime=1.76 cores=1,3,5,7
/proc/19560/stat : 19560 (java) S 19542 19542 16770 0 -1 1077944320 18828 0 0 0 163 13 0 0 20 0 19 0 224373193 8261857280 33655 33554432000 4194304 4196468 140729694155952 140729694138496 140050650267383 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
/proc/19560/statm: 2017055 33655 3165 1 0 1978454 0
[pid=19560/tid=19561] ppid=19542 vsize=8068220 memory=4128 CPUtime=0.92 cores=1,3,5,7
/proc/19560/task/19561/stat : 19561 (java) S 19542 19542 16770 0 -1 1077944384 15081 0 0 0 81 11 0 0 20 0 19 0 224373193 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050622107536 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19562] ppid=19542 vsize=8068220 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19562/stat : 19562 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224373194 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050654510224 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19563] ppid=19542 vsize=8068220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19563/stat : 19563 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224373194 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050454678544 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19564] ppid=19542 vsize=8068220 memory=164 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19564/stat : 19564 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224373195 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050453625744 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19565] ppid=19542 vsize=8068220 memory=8187704045996132563 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19565/stat : 19565 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224373195 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050452572944 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19566] ppid=19542 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19566/stat : 19566 (java) S 19542 19542 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 224373196 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050096400752 140050650278530 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19567] ppid=19542 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19567/stat : 19567 (java) S 19542 19542 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 224373196 8261857280 33655 33554432000 4194304 4196468 140729694155952 140049488274464 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19568] ppid=19542 vsize=8068220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19568/stat : 19568 (java) S 19542 19542 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 224373197 8261857280 33655 33554432000 4194304 4196468 140729694155952 140049219838832 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19569] ppid=19542 vsize=8068220 memory=224077033806028 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19569/stat : 19569 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224373199 8261857280 33655 33554432000 4194304 4196468 140729694155952 140048845330256 140050650285979 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19570] ppid=19542 vsize=8068220 memory=1788 CPUtime=0.27 cores=1,3,5,7
/proc/19560/task/19570/stat : 19570 (java) S 19542 19542 16770 0 -1 1077944384 885 0 0 0 27 0 0 0 20 0 19 0 224373199 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050095348592 140050650278530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19571] ppid=19542 vsize=8068220 memory=1704 CPUtime=0.29 cores=1,3,5,7
/proc/19560/task/19571/stat : 19571 (java) S 19542 19542 16770 0 -1 1077944384 801 0 0 0 29 0 0 0 20 0 19 0 224373199 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050094295792 140050650278530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19572] ppid=19542 vsize=8068220 memory=796 CPUtime=0.25 cores=1,3,5,7
/proc/19560/task/19572/stat : 19572 (java) S 19542 19542 16770 0 -1 1077944384 653 0 0 0 25 0 0 0 20 0 19 0 224373199 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050025146992 140050650278530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19573] ppid=19542 vsize=8068220 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19573/stat : 19573 (java) S 19542 19542 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 224373199 8261857280 33655 33554432000 4194304 4196468 140729694155952 140048347425504 140050650277589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
[pid=19560/tid=19574] ppid=19542 vsize=8068220 memory=876 CPUtime=0 cores=1,3,5,7
/proc/19560/task/19574/stat : 19574 (java) S 19542 19542 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 224373200 8261857280 33655 33554432000 4194304 4196468 140729694155952 140050024094384 140050650278530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37367808 140729694160053 140729694160177 140729694160177 140729694162895 0
Current children cumulated CPU time: 17.5 s
Current children cumulated vsize: 8181348 KiB
Current children cumulated memory: 136092 KiB
Child status: 0
Real time (s): 7.79664
CPU time (s): 17.9795
CPU user time (s): 17.1344
CPU system time (s): 0.845102
CPU usage (%): 230.605
Max. virtual memory (cumulated for all children) (KiB): 15142280
Max. memory (cumulated for all children) (KiB): 2811224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.1344
system time used= 0.845102
maximum resident set size= 2812304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5665
involuntary context switches= 84
# summary of solver processes directly reported to runsolver:
# pid: 19542
# total CPU time (s): 17.9795
# total CPU user time (s): 17.1344
# total CPU system time (s): 0.845102
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.079034 second user time and 0.127787 second system time
The end