Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | ? | 1673.21 | 1253 |
Name | PropStress/PropStress-m1-s1/ PropStress-0400.xml |
MD5SUM | cd36f5a432e3b868ff7ac280438203b6 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 59.2496 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 802 |
Number of constraints | 81001 |
Number of domains | 1 |
Minimum domain size | 160001 |
Maximum domain size | 160001 |
Distribution of domain sizes | [{"size":160001,"count":802}] |
Minimum variable degree | 2 |
Maximum variable degree | 401 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":399},{"degree":400,"count":399},{"degree":401,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":81001}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 81001 |
Distribution of constraint types | [{"type":"intension","count":81001}] |
Optimization problem | NO |
Type of objective |
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-31391-serial-file.bin HOME/instance-4392460-1568427446.xml 0.65/0.60 0.65/0.60 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.60 0.76/0.63 c BEGIN-Prog: Sat Sep 14 04:16:46 CEST 2019 0.76/0.63 c PID: 31394 0.76/0.63 c IP: 172.20.3.116 0.76/0.63 c HOST: node116.alineos.net 0.76/0.64 c (0,0) Parsing Begin 12.64/6.22 c (5,5) Parsing End 12.64/6.23 c (5,5) CSP: 802 int (0 aux), 0 bool (0 aux), 81001 ctr, max domain size 160001 12.64/6.23 c (5,5) Heap : 2703 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 12.64/6.23 c (5,5) Constraint Name Generate Begin 12.99/6.47 c (5,5) Ctr:HOME/instance-4392460-1568427446.xml,Add:Le:Num:Var 12.99/6.47 c (5,5) Constraint Name Generate End 12.99/6.47 c (5,5) Heap : 2816 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 12.99/6.47 c (5,5) CSP to CSPinCNF Begin 14.69/7.07 c (6,6) translated 8101 (10%) constraints 15.46/7.28 c (6,6) translated 16201 (20%) constraints 15.89/7.44 c (6,6) translated 24301 (30%) constraints 16.09/7.60 c (6,6) translated 32401 (40%) constraints 16.20/7.76 c (7,7) translated 40501 (50%) constraints 16.39/7.92 c (7,7) translated 48601 (60%) constraints 16.51/8.08 c (7,7) translated 56701 (70%) constraints 16.69/8.24 c (7,7) translated 64801 (80%) constraints 16.99/8.40 c (7,7) translated 72901 (90%) constraints 17.10/8.56 c (7,7) translated 81001 (100%) constraints 17.10/8.56 c (7,7) =========================================== 17.10/8.56 c (7,7) Order 17.10/8.56 c (7,7) =========================================== 17.56/8.71 c (8,8) translated 8101 (10%) constraints 17.69/8.81 c (8,8) translated 16201 (20%) constraints 17.84/8.93 c (8,8) translated 24301 (30%) constraints 18.17/9.04 c (8,8) translated 32401 (40%) constraints 18.28/9.14 c (8,8) translated 40501 (50%) constraints 18.47/9.25 c (8,8) translated 48601 (60%) constraints 18.59/9.36 c (8,8) translated 56701 (70%) constraints 18.69/9.46 c (8,8) translated 64801 (80%) constraints 18.80/9.57 c (8,8) translated 72901 (90%) constraints 18.89/9.67 c (9,9) translated 81001 (100%) constraints 18.89/9.68 c (9,9) CSP to CSPinCNF End 18.89/9.68 c (9,9) CSP: 802 int (0 aux), 0 bool (0 aux), 81001 ctr, max domain size 160001 18.89/9.68 c (9,9) Heap : 3604 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 18.89/9.68 c (9,9) CSPinCNF Propagation Begin 19.54/9.98 c (9,9) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 19.54/9.98 c (9,9) CSPinCNF Propagation End 19.54/9.98 c (9,9) CSP: 802 int (0 aux), 0 bool (0 aux), 81001 ctr, max domain size 160001 19.54/9.98 c (9,9) Heap : 3829 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 19.54/9.99 c (9,9) Simplify CSPinCNF Begin 19.89/10.11 c (9,9) Simplify CSPinCNF End 19.89/10.11 c (9,9) CSP: 802 int (0 aux), 0 bool (0 aux), 81001 ctr, max domain size 160001 19.89/10.11 c (9,9) Heap : 3942 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 19.89/10.11 c (9,9) Calculate Precise Domain Begin 19.89/10.12 c (9,9) 0 values are removed by re-calculation 19.89/10.12 c (9,9) Calculate Precise Domain End 19.89/10.12 c (9,9) CSP: 802 int (0 aux), 0 bool (0 aux), 81001 ctr, max domain size 160001 19.89/10.12 c (9,9) Heap : 3942 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 19.89/10.12 c (9,9) CSPinCNF to SatSolver Begin 1671.83/1251.33 c (1250,1087) fun.scop.ScopCnfFileIsTooLarge: Encoding is interrupted because file size becomes too large (10737418247 bytes) 1671.83/1251.33 c (1250,1087) fun.scop.FileProblem.write(SatSolver.scala:576) 1671.83/1251.33 c (1250,1087) fun.scop.FileProblem.write(SatSolver.scala:581) 1671.83/1251.33 c (1250,1087) fun.scop.FileProblem.addClause2CnfFile(SatSolver.scala:688) 1671.83/1251.33 c (1250,1087) fun.scop.ExtSatSolver.addClause(SatSolver.scala:296) 1671.83/1251.33 c (1250,1087) fun.scop.HyOL$.$anonfun$apply$8(HyOL.scala:150) 1671.83/1251.33 c (1250,1087) fun.scop.HyOL$.$anonfun$apply$8$adapted(HyOL.scala:148) 1671.83/1251.33 c (1250,1087) scala.collection.TraversableLike$WithFilter.$anonfun$foreach$1(TraversableLike.scala:788) 1671.83/1251.33 c (1250,1087) scala.collection.immutable.List.foreach(List.scala:388) 1671.83/1251.33 c (1250,1087) scala.collection.TraversableLike$WithFilter.foreach(TraversableLike.scala:787) 1671.83/1251.33 c (1250,1087) fun.scop.HyOL$.$anonfun$apply$6(HyOL.scala:148) 1671.83/1251.33 c (1250,1087) scala.runtime.java8.JFunction1$mcVI$sp.apply(JFunction1$mcVI$sp.java:12) 1671.83/1251.33 c (1250,1087) scala.collection.TraversableLike$WithFilter.$anonfun$foreach$1(TraversableLike.scala:788) 1671.83/1251.33 c (1250,1087) scala.collection.immutable.Range.foreach(Range.scala:155) 1671.83/1251.33 c (1250,1087) scala.collection.TraversableLike$WithFilter.foreach(TraversableLike.scala:787) 1671.83/1251.33 c (1250,1087) fun.scop.HyOL$.apply(HyOL.scala:134) 1671.83/1251.33 c (1250,1087) fun.scop.XCSP19Encode.run(XCSP19Encode.scala:468) 1671.83/1251.33 c (1250,1087) fun.scop.XCSP19Encode$.main(XCSP19Encode.scala:568) 1671.83/1251.33 c (1250,1087) fun.scop.XCSP19Encode.main(XCSP19Encode.scala) 1671.83/1251.33 s UNKNOWN 0.00/1252.99 c (scop.sh) HOME/scop-31391-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: 16375 MiB (13561 MiB free) memory of node 1: 16384 MiB (15571 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392460-1568427446/watcher-4392460-1568427446 -o /tmp/evaluation-result-4392460-1568427446/solver-4392460-1568427446 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568427322-28555 --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-4392460-1568427446.xml running on 8 cores: 0-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 Current StackSize limit: 8192 KiB solver pid=31391, runsolver pid=31388 [startup+0.100157 s]* /proc/loadavg: 5.61 6.71 6.95 2/211 31413 /proc/meminfo: memFree=29738588/32770688 swapFree=66961108/67108860 [pid=31391] ppid=31388 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/31391/stat : 31391 (scop.sh) S 31388 31391 28528 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418686347 115843072 349 33554432000 4194304 5098028 140736434223280 140736434220536 139970302546556 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20983808 140736434230053 140736434230380 140736434230380 140736434233293 0 /proc/31391/statm: 28282 349 296 221 0 87 0 [pid=31394] ppid=31391 vsize=27314120 memory=104924 CPUtime=0.1 cores=0-7 /proc/31394/stat : 31394 (java) S 31391 31391 28528 0 -1 1077944320 6319 0 0 0 8 2 0 0 20 0 20 0 418686347 27969658880 26231 33554432000 4194304 4196468 140729000372688 140729000355232 139975010328311 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 /proc/31394/statm: 6828530 26231 2779 1 0 6790935 0 [pid=31394/tid=31395] ppid=31391 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/31394/task/31395/stat : 31395 (java) R 31391 31391 28528 0 -1 4202560 4431 0 0 0 7 2 0 0 20 0 20 0 418686347 27969658880 26270 33554432000 4194304 4196468 140729000372688 139974982154640 139974994408798 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31396] ppid=31391 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/31394/task/31396/stat : 31396 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 26270 33554432000 4194304 4196468 140729000372688 139975014570896 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31397] ppid=31391 vsize=27314120 memory=139895985329792 CPUtime=0 cores=0-7 /proc/31394/task/31397/stat : 31397 (java) S 31391 31391 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 26270 33554432000 4194304 4196468 140729000372688 139974797966096 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31398] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31398/stat : 31398 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 26270 33554432000 4194304 4196468 140729000372688 139974431202448 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31399] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31399/stat : 31399 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 26270 33554432000 4194304 4196468 140729000372688 139974430149648 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31400] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31400/stat : 31400 (java) S 31391 31391 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 26270 33554432000 4194304 4196468 140729000372688 139974429096336 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31401] ppid=31391 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/31394/task/31401/stat : 31401 (java) S 31391 31391 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 26270 33554432000 4194304 4196468 140729000372688 139974428043536 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31402] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31402/stat : 31402 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 26270 33554432000 4194304 4196468 140729000372688 139974426991248 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31403] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31403/stat : 31403 (java) S 31391 31391 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 26270 33554432000 4194304 4196468 140729000372688 139974425938448 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31404] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31404/stat : 31404 (java) S 31391 31391 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418686351 27969658880 26270 33554432000 4194304 4196468 140729000372688 139973128833648 139975010339458 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31405] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31405/stat : 31405 (java) S 31391 31391 28528 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418686352 27969658880 26270 33554432000 4194304 4196468 140729000372688 139972917060896 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31406] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31406/stat : 31406 (java) S 31391 31391 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418686352 27969658880 26270 33554432000 4194304 4196468 140729000372688 139972782839408 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31407] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31407/stat : 31407 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 26270 33554432000 4194304 4196468 140729000372688 139972408334928 139975010346907 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31408] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31408/stat : 31408 (java) S 31391 31391 28528 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 26270 33554432000 4194304 4196468 140729000372688 139973127780464 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31409] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31409/stat : 31409 (java) S 31391 31391 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 26270 33554432000 4194304 4196468 140729000372688 139973126727664 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31410] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31410/stat : 31410 (java) S 31391 31391 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 26270 33554432000 4194304 4196468 140729000372688 139973125675376 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31411] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31411/stat : 31411 (java) S 31391 31391 28528 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 26270 33554432000 4194304 4196468 140729000372688 139973124622576 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31412] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31412/stat : 31412 (java) S 31391 31391 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 26270 33554432000 4194304 4196468 140729000372688 139971910429536 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31413] ppid=31391 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/31394/task/31413/stat : 31413 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 26270 33554432000 4194304 4196468 140729000372688 139973123570480 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 106320 KiB [startup+0.211213 s]* /proc/loadavg: 5.61 6.71 6.95 2/211 31413 /proc/meminfo: memFree=29719084/32770688 swapFree=66961108/67108860 [pid=31391] ppid=31388 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/31391/stat : 31391 (scop.sh) S 31388 31391 28528 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418686347 115843072 349 33554432000 4194304 5098028 140736434223280 140736434220536 139970302546556 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20983808 140736434230053 140736434230380 140736434230380 140736434233293 0 /proc/31391/statm: 28282 349 296 221 0 87 0 [pid=31394] ppid=31391 vsize=27314120 memory=124372 CPUtime=0.24 cores=0-7 /proc/31394/stat : 31394 (java) S 31391 31391 28528 0 -1 1077944320 11829 0 0 0 20 4 0 0 20 0 20 0 418686347 27969658880 31093 33554432000 4194304 4196468 140729000372688 140729000355232 139975010328311 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 /proc/31394/statm: 6828530 31093 2936 1 0 6790935 0 [pid=31394/tid=31395] ppid=31391 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/31394/task/31395/stat : 31395 (java) R 31391 31391 28528 0 -1 4202560 9583 0 0 0 16 4 0 0 20 0 20 0 418686347 27969658880 31093 33554432000 4194304 4196468 140729000372688 139974982160512 139975010350237 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31396] ppid=31391 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/31394/task/31396/stat : 31396 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31093 33554432000 4194304 4196468 140729000372688 139975014570896 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31397] ppid=31391 vsize=27314120 memory=3905383329264228000 CPUtime=0 cores=0-7 /proc/31394/task/31397/stat : 31397 (java) S 31391 31391 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31093 33554432000 4194304 4196468 140729000372688 139974797966096 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31398] ppid=31391 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/31394/task/31398/stat : 31398 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31093 33554432000 4194304 4196468 140729000372688 139974431202448 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31399] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31399/stat : 31399 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31093 33554432000 4194304 4196468 140729000372688 139974430149648 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31400] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31400/stat : 31400 (java) S 31391 31391 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31093 33554432000 4194304 4196468 140729000372688 139974429096336 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31401] ppid=31391 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/31394/task/31401/stat : 31401 (java) S 31391 31391 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31093 33554432000 4194304 4196468 140729000372688 139974428043536 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31402] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31402/stat : 31402 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31093 33554432000 4194304 4196468 140729000372688 139974426991248 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31403] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31403/stat : 31403 (java) S 31391 31391 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31093 33554432000 4194304 4196468 140729000372688 139974425938448 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31404] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31404/stat : 31404 (java) S 31391 31391 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418686351 27969658880 31093 33554432000 4194304 4196468 140729000372688 139973128833648 139975010339458 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31405] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31405/stat : 31405 (java) S 31391 31391 28528 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418686352 27969658880 31093 33554432000 4194304 4196468 140729000372688 139972917060896 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31406] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31406/stat : 31406 (java) S 31391 31391 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418686352 27969658880 31093 33554432000 4194304 4196468 140729000372688 139972782839408 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31407] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31407/stat : 31407 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 31093 33554432000 4194304 4196468 140729000372688 139972408334928 139975010346907 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31408] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31408/stat : 31408 (java) S 31391 31391 28528 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 31093 33554432000 4194304 4196468 140729000372688 139973127780464 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31409] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31409/stat : 31409 (java) S 31391 31391 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 31093 33554432000 4194304 4196468 140729000372688 139973126727664 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31410] ppid=31391 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/31394/task/31410/stat : 31410 (java) S 31391 31391 28528 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 31093 33554432000 4194304 4196468 140729000372688 139973125675376 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31411] ppid=31391 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/31394/task/31411/stat : 31411 (java) S 31391 31391 28528 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 418686355 27969658880 31093 33554432000 4194304 4196468 140729000372688 139973124622576 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31412] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31412/stat : 31412 (java) S 31391 31391 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 31093 33554432000 4194304 4196468 140729000372688 139971910429536 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31413] ppid=31391 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/31394/task/31413/stat : 31413 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 31093 33554432000 4194304 4196468 140729000372688 139973123570480 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 125768 KiB [startup+0.310809 s]* /proc/loadavg: 5.61 6.71 6.95 3/211 31413 /proc/meminfo: memFree=29716604/32770688 swapFree=66961108/67108860 [pid=31391] ppid=31388 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/31391/stat : 31391 (scop.sh) S 31388 31391 28528 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418686347 115843072 349 33554432000 4194304 5098028 140736434223280 140736434220536 139970302546556 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20983808 140736434230053 140736434230380 140736434230380 140736434233293 0 /proc/31391/statm: 28282 349 296 221 0 87 0 [pid=31394] ppid=31391 vsize=27314120 memory=127540 CPUtime=0.42 cores=0-7 /proc/31394/stat : 31394 (java) S 31391 31391 28528 0 -1 1077944320 12319 0 0 0 38 4 0 0 20 0 20 0 418686347 27969658880 31885 33554432000 4194304 4196468 140729000372688 140729000355232 139975010328311 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 /proc/31394/statm: 6828530 31885 2993 1 0 6790935 0 [pid=31394/tid=31395] ppid=31391 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/31394/task/31395/stat : 31395 (java) R 31391 31391 28528 0 -1 4202560 9859 0 0 0 26 4 0 0 20 0 20 0 418686347 27969658880 31885 33554432000 4194304 4196468 140729000372688 139974982155488 139974995697111 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31396] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31396/stat : 31396 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31885 33554432000 4194304 4196468 140729000372688 139975014570896 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31397] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31397/stat : 31397 (java) S 31391 31391 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31885 33554432000 4194304 4196468 140729000372688 139974797966096 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31398] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31398/stat : 31398 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31885 33554432000 4194304 4196468 140729000372688 139974431202448 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31399] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31399/stat : 31399 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31885 33554432000 4194304 4196468 140729000372688 139974430149648 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31400] ppid=31391 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/31394/task/31400/stat : 31400 (java) S 31391 31391 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31885 33554432000 4194304 4196468 140729000372688 139974429096336 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31401] ppid=31391 vsize=27314120 memory=139895876187055 CPUtime=0 cores=0-7 /proc/31394/task/31401/stat : 31401 (java) S 31391 31391 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31885 33554432000 4194304 4196468 140729000372688 139974428043536 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31402] ppid=31391 vsize=27314120 memory=139895876189360 CPUtime=0 cores=0-7 /proc/31394/task/31402/stat : 31402 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31885 33554432000 4194304 4196468 140729000372688 139974426991248 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31403] ppid=31391 vsize=27314120 memory=139895876191664 CPUtime=0 cores=0-7 /proc/31394/task/31403/stat : 31403 (java) S 31391 31391 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418686350 27969658880 31885 33554432000 4194304 4196468 140729000372688 139974425938448 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31404] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31404/stat : 31404 (java) S 31391 31391 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418686351 27969658880 31885 33554432000 4194304 4196468 140729000372688 139973128833648 139975010339458 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31405] ppid=31391 vsize=27314120 memory=279791752390288 CPUtime=0 cores=0-7 /proc/31394/task/31405/stat : 31405 (java) S 31391 31391 28528 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418686352 27969658880 31885 33554432000 4194304 4196468 140729000372688 139972917060896 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31406] ppid=31391 vsize=27314120 memory=279791752397200 CPUtime=0 cores=0-7 /proc/31394/task/31406/stat : 31406 (java) S 31391 31391 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418686352 27969658880 31885 33554432000 4194304 4196468 140729000372688 139972782839408 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31407] ppid=31391 vsize=27314120 memory=279791752338448 CPUtime=0 cores=0-7 /proc/31394/task/31407/stat : 31407 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 31885 33554432000 4194304 4196468 140729000372688 139972408334928 139975010346907 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31408] ppid=31391 vsize=27314120 memory=279791752411024 CPUtime=0.01 cores=0-7 /proc/31394/task/31408/stat : 31408 (java) S 31391 31391 28528 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 418686355 27969658880 31885 33554432000 4194304 4196468 140729000372688 139973127780464 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31409] ppid=31391 vsize=27314120 memory=279791752417936 CPUtime=0.02 cores=0-7 /proc/31394/task/31409/stat : 31409 (java) S 31391 31391 28528 0 -1 1077944384 121 0 0 0 2 0 0 0 20 0 20 0 418686355 27969658880 31885 33554432000 4194304 4196468 140729000372688 139973126727664 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31410] ppid=31391 vsize=27314120 memory=279791752415632 CPUtime=0 cores=0-7 /proc/31394/task/31410/stat : 31410 (java) S 31391 31391 28528 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 31885 33554432000 4194304 4196468 140729000372688 139973125675376 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31411] ppid=31391 vsize=27314120 memory=279791752431792 CPUtime=0.07 cores=0-7 /proc/31394/task/31411/stat : 31411 (java) S 31391 31391 28528 0 -1 1077944384 468 0 0 0 7 0 0 0 20 0 20 0 418686355 27969658880 31885 33554432000 4194304 4196468 140729000372688 139973124622576 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31412] ppid=31391 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31412/stat : 31412 (java) S 31391 31391 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 31885 33554432000 4194304 4196468 140729000372688 139971910429536 139975010338517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31413] ppid=31391 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/31394/task/31413/stat : 31413 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686355 27969658880 31885 33554432000 4194304 4196468 140729000372688 139973123570480 139975010339458 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128936 KiB [startup+0.701004 s] /proc/loadavg: 5.61 6.71 6.95 2/211 31413 /proc/meminfo: memFree=29706744/32770688 swapFree=66961108/67108860 [pid=31391] ppid=31388 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/31391/stat : 31391 (scop.sh) S 31388 31391 28528 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418686347 115843072 349 33554432000 4194304 5098028 140736434223280 140736434220536 139970302546556 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20983808 140736434230053 140736434230380 140736434230380 140736434233293 0 /proc/31391/statm: 28282 349 296 221 0 87 0 [pid=31394] ppid=31391 vsize=27320392 memory=157296 CPUtime=0.9 cores=0-7 /proc/31394/stat : 31394 (java) S 31391 31391 28528 0 -1 1077944320 18997 0 0 0 84 6 0 0 20 0 20 0 418686347 27976081408 39324 33554432000 4194304 4196468 140729000372688 140729000355232 139975010328311 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 /proc/31394/statm: 6830098 39324 3116 1 0 6791447 0 [pid=31394/tid=31395] ppid=31391 vsize=27320392 memory=279791752789680 CPUtime=0.67 cores=0-7 /proc/31394/task/31395/stat : 31395 (java) R 31391 31391 28528 0 -1 4202560 16437 0 0 0 62 5 0 0 20 0 20 0 418686347 27976081408 39324 33554432000 4194304 4196468 140729000372688 139974982165776 139975010350237 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31396] ppid=31391 vsize=27320392 memory=139895876395888 CPUtime=0 cores=0-7 /proc/31394/task/31396/stat : 31396 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686350 27976081408 39324 33554432000 4194304 4196468 140729000372688 139975014570896 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31397] ppid=31391 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/31394/task/31397/stat : 31397 (java) S 31391 31391 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418686350 27976081408 39324 33554432000 4194304 4196468 140729000372688 139974797966096 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31398] ppid=31391 vsize=27320392 memory=2832 CPUtime=0 cores=0-7 /proc/31394/task/31398/stat : 31398 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686350 27976081408 39324 33554432000 4194304 4196468 140729000372688 139974431202448 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 ################ # More data... # ################ [pid=31394/tid=31407] ppid=31391 vsize=27328728 memory=14068 CPUtime=0 cores=0-7 /proc/31394/task/31407/stat : 31407 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139972408334928 139975010346907 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31408] ppid=31391 vsize=27328728 memory=2120 CPUtime=3.33 cores=0-7 /proc/31394/task/31408/stat : 31408 (java) S 31391 31391 28528 0 -1 1077944384 9525 0 0 0 330 3 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973127780464 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 60 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31409] ppid=31391 vsize=27328728 memory=500 CPUtime=3.58 cores=0-7 /proc/31394/task/31409/stat : 31409 (java) S 31391 31391 28528 0 -1 1077944384 14032 0 0 0 356 2 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973126727664 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31410] ppid=31391 vsize=27328728 memory=1556 CPUtime=3.2 cores=0-7 /proc/31394/task/31410/stat : 31410 (java) S 31391 31391 28528 0 -1 1077944384 9016 0 0 0 317 3 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973125675376 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31411] ppid=31391 vsize=27328728 memory=928 CPUtime=1.24 cores=0-7 /proc/31394/task/31411/stat : 31411 (java) S 31391 31391 28528 0 -1 1077944384 21111 0 0 0 120 4 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973124622576 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31412] ppid=31391 vsize=27328728 memory=1628 CPUtime=0 cores=0-7 /proc/31394/task/31412/stat : 31412 (java) S 31391 31391 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139971910429536 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31413] ppid=31391 vsize=27328728 memory=796 CPUtime=0.46 cores=0-7 /proc/31394/task/31413/stat : 31413 (java) S 31391 31391 28528 0 -1 1077944384 1033 0 0 0 23 23 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973123570480 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 Current children cumulated CPU time: 1662.89 s Current children cumulated vsize: 27441856 KiB Current children cumulated memory: 23384132 KiB [startup+1248.8 s]* /proc/loadavg: 1.43 1.26 2.77 2/211 31506 /proc/meminfo: memFree=201780/32770688 swapFree=66961108/67108860 [pid=31391] ppid=31388 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/31391/stat : 31391 (scop.sh) S 31388 31391 28528 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418686347 115843072 349 33554432000 4194304 5098028 140736434223280 140736434220536 139970302546556 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20983808 140736434230053 140736434230380 140736434230380 140736434233293 0 /proc/31391/statm: 28282 349 296 221 0 87 0 [pid=31394] ppid=31391 vsize=27328728 memory=23382736 CPUtime=1669.8 cores=0-7 /proc/31394/stat : 31394 (java) S 31391 31391 28528 0 -1 1077944320 1232409 0 0 0 158963 8017 0 0 20 0 20 0 418686347 27984617472 5845684 33554432000 4194304 4196468 140729000372688 140729000355232 139975010328311 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 /proc/31394/statm: 6832182 5845684 3325 1 0 6792983 0 [pid=31394/tid=31395] ppid=31391 vsize=27328728 memory=6791534058613427641 CPUtime=1085.85 cores=0-7 /proc/31394/task/31395/stat : 31395 (java) R 31391 31391 28528 0 -1 4202560 201440 0 0 0 106760 1825 0 0 20 0 20 0 418686347 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974982167552 139974480504878 0 4 2 25189581 0 0 0 -1 1 0 0 9072 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31396] ppid=31391 vsize=27328728 memory=6944656592455360604 CPUtime=71.48 cores=0-7 /proc/31394/task/31396/stat : 31396 (java) S 31391 31391 28528 0 -1 1077944384 123924 0 0 0 6314 834 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139975014570896 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31397] ppid=31391 vsize=27328728 memory=6944656575208382560 CPUtime=71.53 cores=0-7 /proc/31394/task/31397/stat : 31397 (java) S 31391 31391 28528 0 -1 1077944384 128582 0 0 0 6457 696 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974797966096 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31398] ppid=31391 vsize=27328728 memory=4872558044660077418 CPUtime=71.44 cores=0-7 /proc/31394/task/31398/stat : 31398 (java) S 31391 31391 28528 0 -1 1077944384 95379 0 0 0 6446 698 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974431202448 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31399] ppid=31391 vsize=27328728 memory=6656426216303648864 CPUtime=70.93 cores=0-7 /proc/31394/task/31399/stat : 31399 (java) S 31391 31391 28528 0 -1 1077944384 132906 0 0 0 6359 734 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974430149648 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31400] ppid=31391 vsize=27328728 memory=6944656592387989600 CPUtime=71.42 cores=0-7 /proc/31394/task/31400/stat : 31400 (java) S 31391 31391 28528 0 -1 1077944384 136639 0 0 0 6445 697 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974429096336 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31401] ppid=31391 vsize=27328728 memory=6944652177228980320 CPUtime=71.6 cores=0-7 /proc/31394/task/31401/stat : 31401 (java) S 31391 31391 28528 0 -1 1077944384 89311 0 0 0 6361 799 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974428043536 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31402] ppid=31391 vsize=27328728 memory=6944656592455359580 CPUtime=71.66 cores=0-7 /proc/31394/task/31402/stat : 31402 (java) S 31391 31391 28528 0 -1 1077944384 135429 0 0 0 6324 842 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974426991248 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31403] ppid=31391 vsize=27328728 memory=4206186544037388384 CPUtime=71.62 cores=0-7 /proc/31394/task/31403/stat : 31403 (java) S 31391 31391 28528 0 -1 1077944384 115978 0 0 0 6313 849 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974425938448 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31404] ppid=31391 vsize=27328728 memory=1396 CPUtime=0.33 cores=0-7 /proc/31394/task/31404/stat : 31404 (java) S 31391 31391 28528 0 -1 1077944384 16703 0 0 0 28 5 0 0 20 0 20 0 418686351 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973128833648 139975010339458 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31405] ppid=31391 vsize=27328728 memory=23382736 CPUtime=0 cores=0-7 /proc/31394/task/31405/stat : 31405 (java) S 31391 31391 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418686352 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139972917060960 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31406] ppid=31391 vsize=27328728 memory=1680 CPUtime=0 cores=0-7 /proc/31394/task/31406/stat : 31406 (java) S 31391 31391 28528 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 418686352 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139972782839424 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31407] ppid=31391 vsize=27328728 memory=4100 CPUtime=0 cores=0-7 /proc/31394/task/31407/stat : 31407 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139972408334928 139975010346907 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31408] ppid=31391 vsize=27328728 memory=1808 CPUtime=3.33 cores=0-7 /proc/31394/task/31408/stat : 31408 (java) S 31391 31391 28528 0 -1 1077944384 9525 0 0 0 330 3 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973127780464 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 60 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31409] ppid=31391 vsize=27328728 memory=920 CPUtime=3.58 cores=0-7 /proc/31394/task/31409/stat : 31409 (java) S 31391 31391 28528 0 -1 1077944384 14032 0 0 0 356 2 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973126727664 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31410] ppid=31391 vsize=27328728 memory=6791534058613427641 CPUtime=3.2 cores=0-7 /proc/31394/task/31410/stat : 31410 (java) S 31391 31391 28528 0 -1 1077944384 9016 0 0 0 317 3 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973125675376 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31411] ppid=31391 vsize=27328728 memory=23382736 CPUtime=1.24 cores=0-7 /proc/31394/task/31411/stat : 31411 (java) S 31391 31391 28528 0 -1 1077944384 21111 0 0 0 120 4 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973124622576 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31412] ppid=31391 vsize=27328728 memory=23382736 CPUtime=0 cores=0-7 /proc/31394/task/31412/stat : 31412 (java) S 31391 31391 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139971910429536 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31413] ppid=31391 vsize=27328728 memory=-6684089083645693275 CPUtime=0.46 cores=0-7 /proc/31394/task/31413/stat : 31413 (java) S 31391 31391 28528 0 -1 1077944384 1033 0 0 0 23 23 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973123570480 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 Current children cumulated CPU time: 1669.8 s Current children cumulated vsize: 27441856 KiB Current children cumulated memory: 23384132 KiB [startup+1250.4 s] /proc/loadavg: 1.47 1.27 2.76 2/212 31508 /proc/meminfo: memFree=242988/32770688 swapFree=66961108/67108860 [pid=31391] ppid=31388 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/31391/stat : 31391 (scop.sh) S 31388 31391 28528 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418686347 115843072 349 33554432000 4194304 5098028 140736434223280 140736434220536 139970302546556 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20983808 140736434230053 140736434230380 140736434230380 140736434233293 0 /proc/31391/statm: 28282 349 296 221 0 87 0 [pid=31394] ppid=31391 vsize=27328728 memory=23382736 CPUtime=1670.93 cores=0-7 /proc/31394/stat : 31394 (java) S 31391 31391 28528 0 -1 1077944320 1232854 0 0 0 159075 8018 0 0 20 0 20 0 418686347 27984617472 5845684 33554432000 4194304 4196468 140729000372688 140729000355232 139975010328311 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 /proc/31394/statm: 6832182 5845684 3325 1 0 6792983 0 [pid=31394/tid=31395] ppid=31391 vsize=27328728 memory=1256 CPUtime=1086.97 cores=0-7 /proc/31394/task/31395/stat : 31395 (java) R 31391 31391 28528 0 -1 4202560 201885 0 0 0 106871 1826 0 0 20 0 20 0 418686347 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974982167552 139974484405775 0 4 2 25189581 0 0 0 -1 0 0 0 9118 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31396] ppid=31391 vsize=27328728 memory=5932 CPUtime=71.48 cores=0-7 /proc/31394/task/31396/stat : 31396 (java) S 31391 31391 28528 0 -1 1077944384 123924 0 0 0 6314 834 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139975014570896 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31397] ppid=31391 vsize=27328728 memory=784 CPUtime=71.53 cores=0-7 /proc/31394/task/31397/stat : 31397 (java) S 31391 31391 28528 0 -1 1077944384 128582 0 0 0 6457 696 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974797966096 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31398] ppid=31391 vsize=27328728 memory=0 CPUtime=71.44 cores=0-7 /proc/31394/task/31398/stat : 31398 (java) S 31391 31391 28528 0 -1 1077944384 95379 0 0 0 6446 698 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974431202448 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31399] ppid=31391 vsize=27328728 memory=5787477641288517003 CPUtime=70.93 cores=0-7 /proc/31394/task/31399/stat : 31399 (java) S 31391 31391 28528 0 -1 1077944384 132906 0 0 0 6359 734 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974430149648 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31400] ppid=31391 vsize=27328728 memory=108094 CPUtime=71.42 cores=0-7 /proc/31394/task/31400/stat : 31400 (java) S 31391 31391 28528 0 -1 1077944384 136639 0 0 0 6445 697 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974429096336 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31401] ppid=31391 vsize=27328728 memory=7133 CPUtime=71.6 cores=0-7 /proc/31394/task/31401/stat : 31401 (java) S 31391 31391 28528 0 -1 1077944384 89311 0 0 0 6361 799 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974428043536 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31402] ppid=31391 vsize=27328728 memory=7138 CPUtime=71.66 cores=0-7 /proc/31394/task/31402/stat : 31402 (java) S 31391 31391 28528 0 -1 1077944384 135429 0 0 0 6324 842 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974426991248 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31403] ppid=31391 vsize=27328728 memory=4486604260213485459 CPUtime=71.62 cores=0-7 /proc/31394/task/31403/stat : 31403 (java) S 31391 31391 28528 0 -1 1077944384 115978 0 0 0 6313 849 0 0 20 0 20 0 418686350 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139974425938448 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31404] ppid=31391 vsize=27328728 memory=928 CPUtime=0.33 cores=0-7 /proc/31394/task/31404/stat : 31404 (java) S 31391 31391 28528 0 -1 1077944384 16703 0 0 0 28 5 0 0 20 0 20 0 418686351 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973128833648 139975010339458 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31405] ppid=31391 vsize=27328728 memory=1628 CPUtime=0 cores=0-7 /proc/31394/task/31405/stat : 31405 (java) S 31391 31391 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418686352 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139972917060960 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31406] ppid=31391 vsize=27328728 memory=796 CPUtime=0 cores=0-7 /proc/31394/task/31406/stat : 31406 (java) S 31391 31391 28528 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 418686352 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139972782839424 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31407] ppid=31391 vsize=27328728 memory=1444 CPUtime=0 cores=0-7 /proc/31394/task/31407/stat : 31407 (java) S 31391 31391 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139972408334928 139975010346907 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31408] ppid=31391 vsize=27328728 memory=1984 CPUtime=3.33 cores=0-7 /proc/31394/task/31408/stat : 31408 (java) S 31391 31391 28528 0 -1 1077944384 9525 0 0 0 330 3 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973127780464 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 60 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31409] ppid=31391 vsize=27328728 memory=1396 CPUtime=3.58 cores=0-7 /proc/31394/task/31409/stat : 31409 (java) S 31391 31391 28528 0 -1 1077944384 14032 0 0 0 356 2 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973126727664 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31410] ppid=31391 vsize=27328728 memory=23382736 CPUtime=3.2 cores=0-7 /proc/31394/task/31410/stat : 31410 (java) S 31391 31391 28528 0 -1 1077944384 9016 0 0 0 317 3 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973125675376 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31411] ppid=31391 vsize=27328728 memory=19056 CPUtime=1.24 cores=0-7 /proc/31394/task/31411/stat : 31411 (java) S 31391 31391 28528 0 -1 1077944384 21111 0 0 0 120 4 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973124622576 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31412] ppid=31391 vsize=27328728 memory=14068 CPUtime=0 cores=0-7 /proc/31394/task/31412/stat : 31412 (java) S 31391 31391 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139971910429536 139975010338517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 [pid=31394/tid=31413] ppid=31391 vsize=27328728 memory=2120 CPUtime=0.46 cores=0-7 /proc/31394/task/31413/stat : 31413 (java) S 31391 31391 28528 0 -1 1077944384 1033 0 0 0 23 23 0 0 20 0 20 0 418686355 27984617472 5845684 33554432000 4194304 4196468 140729000372688 139973123570480 139975010339458 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 20013056 140729000375019 140729000375446 140729000375446 140729000378319 0 Current children cumulated CPU time: 1670.93 s Current children cumulated vsize: 27441856 KiB Current children cumulated memory: 23384132 KiB [startup+1252 s] /proc/loadavg: 1.47 1.27 2.76 2/193 31508 /proc/meminfo: memFree=25480284/32770688 swapFree=66961108/67108860 [pid=31391] ppid=31388 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/31391/stat : 31391 (scop.sh) S 31388 31391 28528 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418686347 115843072 349 33554432000 4194304 5098028 140736434223280 140736434220536 139970302546556 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20983808 140736434230053 140736434230380 140736434230380 140736434233293 0 /proc/31391/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 [startup+1252.4 s] /proc/loadavg: 1.47 1.27 2.76 2/193 31508 /proc/meminfo: memFree=25480284/32770688 swapFree=66961108/67108860 [pid=31391] ppid=31388 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/31391/stat : 31391 (scop.sh) S 31388 31391 28528 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418686347 115843072 349 33554432000 4194304 5098028 140736434223280 140736434220536 139970302546556 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20983808 140736434230053 140736434230380 140736434230380 140736434233293 0 /proc/31391/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 [startup+1252.8 s]* /proc/loadavg: 1.47 1.27 2.76 1/193 31508 /proc/meminfo: memFree=30881476/32770688 swapFree=66961108/67108860 [pid=31391] ppid=31388 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/31391/stat : 31391 (scop.sh) S 31388 31391 28528 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418686347 115843072 349 33554432000 4194304 5098028 140736434223280 140736434220536 139970302546556 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20983808 140736434230053 140736434230380 140736434230380 140736434233293 0 /proc/31391/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 [startup+1252.91 s] /proc/loadavg: 1.47 1.27 2.76 1/193 31508 /proc/meminfo: memFree=30881476/32770688 swapFree=66961108/67108860 [pid=31391] ppid=31388 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/31391/stat : 31391 (scop.sh) S 31388 31391 28528 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 418686347 115843072 349 33554432000 4194304 5098028 140736434223280 140736434220536 139970302546556 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20983808 140736434230053 140736434230380 140736434230380 140736434233293 0 /proc/31391/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): 1253 CPU time (s): 1673.21 CPU user time (s): 1591.69 CPU system time (s): 81.5208 CPU usage (%): 133.537 Max. virtual memory (cumulated for all children) (KiB): 27441856 Max. memory (cumulated for all children) (KiB): 23384132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1591.69 system time used= 81.5208 maximum resident set size= 23383016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1237166 page faults= 0 swaps= 0 block input operations= 2016 block output operations= 20983400 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 52665 involuntary context switches= 8554 # summary of solver processes directly reported to runsolver: # pid: 31391 # total CPU time (s): 1673.21 # total CPU user time (s): 1591.69 # total CPU system time (s): 81.5208 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.2549 second user time and 12.214 second system time The end
Begin job on node116 at 2019-09-14 04:16:46 IDJOB=4392460 IDBENCH=126849 IDSOLVER=2838 FILE ID=node116/4392460-1568427446 RUNJOBID= node116-1568427322-28555 PBS_JOBID= 21702297 Free space on /tmp= 61240 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/PropStress/PropStress-m1-s1/PropStress-0400.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392460-1568427446/watcher-4392460-1568427446 -o /tmp/evaluation-result-4392460-1568427446/solver-4392460-1568427446 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568427322-28555 --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-4392460-1568427446.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= cd36f5a432e3b868ff7ac280438203b6 RANDOM SEED=155247421 node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 29833700 kB MemAvailable: 31854244 kB Buffers: 148772 kB Cached: 2157068 kB SwapCached: 46660 kB Active: 929024 kB Inactive: 1429076 kB Active(anon): 4640 kB Inactive(anon): 87864 kB Active(file): 924384 kB Inactive(file): 1341212 kB Unevictable: 109332 kB Mlocked: 109332 kB SwapTotal: 67108860 kB SwapFree: 66961108 kB Dirty: 23828 kB Writeback: 0 kB AnonPages: 127916 kB Mapped: 43856 kB Shmem: 32000 kB Slab: 170324 kB SReclaimable: 141564 kB SUnreclaim: 28760 kB KernelStack: 3712 kB PageTables: 4864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 497848 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61220 MiB End job on node116 at 2019-09-14 04:37:39