| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop order+glucose-syrup (2018-07-31) | ? (MO) | 152.417 | 145.278 |
| Name | MagicHexagon/ MagicHexagon-08-m009_c18.xml |
| MD5SUM | 012ef72073aa4b47e82f6ff4769ae682 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 225 |
| Number of constraints | 52 |
| Number of domains | 1 |
| Minimum domain size | 169 |
| Maximum domain size | 169 |
| Distribution of domain sizes | [{"size":169,"count":169}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 9 |
| Distribution of variable degrees | [{"degree":0,"count":56},{"degree":4,"count":163},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 169 |
| Distribution of constraint arities | [{"arity":2,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":3},{"arity":169,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 6 |
| Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":45}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-9840-serial-file.bin HOME/instance-4307141-1534199689.xml 0.64/0.53 0.64/0.53 scop order+glucose-syrup (2018-07-31) 0.64/0.53 (Encoding Process) 0.64/0.53 0.64/0.56 c BEGIN-Prog: Tue Aug 14 00:34:50 CEST 2018 0.64/0.56 c PID: 9843 0.64/0.56 c IP: 172.20.3.149 0.64/0.56 c HOST: node149.alineos.net 0.64/0.56 c (0,0) Parsing Begin 1.37/0.93 c (0,0) Parsing End 1.37/0.93 c (0,0) CSP: 169 int (0 aux), 0 bool (0 aux), 52 ctr, max domain size 169 1.37/0.94 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.37/0.94 c (0,0) Constraint Name Generate Begin 1.37/0.94 c (0,0) Ctr:HOME/instance-4307141-1534199689.xml,AllDifferent:IntVar:Lt:Num:WeightedSum 1.37/0.94 c (0,0) Constraint Name Generate End 1.37/0.94 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.37/0.94 c (0,0) CSP to CSPinCNF Begin 3.86/1.75 c (1,1) translated 6 (10%) constraints 3.86/1.76 c (1,1) translated 11 (20%) constraints 3.86/1.77 c (1,1) translated 16 (30%) constraints 3.86/1.77 c (1,1) translated 21 (40%) constraints 3.86/1.77 c (1,1) translated 26 (50%) constraints 3.86/1.78 c (1,1) translated 32 (60%) constraints 3.86/1.78 c (1,1) translated 37 (70%) constraints 3.86/1.79 c (1,1) translated 42 (80%) constraints 3.86/1.79 c (1,1) translated 47 (90%) constraints 3.86/1.79 c (1,1) translated 52 (100%) constraints 4.72/1.99 c (1,1) STATISTICS1:HOME/instance-4307141-1534199689.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,169,14249,9223372036854775807,169,169,15,9223372036854775807:66;665416609183179904:12;3890918073946176:4;3867757847315544:8;169:13203;168:661;167:338,169:28199;168:700;167:350,169:2;2:14196;1:51,15:6;14:12;13:12;12:12;11:12;10:12;9:12;8:12;2:14202;1:338,712336:6;620944:12;535824:12;456976:12;383161:12;316969:12 4.72/1.99 c (1,1) ========================================== 4.72/1.99 c (1,1) Order 4.72/1.99 c (1,1) ========================================== 5.67/2.11 c (1,1) translated 1425 (10%) constraints 5.67/2.19 c (1,1) translated 2850 (20%) constraints 6.06/2.25 c (1,1) translated 4275 (30%) constraints 6.45/2.32 c (1,1) translated 5700 (40%) constraints 6.45/2.37 c (1,1) translated 7125 (50%) constraints 6.85/2.43 c (1,1) translated 8550 (60%) constraints 6.85/2.47 c (1,1) translated 9975 (70%) constraints 7.26/2.52 c (1,1) translated 11400 (80%) constraints 7.26/2.55 c (2,2) translated 12825 (90%) constraints 8.14/2.73 c (2,2) translated 14249 (100%) constraints 8.14/2.73 c (2,2) CSP to CSPinCNF End 8.14/2.74 c (2,2) CSP: 541 int (372 aux), 0 bool (0 aux), 15038 ctr, max domain size 841 8.14/2.74 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 8.14/2.74 c (2,2) CSPinCNF Propagation Begin 8.58/2.87 c (2,2) 0 values, 7 unsatisfiable literals, and 0 valid clauses are removed 8.58/2.87 c (2,2) CSPinCNF Propagation End 8.58/2.87 c (2,2) CSP: 541 int (372 aux), 0 bool (0 aux), 15038 ctr, max domain size 841 8.58/2.87 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 8.58/2.87 c (2,2) Simplify CSPinCNF Begin 11.29/3.54 c (3,2) Simplify CSPinCNF End 11.29/3.55 c (3,3) CSP: 541 int (372 aux), 28392 bool (28392 aux), 43430 ctr, max domain size 841 11.29/3.55 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 11.29/3.55 c (3,3) Calculate Precise Domain Begin 11.58/3.60 c (3,3) 5 values are removed by re-calculation 11.58/3.60 c (3,3) Calculate Precise Domain End 11.58/3.61 c (3,3) CSP: 541 int (372 aux), 28392 bool (28392 aux), 43430 ctr, max domain size 841 11.58/3.61 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 11.58/3.61 c (3,3) CSPinCNF to SatSolver Begin 13.96/5.12 c (4,4) 4343 (10 %) CSP clauses are encoded (225142 SAT variables, 685321 SAT clauses) 15.23/6.32 c (5,5) 8686 (20 %) CSP clauses are encoded (225142 SAT variables, 1175806 SAT clauses) 16.47/7.50 c (6,6) 13029 (30 %) CSP clauses are encoded (225142 SAT variables, 1666429 SAT clauses) 17.68/8.70 c (8,8) 17372 (40 %) CSP clauses are encoded (225142 SAT variables, 2157044 SAT clauses) 19.10/10.22 c (9,9) 21715 (50 %) CSP clauses are encoded (225142 SAT variables, 2647823 SAT clauses) 20.11/11.26 c (10,10) 26058 (60 %) CSP clauses are encoded (225142 SAT variables, 3138422 SAT clauses) 21.11/12.29 c (11,11) 30401 (70 %) CSP clauses are encoded (225142 SAT variables, 3629005 SAT clauses) 22.21/13.32 c (12,12) 34744 (80 %) CSP clauses are encoded (225142 SAT variables, 4119732 SAT clauses) 23.21/14.96 c (14,13) 39087 (90 %) CSP clauses are encoded (225142 SAT variables, 4609965 SAT clauses) 115.40/108.82 c (108,99) 43430 (100 %) CSP clauses are encoded (225142 SAT variables, 72303490 SAT clauses) 115.40/108.82 c (108,99) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 115.40/108.82 c (108,99) CSPinCNF to SatSolver End 115.40/108.82 c (108,99) Heap : 5649 MiB used (max 22445 MiB), NonHeap : 29 MiB used (max 0 MiB) 116.12/109.05 c (108,99) STATISTICS2:HOME/instance-4307141-1534199689.xml,AllDifferent:IntVar:Lt:Num:WeightedSum,28933,43430,704760,841,167,3,704760:6;565993:12;452929:24;339865:12;255025:24;170185:42;169848:6;169511:6;144236:6;143899:4;143562:2;113569:108;56953:114;56784:18;56615:18;28561:396;28392:18;28223:18;169:26406;168:984;167:1008,841:84;840:12;839:12;673:216;505:228;504:12;503:12;428:24;427:16;426:8;337:792;336:36;335:36;169:56072;168:1032;167:1037;2:56784,167:1;164:1;2:42588;1:840,3:834;2:28398;1:57115, 116.12/109.05 c (108,99) 225142 bool, 72303656 clause 116.12/109.05 c (108,99) Export Begin 116.50/109.16 c (108,99) Export to HOME/scop-9840-serial-file.bin 116.50/109.16 c (108,99) Export End 116.50/109.16 c (108,99) Export File Size: 0.03 MB 116.50/109.16 c (108,99) 0,0,2,2,3,3,108,STOP-AFTER(DIMACS) 116.50/109.16 c END-Prog: Tue Aug 14 00:36:38 CEST 2018 116.80/109.24 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-9840-serial-file.bin 116.83/109.74 c (0,0) Read Serial File Begin 117.46/110.52 c (0,0) HOME/scop-9840-serial-file.bin 117.74/110.70 c (1,0) Read Serial File End 117.74/110.71 117.74/110.71 scop order+glucose-syrup (2018-07-31) 117.74/110.71 (Solving Process) 117.74/110.71 117.74/110.74 c BEGIN-Prog: Tue Aug 14 00:36:40 CEST 2018 117.74/110.74 c PID: 9863 117.74/110.74 c IP: 172.20.3.149 117.74/110.74 c HOST: node149.alineos.net 117.74/110.74 c (1,0) SatSolver.solve Begin 117.74/110.74 c (1,0) 0 bool, 0 clause 117.74/110.74 c (1,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307141-1534199689.xml-scop-9843.cnf 151.54/144.41 c (scop.sh) Receiving Signal. Removing all intermediate files. 151.54/144.41 c (scop.sh) Remove HOME/scop-9840-serial-file.bin. 151.54/144.41 c (34,0) receiving signal SIGTERM 151.54/144.41 s UNKNOWN 151.54/144.43 c (scop.sh) Killing background jobs. 151.54/144.43 c (34,0) receiving signal SIGTERM
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 (10302 MiB free)
memory of node 1: 16384 MiB (8311 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307141-1534199689/watcher-4307141-1534199689 -o /tmp/evaluation-result-4307141-1534199689/solver-4307141-1534199689 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1534192881-8777 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307141-1534199689.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=9840, runsolver pid=9837
[startup+0.100905 s]*
/proc/loadavg: 7.80 8.18 8.19 3/200 9862
/proc/meminfo: memFree=18964240/32770624 swapFree=67108492/67108860
[pid=9840] ppid=9837 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9840/stat : 9840 (scop.sh) S 9837 9840 8750 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237532102 115843072 349 33554432000 4194304 5098028 140729867850208 140729867847464 139954982101628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33603584 140729867854882 140729867855107 140729867855107 140729867857869 0
/proc/9840/statm: 28282 349 296 221 0 87 0
[pid=9843] ppid=9840 vsize=27313900 memory=111672 CPUtime=0.1 cores=0-7
/proc/9843/stat : 9843 (java) S 9840 9840 8750 0 -1 1077944320 6327 0 0 0 7 3 0 0 20 0 20 0 237532102 27969433600 27918 33554432000 4194304 4196468 140727907176848 140727907159392 140440784260855 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
/proc/9843/statm: 6828475 27918 2742 1 0 6790935 0
[pid=9843/tid=9844] ppid=9840 vsize=27313900 memory=4427774499323278234 CPUtime=0.08 cores=0-7
/proc/9843/task/9844/stat : 9844 (java) R 9840 9840 8750 0 -1 4202560 4445 0 0 0 6 2 0 0 20 0 20 0 237532102 27969433600 27918 33554432000 4194304 4196468 140727907176848 140440756095984 140440784282781 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9845] ppid=9840 vsize=27313900 memory=732370410263976933 CPUtime=0 cores=0-7
/proc/9843/task/9845/stat : 9845 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 27918 33554432000 4194304 4196468 140727907176848 140440788503312 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9846] ppid=9840 vsize=27313900 memory=140271926523520 CPUtime=0 cores=0-7
/proc/9843/task/9846/stat : 9846 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 27918 33554432000 4194304 4196468 140727907176848 140440602659728 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9847] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9847/stat : 9847 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 27918 33554432000 4194304 4196468 140727907176848 140440601607184 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9848] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9848/stat : 9848 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 27918 33554432000 4194304 4196468 140727907176848 140440600554640 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9849] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9849/stat : 9849 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 27918 33554432000 4194304 4196468 140727907176848 140440203065616 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9850] ppid=9840 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9843/task/9850/stat : 9850 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 27918 33554432000 4194304 4196468 140727907176848 140440202013072 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9851] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9851/stat : 9851 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 27918 33554432000 4194304 4196468 140727907176848 140440200960528 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9852] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9852/stat : 9852 (java) S 9840 9840 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 27918 33554432000 4194304 4196468 140727907176848 140440199907984 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9853] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9853/stat : 9853 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237532106 27969433600 27918 33554432000 4194304 4196468 140727907176848 140438903118320 140440784272002 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9854] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9854/stat : 9854 (java) S 9840 9840 8750 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237532107 27969433600 27918 33554432000 4194304 4196468 140727907176848 140438719686048 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9855] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9855/stat : 9855 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532107 27969433600 27918 33554432000 4194304 4196468 140727907176848 140438451250672 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9856] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9856/stat : 9856 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532109 27969433600 27918 33554432000 4194304 4196468 140727907176848 140438076742352 140440784279451 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9857] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9857/stat : 9857 (java) S 9840 9840 8750 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 237532109 27969433600 27918 33554432000 4194304 4196468 140727907176848 140438902065136 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9858] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9858/stat : 9858 (java) S 9840 9840 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237532110 27969433600 27918 33554432000 4194304 4196468 140727907176848 140438901012592 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9859] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9859/stat : 9859 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532110 27969433600 27918 33554432000 4194304 4196468 140727907176848 140438899960048 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9860] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9860/stat : 9860 (java) S 9840 9840 8750 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 20 0 237532110 27969433600 27918 33554432000 4194304 4196468 140727907176848 140438898907504 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9861] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9861/stat : 9861 (java) S 9840 9840 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237532110 27969433600 27918 33554432000 4194304 4196468 140727907176848 140437578836704 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9862] ppid=9840 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9843/task/9862/stat : 9862 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532110 27969433600 27918 33554432000 4194304 4196468 140727907176848 140438897855408 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 113068 KiB
[startup+0.210487 s]*
/proc/loadavg: 7.80 8.18 8.19 2/200 9862
/proc/meminfo: memFree=18945696/32770624 swapFree=67108492/67108860
[pid=9840] ppid=9837 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9840/stat : 9840 (scop.sh) S 9837 9840 8750 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237532102 115843072 349 33554432000 4194304 5098028 140729867850208 140729867847464 139954982101628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33603584 140729867854882 140729867855107 140729867855107 140729867857869 0
/proc/9840/statm: 28282 349 296 221 0 87 0
[pid=9843] ppid=9840 vsize=27313900 memory=126312 CPUtime=0.24 cores=0-7
/proc/9843/stat : 9843 (java) S 9840 9840 8750 0 -1 1077944320 10189 0 0 0 20 4 0 0 20 0 20 0 237532102 27969433600 31578 33554432000 4194304 4196468 140727907176848 140727907159392 140440784260855 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
/proc/9843/statm: 6828475 31578 2920 1 0 6790935 0
[pid=9843/tid=9844] ppid=9840 vsize=27313900 memory=0 CPUtime=0.19 cores=0-7
/proc/9843/task/9844/stat : 9844 (java) R 9840 9840 8750 0 -1 4202560 8097 0 0 0 16 3 0 0 20 0 20 0 237532102 27969433600 31578 33554432000 4194304 4196468 140727907176848 140440756069600 140440784282781 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9845] ppid=9840 vsize=27313900 memory=280543746471672 CPUtime=0 cores=0-7
/proc/9843/task/9845/stat : 9845 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 31578 33554432000 4194304 4196468 140727907176848 140440788503312 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9846] ppid=9840 vsize=27313900 memory=140271926523520 CPUtime=0 cores=0-7
/proc/9843/task/9846/stat : 9846 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 31578 33554432000 4194304 4196468 140727907176848 140440602659728 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9847] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9847/stat : 9847 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 31578 33554432000 4194304 4196468 140727907176848 140440601607184 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9848] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9848/stat : 9848 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 31578 33554432000 4194304 4196468 140727907176848 140440600554640 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9849] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9849/stat : 9849 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 31578 33554432000 4194304 4196468 140727907176848 140440203065616 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9850] ppid=9840 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9843/task/9850/stat : 9850 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 31578 33554432000 4194304 4196468 140727907176848 140440202013072 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9851] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9851/stat : 9851 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 31578 33554432000 4194304 4196468 140727907176848 140440200960528 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9852] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9852/stat : 9852 (java) S 9840 9840 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 31578 33554432000 4194304 4196468 140727907176848 140440199907984 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9853] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9853/stat : 9853 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237532106 27969433600 31578 33554432000 4194304 4196468 140727907176848 140438903118320 140440784272002 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9854] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9854/stat : 9854 (java) S 9840 9840 8750 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237532107 27969433600 31578 33554432000 4194304 4196468 140727907176848 140438719686048 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9855] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9855/stat : 9855 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532107 27969433600 31578 33554432000 4194304 4196468 140727907176848 140438451250672 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9856] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9856/stat : 9856 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532109 27969433600 31578 33554432000 4194304 4196468 140727907176848 140438076742352 140440784279451 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9857] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9857/stat : 9857 (java) R 9840 9840 8750 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 20 0 237532109 27969433600 31578 33554432000 4194304 4196468 140727907176848 140438902065136 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9858] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9858/stat : 9858 (java) S 9840 9840 8750 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 237532110 27969433600 31578 33554432000 4194304 4196468 140727907176848 140438901012592 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9859] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9859/stat : 9859 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532110 27969433600 31578 33554432000 4194304 4196468 140727907176848 140438899960048 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9860] ppid=9840 vsize=27313900 memory=0 CPUtime=0.02 cores=0-7
/proc/9843/task/9860/stat : 9860 (java) R 9840 9840 8750 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 20 0 237532110 27969433600 31578 33554432000 4194304 4196468 140727907176848 140438898907504 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9861] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9861/stat : 9861 (java) S 9840 9840 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237532110 27969433600 31578 33554432000 4194304 4196468 140727907176848 140437578836704 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9862] ppid=9840 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9843/task/9862/stat : 9862 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532110 27969433600 31578 33554432000 4194304 4196468 140727907176848 140438897855408 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 127708 KiB
[startup+0.310373 s]*
/proc/loadavg: 7.80 8.18 8.19 2/200 9862
/proc/meminfo: memFree=18942284/32770624 swapFree=67108492/67108860
[pid=9840] ppid=9837 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9840/stat : 9840 (scop.sh) S 9837 9840 8750 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237532102 115843072 349 33554432000 4194304 5098028 140729867850208 140729867847464 139954982101628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33603584 140729867854882 140729867855107 140729867855107 140729867857869 0
/proc/9840/statm: 28282 349 296 221 0 87 0
[pid=9843] ppid=9840 vsize=27313900 memory=129836 CPUtime=0.4 cores=0-7
/proc/9843/stat : 9843 (java) S 9840 9840 8750 0 -1 1077944320 10738 0 0 0 36 4 0 0 20 0 20 0 237532102 27969433600 32459 33554432000 4194304 4196468 140727907176848 140727907159392 140440784260855 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
/proc/9843/statm: 6828475 32459 2963 1 0 6790935 0
[pid=9843/tid=9844] ppid=9840 vsize=27313900 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9843/task/9844/stat : 9844 (java) R 9840 9840 8750 0 -1 4202560 8480 0 0 0 26 3 0 0 20 0 20 0 237532102 27969433600 32459 33554432000 4194304 4196468 140727907176848 140440756056304 140440768341342 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9845] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9845/stat : 9845 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 32459 33554432000 4194304 4196468 140727907176848 140440788503312 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9846] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9846/stat : 9846 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 32459 33554432000 4194304 4196468 140727907176848 140440602659728 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9847] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9847/stat : 9847 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 32459 33554432000 4194304 4196468 140727907176848 140440601607184 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9848] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9848/stat : 9848 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 32459 33554432000 4194304 4196468 140727907176848 140440600554640 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9849] ppid=9840 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/9843/task/9849/stat : 9849 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 32459 33554432000 4194304 4196468 140727907176848 140440203065616 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9850] ppid=9840 vsize=27313900 memory=140271820043183 CPUtime=0 cores=0-7
/proc/9843/task/9850/stat : 9850 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 32459 33554432000 4194304 4196468 140727907176848 140440202013072 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9851] ppid=9840 vsize=27313900 memory=140271820045488 CPUtime=0 cores=0-7
/proc/9843/task/9851/stat : 9851 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 32459 33554432000 4194304 4196468 140727907176848 140440200960528 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9852] ppid=9840 vsize=27313900 memory=140271820047792 CPUtime=0 cores=0-7
/proc/9843/task/9852/stat : 9852 (java) S 9840 9840 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237532105 27969433600 32459 33554432000 4194304 4196468 140727907176848 140440199907984 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9853] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9853/stat : 9853 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237532106 27969433600 32459 33554432000 4194304 4196468 140727907176848 140438903118320 140440784272002 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9854] ppid=9840 vsize=27313900 memory=280543640102544 CPUtime=0 cores=0-7
/proc/9843/task/9854/stat : 9854 (java) S 9840 9840 8750 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 237532107 27969433600 32459 33554432000 4194304 4196468 140727907176848 140438719686048 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9855] ppid=9840 vsize=27313900 memory=280543640109456 CPUtime=0 cores=0-7
/proc/9843/task/9855/stat : 9855 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532107 27969433600 32459 33554432000 4194304 4196468 140727907176848 140438451250672 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9856] ppid=9840 vsize=27313900 memory=280543640050736 CPUtime=0 cores=0-7
/proc/9843/task/9856/stat : 9856 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532109 27969433600 32459 33554432000 4194304 4196468 140727907176848 140438076742352 140440784279451 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9857] ppid=9840 vsize=27313900 memory=280543640123280 CPUtime=0.02 cores=0-7
/proc/9843/task/9857/stat : 9857 (java) S 9840 9840 8750 0 -1 1077944384 566 0 0 0 2 0 0 0 20 0 20 0 237532109 27969433600 32459 33554432000 4194304 4196468 140727907176848 140438902065136 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9858] ppid=9840 vsize=27313900 memory=280543640130192 CPUtime=0.01 cores=0-7
/proc/9843/task/9858/stat : 9858 (java) S 9840 9840 8750 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 237532110 27969433600 32459 33554432000 4194304 4196468 140727907176848 140438901012592 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9859] ppid=9840 vsize=27313900 memory=280543640127888 CPUtime=0 cores=0-7
/proc/9843/task/9859/stat : 9859 (java) S 9840 9840 8750 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 237532110 27969433600 32459 33554432000 4194304 4196468 140727907176848 140438899960048 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9860] ppid=9840 vsize=27313900 memory=280543640144048 CPUtime=0.06 cores=0-7
/proc/9843/task/9860/stat : 9860 (java) S 9840 9840 8750 0 -1 1077944384 291 0 0 0 6 0 0 0 20 0 20 0 237532110 27969433600 32459 33554432000 4194304 4196468 140727907176848 140438898907504 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9861] ppid=9840 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/9843/task/9861/stat : 9861 (java) S 9840 9840 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 237532110 27969433600 32459 33554432000 4194304 4196468 140727907176848 140437578836704 140440784271061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9862] ppid=9840 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/9843/task/9862/stat : 9862 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532110 27969433600 32459 33554432000 4194304 4196468 140727907176848 140438897855408 140440784272002 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 131232 KiB
[startup+0.700942 s]
/proc/loadavg: 7.80 8.18 8.19 2/200 9862
/proc/meminfo: memFree=18917728/32770624 swapFree=67108492/67108860
[pid=9840] ppid=9837 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9840/stat : 9840 (scop.sh) S 9837 9840 8750 0 -1 4202496 560 321 0 0 0 0 0 0 20 0 1 0 237532102 115843072 349 33554432000 4194304 5098028 140729867850208 140729867847464 139954982101628 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33603584 140729867854882 140729867855107 140729867855107 140729867857869 0
/proc/9840/statm: 28282 349 296 221 0 87 0
[pid=9843] ppid=9840 vsize=27322296 memory=167340 CPUtime=0.98 cores=0-7
/proc/9843/stat : 9843 (java) S 9840 9840 8750 0 -1 1077944320 17883 0 0 0 92 6 0 0 20 0 20 0 237532102 27978031104 41835 33554432000 4194304 4196468 140727907176848 140727907159392 140440784260855 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
/proc/9843/statm: 6830574 41835 3147 1 0 6791959 0
[pid=9843/tid=9844] ppid=9840 vsize=27322296 memory=280543640438912 CPUtime=0.67 cores=0-7
/proc/9843/task/9844/stat : 9844 (java) R 9840 9840 8750 0 -1 4202560 15104 0 0 0 62 5 0 0 20 0 20 0 237532102 27978031104 41835 33554432000 4194304 4196468 140727907176848 140440756098656 140440770329011 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9845] ppid=9840 vsize=27322296 memory=856 CPUtime=0 cores=0-7
/proc/9843/task/9845/stat : 9845 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237532105 27978031104 41835 33554432000 4194304 4196468 140727907176848 140440788503312 140440784271061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9846] ppid=9840 vsize=27322296 memory=12544 CPUtime=0 cores=0-7
/proc/9843/task/9846/stat : 9846 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 237532105 27978031104 41835 33554432000 4194304 4196468 140727907176848 140440602659728 140440784271061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
[pid=9843/tid=9847] ppid=9840 vsize=27322296 memory=752 CPUtime=0 cores=0-7
/proc/9843/task/9847/stat : 9847 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 237532105 27978031104 41835 33554432000 4194304 4196468 140727907176848 140440601607184 140440784271061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20688896 140727907181545 140727907181869 140727907181869 140727907184591 0
################
# More data... #
################
[pid=9863/tid=9875] ppid=9840 vsize=8413904 memory=3316 CPUtime=0 cores=0-7
/proc/9863/task/9875/stat : 9875 (java) S 9840 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 237543031 8615837696 30171 33554432000 4194304 4196468 140732684609936 140542671315952 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9876] ppid=9840 vsize=8413904 memory=13636 CPUtime=0 cores=0-7
/proc/9863/task/9876/stat : 9876 (java) S 9840 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 237543033 8615837696 30171 33554432000 4194304 4196468 140732684609936 140542296807632 140544302671771 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9877] ppid=9840 vsize=8413904 memory=36120 CPUtime=0.05 cores=0-7
/proc/9863/task/9877/stat : 9877 (java) S 9840 9840 8750 0 -1 1077944384 627 0 0 0 5 0 0 0 20 0 24 0 237543033 8615837696 30171 33554432000 4194304 4196468 140732684609936 140543126342128 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9878] ppid=9840 vsize=8413904 memory=1176 CPUtime=0.05 cores=0-7
/proc/9863/task/9878/stat : 9878 (java) S 9840 9840 8750 0 -1 1077944384 165 0 0 0 5 0 0 0 20 0 24 0 237543033 8615837696 30171 33554432000 4194304 4196468 140732684609936 140543125289584 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9879] ppid=9840 vsize=8413904 memory=492 CPUtime=0.04 cores=0-7
/proc/9863/task/9879/stat : 9879 (java) S 9840 9840 8750 0 -1 1077944384 235 0 0 0 4 0 0 0 20 0 24 0 237543034 8615837696 30171 33554432000 4194304 4196468 140732684609936 140543124237040 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9880] ppid=9840 vsize=8413904 memory=1616 CPUtime=0.2 cores=0-7
/proc/9863/task/9880/stat : 9880 (java) S 9840 9840 8750 0 -1 1077944384 502 0 0 0 20 0 0 0 20 0 24 0 237543034 8615837696 30171 33554432000 4194304 4196468 140732684609936 140543123184496 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9881] ppid=9840 vsize=8413904 memory=928 CPUtime=0 cores=0-7
/proc/9863/task/9881/stat : 9881 (java) S 9840 9840 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 237543034 8615837696 30171 33554432000 4194304 4196468 140732684609936 140541798901984 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9882] ppid=9840 vsize=8413904 memory=2216 CPUtime=0.01 cores=0-7
/proc/9863/task/9882/stat : 9882 (java) S 9840 9840 8750 0 -1 1077944384 4 0 0 0 0 1 0 0 20 0 24 0 237543034 8615837696 30171 33554432000 4194304 4196468 140732684609936 140543122131376 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9884] ppid=9840 vsize=8413904 memory=928 CPUtime=0 cores=0-7
/proc/9863/task/9884/stat : 9884 (java) S 9840 9840 8750 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 237543178 8615837696 30171 33554432000 4194304 4196468 140732684609936 140543114654912 140544302677785 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9886] ppid=9840 vsize=8413904 memory=0 CPUtime=0 cores=0-7
/proc/9863/task/9886/stat : 9886 (java) S 9840 9840 8750 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 237543179 8615837696 30171 33554432000 4194304 4196468 140732684609936 140541127802640 140544302675101 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9887] ppid=9840 vsize=8413904 memory=1408 CPUtime=0 cores=0-7
/proc/9863/task/9887/stat : 9887 (java) S 9840 9840 8750 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 237543179 8615837696 30171 33554432000 4194304 4196468 140732684609936 140541396238224 140544302675101 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9888] ppid=9840 vsize=8413904 memory=3264 CPUtime=0 cores=0-7
/proc/9863/task/9888/stat : 9888 (java) S 9840 9840 8750 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 237543181 8615837696 30171 33554432000 4194304 4196468 140732684609936 140540859375264 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
Current children cumulated CPU time: 151.54 s
Current children cumulated vsize: 31844232 KiB
Current children cumulated memory: 20073436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+144.437 s]
# the end of solver process 9840 was just reported to runsolver
# cumulated CPU time of all completed processes: user=111.286 s, system=5.56398 s
[startup+145.278 s]
# the end of solver process 9863 was just reported to runsolver
# cumulated CPU time of all completed processes: user=138.933 s, system=13.4835 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+144.801 s]
/proc/loadavg: 1.62 5.47 7.18 2/205 9892
/proc/meminfo: memFree=1792908/32770624 swapFree=67105356/67108860
[pid=9863] ppid=9837 vsize=8807128 memory=120684 CPUtime=1.16 cores=0-7
/proc/9863/stat : 9863 (java) S 9837 9840 8750 0 -1 1077944320 17987 0 0 0 108 8 0 0 20 0 26 0 237543026 9018499072 30171 33554432000 4194304 4196468 140732684609936 140732684592480 140544302653175 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
/proc/9863/statm: 2201782 30171 3146 1 0 2163181 0
[pid=9863/tid=9864] ppid=9837 vsize=8807128 memory=8112282956445269571 CPUtime=0.75 cores=0-7
/proc/9863/task/9864/stat : 9864 (java) S 9837 9840 8750 0 -1 1077944384 14980 0 0 0 70 5 0 0 20 0 26 0 237543027 9018499072 30171 33554432000 4194304 4196468 140732684609936 140544274493328 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 77 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9865] ppid=9837 vsize=8807128 memory=120684 CPUtime=0 cores=0-7
/proc/9863/task/9865/stat : 9865 (java) S 9837 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 237543028 9018499072 30171 33554432000 4194304 4196468 140732684609936 140544306895120 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9866] ppid=9837 vsize=8807128 memory=7344280 CPUtime=0 cores=0-7
/proc/9863/task/9866/stat : 9866 (java) S 9837 9840 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 237543028 9018499072 30171 33554432000 4194304 4196468 140732684609936 140544107063696 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9867] ppid=9837 vsize=8807128 memory=1928 CPUtime=0 cores=0-7
/proc/9863/task/9867/stat : 9867 (java) S 9837 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 237543028 9018499072 30171 33554432000 4194304 4196468 140732684609936 140544106011152 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9868] ppid=9837 vsize=8807128 memory=7888 CPUtime=0 cores=0-7
/proc/9863/task/9868/stat : 9868 (java) S 9837 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 237543028 9018499072 30171 33554432000 4194304 4196468 140732684609936 140544104958608 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9869] ppid=9837 vsize=8807128 memory=1472 CPUtime=0 cores=0-7
/proc/9863/task/9869/stat : 9869 (java) S 9837 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 237543028 9018499072 30171 33554432000 4194304 4196468 140732684609936 140544103906064 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9870] ppid=9837 vsize=8807128 memory=120684 CPUtime=0 cores=0-7
/proc/9863/task/9870/stat : 9870 (java) S 9837 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 237543028 9018499072 30171 33554432000 4194304 4196468 140732684609936 140544102853520 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9871] ppid=9837 vsize=8807128 memory=18667204 CPUtime=0 cores=0-7
/proc/9863/task/9871/stat : 9871 (java) S 9837 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 237543028 9018499072 30171 33554432000 4194304 4196468 140732684609936 140544101800976 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9872] ppid=9837 vsize=8807128 memory=804 CPUtime=0 cores=0-7
/proc/9863/task/9872/stat : 9872 (java) S 9837 9840 8750 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 237543028 9018499072 30171 33554432000 4194304 4196468 140732684609936 140544100748432 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9873] ppid=9837 vsize=8807128 memory=1800 CPUtime=0 cores=0-7
/proc/9863/task/9873/stat : 9873 (java) S 9837 9840 8750 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 26 0 237543030 9018499072 30171 33554432000 4194304 4196468 140732684609936 140543127394288 140544302664322 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9874] ppid=9837 vsize=8807128 memory=916 CPUtime=0 cores=0-7
/proc/9863/task/9874/stat : 9874 (java) S 9837 9840 8750 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 26 0 237543030 9018499072 30171 33554432000 4194304 4196468 140732684609936 140542939751328 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9875] ppid=9837 vsize=8807128 memory=4880 CPUtime=0 cores=0-7
/proc/9863/task/9875/stat : 9875 (java) S 9837 9840 8750 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 237543031 9018499072 30171 33554432000 4194304 4196468 140732684609936 140542671315952 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9876] ppid=9837 vsize=8807128 memory=4096 CPUtime=0 cores=0-7
/proc/9863/task/9876/stat : 9876 (java) S 9837 9840 8750 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 26 0 237543033 9018499072 30171 33554432000 4194304 4196468 140732684609936 140542296807632 140544302671771 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9877] ppid=9837 vsize=8807128 memory=1408 CPUtime=0.05 cores=0-7
/proc/9863/task/9877/stat : 9877 (java) S 9837 9840 8750 0 -1 1077944384 627 0 0 0 5 0 0 0 20 0 26 0 237543033 9018499072 30171 33554432000 4194304 4196468 140732684609936 140543126342128 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9878] ppid=9837 vsize=8807128 memory=3320 CPUtime=0.05 cores=0-7
/proc/9863/task/9878/stat : 9878 (java) S 9837 9840 8750 0 -1 1077944384 165 0 0 0 5 0 0 0 20 0 26 0 237543033 9018499072 30171 33554432000 4194304 4196468 140732684609936 140543125289584 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9879] ppid=9837 vsize=8807128 memory=1472 CPUtime=0.04 cores=0-7
/proc/9863/task/9879/stat : 9879 (java) S 9837 9840 8750 0 -1 1077944384 235 0 0 0 4 0 0 0 20 0 26 0 237543034 9018499072 30171 33554432000 4194304 4196468 140732684609936 140543124237040 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9880] ppid=9837 vsize=8807128 memory=120684 CPUtime=0.2 cores=0-7
/proc/9863/task/9880/stat : 9880 (java) S 9837 9840 8750 0 -1 1077944384 502 0 0 0 20 0 0 0 20 0 26 0 237543034 9018499072 30171 33554432000 4194304 4196468 140732684609936 140543123184496 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9881] ppid=9837 vsize=8807128 memory=17068372 CPUtime=0 cores=0-7
/proc/9863/task/9881/stat : 9881 (java) S 9837 9840 8750 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 237543034 9018499072 30171 33554432000 4194304 4196468 140732684609936 140541798901984 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9882] ppid=9837 vsize=8807128 memory=-7003737579269690708 CPUtime=0.01 cores=0-7
/proc/9863/task/9882/stat : 9882 (java) S 9837 9840 8750 0 -1 1077944384 4 0 0 0 0 1 0 0 20 0 26 0 237543034 9018499072 30171 33554432000 4194304 4196468 140732684609936 140543122131376 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9884] ppid=9837 vsize=8807128 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/9863/task/9884/stat : 9884 (java) S 9837 9840 8750 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 26 0 237543178 9018499072 30171 33554432000 4194304 4196468 140732684609936 140543114654912 140544302677785 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9886] ppid=9837 vsize=8807128 memory=1472 CPUtime=0 cores=0-7
/proc/9863/task/9886/stat : 9886 (java) S 9837 9840 8750 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 26 0 237543179 9018499072 30171 33554432000 4194304 4196468 140732684609936 140541127802640 140544302675101 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9887] ppid=9837 vsize=8807128 memory=120684 CPUtime=0 cores=0-7
/proc/9863/task/9887/stat : 9887 (java) S 9837 9840 8750 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 26 0 237543179 9018499072 30171 33554432000 4194304 4196468 140732684609936 140541396238224 140544302675101 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9888] ppid=9837 vsize=8807128 memory=19634024 CPUtime=0 cores=0-7
/proc/9863/task/9888/stat : 9888 (java) S 9837 9840 8750 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 26 0 237543181 9018499072 30171 33554432000 4194304 4196468 140732684609936 140540859375264 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9889] ppid=9837 vsize=8807128 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/9863/task/9889/stat : 9889 (java) S 9837 9840 8750 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 26 0 237546543 9018499072 30171 33554432000 4194304 4196468 140732684609936 140540590941600 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9892] ppid=9837 vsize=8807128 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/9863/task/9892/stat : 9892 (java) S 9837 9840 8750 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 26 0 237546545 9018499072 30171 33554432000 4194304 4196468 140732684609936 140540322505248 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
Current cumulated CPU time of completed processes: 116.85 s
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 8807128 KiB
Current children cumulated memory: 120684 KiB
[startup+145.201 s]
/proc/loadavg: 1.62 5.47 7.18 2/201 9892
/proc/meminfo: memFree=20265900/32770624 swapFree=67105356/67108860
[pid=9863] ppid=9837 vsize=8544976 memory=120676 CPUtime=35.52 cores=0-7
/proc/9863/stat : 9863 (java) S 9837 9840 8750 0 -1 1077944320 17995 3000340 0 0 108 30 2656 758 20 0 23 0 237543026 8750055424 30169 33554432000 4194304 4196468 140732684609936 140732684592480 140544302653175 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
/proc/9863/statm: 2136244 30169 3146 1 0 2097643 0
[pid=9863/tid=9864] ppid=9837 vsize=8544976 memory=8112282956445269571 CPUtime=34.89 cores=0-7
/proc/9863/task/9864/stat : 9864 (java) S 9837 9840 8750 0 -1 1077944384 14980 3000340 0 0 70 5 2656 758 20 0 23 0 237543027 8750055424 30169 33554432000 4194304 4196468 140732684609936 140544274493328 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 77 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9865] ppid=9837 vsize=8544976 memory=1800 CPUtime=34.14 cores=0-7
/proc/9863/task/9865/stat : 9865 (java) S 9837 9840 8750 0 -1 1077944384 2 3000340 0 0 0 0 2656 758 20 0 23 0 237543028 8750055424 30169 33554432000 4194304 4196468 140732684609936 140544306895120 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9866] ppid=9837 vsize=8544976 memory=916 CPUtime=34.14 cores=0-7
/proc/9863/task/9866/stat : 9866 (java) S 9837 9840 8750 0 -1 1077944384 3 3000340 0 0 0 0 2656 758 20 0 23 0 237543028 8750055424 30169 33554432000 4194304 4196468 140732684609936 140544107063696 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9867] ppid=9837 vsize=8544976 memory=4880 CPUtime=34.14 cores=0-7
/proc/9863/task/9867/stat : 9867 (java) S 9837 9840 8750 0 -1 1077944384 2 3000340 0 0 0 0 2656 758 20 0 23 0 237543028 8750055424 30169 33554432000 4194304 4196468 140732684609936 140544106011152 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9868] ppid=9837 vsize=8544976 memory=4096 CPUtime=34.14 cores=0-7
/proc/9863/task/9868/stat : 9868 (java) S 9837 9840 8750 0 -1 1077944384 1 3000340 0 0 0 0 2656 758 20 0 23 0 237543028 8750055424 30169 33554432000 4194304 4196468 140732684609936 140544104958608 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9869] ppid=9837 vsize=8544976 memory=1408 CPUtime=34.14 cores=0-7
/proc/9863/task/9869/stat : 9869 (java) S 9837 9840 8750 0 -1 1077944384 2 3000340 0 0 0 0 2656 758 20 0 23 0 237543028 8750055424 30169 33554432000 4194304 4196468 140732684609936 140544103906064 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9870] ppid=9837 vsize=8544976 memory=3264 CPUtime=34.14 cores=0-7
/proc/9863/task/9870/stat : 9870 (java) S 9837 9840 8750 0 -1 1077944384 2 3000340 0 0 0 0 2656 758 20 0 23 0 237543028 8750055424 30169 33554432000 4194304 4196468 140732684609936 140544102853520 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9871] ppid=9837 vsize=8544976 memory=1472 CPUtime=34.14 cores=0-7
/proc/9863/task/9871/stat : 9871 (java) S 9837 9840 8750 0 -1 1077944384 1 3000340 0 0 0 0 2656 758 20 0 23 0 237543028 8750055424 30169 33554432000 4194304 4196468 140732684609936 140544101800976 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9872] ppid=9837 vsize=8544976 memory=120684 CPUtime=34.14 cores=0-7
/proc/9863/task/9872/stat : 9872 (java) S 9837 9840 8750 0 -1 1077944384 1 3000340 0 0 0 0 2656 758 20 0 23 0 237543028 8750055424 30169 33554432000 4194304 4196468 140732684609936 140544100748432 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9873] ppid=9837 vsize=8544976 memory=0 CPUtime=34.14 cores=0-7
/proc/9863/task/9873/stat : 9873 (java) S 9837 9840 8750 0 -1 1077944384 6 3000340 0 0 0 0 2656 758 20 0 23 0 237543030 8750055424 30169 33554432000 4194304 4196468 140732684609936 140543127393792 140544302664322 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9874] ppid=9837 vsize=8544976 memory=1472 CPUtime=34.14 cores=0-7
/proc/9863/task/9874/stat : 9874 (java) S 9837 9840 8750 0 -1 1077944384 13 3000340 0 0 0 0 2656 758 20 0 23 0 237543030 8750055424 30169 33554432000 4194304 4196468 140732684609936 140542939751328 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9875] ppid=9837 vsize=8544976 memory=120684 CPUtime=34.14 cores=0-7
/proc/9863/task/9875/stat : 9875 (java) S 9837 9840 8750 0 -1 1077944384 2 3000340 0 0 0 0 2656 758 20 0 23 0 237543031 8750055424 30169 33554432000 4194304 4196468 140732684609936 140542671315952 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9876] ppid=9837 vsize=8544976 memory=297237773746962458 CPUtime=34.14 cores=0-7
/proc/9863/task/9876/stat : 9876 (java) S 9837 9840 8750 0 -1 1077944384 32 3000340 0 0 0 0 2656 758 20 0 23 0 237543033 8750055424 30169 33554432000 4194304 4196468 140732684609936 140542296807280 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9877] ppid=9837 vsize=8544976 memory=301741394933055803 CPUtime=34.19 cores=0-7
/proc/9863/task/9877/stat : 9877 (java) S 9837 9840 8750 0 -1 1077944384 627 3000340 0 0 5 0 2656 758 20 0 23 0 237543033 8750055424 30169 33554432000 4194304 4196468 140732684609936 140543126342128 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9878] ppid=9837 vsize=8544976 memory=15255943717849665 CPUtime=34.19 cores=0-7
/proc/9863/task/9878/stat : 9878 (java) S 9837 9840 8750 0 -1 1077944384 165 3000340 0 0 5 0 2656 758 20 0 23 0 237543033 8750055424 30169 33554432000 4194304 4196468 140732684609936 140543125289584 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9879] ppid=9837 vsize=8544976 memory=7883340472761478248 CPUtime=34.18 cores=0-7
/proc/9863/task/9879/stat : 9879 (java) S 9837 9840 8750 0 -1 1077944384 235 3000340 0 0 4 0 2656 758 20 0 23 0 237543034 8750055424 30169 33554432000 4194304 4196468 140732684609936 140543124237040 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9880] ppid=9837 vsize=8544976 memory=5450909908396308010 CPUtime=34.34 cores=0-7
/proc/9863/task/9880/stat : 9880 (java) S 9837 9840 8750 0 -1 1077944384 502 3000340 0 0 20 0 2656 758 20 0 23 0 237543034 8750055424 30169 33554432000 4194304 4196468 140732684609936 140543123184496 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9881] ppid=9837 vsize=8544976 memory=7093282007460245094 CPUtime=34.14 cores=0-7
/proc/9863/task/9881/stat : 9881 (java) S 9837 9840 8750 0 -1 1077944384 3 3000340 0 0 0 0 2656 758 20 0 23 0 237543034 8750055424 30169 33554432000 4194304 4196468 140732684609936 140541798901984 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9884] ppid=9837 vsize=8544976 memory=8101242807436339047 CPUtime=34.14 cores=0-7
/proc/9863/task/9884/stat : 9884 (java) S 9837 9840 8750 0 -1 1077944384 23 3000340 0 0 0 0 2656 758 20 0 23 0 237543178 8750055424 30169 33554432000 4194304 4196468 140732684609936 140543114654096 140544302664322 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9888] ppid=9837 vsize=8544976 memory=7595151869040814439 CPUtime=34.14 cores=0-7
/proc/9863/task/9888/stat : 9888 (java) S 9837 9840 8750 0 -1 1077944384 11 3000340 0 0 0 0 2656 758 20 0 23 0 237543181 8750055424 30169 33554432000 4194304 4196468 140732684609936 140540859375504 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9889] ppid=9837 vsize=8544976 memory=7595151869040814439 CPUtime=34.14 cores=0-7
/proc/9863/task/9889/stat : 9889 (java) S 9837 9840 8750 0 -1 1077944384 24 3000340 0 0 0 0 2656 758 20 0 23 0 237546543 8750055424 30169 33554432000 4194304 4196468 140732684609936 140540590940752 140544302663381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
[pid=9863/tid=9892] ppid=9837 vsize=8544976 memory=7666631146169723239 CPUtime=34.35 cores=0-7
/proc/9863/task/9892/stat : 9892 (java) R 9837 9840 8750 0 -1 4202560 23 3000340 0 0 0 21 2656 758 20 0 23 0 237546545 8750055424 30169 33554432000 4194304 4196468 140732684609936 140540322504816 140544295338807 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11272192 140732684616882 140732684617005 140732684617005 140732684619727 0
Current cumulated CPU time of completed processes: 116.85 s
Current children cumulated CPU time: 35.52 s
Current children cumulated vsize: 8544976 KiB
Current children cumulated memory: 120676 KiB
Child status: 1
Real time (s): 145.278
CPU time (s): 152.417
CPU user time (s): 138.933
CPU system time (s): 13.4835
CPU usage (%): 104.913
Max. virtual memory (cumulated for all children) (KiB): 31844232
Max. memory (cumulated for all children) (KiB): 20073436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.933
system time used= 13.4835
maximum resident set size= 19952688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3088784
page faults= 1
swaps= 0
block input operations= 120
block output operations= 3202640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11988
involuntary context switches= 407
# summary of solver processes directly reported to runsolver:
# pid: 9840,9863
# total CPU time (s): 152.417
# total CPU user time (s): 138.933
# total CPU system time (s): 13.4835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.992494 second user time and 1.50462 second system time
The end
Begin job on node149 at 2018-08-14 00:34:49 IDJOB=4307141 IDBENCH=141557 IDSOLVER=2788 FILE ID=node149/4307141-1534199689 RUNJOBID= node149-1534192881-8777 PBS_JOBID= 21038000 Free space on /tmp= 39228 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-31) BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-08-m009_c18.xml COMMAND LINE= scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307141-1534199689/watcher-4307141-1534199689 -o /tmp/evaluation-result-4307141-1534199689/solver-4307141-1534199689 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1534192881-8777 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307141-1534199689.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 012ef72073aa4b47e82f6ff4769ae682 RANDOM SEED=875426104 node149.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.60 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.60 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.60 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.60 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: 19061220 kB MemAvailable: 31902500 kB Buffers: 219224 kB Cached: 12737420 kB SwapCached: 20 kB Active: 6331580 kB Inactive: 6680188 kB Active(anon): 2548 kB Inactive(anon): 104644 kB Active(file): 6329032 kB Inactive(file): 6575544 kB Unevictable: 7608 kB Mlocked: 7608 kB SwapTotal: 67108860 kB SwapFree: 67108492 kB Dirty: 8784 kB Writeback: 0 kB AnonPages: 62784 kB Mapped: 53204 kB Shmem: 49616 kB Slab: 392704 kB SReclaimable: 365164 kB SUnreclaim: 27540 kB KernelStack: 3184 kB PageTables: 4572 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 350172 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 39220 MiB End job on node149 at 2018-08-14 00:37:14