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 4.0.5 (2017-07-05) | SAT (TO) | 1299 | 2400.11 | 318.812 |
| Name | Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml |
| MD5SUM | 42633f1d08cbe99acfb79d5a930fb228 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1218 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 240 |
| Number of constraints | 255 |
| Number of domains | 1 |
| Minimum domain size | 1322 |
| Maximum domain size | 1322 |
| Distribution of domain sizes | [{"size":1322,"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-4244478-1500683006.xml" -tl '2400s' -p 8 -x 0 0.00/0.18 c [HOME/instance-4244478-1500683006.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.24 c 8 solvers in parallel 0.00/0.31 c parse instance... 0.00/0.90 c solve instance... 46.77/6.51 o 1321 77.68/10.45 o 1320 257.35/33.04 o 1319 257.35/33.06 o 1317 1028.11/132.35 o 1316 1036.44/135.57 o 1315 1043.03/140.56 o 1314 2136.41/283.52 o 1313 2346.40/311.99 o 1299 2400.11/318.84 s SATISFIABLE 2400.11/318.84 v <instantiation> 2400.11/318.84 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.11/318.84 v <values>4 75 195 289 499 582 640 744 833 908 1010 1103 1189 1197 1210 8 173 227 356 381 701 857 931 949 971 1122 1148 1178 1183 1277 111 173 220 313 408 456 562 635 737 763 824 868 939 1220 1237 28 64 214 299 334 443 478 524 552 614 674 687 746 1048 1056 0 38 90 101 145 216 353 521 616 706 763 821 832 913 1022 91 212 244 250 277 366 460 496 680 973 1003 1059 1121 1153 1205 45 387 481 518 545 598 677 691 716 735 834 939 960 1156 1232 55 153 414 574 599 647 911 963 1006 1092 1121 1140 1195 1200 1272 246 387 516 551 602 754 785 887 936 961 1004 1101 1125 1192 1274 58 85 94 150 269 323 372 470 546 644 716 734 757 854 1250 99 136 255 377 500 579 584 642 672 784 840 941 976 1086 1258 5 87 145 207 315 316 470 553 735 907 972 1076 1135 1201 1252 0 111 371 415 492 628 665 677 733 837 852 909 1001 1086 1187 5 45 274 367 430 491 553 694 784 832 939 975 1029 1136 1217 38 122 135 156 227 230 277 362 446 551 616 727 819 1132 1210 1298 1299 1258 1131 1034 1277 1296 1299 1290 1273 1296 1294 1204 1281 1285 </values> 2400.11/318.84 v </instantiation> 2400.11/318.84 c Unexpected resolution interruption!
OK 1299
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-4244478-1500683006/watcher-4244478-1500683006 -o /tmp/evaluation-result-4244478-1500683006/solver-4244478-1500683006 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7775 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1776462282 HOME/instance-4244478-1500683006.xml pid=8628 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: 14.73 13.50 8.10 10/270 8631 /proc/meminfo: memFree=29376560/32770624 swapFree=5880/237096 [pid=8631] ppid=8628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8631/stat : 8631 (xcsp3-exec) S 8628 8631 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3568263 9740288 345 33554432000 4194304 5098028 140722557976544 140722557974648 140455803970172 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17031168 140722557977742 140722557977952 140722557977952 140722557980651 0 /proc/8631/statm: 2378 345 289 221 0 87 0 [startup+0.10016 s] /proc/loadavg: 14.73 13.50 8.10 10/270 8631 /proc/meminfo: memFree=29376560/32770624 swapFree=5880/237096 [pid=8631] ppid=8628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8631/stat : 8631 (xcsp3-exec) S 8628 8631 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3568263 9740288 345 33554432000 4194304 5098028 140722557976544 140722557974648 140455803970172 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17031168 140722557977742 140722557977952 140722557977952 140722557980651 0 /proc/8631/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200326 s] /proc/loadavg: 14.73 13.50 8.10 10/270 8631 /proc/meminfo: memFree=29376560/32770624 swapFree=5880/237096 [pid=8631] ppid=8628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8631/stat : 8631 (xcsp3-exec) S 8628 8631 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3568263 9740288 345 33554432000 4194304 5098028 140722557976544 140722557974648 140455803970172 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17031168 140722557977742 140722557977952 140722557977952 140722557980651 0 /proc/8631/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300317 s] /proc/loadavg: 14.73 13.50 8.10 10/270 8631 /proc/meminfo: memFree=29376560/32770624 swapFree=5880/237096 [pid=8631] ppid=8628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8631/stat : 8631 (xcsp3-exec) S 8628 8631 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3568263 9740288 345 33554432000 4194304 5098028 140722557976544 140722557974648 140455803970172 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17031168 140722557977742 140722557977952 140722557977952 140722557980651 0 /proc/8631/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700165 s] /proc/loadavg: 14.73 13.50 8.10 10/270 8631 /proc/meminfo: memFree=29376560/32770624 swapFree=5880/237096 [pid=8631] ppid=8628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8631/stat : 8631 (xcsp3-exec) S 8628 8631 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3568263 9740288 345 33554432000 4194304 5098028 140722557976544 140722557974648 140455803970172 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17031168 140722557977742 140722557977952 140722557977952 140722557980651 0 /proc/8631/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50152 s] /proc/loadavg: 14.73 13.50 8.10 20/299 8660 /proc/meminfo: memFree=29235044/32770624 swapFree=5880/237180 [pid=8631] ppid=8628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8631/stat : 8631 (xcsp3-exec) S 8628 8631 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3568263 9740288 345 33554432000 4194304 5098028 140722557976544 140722557974648 140455803970172 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17031168 140722557977742 140722557977952 140722557977952 140722557980651 0 /proc/8631/statm: 2378 345 289 221 0 87 0 [pid=8632] ppid=8631 vsize=13801768 CPUtime=7.02 cores=0,2,4,6,8,10,12,14 /proc/8632/stat : 8632 (java) S 8631 8631 7744 0 -1 1077944320 23697 0 0 0 692 10 0 0 20 0 28 0 3568263 14133010432 44453 33554432000 4194304 4196468 140732332886464 140732332869008 140562431344375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 /proc/8632/statm: 3450442 44453 3219 1 0 3437675 0 [pid=8632/tid=8633] ppid=8631 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8633/stat : 8633 (java) S 8631 8631 7744 0 -1 1077944384 6609 0 0 0 84 4 0 0 20 0 28 0 3568263 14133010432 44453 33554432000 4194304 4196468 140732332886464 140562435585152 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8635] ppid=8631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8635/stat : 8635 (java) S 8631 8631 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3568264 14133010432 44453 33554432000 4194304 4196468 140732332886464 140562403187856 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8636] ppid=8631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8636/stat : 8636 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568264 14133010432 44453 33554432000 4194304 4196468 140732332886464 140562029194256 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8637] ppid=8631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8637/stat : 8637 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568264 14133010432 44453 33554432000 4194304 4196468 140732332886464 140562028141456 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8638] ppid=8631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8638/stat : 8638 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568264 14133010432 44453 33554432000 4194304 4196468 140732332886464 140562027088656 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8639] ppid=8631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8639/stat : 8639 (java) S 8631 8631 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3568264 14133010432 44453 33554432000 4194304 4196468 140732332886464 140562026035856 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8640] ppid=8631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8640/stat : 8640 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568264 14133010432 44453 33554432000 4194304 4196468 140732332886464 140562024983056 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8641] ppid=8631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8641/stat : 8641 (java) S 8631 8631 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3568264 14133010432 44453 33554432000 4194304 4196468 140732332886464 140562023930256 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8642] ppid=8631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8642/stat : 8642 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568264 14133010432 44453 33554432000 4194304 4196468 140732332886464 140562022877456 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8643] ppid=8631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8643/stat : 8643 (java) S 8631 8631 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3568266 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561759398768 140562431355522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8644] ppid=8631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8644/stat : 8644 (java) S 8631 8631 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3568267 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561758344736 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8645] ppid=8631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8645/stat : 8645 (java) S 8631 8631 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3568267 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561757291888 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8646] ppid=8631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8646/stat : 8646 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568271 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561756240208 140562431362971 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8647] ppid=8631 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8647/stat : 8647 (java) R 8631 8631 7744 0 -1 4202560 3841 0 0 0 75 0 0 0 20 0 28 0 3568271 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561755172528 140562416459603 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8648] ppid=8631 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8648/stat : 8648 (java) R 8631 8631 7744 0 -1 4202560 4416 0 0 0 71 1 0 0 20 0 28 0 3568271 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561754119272 140562416452403 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8649] ppid=8631 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8649/stat : 8649 (java) R 8631 8631 7744 0 -1 4202560 2992 0 0 0 64 0 0 0 20 0 28 0 3568271 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561753068784 140562410591257 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8650] ppid=8631 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8650/stat : 8650 (java) S 8631 8631 7744 0 -1 1077944384 4074 0 0 0 65 1 0 0 20 0 28 0 3568271 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561752029168 140562431355522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8651] ppid=8631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8651/stat : 8651 (java) S 8631 8631 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3568271 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561750977632 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8652] ppid=8631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8652/stat : 8652 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568271 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561749924912 140562431355522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8653] ppid=8631 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8653/stat : 8653 (java) R 8631 8631 7744 0 -1 4202560 65 0 0 0 43 0 0 0 20 0 28 0 3568355 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561741908336 140562067422524 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8654] ppid=8631 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8654/stat : 8654 (java) R 8631 8631 7744 0 -1 4202560 52 0 0 0 42 0 0 0 20 0 28 0 3568355 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561740859976 140562072917248 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8655] ppid=8631 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8655/stat : 8655 (java) R 8631 8631 7744 0 -1 4202560 50 0 0 0 39 0 0 0 20 0 28 0 3568355 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561739805192 140562067422511 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8656] ppid=8631 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8656/stat : 8656 (java) R 8631 8631 7744 0 -1 4202560 91 0 0 0 37 0 0 0 20 0 28 0 3568355 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561738751416 140562073348244 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8657] ppid=8631 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8657/stat : 8657 (java) R 8631 8631 7744 0 -1 4202560 48 0 0 0 45 0 0 0 20 0 28 0 3568355 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561737701480 140562068409470 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8658] ppid=8631 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8658/stat : 8658 (java) R 8631 8631 7744 0 -1 4202560 31 0 0 0 47 0 0 0 20 0 28 0 3568355 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561736648856 140562067303712 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8659] ppid=8631 vsize=13801768 CPUtime=0.41 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8659/stat : 8659 (java) R 8631 8631 7744 0 -1 4202560 79 0 0 0 41 0 0 0 20 0 28 0 3568355 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561735593920 140562067303680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8660] ppid=8631 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8660/stat : 8660 (java) R 8631 8631 7744 0 -1 4202560 38 0 0 0 33 0 0 0 20 0 28 0 3568355 14133010432 44453 33554432000 4194304 4196468 140732332886464 140561734543192 140562067303716 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 Current children cumulated CPU time (s) 7.02 Current children cumulated vsize (KiB) 13811280 [startup+3.10153 s] /proc/loadavg: 14.73 13.50 8.10 20/299 8660 /proc/meminfo: memFree=29196320/32770624 swapFree=5880/237172 [pid=8631] ppid=8628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8631/stat : 8631 (xcsp3-exec) S 8628 8631 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3568263 9740288 345 33554432000 4194304 5098028 140722557976544 140722557974648 140455803970172 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17031168 140722557977742 140722557977952 140722557977952 140722557980651 0 /proc/8631/statm: 2378 345 289 221 0 87 0 [pid=8632] ppid=8631 vsize=13803976 CPUtime=19.76 cores=0,2,4,6,8,10,12,14 /proc/8632/stat : 8632 (java) S 8631 8631 7744 0 -1 1077944320 46164 0 0 0 1962 14 0 0 20 0 28 0 3568263 14135271424 50229 33554432000 4194304 4196468 140732332886464 140732332869008 140562431344375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 /proc/8632/statm: 3450994 50229 3232 1 0 3438227 0 [pid=8632/tid=8633] ppid=8631 vsize=13803976 CPUtime=0.88 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8633/stat : 8633 (java) S 8631 8631 7744 0 -1 1077944384 6609 0 0 0 84 4 0 0 20 0 28 0 3568263 14135271424 50229 33554432000 4194304 4196468 140732332886464 140562435585152 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8635] ppid=8631 vsize=13803976 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8635/stat : 8635 (java) S 8631 8631 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3568264 14135271424 50229 33554432000 4194304 4196468 140732332886464 140562403187856 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8636] ppid=8631 vsize=13803976 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8636/stat : 8636 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568264 14135271424 50229 33554432000 4194304 4196468 140732332886464 140562029194256 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8637] ppid=8631 vsize=13803976 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8637/stat : 8637 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568264 14135271424 50229 33554432000 4194304 4196468 140732332886464 140562028141456 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8638] ppid=8631 vsize=13803976 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8638/stat : 8638 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568264 14135271424 50229 33554432000 4194304 4196468 140732332886464 140562027088656 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8639] ppid=8631 vsize=13803976 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8639/stat : 8639 (java) S 8631 8631 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3568264 14135271424 50229 33554432000 4194304 4196468 140732332886464 140562026035856 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8640] ppid=8631 vsize=13803976 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8640/stat : 8640 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568264 14135271424 50229 33554432000 4194304 4196468 140732332886464 140562024983056 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8641] ppid=8631 vsize=13803976 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8641/stat : 8641 (java) S 8631 8631 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3568264 14135271424 50229 33554432000 4194304 4196468 140732332886464 140562023930256 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8642] ppid=8631 vsize=13803976 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8642/stat : 8642 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568264 14135271424 50229 33554432000 4194304 4196468 140732332886464 140562022877456 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8643] ppid=8631 vsize=13803976 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8643/stat : 8643 (java) S 8631 8631 7744 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 3568266 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561759398768 140562431355522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8644] ppid=8631 vsize=13803976 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8644/stat : 8644 (java) S 8631 8631 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3568267 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561758344736 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8645] ppid=8631 vsize=13803976 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8645/stat : 8645 (java) S 8631 8631 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3568267 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561757291888 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8646] ppid=8631 vsize=13803976 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8646/stat : 8646 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568271 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561756240208 140562431362971 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8647] ppid=8631 vsize=13803976 CPUtime=1.72 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8647/stat : 8647 (java) R 8631 8631 7744 0 -1 4202560 11934 0 0 0 171 1 0 0 20 0 28 0 3568271 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561755173544 140562412888250 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8648] ppid=8631 vsize=13803976 CPUtime=1.92 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8648/stat : 8648 (java) R 8631 8631 7744 0 -1 4202560 10021 0 0 0 191 1 0 0 20 0 28 0 3568271 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561754121312 140562412866852 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8649] ppid=8631 vsize=13803976 CPUtime=1.72 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8649/stat : 8649 (java) R 8631 8631 7744 0 -1 4202560 11024 0 0 0 170 2 0 0 20 0 28 0 3568271 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561753068256 140562411006592 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8650] ppid=8631 vsize=13803976 CPUtime=0.71 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8650/stat : 8650 (java) S 8631 8631 7744 0 -1 1077944384 4493 0 0 0 70 1 0 0 20 0 28 0 3568271 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561752029168 140562431355522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8651] ppid=8631 vsize=13803976 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8651/stat : 8651 (java) S 8631 8631 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3568271 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561750977632 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8652] ppid=8631 vsize=13803976 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8652/stat : 8652 (java) S 8631 8631 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3568271 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561749924912 140562431355522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8653] ppid=8631 vsize=13803976 CPUtime=1.48 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8653/stat : 8653 (java) R 8631 8631 7744 0 -1 4202560 85 0 0 0 148 0 0 0 20 0 28 0 3568355 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561741908384 140562067303716 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8654] ppid=8631 vsize=13803976 CPUtime=1.53 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8654/stat : 8654 (java) R 8631 8631 7744 0 -1 4202560 65 0 0 0 153 0 0 0 20 0 28 0 3568355 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561740859992 140562067410893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8655] ppid=8631 vsize=13803976 CPUtime=1.61 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8655/stat : 8655 (java) R 8631 8631 7744 0 -1 4202560 115 0 0 0 161 0 0 0 20 0 28 0 3568355 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561739804168 140562067409055 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8656] ppid=8631 vsize=13803976 CPUtime=1.53 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8656/stat : 8656 (java) R 8631 8631 7744 0 -1 4202560 215 0 0 0 153 0 0 0 20 0 28 0 3568355 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561738754936 140562067410681 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8657] ppid=8631 vsize=13803976 CPUtime=1.7 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8657/stat : 8657 (java) R 8631 8631 7744 0 -1 4202560 63 0 0 0 170 0 0 0 20 0 28 0 3568355 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561737702136 140562067410893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8658] ppid=8631 vsize=13803976 CPUtime=1.77 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8658/stat : 8658 (java) R 8631 8631 7744 0 -1 4202560 54 0 0 0 177 0 0 0 20 0 28 0 3568355 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561736649352 140562072945863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8659] ppid=8631 vsize=13803976 CPUtime=1.62 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8659/stat : 8659 (java) R 8631 8631 7744 0 -1 4202560 95 0 0 0 162 0 0 0 20 0 28 0 3568355 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561735597560 140562067409055 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8660] ppid=8631 vsize=13803976 CPUtime=1.45 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8660/stat : 8660 (java) R 8631 8631 7744 0 -1 4202560 52 0 0 0 145 0 0 0 20 0 28 0 3568355 14135271424 50229 33554432000 4194304 4196468 140732332886464 140561734543528 140562067409055 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 Current children cumulated CPU time (s) 19.76 Current children cumulated vsize (KiB) 13813488 [startup+6.30157 s] /proc/loadavg: 14.75 13.52 8.13 20/299 8660 /proc/meminfo: memFree=29124652/32770624 swapFree=5880/237184 ################ # More data... # ################ [pid=8632/tid=8813] ppid=8631 vsize=13803816 CPUtime=80.22 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8813/stat : 8813 (java) R 8631 8631 7744 0 -1 4202560 516 0 0 0 8022 0 0 0 20 0 28 0 3582319 14135107584 80871 33554432000 4194304 4196468 140732332886464 140561737699656 140562074865584 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8814] ppid=8631 vsize=13803816 CPUtime=80.09 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8814/stat : 8814 (java) R 8631 8631 7744 0 -1 4202560 821 0 0 0 8009 0 0 0 20 0 28 0 3582319 14135107584 80871 33554432000 4194304 4196468 140732332886464 140561739804536 140562075575561 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 Current children cumulated CPU time (s) 1689.12 Current children cumulated vsize (KiB) 13813328 [startup+282.301 s] /proc/loadavg: 15.19 14.65 10.00 10/299 8818 /proc/meminfo: memFree=30905844/32770624 swapFree=5880/237516 [pid=8631] ppid=8628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8631/stat : 8631 (xcsp3-exec) S 8628 8631 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3568263 9740288 345 33554432000 4194304 5098028 140722557976544 140722557974648 140455803970172 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17031168 140722557977742 140722557977952 140722557977952 140722557980651 0 /proc/8631/statm: 2378 345 289 221 0 87 0 [pid=8632] ppid=8631 vsize=13803816 CPUtime=2135.21 cores=0,2,4,6,8,10,12,14 /proc/8632/stat : 8632 (java) S 8631 8631 7744 0 -1 1077944320 168325 0 0 0 213293 228 0 0 20 0 28 0 3568263 14135107584 89444 33554432000 4194304 4196468 140732332886464 140732332869008 140562431344375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 /proc/8632/statm: 3450954 89444 3287 1 0 3438187 0 [pid=8632/tid=8633] ppid=8631 vsize=13803816 CPUtime=0.89 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8633/stat : 8633 (java) S 8631 8631 7744 0 -1 1077944384 6954 0 0 0 85 4 0 0 20 0 28 0 3568263 14135107584 89444 33554432000 4194304 4196468 140732332886464 140562435585152 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8635] ppid=8631 vsize=13803816 CPUtime=0.56 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8635/stat : 8635 (java) S 8631 8631 7744 0 -1 1077944384 1305 0 0 0 46 10 0 0 20 0 28 0 3568264 14135107584 89444 33554432000 4194304 4196468 140732332886464 140562403187856 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8636] ppid=8631 vsize=13803816 CPUtime=0.56 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8636/stat : 8636 (java) S 8631 8631 7744 0 -1 1077944384 2953 0 0 0 47 9 0 0 20 0 28 0 3568264 14135107584 89444 33554432000 4194304 4196468 140732332886464 140562029194256 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8637] ppid=8631 vsize=13803816 CPUtime=0.57 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8637/stat : 8637 (java) S 8631 8631 7744 0 -1 1077944384 1450 0 0 0 48 9 0 0 20 0 28 0 3568264 14135107584 89444 33554432000 4194304 4196468 140732332886464 140562028141456 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8638] ppid=8631 vsize=13803816 CPUtime=0.57 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8638/stat : 8638 (java) S 8631 8631 7744 0 -1 1077944384 4652 0 0 0 47 10 0 0 20 0 28 0 3568264 14135107584 89444 33554432000 4194304 4196468 140732332886464 140562027088656 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8639] ppid=8631 vsize=13803816 CPUtime=0.55 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8639/stat : 8639 (java) S 8631 8631 7744 0 -1 1077944384 3456 0 0 0 46 9 0 0 20 0 28 0 3568264 14135107584 89444 33554432000 4194304 4196468 140732332886464 140562026035856 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8640] ppid=8631 vsize=13803816 CPUtime=0.59 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8640/stat : 8640 (java) S 8631 8631 7744 0 -1 1077944384 1262 0 0 0 48 11 0 0 20 0 28 0 3568264 14135107584 89444 33554432000 4194304 4196468 140732332886464 140562024983056 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8641] ppid=8631 vsize=13803816 CPUtime=0.54 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8641/stat : 8641 (java) S 8631 8631 7744 0 -1 1077944384 1598 0 0 0 45 9 0 0 20 0 28 0 3568264 14135107584 89444 33554432000 4194304 4196468 140732332886464 140562023930256 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8642] ppid=8631 vsize=13803816 CPUtime=0.55 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8642/stat : 8642 (java) S 8631 8631 7744 0 -1 1077944384 1542 0 0 0 46 9 0 0 20 0 28 0 3568264 14135107584 89444 33554432000 4194304 4196468 140732332886464 140562022877456 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8643] ppid=8631 vsize=13803816 CPUtime=1.84 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8643/stat : 8643 (java) S 8631 8631 7744 0 -1 1077944384 6556 0 0 0 78 106 0 0 20 0 28 0 3568266 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561759398768 140562431355522 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8644] ppid=8631 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8644/stat : 8644 (java) S 8631 8631 7744 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3568267 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561758344800 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8645] ppid=8631 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8645/stat : 8645 (java) S 8631 8631 7744 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3568267 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561757291904 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8646] ppid=8631 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8646/stat : 8646 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568271 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561756240208 140562431362971 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8647] ppid=8631 vsize=13803816 CPUtime=4.97 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8647/stat : 8647 (java) S 8631 8631 7744 0 -1 1077944384 28146 0 0 0 494 3 0 0 20 0 28 0 3568271 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561755187568 140562431355522 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8648] ppid=8631 vsize=13803816 CPUtime=6.09 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8648/stat : 8648 (java) S 8631 8631 7744 0 -1 1077944384 28959 0 0 0 606 3 0 0 20 0 28 0 3568271 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561754134768 140562431355522 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8649] ppid=8631 vsize=13803816 CPUtime=5.35 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8649/stat : 8649 (java) S 8631 8631 7744 0 -1 1077944384 29300 0 0 0 531 4 0 0 20 0 28 0 3568271 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561753081968 140562431355522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8650] ppid=8631 vsize=13803816 CPUtime=1.22 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8650/stat : 8650 (java) S 8631 8631 7744 0 -1 1077944384 18790 0 0 0 119 3 0 0 20 0 28 0 3568271 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561752029168 140562431355522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8651] ppid=8631 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8651/stat : 8651 (java) S 8631 8631 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3568271 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561750977632 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8652] ppid=8631 vsize=13803816 CPUtime=0.12 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8652/stat : 8652 (java) S 8631 8631 7744 0 -1 1077944384 1734 0 0 0 7 5 0 0 20 0 28 0 3568271 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561749924912 140562431355522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8807] ppid=8631 vsize=13803816 CPUtime=135.2 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8807/stat : 8807 (java) S 8631 8631 7744 0 -1 1077944384 1383 0 0 0 13520 0 0 0 20 0 28 0 3582319 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561740861472 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8808] ppid=8631 vsize=13803816 CPUtime=135.55 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8808/stat : 8808 (java) S 8631 8631 7744 0 -1 1077944384 983 0 0 0 13554 1 0 0 20 0 28 0 3582319 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561741915344 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8809] ppid=8631 vsize=13803816 CPUtime=134.96 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8809/stat : 8809 (java) S 8631 8631 7744 0 -1 1077944384 3012 0 0 0 13496 0 0 0 20 0 28 0 3582319 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561735599184 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8810] ppid=8631 vsize=13803816 CPUtime=135.49 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8810/stat : 8810 (java) S 8631 8631 7744 0 -1 1077944384 1072 0 0 0 13549 0 0 0 20 0 28 0 3582319 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561734546384 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8811] ppid=8631 vsize=13803816 CPUtime=139.59 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8811/stat : 8811 (java) R 8631 8631 7744 0 -1 4202560 414 0 0 0 13958 1 0 0 20 0 28 0 3582319 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561738751344 140562077080848 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8812] ppid=8631 vsize=13803816 CPUtime=135.3 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8812/stat : 8812 (java) S 8631 8631 7744 0 -1 1077944384 876 0 0 0 13529 1 0 0 20 0 28 0 3582319 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561736651472 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8813] ppid=8631 vsize=13803816 CPUtime=135.09 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8813/stat : 8813 (java) S 8631 8631 7744 0 -1 1077944384 650 0 0 0 13508 1 0 0 20 0 28 0 3582319 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561737705040 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8814] ppid=8631 vsize=13803816 CPUtime=135.08 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8814/stat : 8814 (java) S 8631 8631 7744 0 -1 1077944384 916 0 0 0 13508 0 0 0 20 0 28 0 3582319 14135107584 89444 33554432000 4194304 4196468 140732332886464 140561739810256 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 Current children cumulated CPU time (s) 2135.21 Current children cumulated vsize (KiB) 13813328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+318.802 s] /proc/loadavg: 15.30 14.72 10.19 17/298 8834 /proc/meminfo: memFree=30842428/32770624 swapFree=5880/237568 [pid=8631] ppid=8628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8631/stat : 8631 (xcsp3-exec) S 8628 8631 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3568263 9740288 345 33554432000 4194304 5098028 140722557976544 140722557974648 140455803970172 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 17031168 140722557977742 140722557977952 140722557977952 140722557980651 0 /proc/8631/statm: 2378 345 289 221 0 87 0 [pid=8632] ppid=8631 vsize=13803816 CPUtime=2400.11 cores=0,2,4,6,8,10,12,14 /proc/8632/stat : 8632 (java) S 8631 8631 7744 0 -1 1077944320 188976 0 0 0 239747 264 0 0 20 0 28 0 3568263 14135107584 98690 33554432000 4194304 4196468 140732332886464 140732332869008 140562431344375 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 /proc/8632/statm: 3450954 98690 3287 1 0 3438187 0 [pid=8632/tid=8633] ppid=8631 vsize=13803816 CPUtime=0.9 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8633/stat : 8633 (java) S 8631 8631 7744 0 -1 1077944384 7189 0 0 0 86 4 0 0 20 0 28 0 3568263 14135107584 98690 33554432000 4194304 4196468 140732332886464 140562435585152 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8635] ppid=8631 vsize=13803816 CPUtime=0.64 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8635/stat : 8635 (java) S 8631 8631 7744 0 -1 1077944384 1733 0 0 0 53 11 0 0 20 0 28 0 3568264 14135107584 98690 33554432000 4194304 4196468 140732332886464 140562403187856 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8636] ppid=8631 vsize=13803816 CPUtime=0.66 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8636/stat : 8636 (java) S 8631 8631 7744 0 -1 1077944384 3915 0 0 0 55 11 0 0 20 0 28 0 3568264 14135107584 98690 33554432000 4194304 4196468 140732332886464 140562029194256 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8637] ppid=8631 vsize=13803816 CPUtime=0.66 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8637/stat : 8637 (java) S 8631 8631 7744 0 -1 1077944384 2405 0 0 0 56 10 0 0 20 0 28 0 3568264 14135107584 98690 33554432000 4194304 4196468 140732332886464 140562028141456 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8638] ppid=8631 vsize=13803816 CPUtime=0.66 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8638/stat : 8638 (java) S 8631 8631 7744 0 -1 1077944384 6283 0 0 0 55 11 0 0 20 0 28 0 3568264 14135107584 98690 33554432000 4194304 4196468 140732332886464 140562027088656 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8639] ppid=8631 vsize=13803816 CPUtime=0.64 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8639/stat : 8639 (java) S 8631 8631 7744 0 -1 1077944384 4448 0 0 0 54 10 0 0 20 0 28 0 3568264 14135107584 98690 33554432000 4194304 4196468 140732332886464 140562026035856 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8640] ppid=8631 vsize=13803816 CPUtime=0.68 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8640/stat : 8640 (java) S 8631 8631 7744 0 -1 1077944384 1996 0 0 0 56 12 0 0 20 0 28 0 3568264 14135107584 98690 33554432000 4194304 4196468 140732332886464 140562024983056 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8641] ppid=8631 vsize=13803816 CPUtime=0.63 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8641/stat : 8641 (java) S 8631 8631 7744 0 -1 1077944384 1966 0 0 0 53 10 0 0 20 0 28 0 3568264 14135107584 98690 33554432000 4194304 4196468 140732332886464 140562023930256 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8642] ppid=8631 vsize=13803816 CPUtime=0.63 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8642/stat : 8642 (java) S 8631 8631 7744 0 -1 1077944384 2432 0 0 0 53 10 0 0 20 0 28 0 3568264 14135107584 98690 33554432000 4194304 4196468 140732332886464 140562022877456 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8643] ppid=8631 vsize=13803816 CPUtime=2.27 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8643/stat : 8643 (java) S 8631 8631 7744 0 -1 1077944384 8903 0 0 0 95 132 0 0 20 0 28 0 3568266 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561759398768 140562431355522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8644] ppid=8631 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8644/stat : 8644 (java) S 8631 8631 7744 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3568267 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561758344800 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8645] ppid=8631 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8645/stat : 8645 (java) S 8631 8631 7744 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3568267 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561757291904 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8646] ppid=8631 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8646/stat : 8646 (java) S 8631 8631 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3568271 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561756240208 140562431362971 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8647] ppid=8631 vsize=13803816 CPUtime=5.01 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8647/stat : 8647 (java) S 8631 8631 7744 0 -1 1077944384 28815 0 0 0 498 3 0 0 20 0 28 0 3568271 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561755187568 140562431355522 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8648] ppid=8631 vsize=13803816 CPUtime=6.11 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8648/stat : 8648 (java) S 8631 8631 7744 0 -1 1077944384 29103 0 0 0 608 3 0 0 20 0 28 0 3568271 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561754134768 140562431355522 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8649] ppid=8631 vsize=13803816 CPUtime=5.52 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8649/stat : 8649 (java) S 8631 8631 7744 0 -1 1077944384 29789 0 0 0 548 4 0 0 20 0 28 0 3568271 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561753081968 140562431355522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8650] ppid=8631 vsize=13803816 CPUtime=1.23 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8650/stat : 8650 (java) S 8631 8631 7744 0 -1 1077944384 19844 0 0 0 120 3 0 0 20 0 28 0 3568271 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561752029168 140562431355522 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8651] ppid=8631 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8651/stat : 8651 (java) S 8631 8631 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3568271 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561750977632 140562431354581 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8652] ppid=8631 vsize=13803816 CPUtime=0.14 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8652/stat : 8652 (java) S 8631 8631 7744 0 -1 1077944384 1889 0 0 0 8 6 0 0 20 0 28 0 3568271 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561749924912 140562431355522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8827] ppid=8631 vsize=13803816 CPUtime=6.61 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8827/stat : 8827 (java) R 8631 8631 7744 0 -1 4202560 348 0 0 0 661 0 0 0 20 0 28 0 3599462 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561735593032 140562075575291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8828] ppid=8631 vsize=13803816 CPUtime=6.64 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8828/stat : 8828 (java) R 8631 8631 7744 0 -1 4202560 331 0 0 0 664 0 0 0 20 0 28 0 3599462 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561740857160 140562075575411 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8829] ppid=8631 vsize=13803816 CPUtime=6.64 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8829/stat : 8829 (java) R 8631 8631 7744 0 -1 4202560 373 0 0 0 664 0 0 0 20 0 28 0 3599462 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561737699192 140562077080848 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8830] ppid=8631 vsize=13803816 CPUtime=6.72 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8830/stat : 8830 (java) R 8631 8631 7744 0 -1 4202560 636 0 0 0 672 0 0 0 20 0 28 0 3599462 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561734540784 140562077080928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8831] ppid=8631 vsize=13803816 CPUtime=6.63 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8831/stat : 8831 (java) R 8631 8631 7744 0 -1 4202560 467 0 0 0 663 0 0 0 20 0 28 0 3599462 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561741912368 140562074983161 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8832] ppid=8631 vsize=13803816 CPUtime=6.67 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8832/stat : 8832 (java) R 8631 8631 7744 0 -1 4202560 242 0 0 0 667 0 0 0 20 0 28 0 3599462 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561738751432 140562074987376 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8833] ppid=8631 vsize=13803816 CPUtime=6.58 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8833/stat : 8833 (java) R 8631 8631 7744 0 -1 4202560 358 0 0 0 658 0 0 0 20 0 28 0 3599462 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561736647000 140562077080928 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 [pid=8632/tid=8834] ppid=8631 vsize=13803816 CPUtime=6.67 cores=0,2,4,6,8,10,12,14 /proc/8632/task/8834/stat : 8834 (java) R 8631 8631 7744 0 -1 4202560 310 0 0 0 667 0 0 0 20 0 28 0 3599462 14135107584 98690 33554432000 4194304 4196468 140732332886464 140561739804680 140562074864525 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18489344 140732332893372 140732332893548 140732332893548 140732332896207 0 Current children cumulated CPU time (s) 2400.11 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 8632 sig 9 ??? kill 8631 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 8631 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1678 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=839 # CPU time returned by wait4() is 0.002517 # while last known CPU time is 2400.11 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 318.812 CPU time (s): 2400.11 CPU user time (s): 2397.47 CPU system time (s): 2.64 CPU usage (%): 752.829 Max. virtual memory (cumulated for all children) (KiB): 13813492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001678 system time used= 0.000839 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 517 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.89663 second user time and 4.13722 second system time The end
Begin job on node127 at 2017-07-22 02:23:26 IDJOB=4244478 IDBENCH=115735 IDSOLVER=2625 FILE ID=node127/4244478-1500683006 RUNJOBID= node127-1500682387-7775 PBS_JOBID= 20623323 Free space on /tmp= 61976 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-2.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-4244478-1500683006/watcher-4244478-1500683006 -o /tmp/evaluation-result-4244478-1500683006/solver-4244478-1500683006 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7775 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1776462282 HOME/instance-4244478-1500683006.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 42633f1d08cbe99acfb79d5a930fb228 RANDOM SEED=1776462282 node127.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 : 1600.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.94 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.94 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.94 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.94 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 : 1733.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.94 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 : 1600.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.94 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 : 2400.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.94 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.94 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: 29376316 kB MemAvailable: 29423952 kB Buffers: 44276 kB Cached: 314624 kB SwapCached: 0 kB Active: 2771136 kB Inactive: 245760 kB Active(anon): 2660928 kB Inactive(anon): 8664 kB Active(file): 110208 kB Inactive(file): 237096 kB Unevictable: 5880 kB Mlocked: 5880 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7808 kB Writeback: 8 kB AnonPages: 2664400 kB Mapped: 42432 kB Shmem: 8840 kB Slab: 65076 kB SReclaimable: 32336 kB SUnreclaim: 32740 kB KernelStack: 4624 kB PageTables: 10816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3608324 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2506752 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61968 MiB End job on node127 at 2017-07-22 02:28:45