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-6307-serial-file.bin HOME/instance-4305344-1534072476.xml
0.65/0.52
0.65/0.53 scop order+minisat_release (2018-07-31)
0.65/0.53 (Encoding Process)
0.65/0.53
0.65/0.55 c BEGIN-Prog: Sun Aug 12 13:14:37 CEST 2018
0.65/0.55 c PID: 6310
0.65/0.55 c IP: 172.20.3.151
0.65/0.55 c HOST: node151.alineos.net
0.65/0.56 c (0,0) Parsing Begin
1.18/0.85 c (0,0) Parsing End
1.18/0.85 c (0,0) CSP: 32 int (0 aux), 0 bool (0 aux), 24 ctr, max domain size 16
1.18/0.85 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 17 MiB used (max 0 MiB)
1.18/0.85 c (0,0) Constraint Name Generate Begin
1.18/0.86 c (0,0) Ctr:HOME/instance-4305344-1534072476.xml,Add:Element:Eq:IntVar:Num
1.18/0.86 c (0,0) Constraint Name Generate End
1.18/0.86 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.18/0.86 c (0,0) CSP to CSPinCNF Begin
1.35/1.00 c (0,0) translated 3 (10%) constraints
1.52/1.02 c (0,0) translated 5 (20%) constraints
1.52/1.05 c (0,0) translated 8 (30%) constraints
1.52/1.07 c (0,0) translated 10 (40%) constraints
1.52/1.09 c (0,0) translated 12 (50%) constraints
1.82/1.11 c (0,0) translated 15 (60%) constraints
1.82/1.12 c (0,0) translated 17 (70%) constraints
1.82/1.13 c (0,0) translated 20 (80%) constraints
1.82/1.13 c (0,0) translated 22 (90%) constraints
1.82/1.13 c (0,0) translated 24 (100%) constraints
1.82/1.17 c (0,0) STATISTICS1:HOME/instance-4305344-1534072476.xml,Add:Element:Eq:IntVar:Num,32,264,14,14,3,2,14:2;13:2;12:2;11:2;10:2;9:2;8:2;7:2,14:34;13:34;12:34;11:34;10:34;9:34;8:290;7:34,3:256;1:8,2:16;1:768,
1.82/1.17 c (0,0) ==========================================
1.82/1.17 c (0,0) Order
1.82/1.17 c (0,0) ==========================================
1.99/1.21 c (0,0) translated 27 (10%) constraints
1.99/1.23 c (0,0) translated 53 (20%) constraints
1.99/1.25 c (0,0) translated 80 (30%) constraints
1.99/1.27 c (0,0) translated 106 (40%) constraints
1.99/1.28 c (0,0) translated 132 (50%) constraints
1.99/1.29 c (0,0) translated 159 (60%) constraints
2.26/1.30 c (0,0) translated 185 (70%) constraints
2.26/1.30 c (0,0) translated 212 (80%) constraints
2.26/1.31 c (0,0) translated 238 (90%) constraints
2.26/1.32 c (0,0) translated 264 (100%) constraints
2.26/1.32 c (0,0) CSP to CSPinCNF End
2.26/1.32 c (0,0) CSP: 32 int (0 aux), 128 bool (128 aux), 784 ctr, max domain size 14
2.26/1.32 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.26/1.33 c (0,0) CSPinCNF Propagation Begin
2.26/1.36 c (0,0) 0 values, 120 unsatisfiable literals, and 152 valid clauses are removed
2.26/1.36 c (0,0) CSPinCNF Propagation End
2.26/1.37 c (0,0) CSP: 32 int (0 aux), 128 bool (128 aux), 632 ctr, max domain size 14
2.26/1.37 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.26/1.37 c (0,0) Simplify CSPinCNF Begin
2.26/1.38 c (0,0) Simplify CSPinCNF End
2.26/1.38 c (0,0) CSP: 32 int (0 aux), 128 bool (128 aux), 632 ctr, max domain size 14
2.26/1.38 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.26/1.38 c (0,0) Calculate Precise Domain Begin
2.26/1.38 c (0,0) 0 values are removed by re-calculation
2.26/1.38 c (0,0) Calculate Precise Domain End
2.26/1.38 c (0,0) CSP: 32 int (0 aux), 128 bool (128 aux), 632 ctr, max domain size 14
2.26/1.38 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.26/1.38 c (0,0) CSPinCNF to SatSolver Begin
2.52/1.41 c (0,0) 64 (10 %) CSP clauses are encoded (392 SAT variables, 295 SAT clauses)
2.52/1.42 c (0,0) 127 (20 %) CSP clauses are encoded (392 SAT variables, 358 SAT clauses)
2.52/1.42 c (0,0) 190 (30 %) CSP clauses are encoded (392 SAT variables, 421 SAT clauses)
2.52/1.43 c (0,0) 253 (40 %) CSP clauses are encoded (392 SAT variables, 484 SAT clauses)
2.52/1.43 c (0,0) 316 (50 %) CSP clauses are encoded (392 SAT variables, 547 SAT clauses)
2.52/1.43 c (0,0) 380 (60 %) CSP clauses are encoded (392 SAT variables, 611 SAT clauses)
2.52/1.44 c (0,0) 443 (70 %) CSP clauses are encoded (392 SAT variables, 674 SAT clauses)
2.52/1.44 c (0,0) 506 (80 %) CSP clauses are encoded (392 SAT variables, 737 SAT clauses)
2.52/1.44 c (0,0) 569 (90 %) CSP clauses are encoded (392 SAT variables, 800 SAT clauses)
2.52/1.45 c (0,0) 632 (100 %) CSP clauses are encoded (392 SAT variables, 994 SAT clauses)
2.52/1.46 c (0,0) Launch Command will be: minisat_release
2.52/1.46 c (0,0) CSPinCNF to SatSolver End
2.52/1.46 c (0,0) Heap : 168 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
2.52/1.47 c (0,0) STATISTICS2:HOME/instance-4305344-1534072476.xml,Add:Element:Eq:IntVar:Num,160,632,14,14,3,2,14:2;13:2;12:2;11:2;10:2;9:2;8:2;7:2,14:56;13:52;12:48;11:44;10:40;9:36;8:480;7:28;2:616,3:136;2:480;1:16,2:16;1:1368,
2.52/1.47 c (0,0) 392 bool, 1000 clause
2.52/1.47 c (0,0) Export Begin
2.77/1.55 c (1,1) Export to HOME/scop-6307-serial-file.bin
2.77/1.55 c (1,1) Export End
2.77/1.55 c (1,1) Export File Size: 0.01 MB
2.77/1.55 c (1,1) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.77/1.55 c END-Prog: Sun Aug 12 13:14:38 CEST 2018
2.77/1.56 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-6307-serial-file.bin
3.47/2.05 c (0,0) Read Serial File Begin
3.47/2.05 c (0,0) HOME/scop-6307-serial-file.bin
3.74/2.20 c (0,0) Read Serial File End
3.74/2.21
3.74/2.21 scop order+minisat_release (2018-07-31)
3.74/2.21 (Solving Process)
3.74/2.21
3.74/2.23 c BEGIN-Prog: Sun Aug 12 13:14:38 CEST 2018
3.74/2.23 c PID: 6325
3.74/2.23 c IP: 172.20.3.151
3.74/2.23 c HOST: node151.alineos.net
3.74/2.24 c (0,0) SatSolver.solve Begin
3.74/2.24 c (0,0) 0 bool, 0 clause
3.74/2.24 c (0,0) minisat_release HOME/instance-4305344-1534072476.xml-scop-6310.cnf
3.74/2.27 c (0,0) c This is COMiniSatPS.
3.74/2.27 c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3.74/2.27 c (0,0) c ============================[ Problem Statistics ]=============================
3.74/2.27 c (0,0) c | |
3.74/2.27 c (0,0) c | Number of variables: 392 |
3.74/2.27 c (0,0) c | Number of clauses: 1000 |
3.74/2.27 c (0,0) c | Parse time: 0.00 s |
3.74/2.27 c (0,0) c | Eliminated clauses: 0.01 Mb |
3.74/2.27 c (0,0) c Reduced to 204 vars, 649 cls (grow=0)
3.74/2.27 c (0,0) c No iterative elimination performed. (vars=204, c/v ratio=3.2)
3.74/2.27 c (0,0) c | Simplification time: 0.00 s |
3.74/2.27 c (0,0) c | |
3.74/2.27 c (0,0) c ============================[ Search Statistics ]==============================
3.74/2.27 c (0,0) c | Conflicts | ORIGINAL | LEARNT | Progress |
3.74/2.27 c (0,0) c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.74/2.27 c (0,0) c ===============================================================================
3.74/2.27 c (0,0) c ===============================================================================
3.74/2.27 c (0,0) c restarts : 1
3.74/2.27 c (0,0) c conflicts : 8 (3126 /sec)
3.74/2.27 c (0,0) c decisions : 38 (0.00 % random) (14850 /sec)
3.74/2.27 c (0,0) c propagations : 629 (245799 /sec)
3.74/2.27 c (0,0) c conflict literals : 99 (25.00 % deleted)
3.74/2.27 c (0,0) c CPU time : 0.002559 s
3.74/2.27 c (0,0)
3.74/2.27 c (0,0) s SATISFIABLE
3.95/2.31 c (0,0) SatSolver.solve End
3.95/2.31 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
3.95/2.31 c (0,0) Show results Begin
3.95/2.37 s SATISFIABLE
3.95/2.37 v <instantiation>
3.95/2.37 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] 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]</list>
3.95/2.37 v <values>2 8 6 2 3 5 7 4 3 6 8 5 4 1 7 1 15 13 3 0 8 4 12 7 11 5 9 2 14 6 10 1</values>
3.95/2.37 v </instantiation>
3.95/2.37 c (0,0) Show results End
3.95/2.37 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
3.95/2.37 c (0,0) 0,0,STOP-AFTER(ALL)
3.95/2.37 c END-Prog: Sun Aug 12 13:14:39 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 (2862 MiB free)
memory of node 1: 16384 MiB (5313 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305344-1534072476/watcher-4305344-1534072476 -o /tmp/evaluation-result-4305344-1534072476/solver-4305344-1534072476 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534062410-3793 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305344-1534072476.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6307, runsolver pid=6304
Current StackSize limit: 8192 KiB
[startup+0.10105 s]*
/proc/loadavg: 1.92 2.00 2.04 3/223 6324
/proc/meminfo: memFree=8312580/32770624 swapFree=67108860/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6307/stat : 6307 (scop.sh) S 6304 6307 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224810811 115843072 349 33554432000 4194304 5098028 140733995302032 140733995299288 140044572856956 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24449024 140733995308096 140733995308295 140733995308295 140733995311053 0
/proc/6307/statm: 28282 349 296 221 0 87 0
[pid=6310] ppid=6307 vsize=15012476 memory=71572 CPUtime=0.11 cores=0,2,4,6
/proc/6310/stat : 6310 (java) S 6307 6307 3762 0 -1 1077944320 6559 0 0 0 9 2 0 0 20 0 15 0 224810812 15372775424 17893 33554432000 4194304 4196468 140733375224016 140733375206560 140353485868791 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
/proc/6310/statm: 3753119 17893 2742 1 0 3715579 0
[pid=6310/tid=6311] ppid=6307 vsize=15012476 memory=-2843869603824518302 CPUtime=0.08 cores=0,2,4,6
/proc/6310/task/6311/stat : 6311 (java) R 6307 6307 3762 0 -1 4202560 4697 0 0 0 7 1 0 0 20 0 15 0 224810812 15372775424 17893 33554432000 4194304 4196468 140733375224016 140353457679912 140353469949278 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6312] ppid=6307 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6312/stat : 6312 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810814 15372775424 17893 33554432000 4194304 4196468 140733375224016 140353490110864 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6313] ppid=6307 vsize=15012476 memory=139626855507584 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6313/stat : 6313 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810814 15372775424 17959 33554432000 4194304 4196468 140733375224016 140353304267024 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6314] ppid=6307 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6314/stat : 6314 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810814 15372775424 17959 33554432000 4194304 4196468 140733375224016 140353303214736 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6315] ppid=6307 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6315/stat : 6315 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810814 15372775424 17959 33554432000 4194304 4196468 140733375224016 140353302161936 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6316] ppid=6307 vsize=15012476 memory=139626855507584 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6316/stat : 6316 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810815 15372775424 18024 33554432000 4194304 4196468 140733375224016 140352892598896 140353485879938 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6317] ppid=6307 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6317/stat : 6317 (java) S 6307 6307 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224810816 15372775424 18024 33554432000 4194304 4196468 140733375224016 140352048588064 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6318] ppid=6307 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6318/stat : 6318 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810816 15372775424 18024 33554432000 4194304 4196468 140733375224016 140351813707376 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6319] ppid=6307 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6319/stat : 6319 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810818 15372775424 18024 33554432000 4194304 4196468 140733375224016 140351439198800 140353485887387 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6320] ppid=6307 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6320/stat : 6320 (java) S 6307 6307 3762 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 224810818 15372775424 18024 33554432000 4194304 4196468 140733375224016 140352891545712 140353485879938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6321] ppid=6307 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6321/stat : 6321 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810818 15372775424 18024 33554432000 4194304 4196468 140733375224016 140352890492912 140353485879938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6322] ppid=6307 vsize=15012476 memory=139626855507584 CPUtime=0.01 cores=0,2,4,6
/proc/6310/task/6322/stat : 6322 (java) R 6307 6307 3762 0 -1 4202560 275 0 0 0 1 0 0 0 20 0 15 0 224810818 15372775424 18024 33554432000 4194304 4196468 140733375224016 140352889436504 140353464810405 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6323] ppid=6307 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6323/stat : 6323 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810818 15372775424 18024 33554432000 4194304 4196468 140733375224016 140350941293024 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6324] ppid=6307 vsize=15012476 memory=139626855507584 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6324/stat : 6324 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810819 15372775424 18024 33554432000 4194304 4196468 140733375224016 140352820341680 140353485879938 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 72968 KiB
[startup+0.210507 s]*
/proc/loadavg: 1.92 2.00 2.04 3/223 6324
/proc/meminfo: memFree=8298824/32770624 swapFree=67108860/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6307/stat : 6307 (scop.sh) S 6304 6307 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224810811 115843072 349 33554432000 4194304 5098028 140733995302032 140733995299288 140044572856956 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24449024 140733995308096 140733995308295 140733995308295 140733995311053 0
/proc/6307/statm: 28282 349 296 221 0 87 0
[pid=6310] ppid=6307 vsize=15012476 memory=85684 CPUtime=0.24 cores=0,2,4,6
/proc/6310/stat : 6310 (java) S 6307 6307 3762 0 -1 1077944320 10252 0 0 0 22 2 0 0 20 0 15 0 224810812 15372775424 21421 33554432000 4194304 4196468 140733375224016 140733375206560 140353485868791 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
/proc/6310/statm: 3753119 21421 2933 1 0 3715579 0
[pid=6310/tid=6311] ppid=6307 vsize=15012476 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/6310/task/6311/stat : 6311 (java) R 6307 6307 3762 0 -1 4202560 8152 0 0 0 18 1 0 0 20 0 15 0 224810812 15372775424 21421 33554432000 4194304 4196468 140733375224016 140353457681664 140353485880726 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6312] ppid=6307 vsize=15012476 memory=540 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6312/stat : 6312 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810814 15372775424 21421 33554432000 4194304 4196468 140733375224016 140353490110864 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6313] ppid=6307 vsize=15012476 memory=139626855533046 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6313/stat : 6313 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810814 15372775424 21421 33554432000 4194304 4196468 140733375224016 140353304267024 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6314] ppid=6307 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6314/stat : 6314 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810814 15372775424 21421 33554432000 4194304 4196468 140733375224016 140353303214736 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6315] ppid=6307 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6315/stat : 6315 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810814 15372775424 21421 33554432000 4194304 4196468 140733375224016 140353302161936 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6316] ppid=6307 vsize=15012476 memory=139626855507584 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6316/stat : 6316 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810815 15372775424 21421 33554432000 4194304 4196468 140733375224016 140352892598896 140353485879938 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6317] ppid=6307 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6317/stat : 6317 (java) S 6307 6307 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224810816 15372775424 21421 33554432000 4194304 4196468 140733375224016 140352048588064 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6318] ppid=6307 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6318/stat : 6318 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810816 15372775424 21421 33554432000 4194304 4196468 140733375224016 140351813707376 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6319] ppid=6307 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6319/stat : 6319 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810818 15372775424 21421 33554432000 4194304 4196468 140733375224016 140351439198800 140353485887387 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6320] ppid=6307 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6320/stat : 6320 (java) S 6307 6307 3762 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 15 0 224810818 15372775424 21421 33554432000 4194304 4196468 140733375224016 140352891545712 140353485879938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6321] ppid=6307 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6321/stat : 6321 (java) S 6307 6307 3762 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 224810818 15372775424 21421 33554432000 4194304 4196468 140733375224016 140352890492912 140353485879938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6322] ppid=6307 vsize=15012476 memory=139626855507584 CPUtime=0.03 cores=0,2,4,6
/proc/6310/task/6322/stat : 6322 (java) R 6307 6307 3762 0 -1 4202560 304 0 0 0 3 0 0 0 20 0 15 0 224810818 15372775424 21421 33554432000 4194304 4196468 140733375224016 140352889440624 140353485880726 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6323] ppid=6307 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6323/stat : 6323 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810818 15372775424 21421 33554432000 4194304 4196468 140733375224016 140350941293024 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6324] ppid=6307 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6324/stat : 6324 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810819 15372775424 21421 33554432000 4194304 4196468 140733375224016 140352820341680 140353485879938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 87080 KiB
[startup+0.310508 s]*
/proc/loadavg: 1.92 2.00 2.04 3/223 6324
/proc/meminfo: memFree=8294660/32770624 swapFree=67108860/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6307/stat : 6307 (scop.sh) S 6304 6307 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224810811 115843072 349 33554432000 4194304 5098028 140733995302032 140733995299288 140044572856956 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24449024 140733995308096 140733995308295 140733995308295 140733995311053 0
/proc/6307/statm: 28282 349 296 221 0 87 0
[pid=6310] ppid=6307 vsize=15012476 memory=89648 CPUtime=0.42 cores=0,2,4,6
/proc/6310/stat : 6310 (java) S 6307 6307 3762 0 -1 1077944320 10882 0 0 0 39 3 0 0 20 0 15 0 224810812 15372775424 22412 33554432000 4194304 4196468 140733375224016 140733375206560 140353485868791 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
/proc/6310/statm: 3753119 22412 2975 1 0 3715579 0
[pid=6310/tid=6311] ppid=6307 vsize=15012476 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/6310/task/6311/stat : 6311 (java) R 6307 6307 3762 0 -1 4202560 8591 0 0 0 27 2 0 0 20 0 15 0 224810812 15372775424 22412 33554432000 4194304 4196468 140733375224016 140353457663792 140353466143964 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6312] ppid=6307 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6312/stat : 6312 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810814 15372775424 22412 33554432000 4194304 4196468 140733375224016 140353490110864 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6313] ppid=6307 vsize=15012476 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6313/stat : 6313 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810814 15372775424 22412 33554432000 4194304 4196468 140733375224016 140353304267024 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6314] ppid=6307 vsize=15012476 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6314/stat : 6314 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810814 15372775424 22412 33554432000 4194304 4196468 140733375224016 140353303214736 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6315] ppid=6307 vsize=15012476 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6315/stat : 6315 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810814 15372775424 22412 33554432000 4194304 4196468 140733375224016 140353302161936 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6316] ppid=6307 vsize=15012476 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6316/stat : 6316 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810815 15372775424 22412 33554432000 4194304 4196468 140733375224016 140352892598896 140353485879938 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6317] ppid=6307 vsize=15012476 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6317/stat : 6317 (java) S 6307 6307 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224810816 15372775424 22412 33554432000 4194304 4196468 140733375224016 140352048588064 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6318] ppid=6307 vsize=15012476 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6318/stat : 6318 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810816 15372775424 22412 33554432000 4194304 4196468 140733375224016 140351813707376 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6319] ppid=6307 vsize=15012476 memory=8325818968683490714 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6319/stat : 6319 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810818 15372775424 22412 33554432000 4194304 4196468 140733375224016 140351439198800 140353485887387 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6320] ppid=6307 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6310/task/6320/stat : 6320 (java) S 6307 6307 3762 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 15 0 224810818 15372775424 22412 33554432000 4194304 4196468 140733375224016 140352891545712 140353485879938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6321] ppid=6307 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6310/task/6321/stat : 6321 (java) S 6307 6307 3762 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 15 0 224810818 15372775424 22412 33554432000 4194304 4196468 140733375224016 140352890492912 140353485879938 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6322] ppid=6307 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6310/task/6322/stat : 6322 (java) S 6307 6307 3762 0 -1 1077944384 347 0 0 0 7 0 0 0 20 0 15 0 224810818 15372775424 22412 33554432000 4194304 4196468 140733375224016 140352889440624 140353485879938 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6323] ppid=6307 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6323/stat : 6323 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810818 15372775424 22412 33554432000 4194304 4196468 140733375224016 140350941293024 140353485878997 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6324] ppid=6307 vsize=15012476 memory=3617571600547854127 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6324/stat : 6324 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810819 15372775424 22412 33554432000 4194304 4196468 140733375224016 140352820341680 140353485879938 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 91044 KiB
[startup+0.704031 s]
/proc/loadavg: 1.92 2.00 2.04 3/223 6324
/proc/meminfo: memFree=8270600/32770624 swapFree=67108860/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6307/stat : 6307 (scop.sh) S 6304 6307 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224810811 115843072 349 33554432000 4194304 5098028 140733995302032 140733995299288 140044572856956 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24449024 140733995308096 140733995308295 140733995308295 140733995311053 0
/proc/6307/statm: 28282 349 296 221 0 87 0
[pid=6310] ppid=6307 vsize=15020872 memory=129484 CPUtime=0.99 cores=0,2,4,6
/proc/6310/stat : 6310 (java) S 6307 6307 3762 0 -1 1077944320 18089 0 0 0 94 5 0 0 20 0 15 0 224810812 15381372928 32371 33554432000 4194304 4196468 140733375224016 140733375206560 140353485868791 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
/proc/6310/statm: 3755218 32371 3146 1 0 3716603 0
[pid=6310/tid=6311] ppid=6307 vsize=15020872 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/6310/task/6311/stat : 6311 (java) R 6307 6307 3762 0 -1 4202560 15368 0 0 0 63 4 0 0 20 0 15 0 224810812 15381372928 32371 33554432000 4194304 4196468 140733375224016 140353457703472 140353469949278 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6312] ppid=6307 vsize=15020872 memory=180 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6312/stat : 6312 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810814 15381372928 32371 33554432000 4194304 4196468 140733375224016 140353490110864 140353485878997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6313] ppid=6307 vsize=15020872 memory=14795 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6313/stat : 6313 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810814 15381372928 32371 33554432000 4194304 4196468 140733375224016 140353304267024 140353485878997 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6314] ppid=6307 vsize=15020872 memory=4957 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6314/stat : 6314 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810814 15381372928 32371 33554432000 4194304 4196468 140733375224016 140353303214736 140353485878997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6315] ppid=6307 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6315/stat : 6315 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810814 15381372928 32371 33554432000 4194304 4196468 140733375224016 140353302161936 140353485878997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6316] ppid=6307 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6316/stat : 6316 (java) S 6307 6307 3762 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 224810815 15381372928 32371 33554432000 4194304 4196468 140733375224016 140352892598896 140353485879938 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6317] ppid=6307 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6317/stat : 6317 (java) S 6307 6307 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224810816 15381372928 32371 33554432000 4194304 4196468 140733375224016 140352048588064 140353485878997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6318] ppid=6307 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6318/stat : 6318 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810816 15381372928 32371 33554432000 4194304 4196468 140733375224016 140351813707376 140353485878997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6319] ppid=6307 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6319/stat : 6319 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810818 15381372928 32371 33554432000 4194304 4196468 140733375224016 140351439198800 140353485887387 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6320] ppid=6307 vsize=15020872 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6310/task/6320/stat : 6320 (java) R 6307 6307 3762 0 -1 4202560 494 0 0 0 7 0 0 0 20 0 15 0 224810818 15381372928 32371 33554432000 4194304 4196468 140733375224016 140352891526728 140353465580449 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6321] ppid=6307 vsize=15020872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6310/task/6321/stat : 6321 (java) R 6307 6307 3762 0 -1 4202560 433 0 0 0 8 0 0 0 20 0 15 0 224810818 15381372928 32371 33554432000 4194304 4196468 140733375224016 140352890492912 140353467389902 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6322] ppid=6307 vsize=15020872 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/6310/task/6322/stat : 6322 (java) S 6307 6307 3762 0 -1 1077944384 460 0 0 0 15 0 0 0 20 0 15 0 224810818 15381372928 32371 33554432000 4194304 4196468 140733375224016 140352889440624 140353485879938 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6323] ppid=6307 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6323/stat : 6323 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810818 15381372928 32371 33554432000 4194304 4196468 140733375224016 140350941293024 140353485878997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6324] ppid=6307 vsize=15020872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6324/stat : 6324 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810819 15381372928 32371 33554432000 4194304 4196468 140733375224016 140352820341680 140353485879938 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 15134000 KiB
Current children cumulated memory: 130880 KiB
[startup+1.50081 s]
/proc/loadavg: 1.92 2.00 2.04 4/223 6324
/proc/meminfo: memFree=8241864/32770624 swapFree=67108860/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6307/stat : 6307 (scop.sh) S 6304 6307 3762 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 224810811 115843072 349 33554432000 4194304 5098028 140733995302032 140733995299288 140044572856956 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24449024 140733995308096 140733995308295 140733995308295 140733995311053 0
/proc/6307/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/6310/task/6317/stat : 6317 (java) S 6307 6307 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224810816 15387754496 44345 33554432000 4194304 4196468 140733375224016 140352048588064 140353485878997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6318] ppid=6307 vsize=15027104 memory=2588 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6318/stat : 6318 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810816 15387754496 44345 33554432000 4194304 4196468 140733375224016 140351813707376 140353485878997 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6319] ppid=6307 vsize=15027104 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6319/stat : 6319 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810818 15387754496 44345 33554432000 4194304 4196468 140733375224016 140351439198800 140353485887387 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6320] ppid=6307 vsize=15027104 memory=1408 CPUtime=0.29 cores=0,2,4,6
/proc/6310/task/6320/stat : 6320 (java) S 6307 6307 3762 0 -1 1077944384 734 0 0 0 28 1 0 0 20 0 15 0 224810818 15387754496 44345 33554432000 4194304 4196468 140733375224016 140352891545712 140353485879938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6321] ppid=6307 vsize=15027104 memory=3360 CPUtime=0.33 cores=0,2,4,6
/proc/6310/task/6321/stat : 6321 (java) R 6307 6307 3762 0 -1 4202560 747 0 0 0 33 0 0 0 20 0 15 0 224810818 15387754496 44345 33554432000 4194304 4196468 140733375224016 140352890492912 140353478853833 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6322] ppid=6307 vsize=15027104 memory=1472 CPUtime=0.65 cores=0,2,4,6
/proc/6310/task/6322/stat : 6322 (java) S 6307 6307 3762 0 -1 1077944384 2468 0 0 0 65 0 0 0 20 0 15 0 224810818 15387754496 44345 33554432000 4194304 4196468 140733375224016 140352889440624 140353485879938 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6323] ppid=6307 vsize=15027104 memory=141920 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6323/stat : 6323 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810818 15387754496 44345 33554432000 4194304 4196468 140733375224016 140350941293024 140353485878997 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
[pid=6310/tid=6324] ppid=6307 vsize=15027104 memory=79668 CPUtime=0 cores=0,2,4,6
/proc/6310/task/6324/stat : 6324 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810819 15387754496 44345 33554432000 4194304 4196468 140733375224016 140352820341680 140353485879938 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140733375226887 140733375227185 140733375227185 140733375229903 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 15140232 KiB
Current children cumulated memory: 178776 KiB
[startup+2.38415 s]
# the end of solver process 6307 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.92365 s, system=0.174191 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60093 s]
/proc/loadavg: 1.92 2.00 2.04 4/223 6324
/proc/meminfo: memFree=8241864/32770624 swapFree=67108860/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1472 CPUtime=2.88 cores=0,2,4,6
/proc/6307/stat : 6307 (scop.sh) S 6304 6307 3762 0 -1 4202496 590 22911 0 0 0 0 278 10 20 0 1 0 224810811 115843072 368 33554432000 4194304 5098028 140733995302032 140733995298776 140044572856956 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24449024 140733995308096 140733995308295 140733995308295 140733995311053 0
/proc/6307/statm: 28282 368 311 221 0 87 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1472 KiB
[startup+2.00033 s]*
/proc/loadavg: 2.17 2.05 2.06 3/223 6339
/proc/meminfo: memFree=8307372/32770624 swapFree=67108860/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1472 CPUtime=2.88 cores=0,2,4,6
/proc/6307/stat : 6307 (scop.sh) S 6304 6307 3762 0 -1 4202496 590 22911 0 0 0 0 278 10 20 0 1 0 224810811 115843072 368 33554432000 4194304 5098028 140733995302032 140733995298776 140044572856956 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24449024 140733995308096 140733995308295 140733995308295 140733995311053 0
/proc/6307/statm: 28282 368 311 221 0 87 0
[pid=6325] ppid=6307 vsize=7406364 memory=74504 CPUtime=0.59 cores=0,2,4,6
/proc/6325/stat : 6325 (java) S 6307 6307 3762 0 -1 1077944320 11717 0 0 0 55 4 0 0 20 0 15 0 224810968 7584116736 18626 33554432000 4194304 4196468 140720680627696 140720680610240 140374206242551 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
/proc/6325/statm: 1851591 18626 3028 1 0 1813530 0
[pid=6325/tid=6326] ppid=6307 vsize=7406364 memory=8332118512995898203 CPUtime=0.42 cores=0,2,4,6
/proc/6325/task/6326/stat : 6326 (java) R 6307 6307 3762 0 -1 4202560 9400 0 0 0 39 3 0 0 20 0 15 0 224810968 7584116736 18626 33554432000 4194304 4196468 140720680627696 140374178054192 140374190323038 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6327] ppid=6307 vsize=7406364 memory=1399103955520229747 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6327/stat : 6327 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810969 7584116736 18626 33554432000 4194304 4196468 140720680627696 140374210484752 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6328] ppid=6307 vsize=7406364 memory=3617859685375572477 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6328/stat : 6328 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810969 7584116736 18626 33554432000 4194304 4196468 140720680627696 140374028573328 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6329] ppid=6307 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6329/stat : 6329 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810969 7584116736 18626 33554432000 4194304 4196468 140720680627696 140373690054928 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6330] ppid=6307 vsize=7406364 memory=22464 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6330/stat : 6330 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810969 7584116736 18626 33554432000 4194304 4196468 140720680627696 140373689002384 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6331] ppid=6307 vsize=7406364 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6331/stat : 6331 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810971 7584116736 18626 33554432000 4194304 4196468 140720680627696 140373652716272 140374206253698 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6332] ppid=6307 vsize=7406364 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6332/stat : 6332 (java) S 6307 6307 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224810971 7584116736 18626 33554432000 4194304 4196468 140720680627696 140373087217312 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6333] ppid=6307 vsize=7406364 memory=139626855507584 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6333/stat : 6333 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810971 7584116736 18626 33554432000 4194304 4196468 140720680627696 140372818781424 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6334] ppid=6307 vsize=7406364 memory=13280 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6334/stat : 6334 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810974 7584116736 18626 33554432000 4194304 4196468 140720680627696 140372444273104 140374206261147 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6335] ppid=6307 vsize=7406364 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6325/task/6335/stat : 6335 (java) S 6307 6307 3762 0 -1 1077944384 531 0 0 0 2 0 0 0 20 0 15 0 224810974 7584116736 18626 33554432000 4194304 4196468 140720680627696 140373651663088 140374206253698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6336] ppid=6307 vsize=7406364 memory=139626702651719 CPUtime=0.02 cores=0,2,4,6
/proc/6325/task/6336/stat : 6336 (java) S 6307 6307 3762 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 15 0 224810974 7584116736 18626 33554432000 4194304 4196468 140720680627696 140373650610544 140374206253698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6337] ppid=6307 vsize=7406364 memory=113119954 CPUtime=0.09 cores=0,2,4,6
/proc/6325/task/6337/stat : 6337 (java) S 6307 6307 3762 0 -1 1077944384 359 0 0 0 9 0 0 0 20 0 15 0 224810974 7584116736 18626 33554432000 4194304 4196468 140720680627696 140373649557488 140374206253698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6338] ppid=6307 vsize=7406364 memory=279253405181120 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6338/stat : 6338 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810974 7584116736 18626 33554432000 4194304 4196468 140720680627696 140371946367328 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6339] ppid=6307 vsize=7406364 memory=279253405397720 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6339/stat : 6339 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810974 7584116736 18626 33554432000 4194304 4196468 140720680627696 140373648505904 140374206253698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
Current children cumulated CPU time: 3.47 s
Current children cumulated vsize: 7519492 KiB
Current children cumulated memory: 75976 KiB
[startup+2.20073 s]
/proc/loadavg: 2.17 2.05 2.06 3/223 6339
/proc/meminfo: memFree=8307372/32770624 swapFree=67108860/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1472 CPUtime=2.88 cores=0,2,4,6
/proc/6307/stat : 6307 (scop.sh) S 6304 6307 3762 0 -1 4202496 590 22911 0 0 0 0 278 10 20 0 1 0 224810811 115843072 368 33554432000 4194304 5098028 140733995302032 140733995298776 140044572856956 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24449024 140733995308096 140733995308295 140733995308295 140733995311053 0
/proc/6307/statm: 28282 368 311 221 0 87 0
[pid=6325] ppid=6307 vsize=7408432 memory=97456 CPUtime=0.86 cores=0,2,4,6
/proc/6325/stat : 6325 (java) S 6307 6307 3762 0 -1 1077944320 16591 0 0 0 81 5 0 0 20 0 15 0 224810968 7586234368 24364 33554432000 4194304 4196468 140720680627696 140720680610240 140374206242551 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
/proc/6325/statm: 1852108 24364 3047 1 0 1814042 0
[pid=6325/tid=6326] ppid=6307 vsize=7408432 memory=3617571600531209176 CPUtime=0.61 cores=0,2,4,6
/proc/6325/task/6326/stat : 6326 (java) R 6307 6307 3762 0 -1 4202560 14175 0 0 0 57 4 0 0 20 0 15 0 224810968 7586234368 24364 33554432000 4194304 4196468 140720680627696 140374178079664 140374190323038 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6327] ppid=6307 vsize=7408432 memory=9092 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6327/stat : 6327 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810969 7586234368 24364 33554432000 4194304 4196468 140720680627696 140374210484752 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6328] ppid=6307 vsize=7408432 memory=11364 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6328/stat : 6328 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810969 7586234368 24364 33554432000 4194304 4196468 140720680627696 140374028573328 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6329] ppid=6307 vsize=7408432 memory=13636 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6329/stat : 6329 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810969 7586234368 24364 33554432000 4194304 4196468 140720680627696 140373690054928 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6330] ppid=6307 vsize=7408432 memory=15908 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6330/stat : 6330 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810969 7586234368 24364 33554432000 4194304 4196468 140720680627696 140373689002384 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6331] ppid=6307 vsize=7408432 memory=18180 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6331/stat : 6331 (java) S 6307 6307 3762 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 224810971 7586234368 24364 33554432000 4194304 4196468 140720680627696 140373652716272 140374206253698 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6332] ppid=6307 vsize=7408432 memory=20452 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6332/stat : 6332 (java) S 6307 6307 3762 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 224810971 7586234368 24364 33554432000 4194304 4196468 140720680627696 140373087217312 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6333] ppid=6307 vsize=7408432 memory=22724 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6333/stat : 6333 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810971 7586234368 24364 33554432000 4194304 4196468 140720680627696 140372818781424 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6334] ppid=6307 vsize=7408432 memory=24996 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6334/stat : 6334 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810974 7586234368 24364 33554432000 4194304 4196468 140720680627696 140372444273104 140374206261147 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6335] ppid=6307 vsize=7408432 memory=27268 CPUtime=0.04 cores=0,2,4,6
/proc/6325/task/6335/stat : 6335 (java) S 6307 6307 3762 0 -1 1077944384 534 0 0 0 4 0 0 0 20 0 15 0 224810974 7586234368 24364 33554432000 4194304 4196468 140720680627696 140373651663088 140374206253698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6336] ppid=6307 vsize=7408432 memory=29540 CPUtime=0.04 cores=0,2,4,6
/proc/6325/task/6336/stat : 6336 (java) S 6307 6307 3762 0 -1 1077944384 106 0 0 0 4 0 0 0 20 0 15 0 224810974 7586234368 24364 33554432000 4194304 4196468 140720680627696 140373650610544 140374206253698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6337] ppid=6307 vsize=7408432 memory=31812 CPUtime=0.14 cores=0,2,4,6
/proc/6325/task/6337/stat : 6337 (java) S 6307 6307 3762 0 -1 1077944384 442 0 0 0 14 0 0 0 20 0 15 0 224810974 7586234368 24364 33554432000 4194304 4196468 140720680627696 140373649557488 140374206253698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6338] ppid=6307 vsize=7408432 memory=7679937539659563834 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6338/stat : 6338 (java) S 6307 6307 3762 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 224810974 7586234368 24364 33554432000 4194304 4196468 140720680627696 140371946367328 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6339] ppid=6307 vsize=7408432 memory=-7384994778349281184 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6339/stat : 6339 (java) S 6307 6307 3762 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 224810974 7586234368 24364 33554432000 4194304 4196468 140720680627696 140373648505904 140374206253698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
Current children cumulated CPU time: 3.74 s
Current children cumulated vsize: 7521560 KiB
Current children cumulated memory: 98928 KiB
[startup+2.30075 s]
/proc/loadavg: 2.17 2.05 2.06 3/223 6339
/proc/meminfo: memFree=8307372/32770624 swapFree=67108860/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1472 CPUtime=2.88 cores=0,2,4,6
/proc/6307/stat : 6307 (scop.sh) S 6304 6307 3762 0 -1 4202496 590 22911 0 0 0 0 278 10 20 0 1 0 224810811 115843072 368 33554432000 4194304 5098028 140733995302032 140733995298776 140044572856956 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24449024 140733995308096 140733995308295 140733995308295 140733995311053 0
/proc/6307/statm: 28282 368 311 221 0 87 0
[pid=6325] ppid=6307 vsize=7806068 memory=116344 CPUtime=1.07 cores=0,2,4,6
/proc/6325/stat : 6325 (java) S 6307 6307 3762 0 -1 1077944320 17833 470 0 0 102 5 0 0 20 0 17 0 224810968 7993413632 29086 33554432000 4194304 4196468 140720680627696 140720680610240 140374206242551 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
/proc/6325/statm: 1951517 29086 3151 1 0 1912916 0
[pid=6325/tid=6326] ppid=6307 vsize=7806068 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/6325/task/6326/stat : 6326 (java) R 6307 6307 3762 0 -1 4202560 14889 470 0 0 66 4 0 0 20 0 17 0 224810968 7993413632 29086 33554432000 4194304 4196468 140720680627696 140374178081344 140374198493105 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6327] ppid=6307 vsize=7806068 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6327/stat : 6327 (java) S 6307 6307 3762 0 -1 1077944384 2 470 0 0 0 0 0 0 20 0 17 0 224810969 7993413632 29086 33554432000 4194304 4196468 140720680627696 140374210484752 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6328] ppid=6307 vsize=7806068 memory=1472 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6328/stat : 6328 (java) S 6307 6307 3762 0 -1 1077944384 1 470 0 0 0 0 0 0 20 0 17 0 224810969 7993413632 29086 33554432000 4194304 4196468 140720680627696 140374028573328 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6329] ppid=6307 vsize=7806068 memory=72 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6329/stat : 6329 (java) S 6307 6307 3762 0 -1 1077944384 2 470 0 0 0 0 0 0 20 0 17 0 224810969 7993413632 29086 33554432000 4194304 4196468 140720680627696 140373690054928 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6330] ppid=6307 vsize=7806068 memory=54425825587582 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6330/stat : 6330 (java) S 6307 6307 3762 0 -1 1077944384 1 470 0 0 0 0 0 0 20 0 17 0 224810969 7993413632 29086 33554432000 4194304 4196468 140720680627696 140373689002384 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6331] ppid=6307 vsize=7806068 memory=139626702559648 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6331/stat : 6331 (java) S 6307 6307 3762 0 -1 1077944384 5 470 0 0 0 0 0 0 20 0 17 0 224810971 7993413632 29086 33554432000 4194304 4196468 140720680627696 140373652716272 140374206253698 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6332] ppid=6307 vsize=7806068 memory=-7812736537705029536 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6332/stat : 6332 (java) S 6307 6307 3762 0 -1 1077944384 13 470 0 0 0 0 0 0 20 0 17 0 224810971 7993413632 29086 33554432000 4194304 4196468 140720680627696 140373087217312 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6333] ppid=6307 vsize=7806068 memory=-6948047529741492128 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6333/stat : 6333 (java) S 6307 6307 3762 0 -1 1077944384 1 470 0 0 0 0 0 0 20 0 17 0 224810971 7993413632 29086 33554432000 4194304 4196468 140720680627696 140372818781424 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6334] ppid=6307 vsize=7806068 memory=-6873162000112450758 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6334/stat : 6334 (java) S 6307 6307 3762 0 -1 1077944384 3 470 0 0 0 0 0 0 20 0 17 0 224810974 7993413632 29086 33554432000 4194304 4196468 140720680627696 140372444273104 140374206261147 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6335] ppid=6307 vsize=7806068 memory=6944656592455360608 CPUtime=0.08 cores=0,2,4,6
/proc/6325/task/6335/stat : 6335 (java) S 6307 6307 3762 0 -1 1077944384 623 470 0 0 8 0 0 0 20 0 17 0 224810974 7993413632 29086 33554432000 4194304 4196468 140720680627696 140373651663088 140374206253698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6336] ppid=6307 vsize=7806068 memory=7896318971486248851 CPUtime=0.07 cores=0,2,4,6
/proc/6325/task/6336/stat : 6336 (java) S 6307 6307 3762 0 -1 1077944384 330 470 0 0 7 0 0 0 20 0 17 0 224810974 7993413632 29086 33554432000 4194304 4196468 140720680627696 140373650610544 140374206253698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6337] ppid=6307 vsize=7806068 memory=-7812736537705029536 CPUtime=0.17 cores=0,2,4,6
/proc/6325/task/6337/stat : 6337 (java) S 6307 6307 3762 0 -1 1077944384 532 470 0 0 17 0 0 0 20 0 17 0 224810974 7993413632 29086 33554432000 4194304 4196468 140720680627696 140373649557488 140374206253698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6338] ppid=6307 vsize=7806068 memory=-6948047529741492128 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6338/stat : 6338 (java) S 6307 6307 3762 0 -1 1077944384 3 470 0 0 0 0 0 0 20 0 17 0 224810974 7993413632 29086 33554432000 4194304 4196468 140720680627696 140371946367328 140374206252757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
[pid=6325/tid=6339] ppid=6307 vsize=7806068 memory=-6079112195634321283 CPUtime=0 cores=0,2,4,6
/proc/6325/task/6339/stat : 6339 (java) S 6307 6307 3762 0 -1 1077944384 1 470 0 0 0 0 0 0 20 0 17 0 224810974 7993413632 29086 33554432000 4194304 4196468 140720680627696 140373648505904 140374206253698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13729792 140720680629430 140720680629553 140720680629553 140720680632271 0
Current children cumulated CPU time: 3.95 s
Current children cumulated vsize: 7919196 KiB
Current children cumulated memory: 117816 KiB
Child status: 0
Real time (s): 2.38419
CPU time (s): 4.09784
CPU user time (s): 3.92365
CPU system time (s): 0.174191
CPU usage (%): 171.875
Max. virtual memory (cumulated for all children) (KiB): 15140232
Max. memory (cumulated for all children) (KiB): 178776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.92365
system time used= 0.174191
maximum resident set size= 182876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42252
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4865
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 6307
# total CPU time (s): 4.09784
# total CPU user time (s): 3.92365
# total CPU system time (s): 0.174191
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038114 second user time and 0.070048 second system time
The end