0.00/0.00 c (scop.sh) java -Xms11g -Xmx11g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/glueminisat-simp-2.2.10-193oa-n-release -solverOption -model:-verb=3:-elim-cl=5000000:-native-oa -tmp HOME -serialFile HOME/scop-8634-serial-file.bin HOME/instance-4388022-1568294073.xml
0.66/0.53
0.66/0.53 Fun-sCOP order+glueminisat-simp-2.2.10-193oa-n-release (2019-06-15)
0.66/0.53
0.66/0.56 c BEGIN-Prog: Thu Sep 12 15:13:53 CEST 2019
0.66/0.56 c PID: 8637
0.94/0.87 c IP: 172.20.3.127
0.94/0.87 c HOST: node127.alineos.net
0.94/0.87 c (0,0) Parsing Begin
1.42/1.13 c (0,0) Parsing End
1.42/1.14 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 96
1.42/1.14 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/1.14 c (0,0) Constraint Name Generate Begin
1.42/1.15 c (0,0) Ctr:HOME/instance-4388022-1568294073.xml,Num:Var:WeightedSum
1.42/1.15 c (0,0) Constraint Name Generate End
1.42/1.15 c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.42/1.15 c (0,0) CSP to CSPinCNF Begin
1.59/1.25 c (0,0) translated 8 (10%) constraints
1.59/1.27 c (0,0) translated 16 (20%) constraints
1.59/1.29 c (0,0) translated 24 (30%) constraints
1.79/1.30 c (0,0) translated 32 (40%) constraints
1.79/1.31 c (0,0) translated 40 (50%) constraints
1.79/1.31 c (0,0) translated 48 (60%) constraints
1.79/1.32 c (0,0) translated 56 (70%) constraints
1.79/1.33 c (0,0) translated 64 (80%) constraints
1.79/1.33 c (0,0) translated 72 (90%) constraints
1.79/1.34 c (0,0) translated 80 (100%) constraints
1.79/1.34 c (0,0) ===========================================
1.79/1.34 c (0,0) Order
1.79/1.34 c (0,0) ===========================================
1.79/1.40 c (0,0) translated 8 (10%) constraints
2.08/1.43 c (0,0) translated 16 (20%) constraints
2.08/1.45 c (0,0) translated 24 (30%) constraints
2.08/1.47 c (0,0) translated 32 (40%) constraints
2.08/1.48 c (0,0) translated 40 (50%) constraints
2.08/1.49 c (0,0) translated 48 (60%) constraints
2.35/1.50 c (0,0) translated 56 (70%) constraints
2.35/1.51 c (0,0) translated 64 (80%) constraints
2.35/1.52 c (0,0) translated 72 (90%) constraints
2.35/1.53 c (0,0) translated 80 (100%) constraints
2.35/1.53 c (0,0) CSP to CSPinCNF End
2.35/1.53 c (1,0) CSP: 314 int (214 aux), 0 bool (0 aux), 588 ctr, max domain size 14067
2.35/1.53 c (1,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.35/1.54 c (1,0) CSPinCNF Propagation Begin
2.35/1.56 c (1,0) 0 values, 0 unsatisfiable literals, and 8 valid clauses are removed
2.35/1.56 c (1,0) CSPinCNF Propagation End
2.35/1.56 c (1,0) CSP: 314 int (214 aux), 0 bool (0 aux), 580 ctr, max domain size 14067
2.35/1.56 c (1,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.35/1.56 c (1,0) Simplify CSPinCNF Begin
2.35/1.57 c (1,0) Simplify CSPinCNF End
2.35/1.57 c (1,0) CSP: 314 int (214 aux), 0 bool (0 aux), 580 ctr, max domain size 14067
2.35/1.57 c (1,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.35/1.57 c (1,0) Calculate Precise Domain Begin
6.21/4.41 c (3,3) 336202 values are removed by re-calculation
6.21/4.41 c (3,3) Calculate Precise Domain End
6.21/4.41 c (3,3) CSP: 314 int (214 aux), 0 bool (0 aux), 580 ctr, max domain size 12962
6.21/4.41 c (3,3) Heap : 1520 MiB used (max 10795 MiB), NonHeap : 25 MiB used (max 0 MiB)
6.21/4.41 c (3,3) CSPinCNF to SatSolver Begin
2125.70/593.70 c (593,74) java.lang.OutOfMemoryError: GC overhead limit exceeded
2154.39/600.90 c (600,74) scala.collection.mutable.ListBuffer.$plus$eq(ListBuffer.scala:176)
2154.39/600.90 c (600,74) scala.collection.mutable.ListBuffer.$plus$eq(ListBuffer.scala:43)
2154.39/600.90 c (600,74) scala.collection.generic.Growable.loop$1(Growable.scala:52)
2154.39/600.90 c (600,74) scala.collection.generic.Growable.$plus$plus$eq(Growable.scala:57)
2154.39/600.90 c (600,74) scala.collection.generic.Growable.$plus$plus$eq$(Growable.scala:49)
2154.39/600.90 c (600,74) scala.collection.mutable.ListBuffer.$plus$plus$eq(ListBuffer.scala:185)
2154.39/600.90 c (600,74) scala.collection.mutable.ListBuffer.$plus$plus$eq(ListBuffer.scala:43)
2154.39/600.90 c (600,74) scala.collection.TraversableLike.$plus$plus(TraversableLike.scala:146)
2154.39/600.90 c (600,74) scala.collection.TraversableLike.$plus$plus$(TraversableLike.scala:142)
2154.39/600.90 c (600,74) scala.collection.immutable.List.$plus$plus(List.scala:206)
2154.39/600.90 c (600,74) fun.scop.HyOL$.$anonfun$encode$5(HyOL.scala:303)
2154.39/600.90 c (600,74) fun.scop.HyOL$$$Lambda$205/1327536153.apply(Unknown Source)
2154.39/600.90 c (600,74) scala.collection.TraversableLike.$anonfun$map$1(TraversableLike.scala:233)
2154.39/600.90 c (600,74) scala.collection.TraversableLike$$Lambda$66/1514160588.apply(Unknown Source)
2154.39/600.90 c (600,74) scala.collection.Iterator.foreach(Iterator.scala:937)
2154.39/600.90 c (600,74) scala.collection.Iterator.foreach$(Iterator.scala:937)
2154.39/600.90 c (600,74) scala.collection.AbstractIterator.foreach(Iterator.scala:1425)
2154.39/600.90 c (600,74) scala.collection.IterableLike.foreach(IterableLike.scala:70)
2154.39/600.90 c (600,74) scala.collection.IterableLike.foreach$(IterableLike.scala:69)
2154.39/600.90 c (600,74) scala.collection.AbstractIterable.foreach(Iterable.scala:54)
2154.39/600.90 c (600,74) scala.collection.TraversableLike.map(TraversableLike.scala:233)
2154.39/600.90 c (600,74) scala.collection.TraversableLike.map$(TraversableLike.scala:226)
2154.39/600.90 c (600,74) scala.collection.AbstractTraversable.map(Traversable.scala:104)
2154.39/600.90 c (600,74) fun.scop.HyOL$.encode(HyOL.scala:302)
2154.39/600.90 c (600,74) fun.scop.HyOL$.$anonfun$encode$6(HyOL.scala:321)
2154.39/600.90 c (600,74) fun.scop.HyOL$$$Lambda$191/1546693040.apply(Unknown Source)
2154.39/600.90 c (600,74) scala.collection.TraversableLike.$anonfun$flatMap$1(TraversableLike.scala:240)
2154.39/600.90 c (600,74) scala.collection.TraversableLike$$Lambda$84/1660794022.apply(Unknown Source)
2154.39/600.90 c (600,74) scala.collection.immutable.List.foreach(List.scala:388)
2154.39/600.90 c (600,74) scala.collection.TraversableLike.flatMap(TraversableLike.scala:240)
2154.39/600.90 c (600,74) scala.collection.TraversableLike.flatMap$(TraversableLike.scala:237)
2154.39/600.90 c (600,74) scala.collection.immutable.List.flatMap(List.scala:351)
2154.39/600.90 c (600,74) 0,0,1,1,1,3,TO,TO,TO,STOP-AFTER(PreciseDomCalculation)
2154.39/600.90 s UNSUPPORTED
2154.39/600.90 c END-Prog: Thu Sep 12 15:23:54 CEST 2019
0.00/601.35 c (scop.sh) HOME/scop-8634-serial-file.bin does not exist. End.
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 (5987 MiB free)
memory of node 1: 16384 MiB (538 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388022-1568294073/watcher-4388022-1568294073 -o /tmp/evaluation-result-4388022-1568294073/solver-4388022-1568294073 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568286090-6276 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4388022-1568294073.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8634, runsolver pid=8631
[startup+0.100174 s]*
/proc/loadavg: 3.98 3.76 3.20 6/230 8651
/proc/meminfo: memFree=6622552/32770624 swapFree=66998516/67108860
[pid=8634] ppid=8631 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8634/stat : 8634 (scop.sh) S 8631 8634 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405676127 115843072 349 33554432000 4194304 5098028 140736418194768 140736418192024 140083475219068 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20647936 140736418202408 140736418202736 140736418202736 140736418205645 0
/proc/8634/statm: 28282 349 296 221 0 87 0
[pid=8637] ppid=8634 vsize=15013720 memory=74296 CPUtime=0.12 cores=0,2,4,6
/proc/8637/stat : 8637 (java) S 8634 8634 4978 0 -1 1077944320 6271 0 0 0 10 2 0 0 20 0 15 0 405676127 15374049280 18574 33554432000 4194304 4196468 140735484996288 140735484978832 140014000344823 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
/proc/8637/statm: 3753430 18574 2923 1 0 3715835 0
[pid=8637/tid=8638] ppid=8634 vsize=15013720 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/8637/task/8638/stat : 8638 (java) R 8634 8634 4978 0 -1 4202560 4260 0 0 0 7 1 0 0 20 0 15 0 405676127 15374049280 18772 33554432000 4194304 4196468 140735484996288 140013972129072 140013993024541 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8639] ppid=8634 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8639/stat : 8639 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676129 15374049280 18772 33554432000 4194304 4196468 140735484996288 140014004587024 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8640] ppid=8634 vsize=15013720 memory=140424716765499 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8640/stat : 8640 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676129 15374049280 18772 33554432000 4194304 4196468 140735484996288 140013795670672 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8641] ppid=8634 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8641/stat : 8641 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676129 15374049280 18772 33554432000 4194304 4196468 140735484996288 140013794617616 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8642] ppid=8634 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8642/stat : 8642 (java) S 8634 8634 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405676129 15375032320 18772 33554432000 4194304 4196468 140735484996288 140013793565072 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8643] ppid=8634 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8643/stat : 8643 (java) S 8634 8634 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405676130 15375032320 18838 33554432000 4194304 4196468 140735484996288 140013339618032 140014000355970 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8644] ppid=8634 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8644/stat : 8644 (java) S 8634 8634 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405676131 15375032320 18838 33554432000 4194304 4196468 140735484996288 140012611954336 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8645] ppid=8634 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8645/stat : 8645 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676131 15375032320 18838 33554432000 4194304 4196468 140735484996288 140012377072880 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8646] ppid=8634 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8646/stat : 8646 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15375032320 18838 33554432000 4194304 4196468 140735484996288 140012002564560 140014000363419 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8647] ppid=8634 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8647/stat : 8647 (java) S 8634 8634 4978 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 405676134 15375032320 18904 33554432000 4194304 4196468 140735484996288 140013338564848 140014000355970 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8648] ppid=8634 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8648/stat : 8648 (java) S 8634 8634 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405676134 15375032320 18904 33554432000 4194304 4196468 140735484996288 140013337512304 140014000355970 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8649] ppid=8634 vsize=15014680 memory=140424716756608 CPUtime=0.01 cores=0,2,4,6
/proc/8637/task/8649/stat : 8649 (java) S 8634 8634 4978 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 15 0 405676134 15375032320 18904 33554432000 4194304 4196468 140735484996288 140013336459248 140014000355970 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8650] ppid=8634 vsize=15014680 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8650/stat : 8650 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15375032320 18904 33554432000 4194304 4196468 140735484996288 140011504658784 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8651] ppid=8634 vsize=15014680 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8651/stat : 8651 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676134 15375032320 18904 33554432000 4194304 4196468 140735484996288 140013335407664 140014000355970 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 75692 KiB
[startup+0.210867 s]*
/proc/loadavg: 3.98 3.76 3.20 6/230 8651
/proc/meminfo: memFree=6606160/32770624 swapFree=66998516/67108860
[pid=8634] ppid=8631 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8634/stat : 8634 (scop.sh) S 8631 8634 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405676127 115843072 349 33554432000 4194304 5098028 140736418194768 140736418192024 140083475219068 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20647936 140736418202408 140736418202736 140736418202736 140736418205645 0
/proc/8634/statm: 28282 349 296 221 0 87 0
[pid=8637] ppid=8634 vsize=15012696 memory=86748 CPUtime=0.25 cores=0,2,4,6
/proc/8637/stat : 8637 (java) S 8634 8634 4978 0 -1 1077944320 10743 0 0 0 22 3 0 0 20 0 15 0 405676127 15373000704 21687 33554432000 4194304 4196468 140735484996288 140735484978832 140014000344823 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
/proc/8637/statm: 3753174 21687 2926 1 0 3715579 0
[pid=8637/tid=8638] ppid=8634 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8637/task/8638/stat : 8638 (java) R 8634 8634 4978 0 -1 4202560 8458 0 0 0 17 3 0 0 20 0 15 0 405676127 15373000704 21687 33554432000 4194304 4196468 140735484996288 140013972144208 140014000366749 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8639] ppid=8634 vsize=15012696 memory=1946935 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8639/stat : 8639 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676129 15373000704 21687 33554432000 4194304 4196468 140735484996288 140014004587024 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8640] ppid=8634 vsize=15012696 memory=140424719691325 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8640/stat : 8640 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676129 15373000704 21687 33554432000 4194304 4196468 140735484996288 140013795670672 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8641] ppid=8634 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8641/stat : 8641 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676129 15373000704 21687 33554432000 4194304 4196468 140735484996288 140013794617616 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8642] ppid=8634 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8642/stat : 8642 (java) S 8634 8634 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405676129 15373000704 21687 33554432000 4194304 4196468 140735484996288 140013793565072 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8643] ppid=8634 vsize=15012696 memory=140424716756608 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8643/stat : 8643 (java) S 8634 8634 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405676130 15373000704 21687 33554432000 4194304 4196468 140735484996288 140013339618032 140014000355970 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8644] ppid=8634 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8644/stat : 8644 (java) S 8634 8634 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405676131 15373000704 21687 33554432000 4194304 4196468 140735484996288 140012611954336 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8645] ppid=8634 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8645/stat : 8645 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676131 15373000704 21687 33554432000 4194304 4196468 140735484996288 140012377072880 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8646] ppid=8634 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8646/stat : 8646 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15373000704 21687 33554432000 4194304 4196468 140735484996288 140012002564560 140014000363419 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8647] ppid=8634 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8647/stat : 8647 (java) S 8634 8634 4978 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 405676134 15373000704 21687 33554432000 4194304 4196468 140735484996288 140013338564848 140014000355970 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8648] ppid=8634 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8648/stat : 8648 (java) S 8634 8634 4978 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 405676134 15373000704 21687 33554432000 4194304 4196468 140735484996288 140013337512304 140014000355970 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8649] ppid=8634 vsize=15012696 memory=140424716756608 CPUtime=0.03 cores=0,2,4,6
/proc/8637/task/8649/stat : 8649 (java) R 8634 8634 4978 0 -1 4202560 485 0 0 0 3 0 0 0 20 0 15 0 405676134 15373000704 21687 33554432000 4194304 4196468 140735484996288 140013336459248 140013979021329 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8650] ppid=8634 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8650/stat : 8650 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15373000704 21687 33554432000 4194304 4196468 140735484996288 140011504658784 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8651] ppid=8634 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8651/stat : 8651 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676134 15373000704 21687 33554432000 4194304 4196468 140735484996288 140013335407664 140014000355970 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88144 KiB
[startup+0.314288 s]*
/proc/loadavg: 3.98 3.76 3.20 6/230 8651
/proc/meminfo: memFree=6602624/32770624 swapFree=66998516/67108860
[pid=8634] ppid=8631 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8634/stat : 8634 (scop.sh) S 8631 8634 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405676127 115843072 349 33554432000 4194304 5098028 140736418194768 140736418192024 140083475219068 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20647936 140736418202408 140736418202736 140736418202736 140736418205645 0
/proc/8634/statm: 28282 349 296 221 0 87 0
[pid=8637] ppid=8634 vsize=15012696 memory=90692 CPUtime=0.44 cores=0,2,4,6
/proc/8637/stat : 8637 (java) S 8634 8634 4978 0 -1 1077944320 11681 0 0 0 40 4 0 0 20 0 15 0 405676127 15373000704 22673 33554432000 4194304 4196468 140735484996288 140735484978832 140014000344823 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
/proc/8637/statm: 3753174 22673 3070 1 0 3715579 0
[pid=8637/tid=8638] ppid=8634 vsize=15012696 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/8637/task/8638/stat : 8638 (java) R 8634 8634 4978 0 -1 4202560 9216 0 0 0 27 3 0 0 20 0 15 0 405676127 15373000704 22673 33554432000 4194304 4196468 140735484996288 140013972127840 140014000358727 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8639] ppid=8634 vsize=15012696 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8639/stat : 8639 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676129 15373000704 22673 33554432000 4194304 4196468 140735484996288 140014004587024 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8640] ppid=8634 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8640/stat : 8640 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676129 15373000704 22673 33554432000 4194304 4196468 140735484996288 140013795670672 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8641] ppid=8634 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8641/stat : 8641 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676129 15373000704 22673 33554432000 4194304 4196468 140735484996288 140013794617616 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8642] ppid=8634 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8642/stat : 8642 (java) S 8634 8634 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405676129 15373000704 22673 33554432000 4194304 4196468 140735484996288 140013793565072 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8643] ppid=8634 vsize=15012696 memory=7223873422398956946 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8643/stat : 8643 (java) S 8634 8634 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405676130 15373000704 22673 33554432000 4194304 4196468 140735484996288 140013339618032 140014000355970 0 0 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8644] ppid=8634 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8644/stat : 8644 (java) S 8634 8634 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405676131 15373000704 22673 33554432000 4194304 4196468 140735484996288 140012611954336 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8645] ppid=8634 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8645/stat : 8645 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676131 15373000704 22673 33554432000 4194304 4196468 140735484996288 140012377072880 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8646] ppid=8634 vsize=15012696 memory=7100839852926015589 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8646/stat : 8646 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15373000704 22673 33554432000 4194304 4196468 140735484996288 140012002564560 140014000363419 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8647] ppid=8634 vsize=15012696 memory=-8412656567168561567 CPUtime=0.02 cores=0,2,4,6
/proc/8637/task/8647/stat : 8647 (java) S 8634 8634 4978 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 15 0 405676134 15373000704 22673 33554432000 4194304 4196468 140735484996288 140013338564848 140014000355970 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8648] ppid=8634 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8637/task/8648/stat : 8648 (java) S 8634 8634 4978 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 15 0 405676134 15373000704 22673 33554432000 4194304 4196468 140735484996288 140013337512304 140014000355970 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8649] ppid=8634 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8637/task/8649/stat : 8649 (java) S 8634 8634 4978 0 -1 1077944384 506 0 0 0 7 0 0 0 20 0 15 0 405676134 15373000704 22673 33554432000 4194304 4196468 140735484996288 140013336459248 140014000355970 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8650] ppid=8634 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8650/stat : 8650 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15373000704 22673 33554432000 4194304 4196468 140735484996288 140011504658784 140014000355029 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8651] ppid=8634 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8651/stat : 8651 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676134 15373000704 22673 33554432000 4194304 4196468 140735484996288 140013335407664 140014000355970 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 92088 KiB
[startup+0.700796 s]
/proc/loadavg: 3.98 3.76 3.20 6/230 8651
/proc/meminfo: memFree=6579508/32770624 swapFree=66998516/67108860
[pid=8634] ppid=8631 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8634/stat : 8634 (scop.sh) S 8631 8634 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405676127 115843072 349 33554432000 4194304 5098028 140736418194768 140736418192024 140083475219068 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20647936 140736418202408 140736418202736 140736418202736 140736418205645 0
/proc/8634/statm: 28282 349 296 221 0 87 0
[pid=8637] ppid=8634 vsize=15018968 memory=126548 CPUtime=0.94 cores=0,2,4,6
/proc/8637/stat : 8637 (java) S 8634 8634 4978 0 -1 1077944320 18868 0 0 0 88 6 0 0 20 0 15 0 405676127 15379423232 31637 33554432000 4194304 4196468 140735484996288 140735484978832 140014000344823 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
/proc/8637/statm: 3754742 31637 3183 1 0 3716091 0
[pid=8637/tid=8638] ppid=8634 vsize=15018968 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/8637/task/8638/stat : 8638 (java) D 8634 8634 4978 0 -1 4202560 16070 0 0 0 59 5 0 0 20 0 15 0 405676127 15379423232 31637 33554432000 4194304 4196468 140735484996288 140013972184096 140014000366749 0 4 2 25189581 18446744072100220037 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8639] ppid=8634 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8639/stat : 8639 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676129 15379423232 31637 33554432000 4194304 4196468 140735484996288 140014004587024 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8640] ppid=8634 vsize=15018968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8640/stat : 8640 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676129 15379423232 31637 33554432000 4194304 4196468 140735484996288 140013795670672 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8641] ppid=8634 vsize=15018968 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8641/stat : 8641 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676129 15379423232 31637 33554432000 4194304 4196468 140735484996288 140013794617616 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8642] ppid=8634 vsize=15018968 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8642/stat : 8642 (java) S 8634 8634 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405676129 15379423232 31637 33554432000 4194304 4196468 140735484996288 140013793565072 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8643] ppid=8634 vsize=15018968 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8643/stat : 8643 (java) S 8634 8634 4978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405676130 15379423232 31637 33554432000 4194304 4196468 140735484996288 140013339618032 140014000355970 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8644] ppid=8634 vsize=15018968 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8644/stat : 8644 (java) S 8634 8634 4978 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405676131 15379423232 31637 33554432000 4194304 4196468 140735484996288 140012611954336 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8645] ppid=8634 vsize=15018968 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8645/stat : 8645 (java) S 8634 8634 4978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405676131 15379423232 31637 33554432000 4194304 4196468 140735484996288 140012377072880 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8646] ppid=8634 vsize=15018968 memory=780 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8646/stat : 8646 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15379423232 31637 33554432000 4194304 4196468 140735484996288 140012002564560 140014000363419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8647] ppid=8634 vsize=15018968 memory=620 CPUtime=0.06 cores=0,2,4,6
/proc/8637/task/8647/stat : 8647 (java) S 8634 8634 4978 0 -1 1077944384 544 0 0 0 6 0 0 0 20 0 15 0 405676134 15379423232 31637 33554432000 4194304 4196468 140735484996288 140013338564848 140014000355970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8648] ppid=8634 vsize=15018968 memory=1712 CPUtime=0.08 cores=0,2,4,6
/proc/8637/task/8648/stat : 8648 (java) S 8634 8634 4978 0 -1 1077944384 368 0 0 0 8 0 0 0 20 0 15 0 405676134 15379423232 31637 33554432000 4194304 4196468 140735484996288 140013337512304 140014000355970 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8649] ppid=8634 vsize=15018968 memory=1052 CPUtime=0.13 cores=0,2,4,6
/proc/8637/task/8649/stat : 8649 (java) S 8634 8634 4978 0 -1 1077944384 550 0 0 0 13 0 0 0 20 0 15 0 405676134 15379423232 31637 33554432000 4194304 4196468 140735484996288 140013336459248 140014000355970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8650] ppid=8634 vsize=15018968 memory=5900 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8650/stat : 8650 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15379423232 31637 33554432000 4194304 4196468 140735484996288 140011504658784 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8651] ppid=8634 vsize=15018968 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8651/stat : 8651 (java) S 8634 8634 4978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405676134 15379423232 31637 33554432000 4194304 4196468 140735484996288 140013335407664 140014000355970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 127944 KiB
[startup+1.50082 s]
/proc/loadavg: 3.98 3.76 3.20 8/230 8651
/proc/meminfo: memFree=6559276/32770624 swapFree=66998516/67108860
[pid=8634] ppid=8631 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8634/stat : 8634 (scop.sh) S 8631 8634 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405676127 115843072 349 33554432000 4194304 5098028 140736418194768 140736418192024 140083475219068 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20647936 140736418202408 140736418202736 140736418202736 140736418205645 0
/proc/8634/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/8637/task/8640/stat : 8640 (java) R 8634 8634 4978 0 -1 4202560 4652773 0 0 0 50420 741 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013795670872 140013985042598 0 4 2 25189581 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8641] ppid=8634 vsize=15027304 memory=1712 CPUtime=512.14 cores=0,2,4,6
/proc/8637/task/8641/stat : 8641 (java) R 8634 8634 4978 0 -1 4202560 4206575 0 0 0 50566 648 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013794617816 140013985042575 0 4 2 25189581 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8642] ppid=8634 vsize=15027304 memory=8112282956445269571 CPUtime=512.16 cores=0,2,4,6
/proc/8637/task/8642/stat : 8642 (java) R 8634 8634 4978 0 -1 4202560 3702532 0 0 0 50501 715 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013793564960 140013985295501 0 4 2 25189581 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8643] ppid=8634 vsize=15027304 memory=5900 CPUtime=4.08 cores=0,2,4,6
/proc/8637/task/8643/stat : 8643 (java) S 8634 8634 4978 0 -1 1077944384 105770 0 0 0 394 14 0 0 20 0 15 0 405676130 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013339616352 140014000355029 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8644] ppid=8634 vsize=15027304 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8644/stat : 8644 (java) S 8634 8634 4978 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 405676131 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140012611954400 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8645] ppid=8634 vsize=15027304 memory=12066904 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8645/stat : 8645 (java) S 8634 8634 4978 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 405676131 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140012377072896 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8646] ppid=8634 vsize=15027304 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8646/stat : 8646 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140012002564560 140014000363419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8647] ppid=8634 vsize=15027304 memory=12066984 CPUtime=1.79 cores=0,2,4,6
/proc/8637/task/8647/stat : 8647 (java) S 8634 8634 4978 0 -1 1077944384 6924 0 0 0 178 1 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013338564848 140014000355970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8648] ppid=8634 vsize=15027304 memory=620 CPUtime=1.54 cores=0,2,4,6
/proc/8637/task/8648/stat : 8648 (java) S 8634 8634 4978 0 -1 1077944384 7151 0 0 0 153 1 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013337512304 140014000355970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8649] ppid=8634 vsize=15027304 memory=1712 CPUtime=0.85 cores=0,2,4,6
/proc/8637/task/8649/stat : 8649 (java) S 8634 8634 4978 0 -1 1077944384 4384 0 0 0 84 1 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013336459248 140014000355970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8650] ppid=8634 vsize=15027304 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8650/stat : 8650 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140011504658784 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8651] ppid=8634 vsize=15027304 memory=37480 CPUtime=0.46 cores=0,2,4,6
/proc/8637/task/8651/stat : 8651 (java) R 8634 8634 4978 0 -1 1077944384 430 0 0 0 24 22 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013335407664 140014000355970 0 4 2 25189581 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
Current children cumulated CPU time: 2132.29 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 12068380 KiB
[startup+598.501 s]
/proc/loadavg: 5.55 5.62 4.49 6/230 8783
/proc/meminfo: memFree=217344/32770624 swapFree=66998516/67108860
[pid=8634] ppid=8631 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8634/stat : 8634 (scop.sh) S 8631 8634 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405676127 115843072 349 33554432000 4194304 5098028 140736418194768 140736418192024 140083475219068 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20647936 140736418202408 140736418202736 140736418202736 140736418205645 0
/proc/8634/statm: 28282 349 296 221 0 87 0
[pid=8637] ppid=8634 vsize=15027304 memory=12066984 CPUtime=2144.99 cores=0,2,4,6
/proc/8637/stat : 8637 (java) S 8634 8634 4978 0 -1 1077944320 16310497 0 0 0 211554 2945 0 0 20 0 15 0 405676127 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140735484978832 140014000344823 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
/proc/8637/statm: 3756826 3016746 3316 1 0 3717627 0
[pid=8637/tid=8638] ppid=8634 vsize=15027304 memory=12066984 CPUtime=74.97 cores=0,2,4,6
/proc/8637/task/8638/stat : 8638 (java) S 8634 8634 4978 0 -1 1077944384 204480 0 0 0 7386 111 0 0 20 0 15 0 405676127 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013972183664 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 63 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8639] ppid=8634 vsize=15027304 memory=3228 CPUtime=515.78 cores=0,2,4,6
/proc/8637/task/8639/stat : 8639 (java) R 8634 8634 4978 0 -1 4202560 3418085 0 0 0 50871 707 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140014004587144 140013985044675 0 4 2 25189581 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8640] ppid=8634 vsize=15027304 memory=1396 CPUtime=514.8 cores=0,2,4,6
/proc/8637/task/8640/stat : 8640 (java) R 8634 8634 4978 0 -1 4202560 4652773 0 0 0 50739 741 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013795670792 140013985334525 0 4 2 25189581 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8641] ppid=8634 vsize=15027304 memory=1396 CPUtime=515.33 cores=0,2,4,6
/proc/8637/task/8641/stat : 8641 (java) R 8634 8634 4978 0 -1 4202560 4206575 0 0 0 50885 648 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013794617736 140013981954655 0 4 2 25189581 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8642] ppid=8634 vsize=15027304 memory=1396 CPUtime=515.29 cores=0,2,4,6
/proc/8637/task/8642/stat : 8642 (java) R 8634 8634 4978 0 -1 4202560 3702532 0 0 0 50814 715 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013793565192 140013984802414 0 4 2 25189581 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8643] ppid=8634 vsize=15027304 memory=12066984 CPUtime=4.09 cores=0,2,4,6
/proc/8637/task/8643/stat : 8643 (java) S 8634 8634 4978 0 -1 1077944384 105774 0 0 0 395 14 0 0 20 0 15 0 405676130 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013339616576 140014000355029 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8644] ppid=8634 vsize=15027304 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8644/stat : 8644 (java) S 8634 8634 4978 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 405676131 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140012611954400 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8645] ppid=8634 vsize=15027304 memory=37480 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8645/stat : 8645 (java) S 8634 8634 4978 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 405676131 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140012377072896 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8646] ppid=8634 vsize=15027304 memory=988 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8646/stat : 8646 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140012002564560 140014000363419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8647] ppid=8634 vsize=15027304 memory=2024 CPUtime=1.79 cores=0,2,4,6
/proc/8637/task/8647/stat : 8647 (java) S 8634 8634 4978 0 -1 1077944384 6924 0 0 0 178 1 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013338564848 140014000355970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8648] ppid=8634 vsize=15027304 memory=9592 CPUtime=1.54 cores=0,2,4,6
/proc/8637/task/8648/stat : 8648 (java) S 8634 8634 4978 0 -1 1077944384 7151 0 0 0 153 1 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013337512304 140014000355970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8649] ppid=8634 vsize=15027304 memory=2828 CPUtime=0.85 cores=0,2,4,6
/proc/8637/task/8649/stat : 8649 (java) S 8634 8634 4978 0 -1 1077944384 4384 0 0 0 84 1 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013336459248 140014000355970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8650] ppid=8634 vsize=15027304 memory=780 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8650/stat : 8650 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140011504658784 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8651] ppid=8634 vsize=15027304 memory=620 CPUtime=0.46 cores=0,2,4,6
/proc/8637/task/8651/stat : 8651 (java) S 8634 8634 4978 0 -1 1077944384 430 0 0 0 24 22 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013335407664 140014000355970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
Current children cumulated CPU time: 2144.99 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 12068380 KiB
[startup+600.101 s]*
/proc/loadavg: 5.51 5.61 4.49 6/230 8783
/proc/meminfo: memFree=216820/32770624 swapFree=66998516/67108860
[pid=8634] ppid=8631 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8634/stat : 8634 (scop.sh) S 8631 8634 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405676127 115843072 349 33554432000 4194304 5098028 140736418194768 140736418192024 140083475219068 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20647936 140736418202408 140736418202736 140736418202736 140736418205645 0
/proc/8634/statm: 28282 349 296 221 0 87 0
[pid=8637] ppid=8634 vsize=15027304 memory=12066984 CPUtime=2151.39 cores=0,2,4,6
/proc/8637/stat : 8637 (java) S 8634 8634 4978 0 -1 1077944320 16310498 0 0 0 212194 2945 0 0 20 0 15 0 405676127 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140735484978832 140014000344823 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
/proc/8637/statm: 3756826 3016746 3316 1 0 3717627 0
[pid=8637/tid=8638] ppid=8634 vsize=15027304 memory=8317482817917895235 CPUtime=74.97 cores=0,2,4,6
/proc/8637/task/8638/stat : 8638 (java) S 8634 8634 4978 0 -1 1077944384 204480 0 0 0 7386 111 0 0 20 0 15 0 405676127 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013972183664 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 63 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8639] ppid=8634 vsize=15027304 memory=6656426216303648864 CPUtime=517.39 cores=0,2,4,6
/proc/8637/task/8639/stat : 8639 (java) R 8634 8634 4978 0 -1 4202560 3418085 0 0 0 51032 707 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140014004587144 140013985044675 0 4 2 25189581 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8640] ppid=8634 vsize=15027304 memory=6944656574621848725 CPUtime=516.41 cores=0,2,4,6
/proc/8637/task/8640/stat : 8640 (java) R 8634 8634 4978 0 -1 4202560 4652773 0 0 0 50900 741 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013795670792 140013985341247 0 4 2 25189581 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8641] ppid=8634 vsize=15027304 memory=6944656592455088490 CPUtime=516.94 cores=0,2,4,6
/proc/8637/task/8641/stat : 8641 (java) R 8634 8634 4978 0 -1 4202560 4206575 0 0 0 51046 648 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013794617736 140013993441262 0 4 2 25189581 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8642] ppid=8634 vsize=15027304 memory=6944656592455359580 CPUtime=516.87 cores=0,2,4,6
/proc/8637/task/8642/stat : 8642 (java) R 8634 8634 4978 0 -1 4202560 3702532 0 0 0 50972 715 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013793565192 140013985334476 0 4 2 25189581 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8643] ppid=8634 vsize=15027304 memory=6933690305039933585 CPUtime=4.09 cores=0,2,4,6
/proc/8637/task/8643/stat : 8643 (java) S 8634 8634 4978 0 -1 1077944384 105774 0 0 0 395 14 0 0 20 0 15 0 405676130 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013339616576 140014000355029 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8644] ppid=8634 vsize=15027304 memory=6944613755395144096 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8644/stat : 8644 (java) S 8634 8634 4978 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 405676131 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140012611954400 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8645] ppid=8634 vsize=15027304 memory=6944656591801718942 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8645/stat : 8645 (java) S 8634 8634 4978 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 405676131 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140012377072896 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8646] ppid=8634 vsize=15027304 memory=-6876588628787748224 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8646/stat : 8646 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140012002564560 140014000363419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8647] ppid=8634 vsize=15027304 memory=-7595718148000617571 CPUtime=1.79 cores=0,2,4,6
/proc/8637/task/8647/stat : 8647 (java) S 8634 8634 4978 0 -1 1077944384 6924 0 0 0 178 1 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013338564896 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8648] ppid=8634 vsize=15027304 memory=-7523660553960122769 CPUtime=1.54 cores=0,2,4,6
/proc/8637/task/8648/stat : 8648 (java) S 8634 8634 4978 0 -1 1077944384 7152 0 0 0 153 1 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013337512064 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8649] ppid=8634 vsize=15027304 memory=5865188000529146989 CPUtime=0.85 cores=0,2,4,6
/proc/8637/task/8649/stat : 8649 (java) S 8634 8634 4978 0 -1 1077944384 4384 0 0 0 84 1 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013336459296 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8650] ppid=8634 vsize=15027304 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8650/stat : 8650 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140011504658784 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8651] ppid=8634 vsize=15027304 memory=7523071198212214892 CPUtime=0.46 cores=0,2,4,6
/proc/8637/task/8651/stat : 8651 (java) S 8634 8634 4978 0 -1 1077944384 430 0 0 0 24 22 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013335407664 140014000355970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
Current children cumulated CPU time: 2151.39 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 12068380 KiB
[startup+600.901 s]
/proc/loadavg: 5.51 5.61 4.49 6/230 8783
/proc/meminfo: memFree=216820/32770624 swapFree=66998516/67108860
[pid=8634] ppid=8631 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8634/stat : 8634 (scop.sh) S 8631 8634 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405676127 115843072 349 33554432000 4194304 5098028 140736418194768 140736418192024 140083475219068 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20647936 140736418202408 140736418202736 140736418202736 140736418205645 0
/proc/8634/statm: 28282 349 296 221 0 87 0
[pid=8637] ppid=8634 vsize=15027304 memory=12066984 CPUtime=2154.39 cores=0,2,4,6
/proc/8637/stat : 8637 (java) S 8634 8634 4978 0 -1 1077944320 16310498 0 0 0 212494 2945 0 0 20 0 15 0 405676127 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140735484978832 140014000344823 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
/proc/8637/statm: 3756826 3016746 3316 1 0 3717627 0
[pid=8637/tid=8638] ppid=8634 vsize=15027304 memory=12066984 CPUtime=74.97 cores=0,2,4,6
/proc/8637/task/8638/stat : 8638 (java) S 8634 8634 4978 0 -1 1077944384 204480 0 0 0 7386 111 0 0 20 0 15 0 405676127 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013972183664 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 63 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8639] ppid=8634 vsize=15027304 memory=2116 CPUtime=518.13 cores=0,2,4,6
/proc/8637/task/8639/stat : 8639 (java) S 8634 8634 4978 0 -1 1077944384 3418085 0 0 0 51106 707 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140014004587024 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8640] ppid=8634 vsize=15027304 memory=8112282956445269571 CPUtime=517.14 cores=0,2,4,6
/proc/8637/task/8640/stat : 8640 (java) S 8634 8634 4978 0 -1 1077944384 4652773 0 0 0 50973 741 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013795670672 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8641] ppid=8634 vsize=15027304 memory=12066984 CPUtime=517.67 cores=0,2,4,6
/proc/8637/task/8641/stat : 8641 (java) S 8634 8634 4978 0 -1 1077944384 4206575 0 0 0 51119 648 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013794617616 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8642] ppid=8634 vsize=15027304 memory=5788647689011156329 CPUtime=517.6 cores=0,2,4,6
/proc/8637/task/8642/stat : 8642 (java) S 8634 8634 4978 0 -1 1077944384 3702532 0 0 0 51045 715 0 0 20 0 15 0 405676129 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013793565072 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8643] ppid=8634 vsize=15027304 memory=5792825802846453857 CPUtime=4.14 cores=0,2,4,6
/proc/8637/task/8643/stat : 8643 (java) R 8634 8634 4978 0 -1 4202560 105774 0 0 0 400 14 0 0 20 0 15 0 405676130 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013339616576 140013992634277 0 0 2 25189581 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8644] ppid=8634 vsize=15027304 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8644/stat : 8644 (java) S 8634 8634 4978 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 405676131 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140012611954400 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8645] ppid=8634 vsize=15027304 memory=988 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8645/stat : 8645 (java) S 8634 8634 4978 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 405676131 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140012377072896 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8646] ppid=8634 vsize=15027304 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8646/stat : 8646 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140012002564560 140014000363419 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8647] ppid=8634 vsize=15027304 memory=1428 CPUtime=1.79 cores=0,2,4,6
/proc/8637/task/8647/stat : 8647 (java) S 8634 8634 4978 0 -1 1077944384 6924 0 0 0 178 1 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013338564896 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8648] ppid=8634 vsize=15027304 memory=4148 CPUtime=1.54 cores=0,2,4,6
/proc/8637/task/8648/stat : 8648 (java) S 8634 8634 4978 0 -1 1077944384 7152 0 0 0 153 1 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013337512064 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8649] ppid=8634 vsize=15027304 memory=1056 CPUtime=0.85 cores=0,2,4,6
/proc/8637/task/8649/stat : 8649 (java) S 8634 8634 4978 0 -1 1077944384 4384 0 0 0 84 1 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013336459296 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8650] ppid=8634 vsize=15027304 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/8637/task/8650/stat : 8650 (java) S 8634 8634 4978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140011504658784 140014000355029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
[pid=8637/tid=8651] ppid=8634 vsize=15027304 memory=1536 CPUtime=0.46 cores=0,2,4,6
/proc/8637/task/8651/stat : 8651 (java) S 8634 8634 4978 0 -1 1077944384 430 0 0 0 24 22 0 0 20 0 15 0 405676134 15387959296 3016746 33554432000 4194304 4196468 140735484996288 140013335407664 140014000355970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 9809920 140735485002479 140735485002906 140735485002906 140735485005775 0
Current children cumulated CPU time: 2154.39 s
Current children cumulated vsize: 15140432 KiB
Current children cumulated memory: 12068380 KiB
[startup+601.3 s]
/proc/loadavg: 5.51 5.61 4.49 3/217 8783
/proc/meminfo: memFree=4134452/32770624 swapFree=66998516/67108860
[pid=8634] ppid=8631 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/8634/stat : 8634 (scop.sh) S 8631 8634 4978 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405676127 115843072 349 33554432000 4194304 5098028 140736418194768 140736418192024 140083475219068 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20647936 140736418202408 140736418202736 140736418202736 140736418205645 0
/proc/8634/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
Child status: 0
Real time (s): 601.36
CPU time (s): 2154.84
CPU user time (s): 2124.96
CPU system time (s): 29.8785
CPU usage (%): 358.327
Max. virtual memory (cumulated for all children) (KiB): 15140432
Max. memory (cumulated for all children) (KiB): 12074640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2124.96
system time used= 29.8785
maximum resident set size= 12073244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16311542
page faults= 0
swaps= 0
block input operations= 32
block output operations= 466280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 762433
involuntary context switches= 24194
# summary of solver processes directly reported to runsolver:
# pid: 8634
# total CPU time (s): 2154.84
# total CPU user time (s): 2124.96
# total CPU system time (s): 29.8785
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.56602 second user time and 6.50845 second system time
The end