Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop both+glucose-syrup (2018-07-31) | SAT | 18.204 | 5.36675 |
Name | Frb/ frb-35-17-1_c18.xml |
MD5SUM | 938558367576662423373d61b63119a7 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 13.7294 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 35 |
Number of constraints | 346 |
Number of domains | 1 |
Minimum domain size | 17 |
Maximum domain size | 17 |
Distribution of domain sizes | [{"size":17,"count":35}] |
Minimum variable degree | 12 |
Maximum variable degree | 28 |
Distribution of variable degrees | [{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":17,"count":1},{"degree":18,"count":3},{"degree":19,"count":2},{"degree":20,"count":2},{"degree":21,"count":4},{"degree":22,"count":3},{"degree":23,"count":4},{"degree":24,"count":1},{"degree":25,"count":3},{"degree":26,"count":1},{"degree":28,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":346}] |
Number of extensional constraints | 346 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":346}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-9831-serial-file.bin HOME/instance-4307466-1534202262.xml 0.65/0.53 0.65/0.53 scop both+glucose-syrup (2018-07-31) 0.65/0.53 (Encoding Process) 0.65/0.53 0.65/0.56 c BEGIN-Prog: Tue Aug 14 01:17:42 CEST 2018 0.65/0.56 c PID: 9834 0.65/0.56 c IP: 172.20.3.107 0.65/0.56 c HOST: node107.alineos.net 0.65/0.56 c (0,0) Parsing Begin 2.16/1.08 c (0,0) Parsing End 2.16/1.09 c (0,0) CSP: 35 int (0 aux), 0 bool (0 aux), 346 ctr, max domain size 17 2.16/1.09 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.16/1.09 c (0,0) Constraint Name Generate Begin 2.16/1.10 c (0,0) Ctr:HOME/instance-4307466-1534202262.xml,ExtensionConflict:IntVar 2.16/1.10 c (0,0) Constraint Name Generate End 2.16/1.10 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 2.16/1.10 c (0,0) CSP to CSPinCNF Begin 3.97/1.69 c (1,1) translated 35 (10%) constraints 4.79/1.86 c (1,1) translated 70 (20%) constraints 5.20/2.00 c (1,1) translated 104 (30%) constraints 6.05/2.13 c (1,1) translated 139 (40%) constraints 6.42/2.23 c (1,1) translated 173 (50%) constraints 6.81/2.35 c (1,1) translated 208 (60%) constraints 7.22/2.45 c (1,1) translated 243 (70%) constraints 7.63/2.55 c (2,2) translated 277 (80%) constraints 8.04/2.64 c (2,2) translated 312 (90%) constraints 8.43/2.72 c (2,2) translated 346 (100%) constraints 8.77/2.88 c (2,2) STATISTICS1:HOME/instance-4307466-1534202262.xml,ExtensionConflict:IntVar,35,19032,-1,17,4,1,,17:73576,4:16554;3:2404;2:74,1:73576, 8.77/2.88 c (2,2) ========================================== 8.77/2.88 c (2,2) Both Encoding selects: 8.77/2.88 c (2,2) Order 8.77/2.88 c (2,2) ========================================== 9.19/2.97 c (2,2) translated 1904 (10%) constraints 9.69/3.01 c (2,2) translated 3807 (20%) constraints 9.69/3.05 c (2,2) translated 5710 (30%) constraints 9.69/3.09 c (2,2) translated 7613 (40%) constraints 10.07/3.12 c (2,2) translated 9516 (50%) constraints 10.07/3.15 c (2,2) translated 11420 (60%) constraints 10.07/3.18 c (2,2) translated 13323 (70%) constraints 10.32/3.21 c (2,2) translated 15226 (80%) constraints 10.32/3.24 c (2,2) translated 17129 (90%) constraints 10.32/3.27 c (2,2) translated 19032 (100%) constraints 10.32/3.27 c (2,2) CSP to CSPinCNF End 10.32/3.27 c (2,2) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17 10.32/3.27 c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.32/3.27 c (2,2) CSPinCNF Propagation Begin 10.95/3.47 c (2,2) 0 values, 2612 unsatisfiable literals, and 0 valid clauses are removed 10.95/3.47 c (2,2) CSPinCNF Propagation End 10.95/3.47 c (2,2) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17 10.95/3.47 c (2,2) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 10.95/3.47 c (2,2) Simplify CSPinCNF Begin 11.33/3.53 c (2,2) Simplify CSPinCNF End 11.33/3.53 c (2,2) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17 11.33/3.53 c (2,2) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 11.33/3.53 c (2,2) Calculate Precise Domain Begin 11.33/3.53 c (2,2) 0 values are removed by re-calculation 11.33/3.53 c (2,2) Calculate Precise Domain End 11.33/3.53 c (2,2) CSP: 35 int (0 aux), 0 bool (0 aux), 19032 ctr, max domain size 17 11.33/3.53 c (2,2) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 11.33/3.53 c (2,2) CSPinCNF to SatSolver Begin 11.66/3.61 c (3,3) 1904 (10 %) CSP clauses are encoded (560 SAT variables, 2428 SAT clauses) 11.66/3.65 c (3,3) 3807 (20 %) CSP clauses are encoded (560 SAT variables, 4331 SAT clauses) 11.66/3.68 c (3,3) 5710 (30 %) CSP clauses are encoded (560 SAT variables, 6234 SAT clauses) 12.06/3.70 c (3,3) 7613 (40 %) CSP clauses are encoded (560 SAT variables, 8137 SAT clauses) 12.06/3.72 c (3,3) 9516 (50 %) CSP clauses are encoded (560 SAT variables, 10040 SAT clauses) 12.06/3.74 c (3,3) 11420 (60 %) CSP clauses are encoded (560 SAT variables, 11944 SAT clauses) 12.06/3.75 c (3,3) 13323 (70 %) CSP clauses are encoded (560 SAT variables, 13847 SAT clauses) 12.06/3.77 c (3,3) 15226 (80 %) CSP clauses are encoded (560 SAT variables, 15750 SAT clauses) 12.06/3.78 c (3,3) 17129 (90 %) CSP clauses are encoded (560 SAT variables, 17653 SAT clauses) 12.06/3.80 c (3,3) 19032 (100 %) CSP clauses are encoded (560 SAT variables, 19556 SAT clauses) 12.06/3.80 c (3,3) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 12.06/3.80 c (3,3) CSPinCNF to SatSolver End 12.06/3.80 c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 12.83/3.91 c (3,3) STATISTICS2:HOME/instance-4307466-1534202262.xml,ExtensionConflict:IntVar,35,19032,-1,17,4,1,,17:70964,4:14212;3:4476;2:344,1:70964, 12.83/3.91 c (3,3) 560 bool, 19557 clause 12.83/3.91 c (3,3) Export Begin 12.83/3.99 c (3,3) Export to HOME/scop-9831-serial-file.bin 12.83/3.99 c (3,3) Export End 12.83/3.99 c (3,3) Export File Size: 0.01 MB 12.83/3.99 c (3,3) 0,0,2,2,2,2,3,STOP-AFTER(DIMACS) 12.83/3.99 c END-Prog: Tue Aug 14 01:17:46 CEST 2018 13.13/4.05 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-9831-serial-file.bin 13.16/4.54 c (0,0) Read Serial File Begin 13.16/4.54 c (0,0) HOME/scop-9831-serial-file.bin 13.16/4.70 c (0,0) Read Serial File End 13.16/4.71 13.16/4.71 scop order+glucose-syrup (2018-07-31) 13.16/4.71 (Solving Process) 13.16/4.71 13.16/4.74 c BEGIN-Prog: Tue Aug 14 01:17:47 CEST 2018 13.16/4.74 c PID: 9854 13.16/4.74 c IP: 172.20.3.107 13.16/4.74 c HOST: node107.alineos.net 13.16/4.74 c (0,0) SatSolver.solve Begin 13.16/4.74 c (0,0) 0 bool, 0 clause 13.16/4.74 c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307466-1534202262.xml-scop-9834.cnf 17.44/5.28 c (0,0) c 17.44/5.28 c (0,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 17.44/5.28 c (0,0) c 17.44/5.28 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 17.44/5.28 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 17.44/5.28 c (0,0) c ========================================[ Problem Statistics ]=========================================== 17.44/5.28 c (0,0) c | | 17.44/5.28 c (0,0) c | Number of variables: 560 | 17.44/5.28 c (0,0) c | Number of clauses: 19557 | 17.44/5.28 c (0,0) c | Parse time: 0.01 s | 17.44/5.28 c (0,0) c | | 17.44/5.28 c (0,0) c | Simplification time: 0.02 s | 17.44/5.28 c (0,0) c | | 17.44/5.28 c (0,0) c | Generating clones | 17.44/5.28 c (0,0) c | all clones generated. Memory = 34.04Mb. | 17.44/5.28 c (0,0) c ========================================================================================================| 17.44/5.28 c (0,0) c last restart ## conflicts : 239 15 17.44/5.28 c (0,0) c Thread 6 is 100% pure glucose! First thread to finish! (SAT answer). 17.44/5.28 c (0,0) c Total Memory so far : 615.88Mb 17.44/5.28 c (0,0) c 17.44/5.28 c (0,0) c real time : 0.5135 s 17.44/5.28 c (0,0) c cpu time : 3.6984 s 17.44/5.28 c (0,0) c 17.44/5.28 c (0,0) c 17.44/5.28 c (0,0) c 17.44/5.28 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 17.44/5.28 c (0,0) c 17.44/5.28 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.44/5.28 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 17.44/5.28 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.44/5.28 c (0,0) c | Conflicts | 117144 | 15101 | 13761 | 16081 | 13919 | 14351 | 14773 | 15160 | 13998 | 17.44/5.28 c (0,0) c | Decisions | 148350 | 18683 | 17274 | 20218 | 17624 | 18476 | 18934 | 19176 | 17965 | 17.44/5.28 c (0,0) c | Propagations | 9755400 | 1223053 | 1122447 | 1326175 | 1201433 | 1186359 | 1234154 | 1248868 | 1212911 | 17.44/5.28 c (0,0) c | Avg_Trail | | 273 | 278 | 284 | 286 | 280 | 284 | 280 | 284 | 17.44/5.28 c (0,0) c | Avg_DL | | 21 | 11 | 11 | 11 | 12 | 11 | 12 | 11 | 17.44/5.28 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 17.44/5.28 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 17.44/5.28 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.44/5.28 c (0,0) c | Exported | 17832 | 2734 | 2236 | 2226 | 2166 | 2186 | 2168 | 2109 | 2007 | 17.44/5.28 c (0,0) c | Imported | 111043 | 11539 | 10939 | 14285 | 12735 | 15443 | 14852 | 15436 | 15814 | 17.44/5.28 c (0,0) c | Good | 50 | 6 | 3 | 8 | 5 | 7 | 8 | 7 | 6 | 17.44/5.28 c (0,0) c | Purge | 110993 | 11533 | 10936 | 14277 | 12730 | 15436 | 14844 | 15429 | 15808 | 17.44/5.28 c (0,0) c | Promoted | 3179 | 247 | 573 | 129 | 488 | 520 | 382 | 390 | 450 | 17.44/5.28 c (0,0) c | Remove_Imp | 15304 | 1535 | 0 | 0 | 2725 | 2705 | 0 | 3510 | 4829 | 17.44/5.28 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 17.44/5.28 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.44/5.28 c (0,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 17.44/5.28 c (0,0) c | Binaries | | 1 | 2 | 0 | 1 | 1 | 0 | 1 | 2 | 17.44/5.28 c (0,0) c | Glues | | 75 | 76 | 90 | 83 | 85 | 130 | 93 | 94 | 17.44/5.28 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.44/5.28 c (0,0) c | Orig_Seen | 70 % | 12088 | 13662 | 13282 | 14010 | 14518 | 14593 | 13891 | 14372 | 17.44/5.28 c (0,0) c | Diff Orig seen| | - 1803 | - 229 | - 609 | 119 | 627 | 702 | X | 481 | 17.44/5.28 c (0,0) c | Hamming | 26 % | 143 | 129 | 165 | 137 | 179 | 133 | X | 164 | 17.44/5.28 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 17.44/5.28 c (0,0) 17.44/5.28 c (0,0) s SATISFIABLE 17.44/5.30 c (0,0) SatSolver.solve End 17.44/5.30 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 17.44/5.30 c (0,0) Show results Begin 18.07/5.35 s SATISFIABLE 18.07/5.35 v <instantiation> 18.07/5.35 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34]</list> 18.07/5.35 v <values>4 4 6 10 15 3 7 15 2 7 9 1 6 11 0 1 1 14 10 9 15 15 6 5 3 9 6 6 6 7 2 10 12 5 14</values> 18.07/5.35 v </instantiation> 18.07/5.35 c (0,0) Show results End 18.07/5.35 c (0,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 18.07/5.35 c (0,0) 0,0,STOP-AFTER(ALL) 18.07/5.35 c END-Prog: Tue Aug 14 01:17:47 CEST 2018
OK
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 (13234 MiB free) memory of node 1: 16384 MiB (10746 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307466-1534202262/watcher-4307466-1534202262 -o /tmp/evaluation-result-4307466-1534202262/solver-4307466-1534202262 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534202255-9686 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307466-1534202262.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 Current StackSize limit: 8192 KiB solver pid=9831, runsolver pid=9828 [startup+0.100154 s]* /proc/loadavg: 7.41 8.02 8.15 2/199 9853 /proc/meminfo: memFree=24461104/32770624 swapFree=67108524/67108860 [pid=9831] ppid=9828 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9831/stat : 9831 (scop.sh) S 9828 9831 9659 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237789374 115843072 349 33554432000 4194304 5098028 140731452083712 140731452080968 140019532984956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11407360 140731452089379 140731452089603 140731452089603 140731452092365 0 /proc/9831/statm: 28282 349 296 221 0 87 0 [pid=9834] ppid=9831 vsize=27313900 memory=107496 CPUtime=0.11 cores=0-7 /proc/9834/stat : 9834 (java) S 9831 9831 9659 0 -1 1077944320 6380 0 0 0 8 3 0 0 20 0 20 0 237789375 27969433600 26874 33554432000 4194304 4196468 140729956746864 140729956729408 139775862181623 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 /proc/9834/statm: 6828475 26874 2748 1 0 6790935 0 [pid=9834/tid=9835] ppid=9831 vsize=27313900 memory=4355716905285350299 CPUtime=0.08 cores=0-7 /proc/9834/task/9835/stat : 9835 (java) R 9831 9831 9659 0 -1 4202560 4489 0 0 0 6 2 0 0 20 0 20 0 237789375 27969433600 26939 33554432000 4194304 4196468 140729956746864 139775834016304 139775841704064 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9836] ppid=9831 vsize=27313900 memory=732370609822546917 CPUtime=0 cores=0-7 /proc/9834/task/9836/stat : 9836 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 26939 33554432000 4194304 4196468 140729956746864 139775866424208 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9837] ppid=9831 vsize=27313900 memory=140471485093504 CPUtime=0 cores=0-7 /proc/9834/task/9837/stat : 9837 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 26939 33554432000 4194304 4196468 140729956746864 139775284509456 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9838] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9838/stat : 9838 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 26939 33554432000 4194304 4196468 140729956746864 139775283457168 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9839] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9839/stat : 9839 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 26939 33554432000 4194304 4196468 140729956746864 139775282404368 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9840] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9840/stat : 9840 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 26939 33554432000 4194304 4196468 140729956746864 139775281351056 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9841] ppid=9831 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/9834/task/9841/stat : 9841 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 26939 33554432000 4194304 4196468 140729956746864 139775280298256 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9842] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9842/stat : 9842 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 26939 33554432000 4194304 4196468 140729956746864 139775279245968 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9843] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9843/stat : 9843 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 26939 33554432000 4194304 4196468 140729956746864 139775278193168 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9844] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9844/stat : 9844 (java) S 9831 9831 9659 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 237789379 27969433600 26939 33554432000 4194304 4196468 140729956746864 139774115207792 139775862192770 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9845] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9845/stat : 9845 (java) S 9831 9831 9659 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237789379 27969433600 26939 33554432000 4194304 4196468 140729956746864 139773603734816 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9846] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9846/stat : 9846 (java) S 9831 9831 9659 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237789380 27969433600 26939 33554432000 4194304 4196468 140729956746864 139773469513328 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9847] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9847/stat : 9847 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237789382 27969433600 26939 33554432000 4194304 4196468 140729956746864 139773095008848 139775862200219 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9848] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9848/stat : 9848 (java) S 9831 9831 9659 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 237789382 27969433600 26939 33554432000 4194304 4196468 140729956746864 139774114154608 139775862192770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9849] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9849/stat : 9849 (java) S 9831 9831 9659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237789382 27969433600 26939 33554432000 4194304 4196468 140729956746864 139774113101808 139775862192770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9850] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9850/stat : 9850 (java) S 9831 9831 9659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237789382 27969433600 26939 33554432000 4194304 4196468 140729956746864 139774112049520 139775862192770 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9851] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9851/stat : 9851 (java) S 9831 9831 9659 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 20 0 237789382 27969433600 26939 33554432000 4194304 4196468 140729956746864 139774110996720 139775862192770 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9852] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9852/stat : 9852 (java) S 9831 9831 9659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237789382 27969433600 26939 33554432000 4194304 4196468 140729956746864 139772597103456 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9853] ppid=9831 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/9834/task/9853/stat : 9853 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237789383 27969433600 26939 33554432000 4194304 4196468 140729956746864 139774109944624 139775862192770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 108892 KiB [startup+0.21008 s]* /proc/loadavg: 7.41 8.02 8.15 2/199 9853 /proc/meminfo: memFree=24444856/32770624 swapFree=67108524/67108860 [pid=9831] ppid=9828 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9831/stat : 9831 (scop.sh) S 9828 9831 9659 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237789374 115843072 349 33554432000 4194304 5098028 140731452083712 140731452080968 140019532984956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11407360 140731452089379 140731452089603 140731452089603 140731452092365 0 /proc/9831/statm: 28282 349 296 221 0 87 0 [pid=9834] ppid=9831 vsize=27313900 memory=121848 CPUtime=0.24 cores=0-7 /proc/9834/stat : 9834 (java) S 9831 9831 9659 0 -1 1077944320 10191 0 0 0 20 4 0 0 20 0 20 0 237789375 27969433600 30462 33554432000 4194304 4196468 140729956746864 140729956729408 139775862181623 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 /proc/9834/statm: 6828475 30462 2860 1 0 6790935 0 [pid=9834/tid=9835] ppid=9831 vsize=27313900 memory=0 CPUtime=0.19 cores=0-7 /proc/9834/task/9835/stat : 9835 (java) R 9831 9831 9659 0 -1 4202560 8067 0 0 0 16 3 0 0 20 0 20 0 237789375 27969433600 30462 33554432000 4194304 4196468 140729956746864 139775833990368 139775862203549 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9836] ppid=9831 vsize=27313900 memory=280942819694328 CPUtime=0 cores=0-7 /proc/9834/task/9836/stat : 9836 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 30462 33554432000 4194304 4196468 140729956746864 139775866424208 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9837] ppid=9831 vsize=27313900 memory=140471485093504 CPUtime=0 cores=0-7 /proc/9834/task/9837/stat : 9837 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 30462 33554432000 4194304 4196468 140729956746864 139775284509456 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9838] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9838/stat : 9838 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 30462 33554432000 4194304 4196468 140729956746864 139775283457168 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9839] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9839/stat : 9839 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 30462 33554432000 4194304 4196468 140729956746864 139775282404368 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9840] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9840/stat : 9840 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 30462 33554432000 4194304 4196468 140729956746864 139775281351056 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9841] ppid=9831 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/9834/task/9841/stat : 9841 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 30462 33554432000 4194304 4196468 140729956746864 139775280298256 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9842] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9842/stat : 9842 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 30462 33554432000 4194304 4196468 140729956746864 139775279245968 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9843] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9843/stat : 9843 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 30462 33554432000 4194304 4196468 140729956746864 139775278193168 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9844] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9844/stat : 9844 (java) S 9831 9831 9659 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 237789379 27969433600 30462 33554432000 4194304 4196468 140729956746864 139774115207792 139775862192770 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9845] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9845/stat : 9845 (java) S 9831 9831 9659 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237789379 27969433600 30462 33554432000 4194304 4196468 140729956746864 139773603734816 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9846] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9846/stat : 9846 (java) S 9831 9831 9659 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237789380 27969433600 30462 33554432000 4194304 4196468 140729956746864 139773469513328 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9847] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9847/stat : 9847 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237789382 27969433600 30462 33554432000 4194304 4196468 140729956746864 139773095008848 139775862200219 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9848] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9848/stat : 9848 (java) S 9831 9831 9659 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 20 0 237789382 27969433600 30462 33554432000 4194304 4196468 140729956746864 139774114154608 139775862192770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9849] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9849/stat : 9849 (java) S 9831 9831 9659 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 237789382 27969433600 30462 33554432000 4194304 4196468 140729956746864 139774113101808 139775862192770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9850] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9850/stat : 9850 (java) S 9831 9831 9659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237789382 27969433600 30462 33554432000 4194304 4196468 140729956746864 139774112049520 139775862192770 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9851] ppid=9831 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7 /proc/9834/task/9851/stat : 9851 (java) R 9831 9831 9659 0 -1 4202560 284 0 0 0 2 0 0 0 20 0 20 0 237789382 27969433600 30462 33554432000 4194304 4196468 140729956746864 139774110996720 139775840671856 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9852] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9852/stat : 9852 (java) S 9831 9831 9659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237789382 27969433600 30462 33554432000 4194304 4196468 140729956746864 139772597103456 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9853] ppid=9831 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/9834/task/9853/stat : 9853 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237789383 27969433600 30462 33554432000 4194304 4196468 140729956746864 139774109944624 139775862192770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 123244 KiB [startup+0.309327 s]* /proc/loadavg: 7.41 8.02 8.15 2/199 9853 /proc/meminfo: memFree=24439552/32770624 swapFree=67108524/67108860 [pid=9831] ppid=9828 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9831/stat : 9831 (scop.sh) S 9828 9831 9659 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237789374 115843072 349 33554432000 4194304 5098028 140731452083712 140731452080968 140019532984956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11407360 140731452089379 140731452089603 140731452089603 140731452092365 0 /proc/9831/statm: 28282 349 296 221 0 87 0 [pid=9834] ppid=9831 vsize=27313900 memory=125620 CPUtime=0.41 cores=0-7 /proc/9834/stat : 9834 (java) S 9831 9831 9659 0 -1 1077944320 10739 0 0 0 37 4 0 0 20 0 20 0 237789375 27969433600 31405 33554432000 4194304 4196468 140729956746864 140729956729408 139775862181623 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 /proc/9834/statm: 6828475 31405 2965 1 0 6790935 0 [pid=9834/tid=9835] ppid=9831 vsize=27313900 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/9834/task/9835/stat : 9835 (java) R 9831 9831 9659 0 -1 4202560 8447 0 0 0 26 3 0 0 20 0 20 0 237789375 27969433600 31405 33554432000 4194304 4196468 140729956746864 139775833977072 139775843745152 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9836] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9836/stat : 9836 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 31405 33554432000 4194304 4196468 140729956746864 139775866424208 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9837] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9837/stat : 9837 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 31405 33554432000 4194304 4196468 140729956746864 139775284509456 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9838] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9838/stat : 9838 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 31405 33554432000 4194304 4196468 140729956746864 139775283457168 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9839] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9839/stat : 9839 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 31405 33554432000 4194304 4196468 140729956746864 139775282404368 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9840] ppid=9831 vsize=27313900 memory=2244 CPUtime=0 cores=0-7 /proc/9834/task/9840/stat : 9840 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 31405 33554432000 4194304 4196468 140729956746864 139775281351056 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9841] ppid=9831 vsize=27313900 memory=140471334695855 CPUtime=0 cores=0-7 /proc/9834/task/9841/stat : 9841 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 31405 33554432000 4194304 4196468 140729956746864 139775280298256 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9842] ppid=9831 vsize=27313900 memory=140471334698160 CPUtime=0 cores=0-7 /proc/9834/task/9842/stat : 9842 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 31405 33554432000 4194304 4196468 140729956746864 139775279245968 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9843] ppid=9831 vsize=27313900 memory=140471334700464 CPUtime=0 cores=0-7 /proc/9834/task/9843/stat : 9843 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27969433600 31405 33554432000 4194304 4196468 140729956746864 139775278193168 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9844] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9844/stat : 9844 (java) S 9831 9831 9659 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 237789379 27969433600 31405 33554432000 4194304 4196468 140729956746864 139774115207792 139775862192770 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9845] ppid=9831 vsize=27313900 memory=280942669407888 CPUtime=0 cores=0-7 /proc/9834/task/9845/stat : 9845 (java) S 9831 9831 9659 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237789379 27969433600 31405 33554432000 4194304 4196468 140729956746864 139773603734816 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9846] ppid=9831 vsize=27313900 memory=280942669414800 CPUtime=0 cores=0-7 /proc/9834/task/9846/stat : 9846 (java) S 9831 9831 9659 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 237789380 27969433600 31405 33554432000 4194304 4196468 140729956746864 139773469513328 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9847] ppid=9831 vsize=27313900 memory=280942669356080 CPUtime=0 cores=0-7 /proc/9834/task/9847/stat : 9847 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237789382 27969433600 31405 33554432000 4194304 4196468 140729956746864 139773095008848 139775862200219 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9848] ppid=9831 vsize=27313900 memory=280942669428624 CPUtime=0.02 cores=0-7 /proc/9834/task/9848/stat : 9848 (java) S 9831 9831 9659 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 20 0 237789382 27969433600 31405 33554432000 4194304 4196468 140729956746864 139774114154608 139775862192770 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9849] ppid=9831 vsize=27313900 memory=280942669435536 CPUtime=0.01 cores=0-7 /proc/9834/task/9849/stat : 9849 (java) S 9831 9831 9659 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 237789382 27969433600 31405 33554432000 4194304 4196468 140729956746864 139774113101808 139775862192770 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9850] ppid=9831 vsize=27313900 memory=280942669433232 CPUtime=0.01 cores=0-7 /proc/9834/task/9850/stat : 9850 (java) S 9831 9831 9659 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 20 0 237789382 27969433600 31405 33554432000 4194304 4196468 140729956746864 139774112049520 139775862192770 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9851] ppid=9831 vsize=27313900 memory=280942669449392 CPUtime=0.07 cores=0-7 /proc/9834/task/9851/stat : 9851 (java) S 9831 9831 9659 0 -1 1077944384 305 0 0 0 7 0 0 0 20 0 20 0 237789382 27969433600 31405 33554432000 4194304 4196468 140729956746864 139774110996720 139775862192770 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9852] ppid=9831 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9852/stat : 9852 (java) S 9831 9831 9659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237789382 27969433600 31405 33554432000 4194304 4196468 140729956746864 139772597103456 139775862191829 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9853] ppid=9831 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/9834/task/9853/stat : 9853 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789383 27969433600 31405 33554432000 4194304 4196468 140729956746864 139774109944624 139775862192770 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 127016 KiB [startup+0.70092 s] /proc/loadavg: 7.41 8.02 8.15 2/199 9853 /proc/meminfo: memFree=24417064/32770624 swapFree=67108524/67108860 [pid=9831] ppid=9828 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9831/stat : 9831 (scop.sh) S 9828 9831 9659 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237789374 115843072 349 33554432000 4194304 5098028 140731452083712 140731452080968 140019532984956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11407360 140731452089379 140731452089603 140731452089603 140731452092365 0 /proc/9831/statm: 28282 349 296 221 0 87 0 [pid=9834] ppid=9831 vsize=27320172 memory=164868 CPUtime=1.03 cores=0-7 /proc/9834/stat : 9834 (java) S 9831 9831 9659 0 -1 1077944320 17710 0 0 0 97 6 0 0 20 0 20 0 237789375 27975856128 41217 33554432000 4194304 4196468 140729956746864 140729956729408 139775862181623 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 /proc/9834/statm: 6830043 41217 3127 1 0 6791447 0 [pid=9834/tid=9835] ppid=9831 vsize=27320172 memory=280942669744256 CPUtime=0.66 cores=0-7 /proc/9834/task/9835/stat : 9835 (java) R 9831 9831 9659 0 -1 4202560 14848 0 0 0 62 4 0 0 20 0 20 0 237789375 27975856128 41217 33554432000 4194304 4196468 140729956746864 139775834018752 139775846262110 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9836] ppid=9831 vsize=27320172 memory=5119601018020 CPUtime=0 cores=0-7 /proc/9834/task/9836/stat : 9836 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237789377 27975856128 41217 33554432000 4194304 4196468 140729956746864 139775866424208 139775862191829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9837] ppid=9831 vsize=27320172 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9837/stat : 9837 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237789377 27975856128 41217 33554432000 4194304 4196468 140729956746864 139775284509456 139775862191829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9838] ppid=9831 vsize=27320172 memory=0 CPUtime=0 cores=0-7 /proc/9834/task/9838/stat : 9838 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237789377 27975856128 41217 33554432000 4194304 4196468 140729956746864 139775283457168 139775862191829 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 ################ # More data... # ################ /proc/9834/task/9846/stat : 9846 (java) S 9831 9831 9659 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 237789380 27986509824 316450 33554432000 4194304 4196468 140729956746864 139773469513328 139775862191829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9847] ppid=9831 vsize=27330576 memory=3472329232547328048 CPUtime=0 cores=0-7 /proc/9834/task/9847/stat : 9847 (java) S 9831 9831 9659 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 237789382 27986509824 316450 33554432000 4194304 4196468 140729956746864 139773095007616 139775862191829 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9848] ppid=9831 vsize=27330576 memory=3712 CPUtime=2.6 cores=0-7 /proc/9834/task/9848/stat : 9848 (java) S 9831 9831 9659 0 -1 1077944384 2845 0 0 0 259 1 0 0 20 0 19 0 237789382 27986509824 316450 33554432000 4194304 4196468 140729956746864 139774114154608 139775862192770 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9849] ppid=9831 vsize=27330576 memory=64392 CPUtime=2.89 cores=0-7 /proc/9834/task/9849/stat : 9849 (java) R 9831 9831 9659 0 -1 4202560 1604 0 0 0 289 0 0 0 20 0 19 0 237789382 27986509824 316450 33554432000 4194304 4196468 140729956746864 139774113082816 139775842903567 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9850] ppid=9831 vsize=27330576 memory=1064 CPUtime=2.55 cores=0-7 /proc/9834/task/9850/stat : 9850 (java) S 9831 9831 9659 0 -1 1077944384 1718 0 0 0 254 1 0 0 20 0 19 0 237789382 27986509824 316450 33554432000 4194304 4196468 140729956746864 139774112049520 139775862192770 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9851] ppid=9831 vsize=27330576 memory=2072 CPUtime=1.09 cores=0-7 /proc/9834/task/9851/stat : 9851 (java) S 9831 9831 9659 0 -1 1077944384 3483 0 0 0 107 2 0 0 20 0 19 0 237789382 27986509824 316450 33554432000 4194304 4196468 140729956746864 139774110996720 139775862192770 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 [pid=9834/tid=9852] ppid=9831 vsize=27330576 memory=1740 CPUtime=0 cores=0-7 /proc/9834/task/9852/stat : 9852 (java) S 9831 9831 9659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 237789382 27986509824 316450 33554432000 4194304 4196468 140729956746864 139772597103456 139775862191829 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7655424 140729956754410 140729956754733 140729956754733 140729956757455 0 Current children cumulated CPU time: 13.13 s Current children cumulated vsize: 27443704 KiB Current children cumulated memory: 1267196 KiB [startup+4.80024 s] /proc/loadavg: 7.06 7.94 8.12 2/198 9853 /proc/meminfo: memFree=23301392/32770624 swapFree=67108524/67108860 [pid=9831] ppid=9828 vsize=113128 memory=1472 CPUtime=13.16 cores=0-7 /proc/9831/stat : 9831 (scop.sh) S 9828 9831 9659 0 -1 4202496 590 29277 0 0 0 0 1286 30 20 0 1 0 237789374 115843072 368 33554432000 4194304 5098028 140731452083712 140731452080456 140019532984956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11407360 140731452089379 140731452089603 140731452089603 140731452092365 0 /proc/9831/statm: 28282 368 311 221 0 87 0 Current children cumulated CPU time: 13.16 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1472 KiB [startup+5.20824 s] /proc/loadavg: 7.06 7.94 8.12 9/212 9887 /proc/meminfo: memFree=24424504/32770624 swapFree=67108524/67108860 [pid=9831] ppid=9828 vsize=113128 memory=1472 CPUtime=13.16 cores=0-7 /proc/9831/stat : 9831 (scop.sh) S 9828 9831 9659 0 -1 4202496 590 29277 0 0 0 0 1286 30 20 0 1 0 237789374 115843072 368 33554432000 4194304 5098028 140731452083712 140731452080456 140019532984956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11407360 140731452089379 140731452089603 140731452089603 140731452092365 0 /proc/9831/statm: 28282 368 311 221 0 87 0 [pid=9854] ppid=9831 vsize=8413904 memory=119204 CPUtime=1.12 cores=0-7 /proc/9854/stat : 9854 (java) S 9831 9831 9659 0 -1 1077944320 17496 0 0 0 106 6 0 0 20 0 24 0 237789780 8615837696 29801 33554432000 4194304 4196468 140720823225056 140720823207600 140677635444471 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 /proc/9854/statm: 2103476 29801 3146 1 0 2064875 0 [pid=9874] ppid=9854 vsize=630660 memory=42840 CPUtime=3.16 cores=0-7 /proc/9874/stat : 9874 (glucose-syrup) S 9854 9831 9659 0 -1 1077944320 10740 0 0 0 310 6 0 0 20 0 9 0 237789851 645795840 10710 33554432000 4194304 4373367 140727050053840 140727050052384 140660368177794 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6470912 6472264 8331264 140727050056785 140727050056916 140727050056916 140727050059719 0 /proc/9874/statm: 157665 10710 379 44 0 153353 0 [pid=9874/tid=9880] ppid=9854 vsize=630660 memory=0 CPUtime=0.38 cores=0-7 /proc/9874/task/9880/stat : 9880 (glucose-syrup) R 9854 9831 9659 0 -1 4202560 897 0 0 0 38 0 0 0 20 0 9 0 237789855 645795840 10710 33554432000 4194304 4373367 140727050053840 140660352949520 140660368187994 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 8331264 140727050056785 140727050056916 140727050056916 140727050059719 0 [pid=9874/tid=9881] ppid=9854 vsize=630660 memory=0 CPUtime=0.36 cores=0-7 /proc/9874/task/9881/stat : 9881 (glucose-syrup) R 9854 9831 9659 0 -1 4202560 1076 0 0 0 36 0 0 0 20 0 9 0 237789855 645795840 10710 33554432000 4194304 4373367 140727050053840 140660344556688 4272344 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 8331264 140727050056785 140727050056916 140727050056916 140727050059719 0 [pid=9874/tid=9882] ppid=9854 vsize=630660 memory=0 CPUtime=0.4 cores=0-7 /proc/9874/task/9882/stat : 9882 (glucose-syrup) R 9854 9831 9659 0 -1 4202560 855 0 0 0 39 1 0 0 20 0 9 0 237789855 645795840 10710 33554432000 4194304 4373367 140727050053840 140660336163984 4271834 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 8331264 140727050056785 140727050056916 140727050056916 140727050059719 0 [pid=9874/tid=9883] ppid=9854 vsize=630660 memory=0 CPUtime=0.37 cores=0-7 /proc/9874/task/9883/stat : 9883 (glucose-syrup) R 9854 9831 9659 0 -1 4202560 1013 0 0 0 37 0 0 0 20 0 9 0 237789855 645795840 10710 33554432000 4194304 4373367 140727050053840 140660327771504 4271904 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 8331264 140727050056785 140727050056916 140727050056916 140727050059719 0 [pid=9874/tid=9884] ppid=9854 vsize=630660 memory=0 CPUtime=0.38 cores=0-7 /proc/9874/task/9884/stat : 9884 (glucose-syrup) R 9854 9831 9659 0 -1 4202560 1046 0 0 0 37 1 0 0 20 0 9 0 237789855 645795840 10710 33554432000 4194304 4373367 140727050053840 140660319378576 4271828 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 8331264 140727050056785 140727050056916 140727050056916 140727050059719 0 [pid=9874/tid=9885] ppid=9854 vsize=630660 memory=0 CPUtime=0.39 cores=0-7 /proc/9874/task/9885/stat : 9885 (glucose-syrup) R 9854 9831 9659 0 -1 4202560 947 0 0 0 39 0 0 0 20 0 9 0 237789855 645795840 10710 33554432000 4194304 4373367 140727050053840 140660310985872 4294234 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 8331264 140727050056785 140727050056916 140727050056916 140727050059719 0 [pid=9874/tid=9886] ppid=9854 vsize=630660 memory=0 CPUtime=0.39 cores=0-7 /proc/9874/task/9886/stat : 9886 (glucose-syrup) R 9854 9831 9659 0 -1 4202560 992 0 0 0 39 0 0 0 20 0 9 0 237789855 645795840 10710 33554432000 4194304 4373367 140727050053840 140660302593296 4293060 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 8331264 140727050056785 140727050056916 140727050056916 140727050059719 0 [pid=9874/tid=9887] ppid=9854 vsize=630660 memory=0 CPUtime=0.39 cores=0-7 /proc/9874/task/9887/stat : 9887 (glucose-syrup) R 9854 9831 9659 0 -1 4202560 973 0 0 0 39 0 0 0 20 0 9 0 237789855 645795840 10710 33554432000 4194304 4373367 140727050053840 140660294200464 140660368187994 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 8331264 140727050056785 140727050056916 140727050056916 140727050059719 0 [pid=9854/tid=9855] ppid=9831 vsize=8413904 memory=0 CPUtime=0.74 cores=0-7 /proc/9854/task/9855/stat : 9855 (java) S 9831 9831 9659 0 -1 1077944384 14574 0 0 0 69 5 0 0 20 0 24 0 237789780 8615837696 29801 33554432000 4194304 4196468 140720823225056 140677607284624 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9856] ppid=9831 vsize=8413904 memory=-3284643825843719562 CPUtime=0 cores=0-7 /proc/9854/task/9856/stat : 9856 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237789781 8615837696 29801 33554432000 4194304 4196468 140720823225056 140677639686544 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9857] ppid=9831 vsize=8413904 memory=5495740422247797458 CPUtime=0 cores=0-7 /proc/9854/task/9857/stat : 9857 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237789781 8615837696 29801 33554432000 4194304 4196468 140720823225056 140677439854864 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9858] ppid=9831 vsize=8413904 memory=-3833726747341067623 CPUtime=0 cores=0-7 /proc/9854/task/9858/stat : 9858 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237789781 8615837696 29801 33554432000 4194304 4196468 140720823225056 140677438802576 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9859] ppid=9831 vsize=8413904 memory=4206468018206302288 CPUtime=0 cores=0-7 /proc/9854/task/9859/stat : 9859 (java) S 9831 9831 9659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237789781 8615837696 29801 33554432000 4194304 4196468 140720823225056 140677437749776 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9860] ppid=9831 vsize=8413904 memory=7234276751436704918 CPUtime=0 cores=0-7 /proc/9854/task/9860/stat : 9860 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237789781 8615837696 29801 33554432000 4194304 4196468 140720823225056 140677436697488 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9861] ppid=9831 vsize=8413904 memory=-6876588627878687573 CPUtime=0 cores=0-7 /proc/9854/task/9861/stat : 9861 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237789781 8615837696 29801 33554432000 4194304 4196468 140720823225056 140677435644688 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9862] ppid=9831 vsize=8413904 memory=-7966001967256141664 CPUtime=0 cores=0-7 /proc/9854/task/9862/stat : 9862 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237789781 8615837696 29801 33554432000 4194304 4196468 140720823225056 140677434592400 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9863] ppid=9831 vsize=8413904 memory=8305311027921445216 CPUtime=0 cores=0-7 /proc/9854/task/9863/stat : 9863 (java) S 9831 9831 9659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237789781 8615837696 29801 33554432000 4194304 4196468 140720823225056 140677433539600 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9864] ppid=9831 vsize=8413904 memory=-7384994778349281184 CPUtime=0 cores=0-7 /proc/9854/task/9864/stat : 9864 (java) S 9831 9831 9659 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 237789783 8615837696 29801 33554432000 4194304 4196468 140720823225056 140676460451952 140677635455618 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9865] ppid=9831 vsize=8413904 memory=-7384994778349281184 CPUtime=0 cores=0-7 /proc/9854/task/9865/stat : 9865 (java) S 9831 9831 9659 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 237789783 8615837696 29801 33554432000 4194304 4196468 140720823225056 140676285063968 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9866] ppid=9831 vsize=8413904 memory=6944656592452807316 CPUtime=0 cores=0-7 /proc/9854/task/9866/stat : 9866 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237789783 8615837696 29801 33554432000 4194304 4196468 140720823225056 140676016628848 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9867] ppid=9831 vsize=8413904 memory=-8458152057954561420 CPUtime=0 cores=0-7 /proc/9854/task/9867/stat : 9867 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237789786 8615837696 29801 33554432000 4194304 4196468 140720823225056 140675642120272 140677635463067 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9868] ppid=9831 vsize=8413904 memory=8390361644446492005 CPUtime=0.06 cores=0-7 /proc/9854/task/9868/stat : 9868 (java) S 9831 9831 9659 0 -1 1077944384 611 0 0 0 6 0 0 0 20 0 24 0 237789786 8615837696 29801 33554432000 4194304 4196468 140720823225056 140676459399792 140677635455618 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9869] ppid=9831 vsize=8413904 memory=-8253362762721939848 CPUtime=0.05 cores=0-7 /proc/9854/task/9869/stat : 9869 (java) S 9831 9831 9659 0 -1 1077944384 290 0 0 0 5 0 0 0 20 0 24 0 237789786 8615837696 29801 33554432000 4194304 4196468 140720823225056 140676458346992 140677635455618 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9870] ppid=9831 vsize=8413904 memory=4138407373635358070 CPUtime=0.03 cores=0-7 /proc/9854/task/9870/stat : 9870 (java) S 9831 9831 9659 0 -1 1077944384 93 0 0 0 3 0 0 0 20 0 24 0 237789786 8615837696 29801 33554432000 4194304 4196468 140720823225056 140676457294704 140677635455618 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9871] ppid=9831 vsize=8413904 memory=-8672905366513480896 CPUtime=0.19 cores=0-7 /proc/9854/task/9871/stat : 9871 (java) S 9831 9831 9659 0 -1 1077944384 529 0 0 0 19 0 0 0 20 0 24 0 237789786 8615837696 29801 33554432000 4194304 4196468 140720823225056 140676456241904 140677635455618 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9872] ppid=9831 vsize=8413904 memory=-8412660965215072671 CPUtime=0 cores=0-7 /proc/9854/task/9872/stat : 9872 (java) S 9831 9831 9659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237789786 8615837696 29801 33554432000 4194304 4196468 140720823225056 140675144214880 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9873] ppid=9831 vsize=8413904 memory=7100839878744705384 CPUtime=0 cores=0-7 /proc/9854/task/9873/stat : 9873 (java) S 9831 9831 9659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237789786 8615837696 29801 33554432000 4194304 4196468 140720823225056 140676455188784 140677635455618 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9875] ppid=9831 vsize=8413904 memory=3054156605369319560 CPUtime=0 cores=0-7 /proc/9854/task/9875/stat : 9875 (java) S 9831 9831 9659 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237789851 8615837696 29801 33554432000 4194304 4196468 140720823225056 140676447380800 140677635469081 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9877] ppid=9831 vsize=8413904 memory=7885075514643017578 CPUtime=0 cores=0-7 /proc/9854/task/9877/stat : 9877 (java) S 9831 9831 9659 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 237789852 8615837696 29801 33554432000 4194304 4196468 140720823225056 140674473115536 140677635466397 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9878] ppid=9831 vsize=8413904 memory=7233719324713314920 CPUtime=0 cores=0-7 /proc/9854/task/9878/stat : 9878 (java) S 9831 9831 9659 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237789852 8615837696 29801 33554432000 4194304 4196468 140720823225056 140674741550864 140677635466397 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9879] ppid=9831 vsize=8413904 memory=7019257425709197167 CPUtime=0 cores=0-7 /proc/9854/task/9879/stat : 9879 (java) S 9831 9831 9659 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 237789854 8615837696 29801 33554432000 4194304 4196468 140720823225056 140674204688160 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 Current children cumulated CPU time: 17.44 s Current children cumulated vsize: 9157692 KiB Current children cumulated memory: 163516 KiB [startup+5.30136 s] /proc/loadavg: 7.06 7.94 8.12 9/212 9887 /proc/meminfo: memFree=24424504/32770624 swapFree=67108524/67108860 [pid=9831] ppid=9828 vsize=113128 memory=1472 CPUtime=13.16 cores=0-7 /proc/9831/stat : 9831 (scop.sh) S 9828 9831 9659 0 -1 4202496 590 29277 0 0 0 0 1286 30 20 0 1 0 237789374 115843072 368 33554432000 4194304 5098028 140731452083712 140731452080456 140019532984956 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11407360 140731452089379 140731452089603 140731452089603 140731452092365 0 /proc/9831/statm: 28282 368 311 221 0 87 0 [pid=9854] ppid=9831 vsize=8282828 memory=119496 CPUtime=4.91 cores=0-7 /proc/9854/stat : 9854 (java) S 9831 9831 9659 0 -1 1077944320 17588 13380 0 0 109 6 369 7 20 0 22 0 237789780 8481615872 29874 33554432000 4194304 4196468 140720823225056 140720823207600 140677635444471 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 /proc/9854/statm: 2070707 29874 3146 1 0 2032106 0 [pid=9854/tid=9855] ppid=9831 vsize=8282828 memory=0 CPUtime=4.5 cores=0-7 /proc/9854/task/9855/stat : 9855 (java) R 9831 9831 9659 0 -1 4202560 14584 13380 0 0 69 5 369 7 20 0 22 0 237789780 8481615872 29874 33554432000 4194304 4196468 140720823225056 140677607284624 140677619488101 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9856] ppid=9831 vsize=8282828 memory=563 CPUtime=3.76 cores=0-7 /proc/9854/task/9856/stat : 9856 (java) S 9831 9831 9659 0 -1 1077944384 1 13380 0 0 0 0 369 7 20 0 22 0 237789781 8481615872 29874 33554432000 4194304 4196468 140720823225056 140677639686544 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9857] ppid=9831 vsize=8282828 memory=197 CPUtime=3.76 cores=0-7 /proc/9854/task/9857/stat : 9857 (java) S 9831 9831 9659 0 -1 1077944384 1 13380 0 0 0 0 369 7 20 0 22 0 237789781 8481615872 29874 33554432000 4194304 4196468 140720823225056 140677439854864 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9858] ppid=9831 vsize=8282828 memory=0 CPUtime=3.76 cores=0-7 /proc/9854/task/9858/stat : 9858 (java) S 9831 9831 9659 0 -1 1077944384 1 13380 0 0 0 0 369 7 20 0 22 0 237789781 8481615872 29874 33554432000 4194304 4196468 140720823225056 140677438802576 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9859] ppid=9831 vsize=8282828 memory=0 CPUtime=3.76 cores=0-7 /proc/9854/task/9859/stat : 9859 (java) S 9831 9831 9659 0 -1 1077944384 3 13380 0 0 0 0 369 7 20 0 22 0 237789781 8481615872 29874 33554432000 4194304 4196468 140720823225056 140677437749776 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9860] ppid=9831 vsize=8282828 memory=140471334987501 CPUtime=3.76 cores=0-7 /proc/9854/task/9860/stat : 9860 (java) S 9831 9831 9659 0 -1 1077944384 1 13380 0 0 0 0 369 7 20 0 22 0 237789781 8481615872 29874 33554432000 4194304 4196468 140720823225056 140677436697488 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9861] ppid=9831 vsize=8282828 memory=280942669964320 CPUtime=3.76 cores=0-7 /proc/9854/task/9861/stat : 9861 (java) S 9831 9831 9659 0 -1 1077944384 2 13380 0 0 0 0 369 7 20 0 22 0 237789781 8481615872 29874 33554432000 4194304 4196468 140720823225056 140677435644688 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9862] ppid=9831 vsize=8282828 memory=1 CPUtime=3.76 cores=0-7 /proc/9854/task/9862/stat : 9862 (java) S 9831 9831 9659 0 -1 1077944384 1 13380 0 0 0 0 369 7 20 0 22 0 237789781 8481615872 29874 33554432000 4194304 4196468 140720823225056 140677434592400 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9863] ppid=9831 vsize=8282828 memory=0 CPUtime=3.76 cores=0-7 /proc/9854/task/9863/stat : 9863 (java) S 9831 9831 9659 0 -1 1077944384 2 13380 0 0 0 0 369 7 20 0 22 0 237789781 8481615872 29874 33554432000 4194304 4196468 140720823225056 140677433539600 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9864] ppid=9831 vsize=8282828 memory=752 CPUtime=3.76 cores=0-7 /proc/9854/task/9864/stat : 9864 (java) S 9831 9831 9659 0 -1 1077944384 5 13380 0 0 0 0 369 7 20 0 22 0 237789783 8481615872 29874 33554432000 4194304 4196468 140720823225056 140676460451952 140677635455618 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9865] ppid=9831 vsize=8282828 memory=1828 CPUtime=3.76 cores=0-7 /proc/9854/task/9865/stat : 9865 (java) S 9831 9831 9659 0 -1 1077944384 13 13380 0 0 0 0 369 7 20 0 22 0 237789783 8481615872 29874 33554432000 4194304 4196468 140720823225056 140676285063968 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9866] ppid=9831 vsize=8282828 memory=1120 CPUtime=3.76 cores=0-7 /proc/9854/task/9866/stat : 9866 (java) S 9831 9831 9659 0 -1 1077944384 1 13380 0 0 0 0 369 7 20 0 22 0 237789783 8481615872 29874 33554432000 4194304 4196468 140720823225056 140676016628848 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9867] ppid=9831 vsize=8282828 memory=6048 CPUtime=3.76 cores=0-7 /proc/9854/task/9867/stat : 9867 (java) S 9831 9831 9659 0 -1 1077944384 1 13380 0 0 0 0 369 7 20 0 22 0 237789786 8481615872 29874 33554432000 4194304 4196468 140720823225056 140675642120272 140677635463067 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9868] ppid=9831 vsize=8282828 memory=1724 CPUtime=3.82 cores=0-7 /proc/9854/task/9868/stat : 9868 (java) S 9831 9831 9659 0 -1 1077944384 611 13380 0 0 6 0 369 7 20 0 22 0 237789786 8481615872 29874 33554432000 4194304 4196468 140720823225056 140676459399792 140677635455618 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9869] ppid=9831 vsize=8282828 memory=4004 CPUtime=3.81 cores=0-7 /proc/9854/task/9869/stat : 9869 (java) S 9831 9831 9659 0 -1 1077944384 290 13380 0 0 5 0 369 7 20 0 22 0 237789786 8481615872 29874 33554432000 4194304 4196468 140720823225056 140676458346992 140677635455618 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9870] ppid=9831 vsize=8282828 memory=3516 CPUtime=3.79 cores=0-7 /proc/9854/task/9870/stat : 9870 (java) S 9831 9831 9659 0 -1 1077944384 93 13380 0 0 3 0 369 7 20 0 22 0 237789786 8481615872 29874 33554432000 4194304 4196468 140720823225056 140676457294704 140677635455618 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9871] ppid=9831 vsize=8282828 memory=872 CPUtime=3.96 cores=0-7 /proc/9854/task/9871/stat : 9871 (java) S 9831 9831 9659 0 -1 1077944384 563 13380 0 0 20 0 369 7 20 0 22 0 237789786 8481615872 29874 33554432000 4194304 4196468 140720823225056 140676456241904 140677635455618 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9872] ppid=9831 vsize=8282828 memory=1288 CPUtime=3.76 cores=0-7 /proc/9854/task/9872/stat : 9872 (java) S 9831 9831 9659 0 -1 1077944384 3 13380 0 0 0 0 369 7 20 0 22 0 237789786 8481615872 29874 33554432000 4194304 4196468 140720823225056 140675144214880 140677635454677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9873] ppid=9831 vsize=8282828 memory=1088 CPUtime=3.76 cores=0-7 /proc/9854/task/9873/stat : 9873 (java) S 9831 9831 9659 0 -1 1077944384 1 13380 0 0 0 0 369 7 20 0 22 0 237789786 8481615872 29874 33554432000 4194304 4196468 140720823225056 140676455188784 140677635455618 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9875] ppid=9831 vsize=8282828 memory=14888 CPUtime=3.76 cores=0-7 /proc/9854/task/9875/stat : 9875 (java) S 9831 9831 9659 0 -1 1077944384 24 13380 0 0 0 0 369 7 20 0 22 0 237789851 8481615872 29874 33554432000 4194304 4196468 140720823225056 140676447379984 140677635455618 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 [pid=9854/tid=9879] ppid=9831 vsize=8282828 memory=15708 CPUtime=3.76 cores=0-7 /proc/9854/task/9879/stat : 9879 (java) S 9831 9831 9659 0 -1 1077944384 9 13380 0 0 0 0 369 7 20 0 22 0 237789854 8481615872 29874 33554432000 4194304 4196468 140720823225056 140674204689968 140677635455618 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36921344 140720823227570 140720823227693 140720823227693 140720823230415 0 Current children cumulated CPU time: 18.07 s Current children cumulated vsize: 8395956 KiB Current children cumulated memory: 120968 KiB Child status: 0 Real time (s): 5.36675 CPU time (s): 18.204 CPU user time (s): 17.7422 CPU system time (s): 0.461781 CPU usage (%): 339.199 Max. virtual memory (cumulated for all children) (KiB): 27443704 Max. memory (cumulated for all children) (KiB): 1267196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.7422 system time used= 0.461781 maximum resident set size= 1266404 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61179 page faults= 0 swaps= 0 block input operations= 0 block output operations= 928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10981 involuntary context switches= 69 # summary of solver processes directly reported to runsolver: # pid: 9831 # total CPU time (s): 18.204 # total CPU user time (s): 17.7422 # total CPU system time (s): 0.461781 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.057151 second user time and 0.098984 second system time The end
Begin job on node107 at 2018-08-14 01:17:42 IDJOB=4307466 IDBENCH=141582 IDSOLVER=2789 FILE ID=node107/4307466-1534202262 RUNJOBID= node107-1534202255-9686 PBS_JOBID= 21038016 Free space on /tmp= 39620 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-31) BENCH NAME= XCSP18/Frb/frb-35-17-1_c18.xml COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307466-1534202262/watcher-4307466-1534202262 -o /tmp/evaluation-result-4307466-1534202262/solver-4307466-1534202262 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534202255-9686 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307466-1534202262.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 938558367576662423373d61b63119a7 RANDOM SEED=80122241 node107.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 : 2668.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.40 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 : 2668.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 : 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 : 2668.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.40 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 : 2668.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 : 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 : 2668.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.40 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 : 2668.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 : 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 : 2668.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.40 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 : 2668.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: 32770624 kB MemFree: 24556168 kB MemAvailable: 31901356 kB Buffers: 175800 kB Cached: 7375952 kB SwapCached: 20 kB Active: 3865888 kB Inactive: 3739588 kB Active(anon): 2776 kB Inactive(anon): 103496 kB Active(file): 3863112 kB Inactive(file): 3636092 kB Unevictable: 6980 kB Mlocked: 6980 kB SwapTotal: 67108860 kB SwapFree: 67108524 kB Dirty: 8964 kB Writeback: 0 kB AnonPages: 54956 kB Mapped: 52988 kB Shmem: 49632 kB Slab: 302460 kB SReclaimable: 274444 kB SUnreclaim: 28016 kB KernelStack: 3232 kB PageTables: 4668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 348412 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 39612 MiB End job on node107 at 2018-08-14 01:17:47