0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-23340-serial-file.bin HOME/instance-4405411-1569239977.xml
0.66/0.54
0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54
0.66/0.56 c BEGIN-Prog: Mon Sep 23 12:58:15 CEST 2019
0.66/0.56 c PID: 23343
0.66/0.56 c IP: 172.20.3.106
0.66/0.56 c HOST: node106.alineos.net
0.66/0.57 c (0,0) Parsing Begin
1.63/1.03 c (0,0) Parsing End
1.63/1.04 c (0,0) CSP: 328 int (0 aux), 0 bool (0 aux), 172 ctr, max domain size 26896
1.63/1.04 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.63/1.04 c (0,0) Constraint Name Generate Begin
1.63/1.05 c (0,0) Ctr:HOME/instance-4405411-1569239977.xml,AllDifferent:Eq:Mul:Num:OrderedCtr:Var:WeightedSum
1.63/1.05 c (0,0) Constraint Name Generate End
1.63/1.05 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.63/1.05 c (0,0) CSP to CSPinCNF Begin
7.16/2.62 c (2,2) translated 18 (10%) constraints
7.80/2.95 c (2,2) translated 35 (20%) constraints
8.75/3.25 c (2,2) translated 52 (30%) constraints
9.51/3.52 c (2,2) translated 69 (40%) constraints
9.85/3.81 c (3,3) translated 86 (50%) constraints
10.09/4.09 c (3,3) translated 104 (60%) constraints
10.39/4.36 c (3,3) translated 121 (70%) constraints
10.70/4.62 c (4,4) translated 138 (80%) constraints
11.03/4.91 c (4,4) translated 155 (90%) constraints
11.24/5.14 c (4,4) translated 172 (100%) constraints
11.24/5.14 c (4,4) ===========================================
11.24/5.14 c (4,4) Order
11.24/5.14 c (4,4) ===========================================
12.14/5.49 c (4,4) translated 9439 (10%) constraints
15.19/6.84 c (6,6) translated 18878 (20%) constraints
15.82/7.06 c (6,6) translated 28317 (30%) constraints
16.08/7.26 c (6,6) translated 37755 (40%) constraints
16.28/7.45 c (6,6) translated 47194 (50%) constraints
16.48/7.65 c (7,7) translated 56633 (60%) constraints
16.69/7.85 c (7,7) translated 66071 (70%) constraints
17.00/8.05 c (7,7) translated 75510 (80%) constraints
17.18/8.25 c (7,7) translated 84949 (90%) constraints
17.39/8.49 c (7,7) translated 94387 (100%) constraints
17.39/8.49 c (7,7) CSP to CSPinCNF End
17.66/8.50 c (7,7) CSP: 643 int (316 aux), 26897 bool (26896 aux), 148816 ctr, max domain size 741814
17.66/8.50 c (7,7) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.66/8.50 c (7,7) CSPinCNF Propagation Begin
32.15/19.47 c (18,18) 3046450 values, 36853 unsatisfiable literals, and 36860 valid clauses are removed
32.15/19.47 c (18,18) CSPinCNF Propagation End
32.15/19.48 c (18,18) CSP: 642 int (316 aux), 26898 bool (26896 aux), 111956 ctr, max domain size 554731
32.15/19.48 c (18,18) Heap : 4346 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
32.15/19.48 c (18,18) Simplify CSPinCNF Begin
33.58/20.09 c (19,19) Simplify CSPinCNF End
33.58/20.10 c (19,19) CSP: 642 int (316 aux), 53304 bool (53302 aux), 138362 ctr, max domain size 554731
33.58/20.10 c (19,19) Heap : 4568 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
33.58/20.10 c (19,19) Calculate Precise Domain Begin
14185.97/1844.12 c (1843,50) java.lang.OutOfMemoryError: Java heap space
14185.97/1844.13 c (1843,50) java.lang.Long.valueOf(Long.java:840)
14185.97/1844.13 c (1843,50) scala.runtime.BoxesRunTime.boxToLong(BoxesRunTime.java:69)
14185.97/1844.13 c (1843,50) scala.runtime.java8.JFunction1$mcJJ$sp.apply(JFunction1$mcJJ$sp.java:12)
14185.97/1844.13 c (1843,50) scala.collection.TraversableLike.$anonfun$map$1(TraversableLike.scala:233)
14185.97/1844.13 c (1843,50) scala.collection.TraversableLike$$Lambda$106/556529265.apply(Unknown Source)
14185.97/1844.13 c (1843,50) scala.collection.Iterator.foreach(Iterator.scala:937)
14185.97/1844.13 c (1843,50) scala.collection.Iterator.foreach$(Iterator.scala:937)
14185.97/1844.13 c (1843,50) scala.collection.AbstractIterator.foreach(Iterator.scala:1425)
14185.97/1844.13 c (1843,50) scala.collection.IterableLike.foreach(IterableLike.scala:70)
14185.97/1844.13 c (1843,50) scala.collection.IterableLike.foreach$(IterableLike.scala:69)
14185.97/1844.13 c (1843,50) scala.collection.AbstractIterable.foreach(Iterable.scala:54)
14185.97/1844.13 c (1843,50) scala.collection.TraversableLike.map(TraversableLike.scala:233)
14185.97/1844.13 c (1843,50) scala.collection.TraversableLike.map$(TraversableLike.scala:226)
14185.97/1844.13 c (1843,50) scala.collection.AbstractTraversable.map(Traversable.scala:104)
14185.97/1844.13 c (1843,50) fun.scop.IntDomain.$anonfun$preciseAdd$1(Domain.scala:101)
14185.97/1844.13 c (1843,50) fun.scop.IntDomain.$anonfun$preciseAdd$1$adapted(Domain.scala:101)
14185.97/1844.13 c (1843,50) fun.scop.IntDomain$$Lambda$299/1709804316.apply(Unknown Source)
14185.97/1844.13 c (1843,50) scala.collection.TraversableLike.$anonfun$flatMap$1(TraversableLike.scala:240)
14185.97/1844.13 c (1843,50) scala.collection.TraversableLike$$Lambda$121/182259421.apply(Unknown Source)
14185.97/1844.13 c (1843,50) scala.collection.Iterator.foreach(Iterator.scala:937)
14185.97/1844.13 c (1843,50) scala.collection.Iterator.foreach$(Iterator.scala:937)
14185.97/1844.13 c (1843,50) scala.collection.AbstractIterator.foreach(Iterator.scala:1425)
14185.97/1844.13 c (1843,50) scala.collection.IterableLike.foreach(IterableLike.scala:70)
14185.97/1844.13 c (1843,50) scala.collection.IterableLike.foreach$(IterableLike.scala:69)
14185.97/1844.13 c (1843,50) scala.collection.AbstractIterable.foreach(Iterable.scala:54)
14185.97/1844.13 c (1843,50) scala.collection.TraversableLike.flatMap(TraversableLike.scala:240)
14185.97/1844.13 c (1843,50) scala.collection.TraversableLike.flatMap$(TraversableLike.scala:237)
14185.97/1844.13 c (1843,50) scala.collection.AbstractTraversable.flatMap(Traversable.scala:104)
14185.97/1844.13 c (1843,50) fun.scop.IntDomain.preciseAdd(Domain.scala:101)
14185.97/1844.13 c (1843,50) fun.scop.LinearSum.$anonfun$getPreciseDomain$2(Expr.scala:1727)
14185.97/1844.13 c (1843,50) fun.scop.LinearSum.$anonfun$getPreciseDomain$2$adapted(Expr.scala:1726)
14185.97/1844.13 c (1843,50) fun.scop.LinearSum$$Lambda$294/1261153343.apply(Unknown Source)
14185.97/1844.13 c (1843,50) 0,0,7,18,19,TO,TO,TO,TO,STOP-AFTER(Simplify)
14185.97/1844.13 s UNSUPPORTED
14185.97/1844.13 c END-Prog: Mon Sep 23 13:28:58 CEST 2019
0.00/1844.34 c (scop.sh) HOME/scop-23340-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 (9682 MiB free)
memory of node 1: 16384 MiB (15025 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405411-1569239977/watcher-4405411-1569239977 -o /tmp/evaluation-result-4405411-1569239977/solver-4405411-1569239977 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569234949-23134 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405411-1569239977.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23340, runsolver pid=23337
Current StackSize limit: 8192 KiB
[startup+0.10017 s]*
/proc/loadavg: 0.95 1.16 0.90 2/210 23362
/proc/meminfo: memFree=25208688/32770624 swapFree=66999368/67108860
[pid=23340] ppid=23337 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23340/stat : 23340 (scop.sh) S 23337 23340 23107 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500251800 115843072 348 33554432000 4194304 5098028 140733966499072 140733966496328 140590016959100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29155328 140733966500645 140733966500972 140733966500972 140733966503885 0
/proc/23340/statm: 28282 348 296 221 0 87 0
[pid=23343] ppid=23340 vsize=27314120 memory=104592 CPUtime=0.11 cores=0-7
/proc/23343/stat : 23343 (java) S 23340 23340 23107 0 -1 1077944320 6196 0 0 0 9 2 0 0 20 0 20 0 500251800 27969658880 26148 33554432000 4194304 4196468 140736568228176 140736568210720 140426182201079 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
/proc/23343/statm: 6828530 26148 2817 1 0 6790935 0
[pid=23343/tid=23344] ppid=23340 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/23343/task/23344/stat : 23344 (java) R 23340 23340 23107 0 -1 4202560 4272 0 0 0 7 1 0 0 20 0 20 0 500251800 27969658880 26660 33554432000 4194304 4196468 140736568228176 140426154032896 140426166281566 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23345] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23345/stat : 23345 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 26660 33554432000 4194304 4196468 140736568228176 140426186443024 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23346] ppid=23340 vsize=27314120 memory=140656992850268 CPUtime=0 cores=0-7
/proc/23343/task/23346/stat : 23346 (java) S 23340 23340 23107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 26660 33554432000 4194304 4196468 140736568228176 140425604094352 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23347] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23347/stat : 23347 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 26660 33554432000 4194304 4196468 140736568228176 140425603041808 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23348] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23348/stat : 23348 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 26660 33554432000 4194304 4196468 140736568228176 140425601989264 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23349] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23349/stat : 23349 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 26660 33554432000 4194304 4196468 140736568228176 140425600936720 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23350] ppid=23340 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23343/task/23350/stat : 23350 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 26660 33554432000 4194304 4196468 140736568228176 140425599884176 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23351] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23351/stat : 23351 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 26660 33554432000 4194304 4196468 140736568228176 140425598831632 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23352] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23352/stat : 23352 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 26660 33554432000 4194304 4196468 140736568228176 140425597779088 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23353] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23353/stat : 23353 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251804 27969658880 26660 33554432000 4194304 4196468 140736568228176 140424703326192 140426182212226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23354] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23354/stat : 23354 (java) S 23340 23340 23107 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500251805 27969658880 26660 33554432000 4194304 4196468 140736568228176 140423821517728 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23355] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23355/stat : 23355 (java) S 23340 23340 23107 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500251805 27969658880 26660 33554432000 4194304 4196468 140736568228176 140423687295984 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23356] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23356/stat : 23356 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251807 27969658880 26660 33554432000 4194304 4196468 140736568228176 140423312791760 140426182219675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23357] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23357/stat : 23357 (java) S 23340 23340 23107 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 500251807 27969658880 26660 33554432000 4194304 4196468 140736568228176 140424702274032 140426182212226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23358] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23358/stat : 23358 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251808 27969658880 26660 33554432000 4194304 4196468 140736568228176 140424701221488 140426182212226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23359] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23359/stat : 23359 (java) S 23340 23340 23107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500251808 27969658880 26660 33554432000 4194304 4196468 140736568228176 140424700168944 140426182212226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23360] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23360/stat : 23360 (java) S 23340 23340 23107 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 20 0 500251808 27969658880 26660 33554432000 4194304 4196468 140736568228176 140424699116400 140426182212226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23361] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23361/stat : 23361 (java) S 23340 23340 23107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500251808 27969658880 26660 33554432000 4194304 4196468 140736568228176 140422814886112 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23362] ppid=23340 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23343/task/23362/stat : 23362 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251808 27969658880 26660 33554432000 4194304 4196468 140736568228176 140424698063280 140426182212226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105984 KiB
[startup+0.210439 s]*
/proc/loadavg: 0.95 1.16 0.90 2/210 23362
/proc/meminfo: memFree=25187316/32770624 swapFree=66999368/67108860
[pid=23340] ppid=23337 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23340/stat : 23340 (scop.sh) S 23337 23340 23107 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500251800 115843072 348 33554432000 4194304 5098028 140733966499072 140733966496328 140590016959100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29155328 140733966500645 140733966500972 140733966500972 140733966503885 0
/proc/23340/statm: 28282 348 296 221 0 87 0
[pid=23343] ppid=23340 vsize=27314120 memory=123620 CPUtime=0.25 cores=0-7
/proc/23343/stat : 23343 (java) S 23340 23340 23107 0 -1 1077944320 11786 0 0 0 21 4 0 0 20 0 20 0 500251800 27969658880 30905 33554432000 4194304 4196468 140736568228176 140736568210720 140426182201079 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
/proc/23343/statm: 6828530 30905 2945 1 0 6790935 0
[pid=23343/tid=23344] ppid=23340 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23343/task/23344/stat : 23344 (java) R 23340 23340 23107 0 -1 4202560 9471 0 0 0 17 3 0 0 20 0 20 0 500251800 27969658880 30905 33554432000 4194304 4196468 140736568228176 140426154016144 140426163764654 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23345] ppid=23340 vsize=27314120 memory=288230596118053219 CPUtime=0 cores=0-7
/proc/23343/task/23345/stat : 23345 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 30905 33554432000 4194304 4196468 140736568228176 140426186443024 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23346] ppid=23340 vsize=27314120 memory=3976873223909709472 CPUtime=0 cores=0-7
/proc/23343/task/23346/stat : 23346 (java) S 23340 23340 23107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 30905 33554432000 4194304 4196468 140736568228176 140425604094352 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23347] ppid=23340 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23343/task/23347/stat : 23347 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 30905 33554432000 4194304 4196468 140736568228176 140425603041808 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23348] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23348/stat : 23348 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 30905 33554432000 4194304 4196468 140736568228176 140425601989264 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23349] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23349/stat : 23349 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 30905 33554432000 4194304 4196468 140736568228176 140425600936720 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23350] ppid=23340 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23343/task/23350/stat : 23350 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 30905 33554432000 4194304 4196468 140736568228176 140425599884176 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23351] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23351/stat : 23351 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 30905 33554432000 4194304 4196468 140736568228176 140425598831632 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23352] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23352/stat : 23352 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 30905 33554432000 4194304 4196468 140736568228176 140425597779088 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23353] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23353/stat : 23353 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251804 27969658880 30905 33554432000 4194304 4196468 140736568228176 140424703326192 140426182212226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23354] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23354/stat : 23354 (java) S 23340 23340 23107 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500251805 27969658880 30905 33554432000 4194304 4196468 140736568228176 140423821517728 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23355] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23355/stat : 23355 (java) S 23340 23340 23107 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500251805 27969658880 30905 33554432000 4194304 4196468 140736568228176 140423687295984 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23356] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23356/stat : 23356 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251807 27969658880 30905 33554432000 4194304 4196468 140736568228176 140423312791760 140426182219675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23357] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23357/stat : 23357 (java) S 23340 23340 23107 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 500251807 27969658880 30905 33554432000 4194304 4196468 140736568228176 140424702274032 140426182212226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23358] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23358/stat : 23358 (java) S 23340 23340 23107 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 20 0 500251808 27969658880 30905 33554432000 4194304 4196468 140736568228176 140424701221488 140426182212226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23359] ppid=23340 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23343/task/23359/stat : 23359 (java) S 23340 23340 23107 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 500251808 27969658880 30905 33554432000 4194304 4196468 140736568228176 140424700168944 140426182212226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23360] ppid=23340 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/23343/task/23360/stat : 23360 (java) S 23340 23340 23107 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 20 0 500251808 27969658880 30905 33554432000 4194304 4196468 140736568228176 140424699116400 140426182212226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23361] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23361/stat : 23361 (java) S 23340 23340 23107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500251808 27969658880 30905 33554432000 4194304 4196468 140736568228176 140422814886112 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23362] ppid=23340 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23343/task/23362/stat : 23362 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251808 27969658880 30905 33554432000 4194304 4196468 140736568228176 140424698063280 140426182212226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125012 KiB
[startup+0.310222 s]*
/proc/loadavg: 0.95 1.16 0.90 2/210 23362
/proc/meminfo: memFree=25184276/32770624 swapFree=66999368/67108860
[pid=23340] ppid=23337 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23340/stat : 23340 (scop.sh) S 23337 23340 23107 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500251800 115843072 348 33554432000 4194304 5098028 140733966499072 140733966496328 140590016959100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29155328 140733966500645 140733966500972 140733966500972 140733966503885 0
/proc/23340/statm: 28282 348 296 221 0 87 0
[pid=23343] ppid=23340 vsize=27314120 memory=127508 CPUtime=0.43 cores=0-7
/proc/23343/stat : 23343 (java) S 23340 23340 23107 0 -1 1077944320 12792 0 0 0 38 5 0 0 20 0 20 0 500251800 27969658880 31877 33554432000 4194304 4196468 140736568228176 140736568210720 140426182201079 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
/proc/23343/statm: 6828530 31877 3039 1 0 6790935 0
[pid=23343/tid=23344] ppid=23340 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/23343/task/23344/stat : 23344 (java) R 23340 23340 23107 0 -1 4202560 10291 0 0 0 26 3 0 0 20 0 20 0 500251800 27969658880 31877 33554432000 4194304 4196468 140736568228176 140426154031152 140426166281566 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23345] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23345/stat : 23345 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 31877 33554432000 4194304 4196468 140736568228176 140426186443024 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23346] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23346/stat : 23346 (java) S 23340 23340 23107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 31877 33554432000 4194304 4196468 140736568228176 140425604094352 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23347] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23347/stat : 23347 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 31877 33554432000 4194304 4196468 140736568228176 140425603041808 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23348] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23348/stat : 23348 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 31877 33554432000 4194304 4196468 140736568228176 140425601989264 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23349] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23349/stat : 23349 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 31877 33554432000 4194304 4196468 140736568228176 140425600936720 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23350] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23350/stat : 23350 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 31877 33554432000 4194304 4196468 140736568228176 140425599884176 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23351] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23351/stat : 23351 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 31877 33554432000 4194304 4196468 140736568228176 140425598831632 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23352] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23352/stat : 23352 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251803 27969658880 31877 33554432000 4194304 4196468 140736568228176 140425597779088 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23353] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23353/stat : 23353 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251804 27969658880 31877 33554432000 4194304 4196468 140736568228176 140424703326192 140426182212226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23354] ppid=23340 vsize=27314120 memory=281313781423488 CPUtime=0 cores=0-7
/proc/23343/task/23354/stat : 23354 (java) S 23340 23340 23107 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500251805 27969658880 31877 33554432000 4194304 4196468 140736568228176 140423821517728 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23355] ppid=23340 vsize=27314120 memory=281313781428096 CPUtime=0 cores=0-7
/proc/23343/task/23355/stat : 23355 (java) S 23340 23340 23107 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500251805 27969658880 31877 33554432000 4194304 4196468 140736568228176 140423687295984 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23356] ppid=23340 vsize=27314120 memory=281313781432704 CPUtime=0 cores=0-7
/proc/23343/task/23356/stat : 23356 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251807 27969658880 31877 33554432000 4194304 4196468 140736568228176 140423312791760 140426182219675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23357] ppid=23340 vsize=27314120 memory=281313781437312 CPUtime=0 cores=0-7
/proc/23343/task/23357/stat : 23357 (java) S 23340 23340 23107 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 500251807 27969658880 31877 33554432000 4194304 4196468 140736568228176 140424702274032 140426182212226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23358] ppid=23340 vsize=27314120 memory=281313781441920 CPUtime=0.02 cores=0-7
/proc/23343/task/23358/stat : 23358 (java) S 23340 23340 23107 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 20 0 500251808 27969658880 31877 33554432000 4194304 4196468 140736568228176 140424701221488 140426182212226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23359] ppid=23340 vsize=27314120 memory=281313781446528 CPUtime=0.01 cores=0-7
/proc/23343/task/23359/stat : 23359 (java) R 23340 23340 23107 0 -1 4202560 82 0 0 0 1 0 0 0 20 0 20 0 500251808 27969658880 31877 33554432000 4194304 4196468 140736568228176 140424700168944 140426182222426 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23360] ppid=23340 vsize=27314120 memory=281313781451136 CPUtime=0.07 cores=0-7
/proc/23343/task/23360/stat : 23360 (java) S 23340 23340 23107 0 -1 1077944384 524 0 0 0 7 0 0 0 20 0 20 0 500251808 27969658880 31877 33554432000 4194304 4196468 140736568228176 140424699116400 140426182212226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23361] ppid=23340 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23361/stat : 23361 (java) S 23340 23340 23107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500251808 27969658880 31877 33554432000 4194304 4196468 140736568228176 140422814886112 140426182211285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23362] ppid=23340 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23343/task/23362/stat : 23362 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251808 27969658880 31877 33554432000 4194304 4196468 140736568228176 140424698063280 140426182212226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128900 KiB
[startup+0.701505 s]
/proc/loadavg: 0.95 1.16 0.90 2/210 23362
/proc/meminfo: memFree=25156516/32770624 swapFree=66999368/67108860
[pid=23340] ppid=23337 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23340/stat : 23340 (scop.sh) S 23337 23340 23107 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500251800 115843072 348 33554432000 4194304 5098028 140733966499072 140733966496328 140590016959100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29155328 140733966500645 140733966500972 140733966500972 140733966503885 0
/proc/23340/statm: 28282 348 296 221 0 87 0
[pid=23343] ppid=23340 vsize=27322440 memory=163848 CPUtime=0.99 cores=0-7
/proc/23343/stat : 23343 (java) S 23340 23340 23107 0 -1 1077944320 20052 0 0 0 92 7 0 0 20 0 20 0 500251800 27978178560 40962 33554432000 4194304 4196468 140736568228176 140736568210720 140426182201079 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
/proc/23343/statm: 6830610 40962 3193 1 0 6791959 0
[pid=23343/tid=23344] ppid=23340 vsize=27322440 memory=4580 CPUtime=0.67 cores=0-7
/proc/23343/task/23344/stat : 23344 (java) D 23340 23340 23107 0 -1 1077944384 16967 0 0 0 62 5 0 0 20 0 20 0 500251800 27978178560 40962 33554432000 4194304 4196468 140736568228176 140426154032816 140426182224957 0 4 2 25189581 18446744072101744164 0 0 -1 1 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23345] ppid=23340 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23345/stat : 23345 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251803 27978178560 40962 33554432000 4194304 4196468 140736568228176 140426186443024 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23346] ppid=23340 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23346/stat : 23346 (java) S 23340 23340 23107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500251803 27978178560 40962 33554432000 4194304 4196468 140736568228176 140425604094352 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23347] ppid=23340 vsize=27322440 memory=3648 CPUtime=0 cores=0-7
/proc/23343/task/23347/stat : 23347 (java) S 23340 23340 23107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500251803 27978178560 40962 33554432000 4194304 4196468 140736568228176 140425603041808 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
################
# More data... #
################
[pid=23343/tid=23350] ppid=23340 vsize=27326612 memory=1392 CPUtime=1760.49 cores=0-7
/proc/23343/task/23350/stat : 23350 (java) R 23340 23340 23107 0 -1 4202560 2632589 0 0 0 175098 951 0 0 20 0 20 0 500251803 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140425599884376 140426163810765 0 4 2 25189581 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23351] ppid=23340 vsize=27326612 memory=1392 CPUtime=1762.18 cores=0-7
/proc/23343/task/23351/stat : 23351 (java) R 23340 23340 23107 0 -1 4202560 3444901 0 0 0 175286 932 0 0 20 0 20 0 500251803 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140425598831832 140426167197683 0 4 2 25189581 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23352] ppid=23340 vsize=27326612 memory=23896128 CPUtime=1759.69 cores=0-7
/proc/23343/task/23352/stat : 23352 (java) R 23340 23340 23107 0 -1 4202560 3327039 0 0 0 174909 1060 0 0 20 0 20 0 500251803 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140425597778976 140426163810925 0 4 2 25189581 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23353] ppid=23340 vsize=27326612 memory=1392 CPUtime=25.36 cores=0-7
/proc/23343/task/23353/stat : 23353 (java) S 23340 23340 23107 0 -1 1077944384 1811733 0 0 0 2434 102 0 0 20 0 20 0 500251804 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140424703324752 140426182211285 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23354] ppid=23340 vsize=27326612 memory=23896136 CPUtime=0 cores=0-7
/proc/23343/task/23354/stat : 23354 (java) S 23340 23340 23107 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 500251805 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140423821517792 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23355] ppid=23340 vsize=27326612 memory=1556 CPUtime=0 cores=0-7
/proc/23343/task/23355/stat : 23355 (java) S 23340 23340 23107 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 500251805 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140423687296000 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23356] ppid=23340 vsize=27326612 memory=500 CPUtime=0 cores=0-7
/proc/23343/task/23356/stat : 23356 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251807 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140423312791760 140426182219675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23357] ppid=23340 vsize=27326612 memory=1392 CPUtime=3.81 cores=0-7
/proc/23343/task/23357/stat : 23357 (java) S 23340 23340 23107 0 -1 1077944384 5779 0 0 0 379 2 0 0 20 0 20 0 500251807 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140424702273792 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23358] ppid=23340 vsize=27326612 memory=23896136 CPUtime=3.57 cores=0-7
/proc/23343/task/23358/stat : 23358 (java) S 23340 23340 23107 0 -1 1077944384 3980 0 0 0 355 2 0 0 20 0 20 0 500251808 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140424701221536 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23359] ppid=23340 vsize=27326612 memory=23896148 CPUtime=3.71 cores=0-7
/proc/23343/task/23359/stat : 23359 (java) S 23340 23340 23107 0 -1 1077944384 4225 0 0 0 369 2 0 0 20 0 20 0 500251808 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140424700168992 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23360] ppid=23340 vsize=27326612 memory=1392 CPUtime=1.23 cores=0-7
/proc/23343/task/23360/stat : 23360 (java) S 23340 23340 23107 0 -1 1077944384 4667 0 0 0 120 3 0 0 20 0 20 0 500251808 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140424699116448 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23361] ppid=23340 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/23343/task/23361/stat : 23361 (java) S 23340 23340 23107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500251808 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140422814886112 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23362] ppid=23340 vsize=27326612 memory=-6520478321162704286 CPUtime=0.6 cores=0-7
/proc/23343/task/23362/stat : 23362 (java) S 23340 23340 23107 0 -1 1077944384 3570 0 0 0 15 45 0 0 20 0 20 0 500251808 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140424698063280 140426182212226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
Current children cumulated CPU time: 14173 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 23897544 KiB
[startup+1844.34 s]
# the end of solver process 23340 was just reported to runsolver
# cumulated CPU time of all completed processes: user=14101.9 s, system=84.2866 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1843.2 s]
/proc/loadavg: 7.58 7.99 7.02 9/210 23523
/proc/meminfo: memFree=1378548/32770624 swapFree=66999376/67108860
[pid=23340] ppid=23337 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23340/stat : 23340 (scop.sh) S 23337 23340 23107 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500251800 115843072 348 33554432000 4194304 5098028 140733966499072 140733966496328 140590016959100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29155328 140733966500645 140733966500972 140733966500972 140733966503885 0
/proc/23340/statm: 28282 348 296 221 0 87 0
[pid=23343] ppid=23340 vsize=27326612 memory=23896152 CPUtime=14180.2 cores=0-7
/proc/23343/stat : 23343 (java) S 23340 23340 23107 0 -1 1077944320 30247451 0 0 0 1409623 8398 0 0 20 0 20 0 500251800 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140736568210720 140426182201079 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
/proc/23343/statm: 6831653 5974038 3305 1 0 6792983 0
[pid=23343/tid=23344] ppid=23340 vsize=27326612 memory=1376 CPUtime=51 cores=0-7
/proc/23343/task/23344/stat : 23344 (java) S 23340 23340 23107 0 -1 1077944384 30456 0 0 0 5011 89 0 0 20 0 20 0 500251800 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140426154038688 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23345] ppid=23340 vsize=27326612 memory=240900420712041 CPUtime=1759.46 cores=0-7
/proc/23343/task/23345/stat : 23345 (java) R 23340 23340 23107 0 -1 4202560 3319322 0 0 0 174906 1040 0 0 20 0 20 0 500251803 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140426186443224 140426163810688 0 4 2 25189581 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23346] ppid=23340 vsize=27326612 memory=240900420712042 CPUtime=1761.52 cores=0-7
/proc/23343/task/23346/stat : 23346 (java) R 23340 23340 23107 0 -1 4202560 3932479 0 0 0 175122 1030 0 0 20 0 20 0 500251803 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140425604094552 140426167197431 0 4 2 25189581 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23347] ppid=23340 vsize=27326612 memory=240900420712043 CPUtime=1761.38 cores=0-7
/proc/23343/task/23347/stat : 23347 (java) R 23340 23340 23107 0 -1 4202560 4161411 0 0 0 175036 1102 0 0 20 0 20 0 500251803 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140425603042008 140426166899952 0 4 2 25189581 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23348] ppid=23340 vsize=27326612 memory=23896128 CPUtime=1760.71 cores=0-7
/proc/23343/task/23348/stat : 23348 (java) R 23340 23340 23107 0 -1 4202560 4367286 0 0 0 174992 1079 0 0 20 0 20 0 500251803 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140425601989464 140426163810688 0 4 2 25189581 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23349] ppid=23340 vsize=27326612 memory=1392 CPUtime=1762.7 cores=0-7
/proc/23343/task/23349/stat : 23349 (java) R 23340 23340 23107 0 -1 4202560 3196492 0 0 0 175272 998 0 0 20 0 20 0 500251803 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140425600936920 140426167197460 0 4 2 25189581 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23350] ppid=23340 vsize=27326612 memory=23896096 CPUtime=1761.39 cores=0-7
/proc/23343/task/23350/stat : 23350 (java) R 23340 23340 23107 0 -1 4202560 2632636 0 0 0 175188 951 0 0 20 0 20 0 500251803 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140425599884376 140426163810911 0 4 2 25189581 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23351] ppid=23340 vsize=27326612 memory=4486604260213485459 CPUtime=1763.08 cores=0-7
/proc/23343/task/23351/stat : 23351 (java) R 23340 23340 23107 0 -1 4202560 3444944 0 0 0 175376 932 0 0 20 0 20 0 500251803 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140425598831832 140426167197725 0 4 2 25189581 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23352] ppid=23340 vsize=27326612 memory=23896072 CPUtime=1760.57 cores=0-7
/proc/23343/task/23352/stat : 23352 (java) R 23340 23340 23107 0 -1 4202560 3327077 0 0 0 174997 1060 0 0 20 0 20 0 500251803 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140425597778976 140426167197683 0 4 2 25189581 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23353] ppid=23340 vsize=27326612 memory=2832 CPUtime=25.36 cores=0-7
/proc/23343/task/23353/stat : 23353 (java) S 23340 23340 23107 0 -1 1077944384 1811733 0 0 0 2434 102 0 0 20 0 20 0 500251804 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140424703324752 140426182211285 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23354] ppid=23340 vsize=27326612 memory=9588 CPUtime=0 cores=0-7
/proc/23343/task/23354/stat : 23354 (java) S 23340 23340 23107 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 500251805 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140423821517792 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23355] ppid=23340 vsize=27326612 memory=3624 CPUtime=0 cores=0-7
/proc/23343/task/23355/stat : 23355 (java) S 23340 23340 23107 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 500251805 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140423687296000 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23356] ppid=23340 vsize=27326612 memory=50596 CPUtime=0 cores=0-7
/proc/23343/task/23356/stat : 23356 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251807 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140423312791760 140426182219675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23357] ppid=23340 vsize=27326612 memory=984 CPUtime=3.81 cores=0-7
/proc/23343/task/23357/stat : 23357 (java) S 23340 23340 23107 0 -1 1077944384 5779 0 0 0 379 2 0 0 20 0 20 0 500251807 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140424702273792 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23358] ppid=23340 vsize=27326612 memory=2024 CPUtime=3.57 cores=0-7
/proc/23343/task/23358/stat : 23358 (java) S 23340 23340 23107 0 -1 1077944384 3980 0 0 0 355 2 0 0 20 0 20 0 500251808 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140424701221536 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23359] ppid=23340 vsize=27326612 memory=4486604260213485459 CPUtime=3.71 cores=0-7
/proc/23343/task/23359/stat : 23359 (java) S 23340 23340 23107 0 -1 1077944384 4225 0 0 0 369 2 0 0 20 0 20 0 500251808 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140424700168992 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23360] ppid=23340 vsize=27326612 memory=772 CPUtime=1.23 cores=0-7
/proc/23343/task/23360/stat : 23360 (java) S 23340 23340 23107 0 -1 1077944384 4667 0 0 0 120 3 0 0 20 0 20 0 500251808 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140424699116448 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23361] ppid=23340 vsize=27326612 memory=3648 CPUtime=0 cores=0-7
/proc/23343/task/23361/stat : 23361 (java) S 23340 23340 23107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500251808 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140422814886112 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23362] ppid=23340 vsize=27326612 memory=23896152 CPUtime=0.6 cores=0-7
/proc/23343/task/23362/stat : 23362 (java) S 23340 23340 23107 0 -1 1077944384 3596 0 0 0 15 45 0 0 20 0 20 0 500251808 27982450688 5974038 33554432000 4194304 4196468 140736568228176 140424698063280 140426182212226 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
Current children cumulated CPU time: 14180.2 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 23897544 KiB
[startup+1844 s]*
/proc/loadavg: 7.58 7.99 7.02 2/210 23523
/proc/meminfo: memFree=1378796/32770624 swapFree=66999376/67108860
[pid=23340] ppid=23337 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23340/stat : 23340 (scop.sh) S 23337 23340 23107 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500251800 115843072 348 33554432000 4194304 5098028 140733966499072 140733966496328 140590016959100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29155328 140733966500645 140733966500972 140733966500972 140733966503885 0
/proc/23340/statm: 28282 348 296 221 0 87 0
[pid=23343] ppid=23340 vsize=27326612 memory=23896164 CPUtime=14185.8 cores=0-7
/proc/23343/stat : 23343 (java) S 23340 23340 23107 0 -1 1077944320 30432233 0 0 0 1410177 8408 0 0 20 0 20 0 500251800 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140736568210720 140426182201079 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
/proc/23343/statm: 6831653 5974041 3305 1 0 6792983 0
[pid=23343/tid=23344] ppid=23340 vsize=27326612 memory=8317482817917895235 CPUtime=51 cores=0-7
/proc/23343/task/23344/stat : 23344 (java) S 23340 23340 23107 0 -1 1077944384 30766 0 0 0 5011 89 0 0 20 0 20 0 500251800 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140426154040208 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23345] ppid=23340 vsize=27326612 memory=860 CPUtime=1760.16 cores=0-7
/proc/23343/task/23345/stat : 23345 (java) S 23340 23340 23107 0 -1 1077944384 3320547 0 0 0 174976 1040 0 0 20 0 20 0 500251803 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140426186443024 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23346] ppid=23340 vsize=27326612 memory=1980 CPUtime=1762.22 cores=0-7
/proc/23343/task/23346/stat : 23346 (java) S 23340 23340 23107 0 -1 1077944384 3956520 0 0 0 175190 1032 0 0 20 0 20 0 500251803 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140425604094352 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23347] ppid=23340 vsize=27326612 memory=2552 CPUtime=1762.07 cores=0-7
/proc/23343/task/23347/stat : 23347 (java) S 23340 23340 23107 0 -1 1077944384 4161539 0 0 0 175105 1102 0 0 20 0 20 0 500251803 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140425603041808 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23348] ppid=23340 vsize=27326612 memory=1760 CPUtime=1761.39 cores=0-7
/proc/23343/task/23348/stat : 23348 (java) S 23340 23340 23107 0 -1 1077944384 4367292 0 0 0 175060 1079 0 0 20 0 20 0 500251803 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140425601989264 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23349] ppid=23340 vsize=27326612 memory=111632 CPUtime=1763.39 cores=0-7
/proc/23343/task/23349/stat : 23349 (java) S 23340 23340 23107 0 -1 1077944384 3215684 0 0 0 175340 999 0 0 20 0 20 0 500251803 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140425600936720 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23350] ppid=23340 vsize=27326612 memory=800 CPUtime=1762.07 cores=0-7
/proc/23343/task/23350/stat : 23350 (java) S 23340 23340 23107 0 -1 1077944384 2635360 0 0 0 175256 951 0 0 20 0 20 0 500251803 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140425599884176 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23351] ppid=23340 vsize=27326612 memory=6791534058613427641 CPUtime=1763.76 cores=0-7
/proc/23343/task/23351/stat : 23351 (java) S 23340 23340 23107 0 -1 1077944384 3445002 0 0 0 175444 932 0 0 20 0 20 0 500251803 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140425598831632 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23352] ppid=23340 vsize=27326612 memory=288230617509003574 CPUtime=1761.26 cores=0-7
/proc/23343/task/23352/stat : 23352 (java) S 23340 23340 23107 0 -1 1077944384 3436360 0 0 0 175061 1065 0 0 20 0 20 0 500251803 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140425597779088 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23353] ppid=23340 vsize=27326612 memory=14972261127948741 CPUtime=25.47 cores=0-7
/proc/23343/task/23353/stat : 23353 (java) R 23340 23340 23107 0 -1 4202560 1840283 0 0 0 2444 103 0 0 20 0 20 0 500251804 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140424703324512 140426166578112 0 0 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23354] ppid=23340 vsize=27326612 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/23343/task/23354/stat : 23354 (java) S 23340 23340 23107 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 500251805 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140423821517792 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23355] ppid=23340 vsize=27326612 memory=800 CPUtime=0 cores=0-7
/proc/23343/task/23355/stat : 23355 (java) S 23340 23340 23107 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 500251805 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140423687296000 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23356] ppid=23340 vsize=27326612 memory=1804 CPUtime=0 cores=0-7
/proc/23343/task/23356/stat : 23356 (java) S 23340 23340 23107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500251807 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140423312791760 140426182219675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23357] ppid=23340 vsize=27326612 memory=916 CPUtime=3.81 cores=0-7
/proc/23343/task/23357/stat : 23357 (java) S 23340 23340 23107 0 -1 1077944384 5783 0 0 0 379 2 0 0 20 0 20 0 500251807 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140424702274032 140426182212226 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23358] ppid=23340 vsize=27326612 memory=4136 CPUtime=3.57 cores=0-7
/proc/23343/task/23358/stat : 23358 (java) S 23340 23340 23107 0 -1 1077944384 3983 0 0 0 355 2 0 0 20 0 20 0 500251808 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140424701221488 140426182212226 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23359] ppid=23340 vsize=27326612 memory=3624 CPUtime=3.71 cores=0-7
/proc/23343/task/23359/stat : 23359 (java) S 23340 23340 23107 0 -1 1077944384 4227 0 0 0 369 2 0 0 20 0 20 0 500251808 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140424700168944 140426182212226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23360] ppid=23340 vsize=27326612 memory=50596 CPUtime=1.23 cores=0-7
/proc/23343/task/23360/stat : 23360 (java) S 23340 23340 23107 0 -1 1077944384 4669 0 0 0 120 3 0 0 20 0 20 0 500251808 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140424699116400 140426182212226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23361] ppid=23340 vsize=27326612 memory=984 CPUtime=0 cores=0-7
/proc/23343/task/23361/stat : 23361 (java) S 23340 23340 23107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500251808 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140422814886112 140426182211285 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
[pid=23343/tid=23362] ppid=23340 vsize=27326612 memory=281313783567040 CPUtime=0.6 cores=0-7
/proc/23343/task/23362/stat : 23362 (java) S 23340 23340 23107 0 -1 1077944384 3596 0 0 0 15 45 0 0 20 0 20 0 500251808 27982450688 5974041 33554432000 4194304 4196468 140736568228176 140424698063280 140426182212226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140736568234731 140736568235158 140736568235158 140736568238031 0
Current children cumulated CPU time: 14185.8 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 23897556 KiB
[startup+1844.2 s]
/proc/loadavg: 7.58 7.99 7.02 2/210 23523
/proc/meminfo: memFree=1378796/32770624 swapFree=66999376/67108860
[pid=23340] ppid=23337 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23340/stat : 23340 (scop.sh) S 23337 23340 23107 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500251800 115843072 348 33554432000 4194304 5098028 140733966499072 140733966496328 140590016959100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29155328 140733966500645 140733966500972 140733966500972 140733966503885 0
/proc/23340/statm: 28282 348 296 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1392 KiB
[startup+1844.3 s]
/proc/loadavg: 7.58 7.99 7.02 2/210 23523
/proc/meminfo: memFree=1378796/32770624 swapFree=66999376/67108860
[pid=23340] ppid=23337 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23340/stat : 23340 (scop.sh) S 23337 23340 23107 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500251800 115843072 348 33554432000 4194304 5098028 140733966499072 140733966496328 140590016959100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29155328 140733966500645 140733966500972 140733966500972 140733966503885 0
/proc/23340/statm: 28282 348 296 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1392 KiB
Child status: 0
Real time (s): 1844.34
CPU time (s): 14186.2
CPU user time (s): 14101.9
CPU system time (s): 84.2866
CPU usage (%): 769.174
Max. virtual memory (cumulated for all children) (KiB): 27439740
Max. memory (cumulated for all children) (KiB): 23897556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14101.9
system time used= 84.2866
maximum resident set size= 23896652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30439250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65196
involuntary context switches= 143221
# summary of solver processes directly reported to runsolver:
# pid: 23340
# total CPU time (s): 14186.2
# total CPU user time (s): 14101.9
# total CPU system time (s): 84.2866
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5343 second user time and 21.6243 second system time
The end