Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 5a (2017-07-05) | SAT (TO) | 1333 | 2400.73 | 311.212 |
| Name | Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml |
| MD5SUM | a459d91dacc3f59ecbf6a687bb73e496 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1243 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 240 |
| Number of constraints | 255 |
| Number of domains | 1 |
| Minimum domain size | 1359 |
| Maximum domain size | 1359 |
| Distribution of domain sizes | [{"size":1359,"count":240}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":15},{"degree":3,"count":225}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 15 |
| Distribution of constraint arities | [{"arity":1,"count":15},{"arity":2,"count":225},{"arity":15,"count":15}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 240 |
| Distribution of constraint types | [{"type":"intension","count":240},{"type":"noOverlap","count":15}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4244570-1500683990.xml" -tl '2400s' -p 8 -x 3 0.00/0.21 c [HOME/instance-4244570-1500683990.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.28 c 8 solvers in parallel 0.00/0.35 c parse instance... 0.00/0.94 c solve instance... 88.52/11.84 o 1355 89.26/11.96 o 1353 90.74/12.19 o 1343 219.13/28.52 o 1342 644.37/82.15 o 1341 968.30/125.02 o 1340 1413.76/182.08 o 1339 1747.18/226.75 o 1338 2248.78/291.86 o 1337 2249.12/291.95 o 1333 2400.73/311.24 s SATISFIABLE 2400.73/311.24 v <instantiation> 2400.73/311.24 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] s[4][14] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] s[5][12] s[5][13] s[5][14] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[6][12] s[6][13] s[6][14] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[7][12] s[7][13] s[7][14] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11] s[8][12] s[8][13] s[8][14] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] s[9][10] s[9][11] s[9][12] s[9][13] s[9][14] s[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[10][5] s[10][6] s[10][7] s[10][8] s[10][9] s[10][10] s[10][11] s[10][12] s[10][13] s[10][14] s[11][0] s[11][1] s[11][2] s[11][3] s[11][4] s[11][5] s[11][6] s[11][7] s[11][8] s[11][9] s[11][10] s[11][11] s[11][12] s[11][13] s[11][14] s[12][0] s[12][1] s[12][2] s[12][3] s[12][4] s[12][5] s[12][6] s[12][7] s[12][8] s[12][9] s[12][10] s[12][11] s[12][12] s[12][13] s[12][14] s[13][0] s[13][1] s[13][2] s[13][3] s[13][4] s[13][5] s[13][6] s[13][7] s[13][8] s[13][9] s[13][10] s[13][11] s[13][12] s[13][13] s[13][14] s[14][0] s[14][1] s[14][2] s[14][3] s[14][4] s[14][5] s[14][6] s[14][7] s[14][8] s[14][9] s[14][10] s[14][11] s[14][12] s[14][13] s[14][14] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] e[10] e[11] e[12] e[13] e[14] </list> 2400.73/311.24 v <values>0 35 113 192 280 333 452 568 638 834 1030 1162 1211 1247 1332 177 270 311 349 378 430 508 548 661 715 778 802 887 960 1005 0 60 103 174 176 226 263 349 453 513 570 646 670 873 1186 0 150 373 408 457 522 579 580 624 767 797 923 1016 1067 1119 174 270 309 384 482 484 545 614 646 741 804 829 840 890 985 0 260 288 331 396 614 797 830 843 850 899 922 960 1033 1132 27 30 110 364 484 684 715 784 848 931 1016 1106 1170 1186 1247 0 41 103 226 408 476 650 739 868 887 924 1120 1162 1192 1282 35 79 138 225 347 480 535 600 640 666 684 790 1115 1187 1222 0 27 41 161 523 578 718 778 797 854 1032 1187 1217 1308 1319 0 67 161 311 313 432 451 563 739 797 830 868 967 1055 1170 313 373 482 579 661 719 808 853 854 923 949 952 1125 1133 1145 58 257 338 430 539 578 773 848 887 937 985 1029 1055 1150 1244 0 67 333 364 482 513 523 575 702 784 840 931 1106 1211 1295 0 23 113 177 194 236 287 378 656 797 848 937 1032 1125 1244 1333 1035 1255 1135 1063 1204 1272 1328 1282 1330 1240 1238 1318 1317 1300 </values> 2400.73/311.24 v </instantiation> 2400.73/311.24 c Unexpected resolution interruption!
OK 1333
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244570-1500683990/watcher-4244570-1500683990 -o /tmp/evaluation-result-4244570-1500683990/solver-4244570-1500683990 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 540767166 HOME/instance-4244570-1500683990.xml pid=8966 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 15.49 14.03 8.38 10/270 8969 /proc/meminfo: memFree=31678284/32770624 swapFree=5884/236104 [pid=8969] ppid=8966 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8969/stat : 8969 (xcsp3-exec) S 8966 8969 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3666792 9740288 346 33554432000 4194304 5098028 140736626268208 140736626266312 140387184321148 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32092160 140736626271375 140736626271584 140736626271584 140736626274283 0 /proc/8969/statm: 2378 346 289 221 0 87 0 [startup+0.100099 s] /proc/loadavg: 15.49 14.03 8.38 10/270 8969 /proc/meminfo: memFree=31678284/32770624 swapFree=5884/236104 [pid=8969] ppid=8966 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8969/stat : 8969 (xcsp3-exec) S 8966 8969 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3666792 9740288 346 33554432000 4194304 5098028 140736626268208 140736626266312 140387184321148 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32092160 140736626271375 140736626271584 140736626271584 140736626274283 0 /proc/8969/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200283 s] /proc/loadavg: 15.49 14.03 8.38 10/270 8969 /proc/meminfo: memFree=31678284/32770624 swapFree=5884/236104 [pid=8969] ppid=8966 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8969/stat : 8969 (xcsp3-exec) S 8966 8969 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3666792 9740288 346 33554432000 4194304 5098028 140736626268208 140736626266312 140387184321148 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32092160 140736626271375 140736626271584 140736626271584 140736626274283 0 /proc/8969/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.30026 s] /proc/loadavg: 15.49 14.03 8.38 10/270 8969 /proc/meminfo: memFree=31678284/32770624 swapFree=5884/236104 [pid=8969] ppid=8966 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8969/stat : 8969 (xcsp3-exec) S 8966 8969 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3666792 9740288 346 33554432000 4194304 5098028 140736626268208 140736626266312 140387184321148 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32092160 140736626271375 140736626271584 140736626271584 140736626274283 0 /proc/8969/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700154 s] /proc/loadavg: 15.49 14.03 8.38 10/270 8969 /proc/meminfo: memFree=31678284/32770624 swapFree=5884/236104 [pid=8969] ppid=8966 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8969/stat : 8969 (xcsp3-exec) S 8966 8969 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3666792 9740288 346 33554432000 4194304 5098028 140736626268208 140736626266312 140387184321148 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32092160 140736626271375 140736626271584 140736626271584 140736626274283 0 /proc/8969/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50131 s] /proc/loadavg: 15.49 14.03 8.38 14/284 9079 /proc/meminfo: memFree=31851260/32770624 swapFree=5884/236172 [pid=8969] ppid=8966 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8969/stat : 8969 (xcsp3-exec) S 8966 8969 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3666792 9740288 346 33554432000 4194304 5098028 140736626268208 140736626266312 140387184321148 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32092160 140736626271375 140736626271584 140736626271584 140736626274283 0 /proc/8969/statm: 2378 346 289 221 0 87 0 [pid=8970] ppid=8969 vsize=13801768 CPUtime=6.87 cores=0,2,4,6,8,10,12,14 /proc/8970/stat : 8970 (java) S 8969 8969 8571 0 -1 1077944320 21769 0 0 0 679 8 0 0 20 0 28 0 3666793 14133010432 42983 33554432000 4194304 4196468 140736788964912 140736788947456 139771626925815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 /proc/8970/statm: 3450442 42983 3218 1 0 3437675 0 [pid=8970/tid=8971] ppid=8969 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8971/stat : 8971 (java) S 8969 8969 8571 0 -1 1077944384 7056 0 0 0 89 3 0 0 20 0 28 0 3666793 14133010432 42983 33554432000 4194304 4196468 140736788964912 139771631166592 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8973] ppid=8969 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8973/stat : 8973 (java) S 8969 8969 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3666794 14133010432 42983 33554432000 4194304 4196468 140736788964912 139771592207248 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8974] ppid=8969 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8974/stat : 8974 (java) S 8969 8969 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3666794 14133010432 42983 33554432000 4194304 4196468 140736788964912 139771224902416 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8975] ppid=8969 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8975/stat : 8975 (java) S 8969 8969 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3666794 14133010432 42983 33554432000 4194304 4196468 140736788964912 139771223850128 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8976] ppid=8969 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8976/stat : 8976 (java) S 8969 8969 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3666794 14133010432 42983 33554432000 4194304 4196468 140736788964912 139771222797328 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8977] ppid=8969 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8977/stat : 8977 (java) S 8969 8969 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3666794 14133010432 42983 33554432000 4194304 4196468 140736788964912 139771221744016 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8978] ppid=8969 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8978/stat : 8978 (java) S 8969 8969 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3666794 14133010432 42983 33554432000 4194304 4196468 140736788964912 139771220691216 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8979] ppid=8969 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8979/stat : 8979 (java) S 8969 8969 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3666794 14133010432 42983 33554432000 4194304 4196468 140736788964912 139771219638928 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8980] ppid=8969 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8980/stat : 8980 (java) S 8969 8969 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3666794 14133010432 42983 33554432000 4194304 4196468 140736788964912 139771218586128 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8981] ppid=8969 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8981/stat : 8981 (java) S 8969 8969 8571 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3666796 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770820831856 139771626936962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8982] ppid=8969 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8982/stat : 8982 (java) S 8969 8969 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3666797 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770819777824 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8983] ppid=8969 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8983/stat : 8983 (java) S 8969 8969 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3666797 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770818725488 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8984] ppid=8969 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8984/stat : 8984 (java) S 8969 8969 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3666801 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770817673808 139771626944411 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8985] ppid=8969 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8985/stat : 8985 (java) R 8969 8969 8571 0 -1 4202560 3270 0 0 0 70 0 0 0 20 0 28 0 3666801 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770816605208 139771612040870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8986] ppid=8969 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8986/stat : 8986 (java) R 8969 8969 8571 0 -1 4202560 3611 0 0 0 69 2 0 0 20 0 28 0 3666801 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770815548872 139771606581456 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8987] ppid=8969 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8987/stat : 8987 (java) R 8969 8969 8571 0 -1 4202560 2782 0 0 0 70 1 0 0 20 0 28 0 3666801 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770814496584 139771607561699 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8988] ppid=8969 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8988/stat : 8988 (java) S 8969 8969 8571 0 -1 1077944384 3220 0 0 0 66 1 0 0 20 0 28 0 3666801 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770813462768 139771626936962 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8989] ppid=8969 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8989/stat : 8989 (java) S 8969 8969 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3666801 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770812410720 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8990] ppid=8969 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8990/stat : 8990 (java) S 8969 8969 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3666802 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770811358000 139771626936962 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9048] ppid=8969 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9048/stat : 9048 (java) R 8969 8969 8571 0 -1 4202560 68 0 0 0 35 0 0 0 20 0 28 0 3666888 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770803344344 139771263097640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9050] ppid=8969 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9050/stat : 9050 (java) R 8969 8969 8571 0 -1 4202560 56 0 0 0 29 0 0 0 20 0 28 0 3666888 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770802293752 139771263012201 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9051] ppid=8969 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9051/stat : 9051 (java) R 8969 8969 8571 0 -1 4202560 40 0 0 0 43 0 0 0 20 0 28 0 3666888 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770801238280 139771263101739 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9052] ppid=8969 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9052/stat : 9052 (java) R 8969 8969 8571 0 -1 4202560 128 0 0 0 33 0 0 0 20 0 28 0 3666888 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770800187304 139771263119078 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9053] ppid=8969 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9053/stat : 9053 (java) R 8969 8969 8571 0 -1 4202560 47 0 0 0 40 0 0 0 20 0 28 0 3666888 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770799132392 139771263119253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9054] ppid=8969 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9054/stat : 9054 (java) R 8969 8969 8571 0 -1 4202560 88 0 0 0 43 0 0 0 20 0 28 0 3666888 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770798079824 139771263119078 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9055] ppid=8969 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9055/stat : 9055 (java) R 8969 8969 8571 0 -1 4202560 43 0 0 0 45 0 0 0 20 0 28 0 3666888 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770797029864 139771263119309 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9056] ppid=8969 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9056/stat : 9056 (java) R 8969 8969 8571 0 -1 4202560 46 0 0 0 40 0 0 0 20 0 28 0 3666889 14133010432 42983 33554432000 4194304 4196468 140736788964912 139770795975640 139771263131055 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 Current children cumulated CPU time (s) 6.87 Current children cumulated vsize (KiB) 13811280 [startup+3.10145 s] /proc/loadavg: 15.49 14.03 8.38 16/291 9086 /proc/meminfo: memFree=31611056/32770624 swapFree=5884/236208 [pid=8969] ppid=8966 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8969/stat : 8969 (xcsp3-exec) S 8966 8969 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3666792 9740288 346 33554432000 4194304 5098028 140736626268208 140736626266312 140387184321148 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32092160 140736626271375 140736626271584 140736626271584 140736626274283 0 /proc/8969/statm: 2378 346 289 221 0 87 0 [pid=8970] ppid=8969 vsize=13803796 CPUtime=19.61 cores=0,2,4,6,8,10,12,14 /proc/8970/stat : 8970 (java) S 8969 8969 8571 0 -1 1077944320 44392 0 0 0 1949 12 0 0 20 0 28 0 3666793 14135087104 49153 33554432000 4194304 4196468 140736788964912 140736788947456 139771626925815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 /proc/8970/statm: 3450949 49153 3227 1 0 3438182 0 [pid=8970/tid=8971] ppid=8969 vsize=13803796 CPUtime=0.92 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8971/stat : 8971 (java) S 8969 8969 8571 0 -1 1077944384 7056 0 0 0 89 3 0 0 20 0 28 0 3666793 14135087104 49153 33554432000 4194304 4196468 140736788964912 139771631166592 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8973] ppid=8969 vsize=13803796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8973/stat : 8973 (java) S 8969 8969 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3666794 14135087104 49153 33554432000 4194304 4196468 140736788964912 139771592207248 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8974] ppid=8969 vsize=13803796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8974/stat : 8974 (java) S 8969 8969 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3666794 14135087104 49153 33554432000 4194304 4196468 140736788964912 139771224902416 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8975] ppid=8969 vsize=13803796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8975/stat : 8975 (java) S 8969 8969 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3666794 14135087104 49153 33554432000 4194304 4196468 140736788964912 139771223850128 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8976] ppid=8969 vsize=13803796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8976/stat : 8976 (java) S 8969 8969 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3666794 14135087104 49153 33554432000 4194304 4196468 140736788964912 139771222797328 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8977] ppid=8969 vsize=13803796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8977/stat : 8977 (java) S 8969 8969 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3666794 14135087104 49153 33554432000 4194304 4196468 140736788964912 139771221744016 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8978] ppid=8969 vsize=13803796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8978/stat : 8978 (java) S 8969 8969 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3666794 14135087104 49153 33554432000 4194304 4196468 140736788964912 139771220691216 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8979] ppid=8969 vsize=13803796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8979/stat : 8979 (java) S 8969 8969 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3666794 14135087104 49153 33554432000 4194304 4196468 140736788964912 139771219638928 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8980] ppid=8969 vsize=13803796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8980/stat : 8980 (java) S 8969 8969 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3666794 14135087104 49153 33554432000 4194304 4196468 140736788964912 139771218586128 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8981] ppid=8969 vsize=13803796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8981/stat : 8981 (java) S 8969 8969 8571 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 3666796 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770820831856 139771626936962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8982] ppid=8969 vsize=13803796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8982/stat : 8982 (java) S 8969 8969 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3666797 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770819777824 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8983] ppid=8969 vsize=13803796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8983/stat : 8983 (java) S 8969 8969 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3666797 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770818725488 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8984] ppid=8969 vsize=13803796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8984/stat : 8984 (java) S 8969 8969 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3666801 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770817673808 139771626944411 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8985] ppid=8969 vsize=13803796 CPUtime=1.82 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8985/stat : 8985 (java) R 8969 8969 8571 0 -1 4202560 9317 0 0 0 181 1 0 0 20 0 28 0 3666801 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770816606680 139771608447215 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8986] ppid=8969 vsize=13803796 CPUtime=1.91 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8986/stat : 8986 (java) R 8969 8969 8571 0 -1 4202560 10660 0 0 0 189 2 0 0 20 0 28 0 3666801 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770815560344 139771608470033 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8987] ppid=8969 vsize=13803796 CPUtime=2 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8987/stat : 8987 (java) R 8969 8969 8571 0 -1 4202560 11379 0 0 0 199 1 0 0 20 0 28 0 3666801 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770814508056 139771606769188 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8988] ppid=8969 vsize=13803796 CPUtime=0.73 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8988/stat : 8988 (java) S 8969 8969 8571 0 -1 1077944384 3519 0 0 0 72 1 0 0 20 0 28 0 3666801 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770813462768 139771626936962 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8989] ppid=8969 vsize=13803796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8989/stat : 8989 (java) S 8969 8969 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3666801 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770812410720 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8990] ppid=8969 vsize=13803796 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8990/stat : 8990 (java) S 8969 8969 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3666802 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770811358000 139771626936962 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9048] ppid=8969 vsize=13803796 CPUtime=1.67 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9048/stat : 9048 (java) R 8969 8969 8571 0 -1 4202560 130 0 0 0 167 0 0 0 20 0 28 0 3666888 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770803345016 139771263097640 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9050] ppid=8969 vsize=13803796 CPUtime=1.52 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9050/stat : 9050 (java) R 8969 8969 8571 0 -1 4202560 94 0 0 0 152 0 0 0 20 0 28 0 3666888 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770802290848 139771263119078 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9051] ppid=8969 vsize=13803796 CPUtime=1.4 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9051/stat : 9051 (java) R 8969 8969 8571 0 -1 4202560 162 0 0 0 140 0 0 0 20 0 28 0 3666888 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770801237584 139771269250734 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9052] ppid=8969 vsize=13803796 CPUtime=1.4 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9052/stat : 9052 (java) R 8969 8969 8571 0 -1 4202560 229 0 0 0 140 0 0 0 20 0 28 0 3666888 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770800186424 139771263012165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9053] ppid=8969 vsize=13803796 CPUtime=1.6 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9053/stat : 9053 (java) R 8969 8969 8571 0 -1 4202560 111 0 0 0 160 0 0 0 20 0 28 0 3666888 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770799133192 139771270264707 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9054] ppid=8969 vsize=13803796 CPUtime=1.42 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9054/stat : 9054 (java) R 8969 8969 8571 0 -1 4202560 135 0 0 0 142 0 0 0 20 0 28 0 3666888 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770798078208 139771263119305 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9055] ppid=8969 vsize=13803796 CPUtime=1.5 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9055/stat : 9055 (java) R 8969 8969 8571 0 -1 4202560 145 0 0 0 150 0 0 0 20 0 28 0 3666888 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770797025984 139771263012165 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9056] ppid=8969 vsize=13803796 CPUtime=1.63 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9056/stat : 9056 (java) R 8969 8969 8571 0 -1 4202560 113 0 0 0 163 0 0 0 20 0 28 0 3666889 14135087104 49153 33554432000 4194304 4196468 140736788964912 139770795977304 139771263270398 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 Current children cumulated CPU time (s) 19.61 Current children cumulated vsize (KiB) 13813308 [startup+6.30156 s] /proc/loadavg: 15.29 14.01 8.41 18/299 9094 /proc/meminfo: memFree=31506824/32770624 swapFree=5884/236216 ################ # More data... # ################ [pid=8970/tid=9160] ppid=8969 vsize=13803816 CPUtime=39.5 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9160/stat : 9160 (java) R 8969 8969 8571 0 -1 4202560 480 0 0 0 3950 0 0 0 20 0 28 0 3685001 14135107584 85416 33554432000 4194304 4196468 140736788964912 139770802290936 139771270447555 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9161] ppid=8969 vsize=13803816 CPUtime=39.61 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9161/stat : 9161 (java) R 8969 8969 8571 0 -1 4202560 359 0 0 0 3961 0 0 0 20 0 28 0 3685001 14135107584 85416 33554432000 4194304 4196468 140736788964912 139770798080120 139771271373465 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 Current children cumulated CPU time (s) 1731.63 Current children cumulated vsize (KiB) 13813328 [startup+282.301 s] /proc/loadavg: 15.25 14.88 10.23 17/301 9170 /proc/meminfo: memFree=31104568/32770624 swapFree=5884/236444 [pid=8969] ppid=8966 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8969/stat : 8969 (xcsp3-exec) S 8966 8969 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3666792 9740288 346 33554432000 4194304 5098028 140736626268208 140736626266312 140387184321148 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32092160 140736626271375 140736626271584 140736626271584 140736626274283 0 /proc/8969/statm: 2378 346 289 221 0 87 0 [pid=8970] ppid=8969 vsize=13803816 CPUtime=2184.74 cores=0,2,4,6,8,10,12,14 /proc/8970/stat : 8970 (java) S 8969 8969 8571 0 -1 1077944320 165101 0 0 0 218227 247 0 0 20 0 28 0 3666793 14135107584 98344 33554432000 4194304 4196468 140736788964912 140736788947456 139771626925815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 /proc/8970/statm: 3450954 98344 3293 1 0 3438187 0 [pid=8970/tid=8971] ppid=8969 vsize=13803816 CPUtime=0.93 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8971/stat : 8971 (java) S 8969 8969 8571 0 -1 1077944384 7775 0 0 0 90 3 0 0 20 0 28 0 3666793 14135107584 98344 33554432000 4194304 4196468 140736788964912 139771631166592 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8973] ppid=8969 vsize=13803816 CPUtime=0.58 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8973/stat : 8973 (java) S 8969 8969 8571 0 -1 1077944384 5165 0 0 0 48 10 0 0 20 0 28 0 3666794 14135107584 98344 33554432000 4194304 4196468 140736788964912 139771592207248 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8974] ppid=8969 vsize=13803816 CPUtime=0.53 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8974/stat : 8974 (java) S 8969 8969 8571 0 -1 1077944384 3753 0 0 0 43 10 0 0 20 0 28 0 3666794 14135107584 98344 33554432000 4194304 4196468 140736788964912 139771224902416 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8975] ppid=8969 vsize=13803816 CPUtime=0.57 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8975/stat : 8975 (java) S 8969 8969 8571 0 -1 1077944384 3030 0 0 0 46 11 0 0 20 0 28 0 3666794 14135107584 98344 33554432000 4194304 4196468 140736788964912 139771223850128 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8976] ppid=8969 vsize=13803816 CPUtime=0.55 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8976/stat : 8976 (java) S 8969 8969 8571 0 -1 1077944384 3181 0 0 0 45 10 0 0 20 0 28 0 3666794 14135107584 98344 33554432000 4194304 4196468 140736788964912 139771222797328 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8977] ppid=8969 vsize=13803816 CPUtime=0.58 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8977/stat : 8977 (java) S 8969 8969 8571 0 -1 1077944384 2265 0 0 0 48 10 0 0 20 0 28 0 3666794 14135107584 98344 33554432000 4194304 4196468 140736788964912 139771221744016 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8978] ppid=8969 vsize=13803816 CPUtime=0.59 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8978/stat : 8978 (java) S 8969 8969 8571 0 -1 1077944384 2769 0 0 0 48 11 0 0 20 0 28 0 3666794 14135107584 98344 33554432000 4194304 4196468 140736788964912 139771220691216 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8979] ppid=8969 vsize=13803816 CPUtime=0.59 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8979/stat : 8979 (java) S 8969 8969 8571 0 -1 1077944384 3338 0 0 0 49 10 0 0 20 0 28 0 3666794 14135107584 98344 33554432000 4194304 4196468 140736788964912 139771219638928 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8980] ppid=8969 vsize=13803816 CPUtime=0.57 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8980/stat : 8980 (java) S 8969 8969 8571 0 -1 1077944384 3518 0 0 0 48 9 0 0 20 0 28 0 3666794 14135107584 98344 33554432000 4194304 4196468 140736788964912 139771218586128 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8981] ppid=8969 vsize=13803816 CPUtime=2.18 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8981/stat : 8981 (java) S 8969 8969 8571 0 -1 1077944384 8254 0 0 0 92 126 0 0 20 0 28 0 3666796 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770820831856 139771626936962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8982] ppid=8969 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8982/stat : 8982 (java) S 8969 8969 8571 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 3666797 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770819777888 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8983] ppid=8969 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8983/stat : 8983 (java) S 8969 8969 8571 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 3666797 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770818725504 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8984] ppid=8969 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8984/stat : 8984 (java) S 8969 8969 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3666801 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770817673808 139771626944411 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8985] ppid=8969 vsize=13803816 CPUtime=5.08 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8985/stat : 8985 (java) S 8969 8969 8571 0 -1 1077944384 18682 0 0 0 505 3 0 0 20 0 28 0 3666801 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770816620656 139771626936962 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8986] ppid=8969 vsize=13803816 CPUtime=4.59 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8986/stat : 8986 (java) S 8969 8969 8571 0 -1 1077944384 22318 0 0 0 454 5 0 0 20 0 28 0 3666801 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770815567856 139771626936962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8987] ppid=8969 vsize=13803816 CPUtime=5.23 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8987/stat : 8987 (java) S 8969 8969 8571 0 -1 1077944384 22880 0 0 0 520 3 0 0 20 0 28 0 3666801 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770814515568 139771626936962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8988] ppid=8969 vsize=13803816 CPUtime=1.27 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8988/stat : 8988 (java) S 8969 8969 8571 0 -1 1077944384 16417 0 0 0 124 3 0 0 20 0 28 0 3666801 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770813462768 139771626936962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8989] ppid=8969 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8989/stat : 8989 (java) S 8969 8969 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3666801 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770812410720 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8990] ppid=8969 vsize=13803816 CPUtime=0.11 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8990/stat : 8990 (java) S 8969 8969 8571 0 -1 1077944384 1816 0 0 0 5 6 0 0 20 0 28 0 3666802 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770811358000 139771626936962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9162] ppid=8969 vsize=13803816 CPUtime=54.29 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9162/stat : 9162 (java) R 8969 8969 8571 0 -1 4202560 668 0 0 0 5429 0 0 0 20 0 28 0 3689468 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770798082432 139771272920813 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9163] ppid=8969 vsize=13803816 CPUtime=54.08 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9163/stat : 9163 (java) R 8969 8969 8571 0 -1 4202560 945 0 0 0 5408 0 0 0 20 0 28 0 3689468 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770802291064 139771270264390 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9164] ppid=8969 vsize=13803816 CPUtime=54.54 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9164/stat : 9164 (java) R 8969 8969 8571 0 -1 4202560 1277 0 0 0 5454 0 0 0 20 0 28 0 3689468 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770799132296 139771272920810 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9165] ppid=8969 vsize=13803816 CPUtime=54.78 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9165/stat : 9165 (java) R 8969 8969 8571 0 -1 4202560 712 0 0 0 5478 0 0 0 20 0 28 0 3689468 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770795974264 139771266716452 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9166] ppid=8969 vsize=13803816 CPUtime=54.62 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9166/stat : 9166 (java) R 8969 8969 8571 0 -1 4202560 477 0 0 0 5462 0 0 0 20 0 28 0 3689468 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770803342928 139771272920843 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9167] ppid=8969 vsize=13803816 CPUtime=54.38 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9167/stat : 9167 (java) R 8969 8969 8571 0 -1 4202560 451 0 0 0 5438 0 0 0 20 0 28 0 3689468 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770800185208 139771270949718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9168] ppid=8969 vsize=13803816 CPUtime=54.37 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9168/stat : 9168 (java) R 8969 8969 8571 0 -1 4202560 800 0 0 0 5437 0 0 0 20 0 28 0 3689468 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770801238264 139771270448907 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9169] ppid=8969 vsize=13803816 CPUtime=54.37 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9169/stat : 9169 (java) R 8969 8969 8571 0 -1 4202560 607 0 0 0 5437 0 0 0 20 0 28 0 3689468 14135107584 98344 33554432000 4194304 4196468 140736788964912 139770797027160 139771270228843 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 Current children cumulated CPU time (s) 2184.74 Current children cumulated vsize (KiB) 13813328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+311.201 s] /proc/loadavg: 15.11 14.89 10.38 14/301 9323 /proc/meminfo: memFree=31295384/32770624 swapFree=5884/236528 [pid=8969] ppid=8966 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8969/stat : 8969 (xcsp3-exec) S 8966 8969 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3666792 9740288 346 33554432000 4194304 5098028 140736626268208 140736626266312 140387184321148 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32092160 140736626271375 140736626271584 140736626271584 140736626274283 0 /proc/8969/statm: 2378 346 289 221 0 87 0 [pid=8970] ppid=8969 vsize=13803816 CPUtime=2400.73 cores=0,2,4,6,8,10,12,14 /proc/8970/stat : 8970 (java) S 8969 8969 8571 0 -1 1077944320 168602 0 0 0 239787 286 0 0 20 0 28 0 3666793 14135107584 104677 33554432000 4194304 4196468 140736788964912 140736788947456 139771626925815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 /proc/8970/statm: 3450954 104677 3293 1 0 3438187 0 [pid=8970/tid=8971] ppid=8969 vsize=13803816 CPUtime=0.93 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8971/stat : 8971 (java) S 8969 8969 8571 0 -1 1077944384 7859 0 0 0 90 3 0 0 20 0 28 0 3666793 14135107584 104677 33554432000 4194304 4196468 140736788964912 139771631166592 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8973] ppid=8969 vsize=13803816 CPUtime=0.66 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8973/stat : 8973 (java) S 8969 8969 8571 0 -1 1077944384 5441 0 0 0 55 11 0 0 20 0 28 0 3666794 14135107584 104677 33554432000 4194304 4196468 140736788964912 139771592207248 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8974] ppid=8969 vsize=13803816 CPUtime=0.6 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8974/stat : 8974 (java) S 8969 8969 8571 0 -1 1077944384 3779 0 0 0 50 10 0 0 20 0 28 0 3666794 14135107584 104677 33554432000 4194304 4196468 140736788964912 139771224902416 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8975] ppid=8969 vsize=13803816 CPUtime=0.66 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8975/stat : 8975 (java) S 8969 8969 8571 0 -1 1077944384 3046 0 0 0 54 12 0 0 20 0 28 0 3666794 14135107584 104677 33554432000 4194304 4196468 140736788964912 139771223850128 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8976] ppid=8969 vsize=13803816 CPUtime=0.62 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8976/stat : 8976 (java) S 8969 8969 8571 0 -1 1077944384 3204 0 0 0 52 10 0 0 20 0 28 0 3666794 14135107584 104677 33554432000 4194304 4196468 140736788964912 139771222797328 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8977] ppid=8969 vsize=13803816 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8977/stat : 8977 (java) S 8969 8969 8571 0 -1 1077944384 2391 0 0 0 56 11 0 0 20 0 28 0 3666794 14135107584 104677 33554432000 4194304 4196468 140736788964912 139771221744016 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8978] ppid=8969 vsize=13803816 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8978/stat : 8978 (java) S 8969 8969 8571 0 -1 1077944384 3009 0 0 0 56 11 0 0 20 0 28 0 3666794 14135107584 104677 33554432000 4194304 4196468 140736788964912 139771220691216 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8979] ppid=8969 vsize=13803816 CPUtime=0.68 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8979/stat : 8979 (java) S 8969 8969 8571 0 -1 1077944384 3680 0 0 0 57 11 0 0 20 0 28 0 3666794 14135107584 104677 33554432000 4194304 4196468 140736788964912 139771219638928 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8980] ppid=8969 vsize=13803816 CPUtime=0.65 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8980/stat : 8980 (java) S 8969 8969 8571 0 -1 1077944384 3613 0 0 0 54 11 0 0 20 0 28 0 3666794 14135107584 104677 33554432000 4194304 4196468 140736788964912 139771218586128 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8981] ppid=8969 vsize=13803816 CPUtime=2.63 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8981/stat : 8981 (java) S 8969 8969 8571 0 -1 1077944384 8464 0 0 0 108 155 0 0 20 0 28 0 3666796 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770820831856 139771626936962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8982] ppid=8969 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8982/stat : 8982 (java) S 8969 8969 8571 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 3666797 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770819777888 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8983] ppid=8969 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8983/stat : 8983 (java) S 8969 8969 8571 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 3666797 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770818725504 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8984] ppid=8969 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8984/stat : 8984 (java) S 8969 8969 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3666801 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770817673808 139771626944411 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8985] ppid=8969 vsize=13803816 CPUtime=5.09 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8985/stat : 8985 (java) S 8969 8969 8571 0 -1 1077944384 18874 0 0 0 506 3 0 0 20 0 28 0 3666801 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770816620656 139771626936962 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8986] ppid=8969 vsize=13803816 CPUtime=4.59 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8986/stat : 8986 (java) S 8969 8969 8571 0 -1 1077944384 22385 0 0 0 454 5 0 0 20 0 28 0 3666801 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770815567856 139771626936962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8987] ppid=8969 vsize=13803816 CPUtime=5.24 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8987/stat : 8987 (java) S 8969 8969 8571 0 -1 1077944384 22922 0 0 0 521 3 0 0 20 0 28 0 3666801 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770814515568 139771626936962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8988] ppid=8969 vsize=13803816 CPUtime=1.27 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8988/stat : 8988 (java) S 8969 8969 8571 0 -1 1077944384 16588 0 0 0 124 3 0 0 20 0 28 0 3666801 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770813462768 139771626936962 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8989] ppid=8969 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8989/stat : 8989 (java) S 8969 8969 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3666801 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770812410720 139771626936021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=8990] ppid=8969 vsize=13803816 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/8970/task/8990/stat : 8990 (java) S 8969 8969 8571 0 -1 1077944384 1834 0 0 0 6 6 0 0 20 0 28 0 3666802 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770811358000 139771626936962 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9179] ppid=8969 vsize=13803816 CPUtime=18.83 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9179/stat : 9179 (java) R 8969 8969 8571 0 -1 4202560 112 0 0 0 1883 0 0 0 20 0 28 0 3695988 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770800184648 139771272920820 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9180] ppid=8969 vsize=13803816 CPUtime=18.81 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9180/stat : 9180 (java) R 8969 8969 8571 0 -1 4202560 118 0 0 0 1881 0 0 0 20 0 28 0 3695988 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770798080504 139771271883227 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9181] ppid=8969 vsize=13803816 CPUtime=18.85 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9181/stat : 9181 (java) R 8969 8969 8571 0 -1 4202560 118 0 0 0 1885 0 0 0 20 0 28 0 3695988 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770801240384 139771271862460 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9182] ppid=8969 vsize=13803816 CPUtime=18.74 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9182/stat : 9182 (java) R 8969 8969 8571 0 -1 4202560 196 0 0 0 1874 0 0 0 20 0 28 0 3695988 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770802289872 139771272920820 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9183] ppid=8969 vsize=13803816 CPUtime=18.84 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9183/stat : 9183 (java) R 8969 8969 8571 0 -1 4202560 80 0 0 0 1884 0 0 0 20 0 28 0 3695988 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770795974472 139771272920834 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9184] ppid=8969 vsize=13803816 CPUtime=18.74 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9184/stat : 9184 (java) R 8969 8969 8571 0 -1 4202560 88 0 0 0 1874 0 0 0 20 0 28 0 3695988 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770797027192 139771270263712 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9185] ppid=8969 vsize=13803816 CPUtime=18.82 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9185/stat : 9185 (java) R 8969 8969 8571 0 -1 4202560 224 0 0 0 1882 0 0 0 20 0 28 0 3695988 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770803343368 139771272921076 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 [pid=8970/tid=9186] ppid=8969 vsize=13803816 CPUtime=18.72 cores=0,2,4,6,8,10,12,14 /proc/8970/task/9186/stat : 9186 (java) R 8969 8969 8571 0 -1 4202560 100 0 0 0 1872 0 0 0 20 0 28 0 3695988 14135107584 104677 33554432000 4194304 4196468 140736788964912 139770799132232 139771270949591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27197440 140736788972732 140736788972908 140736788972908 140736788975567 0 Current children cumulated CPU time (s) 2400.73 Current children cumulated vsize (KiB) 13813328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 8970 sig 9 ??? kill 8969 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8969 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=2045 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1022 # CPU time returned by wait4() is 0.003067 # while last known CPU time is 2400.73 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 311.212 CPU time (s): 2400.73 CPU user time (s): 2397.87 CPU system time (s): 2.86 CPU usage (%): 771.413 Max. virtual memory (cumulated for all children) (KiB): 13813328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.002045 system time used= 0.001022 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 519 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.79055 second user time and 4.23918 second system time The end
Begin job on node126 at 2017-07-22 02:39:50 IDJOB=4244570 IDBENCH=115789 IDSOLVER=2626 FILE ID=node126/4244570-1500683990 RUNJOBID= node126-1500683384-8602 PBS_JOBID= 20623339 Free space on /tmp= 61976 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-9.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244570-1500683990/watcher-4244570-1500683990 -o /tmp/evaluation-result-4244570-1500683990/solver-4244570-1500683990 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 540767166 HOME/instance-4244570-1500683990.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= a459d91dacc3f59ecbf6a687bb73e496 RANDOM SEED=540767166 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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.50 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.50 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.50 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.50 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 : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31679276 kB MemAvailable: 31720004 kB Buffers: 47036 kB Cached: 304740 kB SwapCached: 0 kB Active: 471624 kB Inactive: 244760 kB Active(anon): 367200 kB Inactive(anon): 8656 kB Active(file): 104424 kB Inactive(file): 236104 kB Unevictable: 5884 kB Mlocked: 5884 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7348 kB Writeback: 0 kB AnonPages: 370016 kB Mapped: 42360 kB Shmem: 8840 kB Slab: 65132 kB SReclaimable: 32072 kB SUnreclaim: 33060 kB KernelStack: 4656 kB PageTables: 6144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1137172 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 221184 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61968 MiB End job on node126 at 2017-07-22 02:45:02