| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop both+glucose-syrup (2018-07-07) | ? (MO) | 639.063 | 471.129 |
| Name | Subisomorphism/ Subisomorphism-g29-g50_c18.xml |
| MD5SUM | 6b43bee46cd3f7faf4796c0903a8d917 |
| 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 | 100 |
| Number of constraints | 996 |
| Number of domains | 1 |
| Minimum domain size | 128 |
| Maximum domain size | 128 |
| Distribution of domain sizes | [{"size":128,"count":100}] |
| Minimum variable degree | 11 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":11,"count":1},{"degree":12,"count":2},{"degree":13,"count":4},{"degree":14,"count":4},{"degree":16,"count":2},{"degree":17,"count":7},{"degree":18,"count":10},{"degree":19,"count":11},{"degree":20,"count":17},{"degree":21,"count":14},{"degree":22,"count":6},{"degree":23,"count":4},{"degree":24,"count":7},{"degree":25,"count":3},{"degree":26,"count":5},{"degree":27,"count":2},{"degree":33,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 100 |
| Distribution of constraint arities | [{"arity":1,"count":89},{"arity":2,"count":906},{"arity":100,"count":1}] |
| Number of extensional constraints | 995 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":995},{"type":"allDifferent","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.66/0.53 0.66/0.53 scop both+glucose-syrup (2018-07-07) 0.66/0.53 0.66/0.55 c BEGIN-Prog: Fri Jul 27 07:35:10 CEST 2018 0.66/0.55 c PID: 28265 0.66/0.55 c IP: 172.20.3.132 0.66/0.55 c HOST: node132.alineos.net 0.66/0.56 c (0,0) Parsing Begin 2.14/1.14 c (0,0) Parsing End 2.14/1.14 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 996 ctr, max domain size 128 2.14/1.14 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.14/1.14 c (0,0) Constraint Name Generate Begin 2.14/1.16 c (0,0) Ctr:HOME/instance-4297279-1532669709.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar 2.14/1.16 c (0,0) Constraint Name Generate End 2.14/1.16 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.14/1.16 c (0,0) CSP to CSPinCNF Begin 42.98/30.39 c (29,29) translated 100 (10%) constraints 78.42/58.50 c (57,56) translated 200 (20%) constraints 122.40/87.55 c (87,83) translated 299 (30%) constraints 159.89/116.07 c (115,110) translated 399 (40%) constraints 198.58/144.41 c (143,137) translated 498 (50%) constraints 233.72/172.55 c (172,164) translated 598 (60%) constraints 266.00/200.29 c (199,191) translated 698 (70%) constraints 301.16/228.24 c (227,218) translated 797 (80%) constraints 334.22/256.11 c (255,245) translated 897 (90%) constraints 340.67/259.60 c (259,248) translated 996 (100%) constraints 358.98/274.14 c (273,262) STATISTICS1:HOME/instance-4297279-1532669709.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,116068,6544875,128,128,129,2,128:4950,128:12854386;2:6654570,129:906;100:2;3:6304854;2:239113,2:4950;1:19499056;0:906, 358.98/274.14 c (273,262) =========================================== 358.98/274.14 c (273,262) Both Encoding selects: 358.98/274.14 c (273,262) Order 358.98/274.14 c (273,262) =========================================== 369.62/283.31 c (282,271) translated 654488 (10%) constraints 380.36/292.62 c (292,280) translated 1308975 (20%) constraints 389.67/301.96 c (301,290) translated 1963463 (30%) constraints 403.57/311.86 c (311,299) translated 2617950 (40%) constraints 418.87/321.89 c (321,308) translated 3272438 (50%) constraints 428.19/331.13 c (330,317) translated 3926925 (60%) constraints 443.64/341.20 c (340,327) translated 4581413 (70%) constraints 452.95/350.52 c (349,336) translated 5235900 (80%) constraints 468.59/360.56 c (360,345) translated 5890388 (90%) constraints 477.89/369.82 c (369,355) translated 6544875 (100%) constraints 477.89/369.82 c (369,355) CSP to CSPinCNF End 477.89/369.87 c (369,355) CSP: 100 int (0 aux), 115968 bool (115968 aux), 6544875 ctr, max domain size 128 477.89/369.87 c (369,355) Heap : 10430 MiB used (max 21670 MiB), NonHeap : 30 MiB used (max 0 MiB) 477.89/369.87 c (369,355) CSPinCNF Propagation Begin 541.21/399.69 c (399,380) 0 values, 906 unsatisfiable literals, and 0 valid clauses are removed 541.21/399.69 c (399,380) CSPinCNF Propagation End 541.31/399.74 c (399,380) CSP: 100 int (0 aux), 115968 bool (115968 aux), 6544875 ctr, max domain size 128 541.31/399.74 c (399,380) Heap : 13568 MiB used (max 21489 MiB), NonHeap : 31 MiB used (max 0 MiB) 541.31/399.74 c (399,380) Simplify CSPinCNF Begin 562.04/409.34 c (408,388) Simplify CSPinCNF End 562.04/409.39 c (408,388) CSP: 100 int (0 aux), 125868 bool (125868 aux), 6554775 ctr, max domain size 128 562.04/409.39 c (408,388) Heap : 13075 MiB used (max 20920 MiB), NonHeap : 31 MiB used (max 0 MiB) 562.04/409.39 c (408,388) Calculate Precise Domain Begin 562.04/409.39 c (408,388) 0 values are removed by re-calculation 562.04/409.39 c (408,388) Calculate Precise Domain End 562.14/409.44 c (408,388) CSP: 100 int (0 aux), 125868 bool (125868 aux), 6554775 ctr, max domain size 128 562.14/409.44 c (408,388) Heap : 13075 MiB used (max 20920 MiB), NonHeap : 31 MiB used (max 0 MiB) 562.14/409.44 c (408,388) CSPinCNF to SatSolver Begin 581.69/417.85 c (417,395) 655478 (10 %) CSP clauses are encoded (138568 SAT variables, 1925377 SAT clauses) 588.16/421.72 c (421,398) 1310955 (20 %) CSP clauses are encoded (138568 SAT variables, 2580854 SAT clauses) 591.80/425.36 c (424,402) 1966433 (30 %) CSP clauses are encoded (138568 SAT variables, 3236332 SAT clauses) 595.31/428.88 c (428,405) 2621910 (40 %) CSP clauses are encoded (138568 SAT variables, 3891809 SAT clauses) 598.95/432.39 c (431,409) 3277388 (50 %) CSP clauses are encoded (138568 SAT variables, 4547287 SAT clauses) 602.54/435.91 c (435,412) 3932865 (60 %) CSP clauses are encoded (138568 SAT variables, 5202764 SAT clauses) 606.20/439.45 c (438,416) 4588343 (70 %) CSP clauses are encoded (138568 SAT variables, 5858242 SAT clauses) 609.90/443.25 c (442,419) 5243820 (80 %) CSP clauses are encoded (138568 SAT variables, 6513719 SAT clauses) 613.40/446.76 c (446,423) 5899298 (90 %) CSP clauses are encoded (138568 SAT variables, 7169197 SAT clauses) 617.13/450.58 c (450,427) 6554775 (100 %) CSP clauses are encoded (138568 SAT variables, 7824674 SAT clauses) 617.13/450.58 c (450,427) CSPinCNF to SatSolver End 617.13/450.58 c (450,427) Heap : 10901 MiB used (max 21361 MiB), NonHeap : 31 MiB used (max 0 MiB) 633.55/465.79 c (465,442) STATISTICS2:HOME/instance-4297279-1532669709.xml,AllDifferent:ExtensionConflict:ExtensionSupport:IntVar,125968,6554775,128,128,128,2,128:9900,128:12864286;2:6674370,128:906;100:2;3:6304854;2:249013,2:9900;1:19518856, 633.55/465.79 c (465,442) SatSolver.solve Begin 633.55/465.79 c (465,442) 138568 bool, 7824675 clause 633.55/465.79 c (465,442) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297279-1532669709.xml-scop-28265.cnf HOME/instance-4297279-1532669709.xml-scop-28265.cnf.out 638.72/470.80 c (470,0) receiving signal SIGTERM 638.72/470.80 s UNKNOWN 633.75/470.97 c (470,442) SatSolver is killed by some reasons. 633.75/470.97 c (470,442) 0,0,369,399,408,408,450,TO,TO,STOP-AFTER(DIMACS) 633.75/470.97 c END-Prog: Fri Jul 27 07:43:00 CEST 2018
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 (6453 MiB free)
memory of node 1: 16384 MiB (12391 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297279-1532669709/watcher-4297279-1532669709 -o /tmp/evaluation-result-4297279-1532669709/solver-4297279-1532669709 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532664667-27899 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297279-1532669709.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=28265, runsolver pid=28262
[startup+0.108608 s]*
/proc/loadavg: 9.28 8.75 8.51 2/203 28285
/proc/meminfo: memFree=19199764/32770624 swapFree=67108860/67108860
[pid=28265] ppid=28262 vsize=27312552 memory=111096 CPUtime=0.12 cores=0-7
/proc/28265/stat : 28265 (java) S 28262 28265 27872 0 -1 1077944320 7296 0 0 0 9 3 0 0 20 0 20 0 84534112 27968053248 27774 33554432000 4194304 4196468 140724579551248 140724579533792 139980698455799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
/proc/28265/statm: 6828138 27774 2779 1 0 6790598 0
[pid=28265/tid=28267] ppid=28262 vsize=27312552 memory=7826301160090672797 CPUtime=0.1 cores=0-7
/proc/28265/task/28267/stat : 28267 (java) R 28262 28265 27872 0 -1 4202560 5392 0 0 0 8 2 0 0 20 0 20 0 84534113 27968053248 27840 33554432000 4194304 4196468 140724579551248 139980670267784 139980678731520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28268] ppid=28262 vsize=27312552 memory=732369947215498213 CPUtime=0 cores=0-7
/proc/28265/task/28268/stat : 28268 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 27840 33554432000 4194304 4196468 140724579551248 139980702698512 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28269] ppid=28262 vsize=27312552 memory=139808878044800 CPUtime=0 cores=0-7
/proc/28265/task/28269/stat : 28269 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 27840 33554432000 4194304 4196468 140724579551248 139980516854928 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28270] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28270/stat : 28270 (java) S 28262 28265 27872 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 27840 33554432000 4194304 4196468 140724579551248 139980515801872 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28271] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28271/stat : 28271 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 27840 33554432000 4194304 4196468 140724579551248 139980514749328 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28272] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28272/stat : 28272 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 27840 33554432000 4194304 4196468 140724579551248 139980513696272 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28273] ppid=28262 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/28265/task/28273/stat : 28273 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 27840 33554432000 4194304 4196468 140724579551248 139980512643728 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28274] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28274/stat : 28274 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 27840 33554432000 4194304 4196468 140724579551248 139980511590672 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28275] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28275/stat : 28275 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 27840 33554432000 4194304 4196468 140724579551248 139980510538128 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28276] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28276/stat : 28276 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534117 27968053248 27840 33554432000 4194304 4196468 140724579551248 139979220032240 139980698466946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28277] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28277/stat : 28277 (java) S 28262 28265 27872 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84534117 27968053248 27906 33554432000 4194304 4196468 140724579551248 139978285770400 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28278] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28278/stat : 28278 (java) S 28262 28265 27872 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84534117 27968053248 27906 33554432000 4194304 4196468 140724579551248 139978151548144 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28279] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28279/stat : 28279 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 27906 33554432000 4194304 4196468 140724579551248 139977777043920 139980698474395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28280] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28280/stat : 28280 (java) S 28262 28265 27872 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 27906 33554432000 4194304 4196468 140724579551248 139979218979056 139980698466946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28281] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28281/stat : 28281 (java) S 28262 28265 27872 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 27906 33554432000 4194304 4196468 140724579551248 139979217926512 139980698466946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28282] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28282/stat : 28282 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 27906 33554432000 4194304 4196468 140724579551248 139979216873456 139980698466946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28283] ppid=28262 vsize=27312552 memory=0 CPUtime=0.01 cores=0-7
/proc/28265/task/28283/stat : 28283 (java) S 28262 28265 27872 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 20 0 84534120 27968053248 27906 33554432000 4194304 4196468 140724579551248 139979215820912 139980698466946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28284] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28284/stat : 28284 (java) S 28262 28265 27872 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 27906 33554432000 4194304 4196468 140724579551248 139977279138784 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28285] ppid=28262 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/28265/task/28285/stat : 28285 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 27906 33554432000 4194304 4196468 140724579551248 139979214769328 139980698466946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 111096 KiB
[startup+0.210486 s]*
/proc/loadavg: 9.28 8.75 8.51 2/203 28285
/proc/meminfo: memFree=19185920/32770624 swapFree=67108860/67108860
[pid=28265] ppid=28262 vsize=27312552 memory=123384 CPUtime=0.24 cores=0-7
/proc/28265/stat : 28265 (java) S 28262 28265 27872 0 -1 1077944320 10658 0 0 0 21 3 0 0 20 0 20 0 84534112 27968053248 30846 33554432000 4194304 4196468 140724579551248 140724579533792 139980698455799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
/proc/28265/statm: 6828138 30846 2853 1 0 6790598 0
[pid=28265/tid=28267] ppid=28262 vsize=27312552 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/28265/task/28267/stat : 28267 (java) R 28262 28265 27872 0 -1 4202560 8532 0 0 0 17 3 0 0 20 0 20 0 84534113 27968053248 30846 33554432000 4194304 4196468 140724579551248 139980670283200 139980698477725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28268] ppid=28262 vsize=27312552 memory=288230583233151328 CPUtime=0 cores=0-7
/proc/28265/task/28268/stat : 28268 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 30846 33554432000 4194304 4196468 140724579551248 139980702698512 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28269] ppid=28262 vsize=27312552 memory=139808878550028 CPUtime=0 cores=0-7
/proc/28265/task/28269/stat : 28269 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 30846 33554432000 4194304 4196468 140724579551248 139980516854928 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28270] ppid=28262 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/28265/task/28270/stat : 28270 (java) S 28262 28265 27872 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 30846 33554432000 4194304 4196468 140724579551248 139980515801872 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28271] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28271/stat : 28271 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 30846 33554432000 4194304 4196468 140724579551248 139980514749328 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28272] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28272/stat : 28272 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 30846 33554432000 4194304 4196468 140724579551248 139980513696272 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28273] ppid=28262 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/28265/task/28273/stat : 28273 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 30846 33554432000 4194304 4196468 140724579551248 139980512643728 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28274] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28274/stat : 28274 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 30846 33554432000 4194304 4196468 140724579551248 139980511590672 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28275] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28275/stat : 28275 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 30846 33554432000 4194304 4196468 140724579551248 139980510538128 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28276] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28276/stat : 28276 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534117 27968053248 30846 33554432000 4194304 4196468 140724579551248 139979220032240 139980698466946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28277] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28277/stat : 28277 (java) S 28262 28265 27872 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84534117 27968053248 30846 33554432000 4194304 4196468 140724579551248 139978285770400 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28278] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28278/stat : 28278 (java) S 28262 28265 27872 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84534117 27968053248 30846 33554432000 4194304 4196468 140724579551248 139978151548144 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28279] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28279/stat : 28279 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 30846 33554432000 4194304 4196468 140724579551248 139977777043920 139980698474395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28280] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28280/stat : 28280 (java) S 28262 28265 27872 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 30846 33554432000 4194304 4196468 140724579551248 139979218979056 139980698466946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28281] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28281/stat : 28281 (java) S 28262 28265 27872 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 30846 33554432000 4194304 4196468 140724579551248 139979217926512 139980698466946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28282] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28282/stat : 28282 (java) S 28262 28265 27872 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 30846 33554432000 4194304 4196468 140724579551248 139979216873456 139980698466946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28283] ppid=28262 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/28265/task/28283/stat : 28283 (java) R 28262 28265 27872 0 -1 4202560 289 0 0 0 2 0 0 0 20 0 20 0 84534120 27968053248 30846 33554432000 4194304 4196468 140724579551248 139979215820912 139980698477146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28284] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28284/stat : 28284 (java) S 28262 28265 27872 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 30846 33554432000 4194304 4196468 140724579551248 139977279138784 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28285] ppid=28262 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/28265/task/28285/stat : 28285 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 30846 33554432000 4194304 4196468 140724579551248 139979214769328 139980698466946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123384 KiB
[startup+0.310388 s]*
/proc/loadavg: 9.28 8.75 8.51 2/203 28285
/proc/meminfo: memFree=19182880/32770624 swapFree=67108860/67108860
[pid=28265] ppid=28262 vsize=27312552 memory=127132 CPUtime=0.42 cores=0-7
/proc/28265/stat : 28265 (java) S 28262 28265 27872 0 -1 1077944320 11200 0 0 0 38 4 0 0 20 0 20 0 84534112 27968053248 31783 33554432000 4194304 4196468 140724579551248 140724579533792 139980698455799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
/proc/28265/statm: 6828138 31783 2998 1 0 6790598 0
[pid=28265/tid=28267] ppid=28262 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28265/task/28267/stat : 28267 (java) R 28262 28265 27872 0 -1 4202560 8905 0 0 0 26 3 0 0 20 0 20 0 84534113 27968053248 31783 33554432000 4194304 4196468 140724579551248 139980670259952 139980680019376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28268] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28268/stat : 28268 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 31783 33554432000 4194304 4196468 140724579551248 139980702698512 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28269] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28269/stat : 28269 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 31783 33554432000 4194304 4196468 140724579551248 139980516854928 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28270] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28270/stat : 28270 (java) S 28262 28265 27872 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 31783 33554432000 4194304 4196468 140724579551248 139980515801872 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28271] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28271/stat : 28271 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 31783 33554432000 4194304 4196468 140724579551248 139980514749328 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28272] ppid=28262 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/28265/task/28272/stat : 28272 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 31783 33554432000 4194304 4196468 140724579551248 139980513696272 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28273] ppid=28262 vsize=27312552 memory=139808768881583 CPUtime=0 cores=0-7
/proc/28265/task/28273/stat : 28273 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 31783 33554432000 4194304 4196468 140724579551248 139980512643728 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28274] ppid=28262 vsize=27312552 memory=139808768883888 CPUtime=0 cores=0-7
/proc/28265/task/28274/stat : 28274 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 31783 33554432000 4194304 4196468 140724579551248 139980511590672 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28275] ppid=28262 vsize=27312552 memory=139808768886192 CPUtime=0 cores=0-7
/proc/28265/task/28275/stat : 28275 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27968053248 31783 33554432000 4194304 4196468 140724579551248 139980510538128 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28276] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28276/stat : 28276 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534117 27968053248 31783 33554432000 4194304 4196468 140724579551248 139979220032240 139980698466946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28277] ppid=28262 vsize=27312552 memory=279617537779344 CPUtime=0 cores=0-7
/proc/28265/task/28277/stat : 28277 (java) S 28262 28265 27872 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 84534117 27968053248 31783 33554432000 4194304 4196468 140724579551248 139978285770400 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28278] ppid=28262 vsize=27312552 memory=279617537786256 CPUtime=0 cores=0-7
/proc/28265/task/28278/stat : 28278 (java) S 28262 28265 27872 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84534117 27968053248 31783 33554432000 4194304 4196468 140724579551248 139978151548144 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28279] ppid=28262 vsize=27312552 memory=279617537727536 CPUtime=0 cores=0-7
/proc/28265/task/28279/stat : 28279 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 31783 33554432000 4194304 4196468 140724579551248 139977777043920 139980698474395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28280] ppid=28262 vsize=27312552 memory=279617537800080 CPUtime=0 cores=0-7
/proc/28265/task/28280/stat : 28280 (java) S 28262 28265 27872 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 31783 33554432000 4194304 4196468 140724579551248 139979218979056 139980698466946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28281] ppid=28262 vsize=27312552 memory=279617537806992 CPUtime=0.02 cores=0-7
/proc/28265/task/28281/stat : 28281 (java) S 28262 28265 27872 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 20 0 84534120 27968053248 31783 33554432000 4194304 4196468 140724579551248 139979217926512 139980698466946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28282] ppid=28262 vsize=27312552 memory=279617537804688 CPUtime=0.01 cores=0-7
/proc/28265/task/28282/stat : 28282 (java) S 28262 28265 27872 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 20 0 84534120 27968053248 31783 33554432000 4194304 4196468 140724579551248 139979216873456 139980698466946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28283] ppid=28262 vsize=27312552 memory=279617537821248 CPUtime=0.07 cores=0-7
/proc/28265/task/28283/stat : 28283 (java) S 28262 28265 27872 0 -1 1077944384 313 0 0 0 7 0 0 0 20 0 20 0 84534120 27968053248 31783 33554432000 4194304 4196468 140724579551248 139979215820912 139980698466946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28284] ppid=28262 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28284/stat : 28284 (java) S 28262 28265 27872 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 31783 33554432000 4194304 4196468 140724579551248 139977279138784 139980698466005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28285] ppid=28262 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/28265/task/28285/stat : 28285 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534120 27968053248 31783 33554432000 4194304 4196468 140724579551248 139979214769328 139980698466946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127132 KiB
[startup+0.701599 s]
/proc/loadavg: 9.28 8.75 8.51 2/203 28285
/proc/meminfo: memFree=19157828/32770624 swapFree=67108860/67108860
[pid=28265] ppid=28262 vsize=27318824 memory=164432 CPUtime=1 cores=0-7
/proc/28265/stat : 28265 (java) S 28262 28265 27872 0 -1 1077944320 18229 0 0 0 94 6 0 0 20 0 20 0 84534112 27974475776 41108 33554432000 4194304 4196468 140724579551248 140724579533792 139980698455799 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
/proc/28265/statm: 6829706 41108 3130 1 0 6791110 0
[pid=28265/tid=28267] ppid=28262 vsize=27318824 memory=7230638416007555671 CPUtime=0.66 cores=0-7
/proc/28265/task/28267/stat : 28267 (java) R 28262 28265 27872 0 -1 4202560 15446 0 0 0 62 4 0 0 20 0 20 0 84534113 27974475776 41108 33554432000 4194304 4196468 140724579551248 139980670271936 139980181737472 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28268] ppid=28262 vsize=27318824 memory=121478855056632 CPUtime=0 cores=0-7
/proc/28265/task/28268/stat : 28268 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27974475776 41108 33554432000 4194304 4196468 140724579551248 139980702698512 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28269] ppid=28262 vsize=27318824 memory=139808768912034 CPUtime=0 cores=0-7
/proc/28265/task/28269/stat : 28269 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534115 27974475776 41108 33554432000 4194304 4196468 140724579551248 139980516854928 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28270] ppid=28262 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28270/stat : 28270 (java) S 28262 28265 27872 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84534115 27974475776 41108 33554432000 4194304 4196468 140724579551248 139980515801872 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28271] ppid=28262 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28271/stat : 28271 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27974475776 41108 33554432000 4194304 4196468 140724579551248 139980514749328 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28272] ppid=28262 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28272/stat : 28272 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27974475776 41108 33554432000 4194304 4196468 140724579551248 139980513696272 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28273] ppid=28262 vsize=27318824 memory=2353 CPUtime=0 cores=0-7
/proc/28265/task/28273/stat : 28273 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27974475776 41108 33554432000 4194304 4196468 140724579551248 139980512643728 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28274] ppid=28262 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28274/stat : 28274 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534115 27974475776 41108 33554432000 4194304 4196468 140724579551248 139980511590672 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28275] ppid=28262 vsize=27318824 memory=1832 CPUtime=0 cores=0-7
/proc/28265/task/28275/stat : 28275 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84534115 27974475776 41108 33554432000 4194304 4196468 140724579551248 139980510538128 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28276] ppid=28262 vsize=27318824 memory=1948 CPUtime=0 cores=0-7
/proc/28265/task/28276/stat : 28276 (java) S 28262 28265 27872 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 84534117 27974475776 41108 33554432000 4194304 4196468 140724579551248 139979220032240 139980698466946 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
################
# More data... #
################
/proc/28265/task/28275/stat : 28275 (java) S 28262 28265 27872 0 -1 1077944384 25642 0 0 0 1808 373 0 0 20 0 20 0 84534115 27983011840 4523255 33554432000 4194304 4196468 140724579551248 139980510538128 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28276] ppid=28262 vsize=27327160 memory=2257 CPUtime=0.06 cores=0-7
/proc/28265/task/28276/stat : 28276 (java) S 28262 28265 27872 0 -1 1077944384 1843 0 0 0 5 1 0 0 20 0 20 0 84534117 27983011840 4523255 33554432000 4194304 4196468 140724579551248 139979220032240 139980698466946 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28277] ppid=28262 vsize=27327160 memory=65 CPUtime=0 cores=0-7
/proc/28265/task/28277/stat : 28277 (java) S 28262 28265 27872 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 84534117 27983011840 4523255 33554432000 4194304 4196468 140724579551248 139978285770464 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28278] ppid=28262 vsize=27327160 memory=18093020 CPUtime=0 cores=0-7
/proc/28265/task/28278/stat : 28278 (java) S 28262 28265 27872 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 84534117 27983011840 4523255 33554432000 4194304 4196468 140724579551248 139978151548160 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28279] ppid=28262 vsize=27327160 memory=18093020 CPUtime=0 cores=0-7
/proc/28265/task/28279/stat : 28279 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84534120 27983011840 4523255 33554432000 4194304 4196468 140724579551248 139977777043920 139980698474395 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28280] ppid=28262 vsize=27327160 memory=18093004 CPUtime=5.24 cores=0-7
/proc/28265/task/28280/stat : 28280 (java) S 28262 28265 27872 0 -1 1077944384 16064 0 0 0 520 4 0 0 20 0 20 0 84534120 27983011840 4523255 33554432000 4194304 4196468 140724579551248 139979218979056 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28281] ppid=28262 vsize=27327160 memory=4132 CPUtime=3.65 cores=0-7
/proc/28265/task/28281/stat : 28281 (java) S 28262 28265 27872 0 -1 1077944384 9687 0 0 0 364 1 0 0 20 0 20 0 84534120 27983011840 4523255 33554432000 4194304 4196468 140724579551248 139979217926512 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28282] ppid=28262 vsize=27327160 memory=18093020 CPUtime=4.19 cores=0-7
/proc/28265/task/28282/stat : 28282 (java) S 28262 28265 27872 0 -1 1077944384 11807 0 0 0 415 4 0 0 20 0 20 0 84534120 27983011840 4523255 33554432000 4194304 4196468 140724579551248 139979216873456 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28283] ppid=28262 vsize=27327160 memory=18093020 CPUtime=1.57 cores=0-7
/proc/28265/task/28283/stat : 28283 (java) S 28262 28265 27872 0 -1 1077944384 16141 0 0 0 154 3 0 0 20 0 20 0 84534120 27983011840 4523255 33554432000 4194304 4196468 140724579551248 139979215820912 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28284] ppid=28262 vsize=27327160 memory=18093020 CPUtime=0 cores=0-7
/proc/28265/task/28284/stat : 28284 (java) S 28262 28265 27872 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84534120 27983011840 4523255 33554432000 4194304 4196468 140724579551248 139977279138784 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28285] ppid=28262 vsize=27327160 memory=25024 CPUtime=0.27 cores=0-7
/proc/28265/task/28285/stat : 28285 (java) S 28262 28265 27872 0 -1 1077944384 401 0 0 0 11 16 0 0 20 0 20 0 84534120 27983011840 4523255 33554432000 4194304 4196468 140724579551248 139979214769328 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
Current children cumulated CPU time: 630 s
Current children cumulated vsize: 27327160 KiB
Current children cumulated memory: 18093020 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+470.801 s]
/proc/loadavg: 1.27 2.94 5.70 2/209 28301
/proc/meminfo: memFree=204164/32770624 swapFree=67108860/67108860
[pid=28265] ppid=28262 vsize=27984808 memory=18098132 CPUtime=633.75 cores=0-7
/proc/28265/stat : 28265 (java) S 28262 28265 27872 0 -1 1077944320 309608 0 0 0 60190 3185 0 0 20 0 24 0 84534112 28656443392 4524533 33554432000 4194304 4196468 140724579551248 140724579533792 139980698455799 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
/proc/28265/statm: 6996202 4524533 3263 1 0 6957058 0
[pid=28296] ppid=28265 vsize=4054176 memory=3370620 CPUtime=4.97 cores=0-7
/proc/28296/stat : 28296 (glucose-syrup) S 28265 28265 27872 0 -1 1077944320 767150 0 0 0 326 171 0 0 20 0 9 0 84580693 4151476224 842655 33554432000 4194304 4373367 140727987915440 140727987913984 140053380401794 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6470912 6472264 13787136 140727987921839 140727987922092 140727987922092 140727987924935 0
/proc/28296/statm: 1013544 842655 364 44 0 1009232 0
[pid=28265/tid=28267] ppid=28262 vsize=27984808 memory=840 CPUtime=442.74 cores=0-7
/proc/28265/task/28267/stat : 28267 (java) S 28262 28265 27872 0 -1 1077944384 49434 0 0 0 44116 158 0 0 20 0 24 0 84534113 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139980670295040 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 59 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28268] ppid=28262 vsize=27984808 memory=1796 CPUtime=22.07 cores=0-7
/proc/28265/task/28268/stat : 28268 (java) S 28262 28265 27872 0 -1 1077944384 23864 0 0 0 1839 368 0 0 20 0 24 0 84534115 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139980702698512 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28269] ppid=28262 vsize=27984808 memory=912 CPUtime=22.02 cores=0-7
/proc/28265/task/28269/stat : 28269 (java) S 28262 28265 27872 0 -1 1077944384 22181 0 0 0 1831 371 0 0 20 0 24 0 84534115 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139980516854928 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28270] ppid=28262 vsize=27984808 memory=4136 CPUtime=21.94 cores=0-7
/proc/28265/task/28270/stat : 28270 (java) S 28262 28265 27872 0 -1 1077944384 25256 0 0 0 1812 382 0 0 20 0 24 0 84534115 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139980515801872 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28271] ppid=28262 vsize=27984808 memory=4100 CPUtime=21.9 cores=0-7
/proc/28265/task/28271/stat : 28271 (java) S 28262 28265 27872 0 -1 1077944384 25050 0 0 0 1812 378 0 0 20 0 24 0 84534115 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139980514749328 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28272] ppid=28262 vsize=27984808 memory=1408 CPUtime=21.94 cores=0-7
/proc/28265/task/28272/stat : 28272 (java) S 28262 28265 27872 0 -1 1077944384 25579 0 0 0 1837 357 0 0 20 0 24 0 84534115 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139980513696272 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28273] ppid=28262 vsize=27984808 memory=18098132 CPUtime=22.1 cores=0-7
/proc/28265/task/28273/stat : 28273 (java) S 28262 28265 27872 0 -1 1077944384 25996 0 0 0 1831 379 0 0 20 0 24 0 84534115 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139980512643728 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28274] ppid=28262 vsize=27984808 memory=2038056 CPUtime=22 cores=0-7
/proc/28265/task/28274/stat : 28274 (java) S 28262 28265 27872 0 -1 1077944384 26231 0 0 0 1819 381 0 0 20 0 24 0 84534115 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139980511590672 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28275] ppid=28262 vsize=27984808 memory=1008 CPUtime=21.83 cores=0-7
/proc/28265/task/28275/stat : 28275 (java) S 28262 28265 27872 0 -1 1077944384 26150 0 0 0 1810 373 0 0 20 0 24 0 84534115 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139980510538128 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28276] ppid=28262 vsize=27984808 memory=4620 CPUtime=0.07 cores=0-7
/proc/28265/task/28276/stat : 28276 (java) S 28262 28265 27872 0 -1 1077944384 2151 0 0 0 6 1 0 0 20 0 24 0 84534117 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139979220032240 139980698466946 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28277] ppid=28262 vsize=27984808 memory=15872 CPUtime=0 cores=0-7
/proc/28265/task/28277/stat : 28277 (java) S 28262 28265 27872 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 24 0 84534117 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139978285770464 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28278] ppid=28262 vsize=27984808 memory=14688 CPUtime=0 cores=0-7
/proc/28265/task/28278/stat : 28278 (java) S 28262 28265 27872 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 24 0 84534117 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139978151548160 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28279] ppid=28262 vsize=27984808 memory=18472 CPUtime=0 cores=0-7
/proc/28265/task/28279/stat : 28279 (java) S 28262 28265 27872 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 84534120 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139977777043920 139980698474395 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28280] ppid=28262 vsize=27984808 memory=4048 CPUtime=5.25 cores=0-7
/proc/28265/task/28280/stat : 28280 (java) S 28262 28265 27872 0 -1 1077944384 16178 0 0 0 521 4 0 0 20 0 24 0 84534120 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139979218979056 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28281] ppid=28262 vsize=27984808 memory=1792 CPUtime=3.66 cores=0-7
/proc/28265/task/28281/stat : 28281 (java) S 28262 28265 27872 0 -1 1077944384 9825 0 0 0 365 1 0 0 20 0 24 0 84534120 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139979217926512 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28282] ppid=28262 vsize=27984808 memory=1236 CPUtime=4.19 cores=0-7
/proc/28265/task/28282/stat : 28282 (java) S 28262 28265 27872 0 -1 1077944384 12158 0 0 0 415 4 0 0 20 0 24 0 84534120 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139979216873456 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28283] ppid=28262 vsize=27984808 memory=279617538895520 CPUtime=1.6 cores=0-7
/proc/28265/task/28283/stat : 28283 (java) S 28262 28265 27872 0 -1 1077944384 17707 0 0 0 157 3 0 0 20 0 24 0 84534120 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139979215820912 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28284] ppid=28262 vsize=27984808 memory=259630773071072 CPUtime=0 cores=0-7
/proc/28265/task/28284/stat : 28284 (java) S 28262 28265 27872 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 84534120 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139977279138784 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28285] ppid=28262 vsize=27984808 memory=261185551232224 CPUtime=0.27 cores=0-7
/proc/28265/task/28285/stat : 28285 (java) S 28262 28265 27872 0 -1 1077944384 405 0 0 0 11 16 0 0 20 0 24 0 84534120 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139979214769328 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28297] ppid=28262 vsize=27984808 memory=261189846199913 CPUtime=0 cores=0-7
/proc/28265/task/28297/stat : 28297 (java) S 28262 28265 27872 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 84580693 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139980500878784 139980698480409 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28299] ppid=28262 vsize=27984808 memory=261202731101801 CPUtime=0 cores=0-7
/proc/28265/task/28299/stat : 28299 (java) S 28262 28265 27872 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 24 0 84580694 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139976608038320 139980698477725 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28300] ppid=28262 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/28265/task/28300/stat : 28300 (java) S 28262 28265 27872 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 84580694 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139976876473904 139980698477725 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28301] ppid=28262 vsize=27984808 memory=261189846228181 CPUtime=0 cores=0-7
/proc/28265/task/28301/stat : 28301 (java) S 28262 28265 27872 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 84580695 28656443392 4524533 33554432000 4194304 4196468 140724579551248 139976339610528 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
Current children cumulated CPU time: 638.72 s
Current children cumulated vsize: 32038984 KiB
Current children cumulated memory: 21468752 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+471.129 s]
# the end of solver process 28265 was just reported to runsolver
# cumulated CPU time of all completed processes: user=605.184 s, system=33.8788 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+471.001 s]*
/proc/loadavg: 1.27 2.94 5.70 2/207 28310
/proc/meminfo: memFree=3746844/32770624 swapFree=67108860/67108860
[pid=28265] ppid=28262 vsize=28050344 memory=18098320 CPUtime=638.93 cores=0-7
/proc/28265/stat : 28265 (java) S 28262 28265 27872 0 -1 1077944320 310107 767219 0 0 60191 3188 326 188 20 0 23 0 84534112 28723552256 4524580 33554432000 4194304 4196468 140724579551248 140724579533792 139980698455799 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
/proc/28265/statm: 7012586 4524580 3263 1 0 6973442 0
[pid=28265/tid=28267] ppid=28262 vsize=28050344 memory=6791534058613427641 CPUtime=447.88 cores=0-7
/proc/28265/task/28267/stat : 28267 (java) S 28262 28265 27872 0 -1 1077944384 49480 767219 0 0 44116 158 326 188 20 0 23 0 84534113 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139980670296000 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 59 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28268] ppid=28262 vsize=28050344 memory=4048 CPUtime=27.21 cores=0-7
/proc/28265/task/28268/stat : 28268 (java) S 28262 28265 27872 0 -1 1077944384 23864 767219 0 0 1839 368 326 188 20 0 23 0 84534115 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139980702698512 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28269] ppid=28262 vsize=28050344 memory=2444 CPUtime=27.16 cores=0-7
/proc/28265/task/28269/stat : 28269 (java) S 28262 28265 27872 0 -1 1077944384 22181 767219 0 0 1831 371 326 188 20 0 23 0 84534115 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139980516854928 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28270] ppid=28262 vsize=28050344 memory=1832 CPUtime=27.08 cores=0-7
/proc/28265/task/28270/stat : 28270 (java) S 28262 28265 27872 0 -1 1077944384 25256 767219 0 0 1812 382 326 188 20 0 23 0 84534115 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139980515801872 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28271] ppid=28262 vsize=28050344 memory=-7003737579269690708 CPUtime=27.04 cores=0-7
/proc/28265/task/28271/stat : 28271 (java) S 28262 28265 27872 0 -1 1077944384 25050 767219 0 0 1812 378 326 188 20 0 23 0 84534115 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139980514749328 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28272] ppid=28262 vsize=28050344 memory=2633404 CPUtime=27.08 cores=0-7
/proc/28265/task/28272/stat : 28272 (java) S 28262 28265 27872 0 -1 1077944384 25579 767219 0 0 1837 357 326 188 20 0 23 0 84534115 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139980513696272 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28273] ppid=28262 vsize=28050344 memory=16100360058046859 CPUtime=27.24 cores=0-7
/proc/28265/task/28273/stat : 28273 (java) S 28262 28265 27872 0 -1 1077944384 25996 767219 0 0 1831 379 326 188 20 0 23 0 84534115 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139980512643728 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28274] ppid=28262 vsize=28050344 memory=1027108 CPUtime=27.14 cores=0-7
/proc/28265/task/28274/stat : 28274 (java) S 28262 28265 27872 0 -1 1077944384 26231 767219 0 0 1819 381 326 188 20 0 23 0 84534115 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139980511590672 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28275] ppid=28262 vsize=28050344 memory=-4075877051373423739 CPUtime=26.97 cores=0-7
/proc/28265/task/28275/stat : 28275 (java) S 28262 28265 27872 0 -1 1077944384 26150 767219 0 0 1810 373 326 188 20 0 23 0 84534115 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139980510538128 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28276] ppid=28262 vsize=28050344 memory=-7003737579269690708 CPUtime=5.21 cores=0-7
/proc/28265/task/28276/stat : 28276 (java) S 28262 28265 27872 0 -1 1077944384 2155 767219 0 0 6 1 326 188 20 0 23 0 84534117 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139979220032240 139980698466946 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28277] ppid=28262 vsize=28050344 memory=648 CPUtime=5.14 cores=0-7
/proc/28265/task/28277/stat : 28277 (java) S 28262 28265 27872 0 -1 1077944384 26 767219 0 0 0 0 326 188 20 0 23 0 84534117 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139978285770464 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28278] ppid=28262 vsize=28050344 memory=956 CPUtime=5.14 cores=0-7
/proc/28265/task/28278/stat : 28278 (java) S 28262 28265 27872 0 -1 1077944384 50 767219 0 0 0 0 326 188 20 0 23 0 84534117 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139978151548160 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28279] ppid=28262 vsize=28050344 memory=2340 CPUtime=5.14 cores=0-7
/proc/28265/task/28279/stat : 28279 (java) S 28262 28265 27872 0 -1 1077944384 29 767219 0 0 0 0 326 188 20 0 23 0 84534120 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139977777043920 139980698474395 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28280] ppid=28262 vsize=28050344 memory=288230574492221466 CPUtime=10.39 cores=0-7
/proc/28265/task/28280/stat : 28280 (java) S 28262 28265 27872 0 -1 1077944384 16178 767219 0 0 521 4 326 188 20 0 23 0 84534120 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139979218979056 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28281] ppid=28262 vsize=28050344 memory=288230596050944315 CPUtime=8.8 cores=0-7
/proc/28265/task/28281/stat : 28281 (java) S 28262 28265 27872 0 -1 1077944384 9825 767219 0 0 365 1 326 188 20 0 23 0 84534120 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139979217926512 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28282] ppid=28262 vsize=28050344 memory=16100360058046859 CPUtime=9.33 cores=0-7
/proc/28265/task/28282/stat : 28282 (java) S 28262 28265 27872 0 -1 1077944384 12158 767219 0 0 415 4 326 188 20 0 23 0 84534120 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139979216873456 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28283] ppid=28262 vsize=28050344 memory=3232 CPUtime=6.74 cores=0-7
/proc/28265/task/28283/stat : 28283 (java) S 28262 28265 27872 0 -1 1077944384 18092 767219 0 0 157 3 326 188 20 0 23 0 84534120 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139979215820912 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28284] ppid=28262 vsize=28050344 memory=18093020 CPUtime=5.14 cores=0-7
/proc/28265/task/28284/stat : 28284 (java) S 28262 28265 27872 0 -1 1077944384 3 767219 0 0 0 0 326 188 20 0 23 0 84534120 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139977279138784 139980698466005 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28285] ppid=28262 vsize=28050344 memory=0 CPUtime=5.41 cores=0-7
/proc/28265/task/28285/stat : 28285 (java) S 28262 28265 27872 0 -1 1077944384 405 767219 0 0 11 16 326 188 20 0 23 0 84534120 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139979214769328 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28297] ppid=28262 vsize=28050344 memory=0 CPUtime=5.14 cores=0-7
/proc/28265/task/28297/stat : 28297 (java) S 28262 28265 27872 0 -1 1077944384 24 767219 0 0 0 0 326 188 20 0 23 0 84580693 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139980500877968 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28301] ppid=28262 vsize=28050344 memory=0 CPUtime=5.14 cores=0-7
/proc/28265/task/28301/stat : 28301 (java) S 28262 28265 27872 0 -1 1077944384 10 767219 0 0 0 0 326 188 20 0 23 0 84580695 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139976339612336 139980698466946 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
[pid=28265/tid=28310] ppid=28262 vsize=28050344 memory=0 CPUtime=5.16 cores=0-7
/proc/28265/task/28310/stat : 28310 (java) D 28262 28265 27872 0 -1 4202560 24 767219 0 0 0 2 326 188 20 0 23 0 84581193 28723552256 4524580 33554432000 4194304 4196468 140724579551248 139976071176472 139980691141431 0 4 0 25189583 18446744071581155587 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140724579554266 140724579554565 140724579554565 140724579557327 0
Current children cumulated CPU time: 638.93 s
Current children cumulated vsize: 28050344 KiB
Current children cumulated memory: 18098320 KiB
[startup+471.11 s]*
/proc/loadavg: 1.27 2.94 5.70 2/185 28310
/proc/meminfo: memFree=19091516/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 471.129
CPU time (s): 639.063
CPU user time (s): 605.184
CPU system time (s): 33.8788
CPU usage (%): 135.645
Max. virtual memory (cumulated for all children) (KiB): 32038984
Max. memory (cumulated for all children) (KiB): 21468752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 605.184
system time used= 33.8788
maximum resident set size= 18100180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1077351
page faults= 0
swaps= 0
block input operations= 24
block output operations= 317832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26552
involuntary context switches= 2363
# summary of solver processes directly reported to runsolver:
# pid: 28265
# total CPU time (s): 639.063
# total CPU user time (s): 605.184
# total CPU system time (s): 33.8788
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.31737 second user time and 4.77171 second system time
The end
Begin job on node132 at 2018-07-27 07:35:09 IDJOB=4297279 IDBENCH=141503 IDSOLVER=2759 FILE ID=node132/4297279-1532669709 RUNJOBID= node132-1532664667-27899 PBS_JOBID= 21022234 Free space on /tmp= 52044 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g29-g50_c18.xml COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297279-1532669709/watcher-4297279-1532669709 -o /tmp/evaluation-result-4297279-1532669709/solver-4297279-1532669709 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532664667-27899 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297279-1532669709.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6b43bee46cd3f7faf4796c0903a8d917 RANDOM SEED=601700855 node132.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.65 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.65 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.65 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.65 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: 19298080 kB MemAvailable: 31928660 kB Buffers: 230900 kB Cached: 12559880 kB SwapCached: 0 kB Active: 3439504 kB Inactive: 9405132 kB Active(anon): 4312 kB Inactive(anon): 77496 kB Active(file): 3435192 kB Inactive(file): 9327636 kB Unevictable: 7020 kB Mlocked: 7020 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8220 kB Writeback: 0 kB AnonPages: 61024 kB Mapped: 41780 kB Shmem: 25248 kB Slab: 323608 kB SReclaimable: 296212 kB SUnreclaim: 27396 kB KernelStack: 3296 kB PageTables: 4752 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324080 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 52032 MiB End job on node132 at 2018-07-27 07:43:01