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) | 1300 | 2400.29 | 304.212 |
| Name | Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml |
| MD5SUM | fe547a27c953c30f0dd43f8aa0b4ac9f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1217 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 240 |
| Number of constraints | 255 |
| Number of domains | 1 |
| Minimum domain size | 1320 |
| Maximum domain size | 1320 |
| Distribution of domain sizes | [{"size":1320,"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-4244465-1500683422.xml" -tl '2400s' -p 8 -x 3 0.00/0.24 c [HOME/instance-4244465-1500683422.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.29 c 8 solvers in parallel 0.00/0.36 c parse instance... 0.00/0.92 c solve instance... 34.64/5.04 o 1319 126.67/16.69 o 1318 127.16/16.76 o 1313 182.36/23.79 o 1312 272.01/35.18 o 1311 272.38/35.30 o 1310 273.80/35.40 o 1309 274.57/35.51 o 1308 275.32/35.61 o 1307 276.08/35.71 o 1306 1282.46/162.83 o 1300 2400.29/304.23 s SATISFIABLE 2400.29/304.23 v <instantiation> 2400.29/304.23 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.29/304.23 v <values>0 83 84 180 509 539 619 727 736 843 875 910 1023 1118 1236 0 4 72 151 172 256 348 414 465 548 644 712 750 788 887 0 46 103 169 300 437 524 584 619 689 784 846 942 1048 1151 0 34 103 156 254 262 343 424 462 501 504 563 644 674 750 259 357 437 645 702 798 832 846 887 1001 1100 1109 1151 1246 1273 0 28 80 172 196 231 300 425 580 712 915 1013 1103 1175 1267 46 72 77 172 260 282 343 499 584 702 748 788 877 1026 1218 0 180 260 407 563 604 644 727 806 850 933 942 1026 1125 1164 0 77 210 328 397 520 604 703 748 806 936 1002 1094 1099 1231 111 196 282 463 556 645 713 747 808 877 910 1001 1005 1023 1118 77 139 174 234 239 244 295 337 424 514 642 736 801 843 859 256 294 377 425 499 514 589 750 791 888 985 1001 1048 1069 1206 0 89 128 168 212 791 888 942 985 1073 1087 1115 1194 1232 1236 0 14 80 103 161 348 354 359 407 461 678 680 681 833 977 89 146 212 239 278 361 411 434 449 465 556 642 821 884 933 1300 963 1231 821 1300 1290 1255 1232 1232 1194 870 1226 1259 1052 936 </values> 2400.29/304.23 v </instantiation> 2400.29/304.23 c Unexpected resolution interruption!
OK 1300
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-4244465-1500683422/watcher-4244465-1500683422 -o /tmp/evaluation-result-4244465-1500683422/solver-4244465-1500683422 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 613638694 HOME/instance-4244465-1500683422.xml pid=16001 running on 8 cores: 1,3,5,7,9,11,13,15 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.10 14.01 8.73 13/271 16004 /proc/meminfo: memFree=31804548/32770624 swapFree=5808/47180 [pid=16004] ppid=16001 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16004/stat : 16004 (xcsp3-exec) S 16001 16004 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3607322 9740288 345 33554432000 4194304 5098028 140722679893648 140722679891752 139709850452604 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38879232 140722679895183 140722679895392 140722679895392 140722679898091 0 /proc/16004/statm: 2378 345 289 221 0 87 0 [startup+0.100119 s] /proc/loadavg: 15.10 14.01 8.73 13/271 16004 /proc/meminfo: memFree=31804548/32770624 swapFree=5808/47180 [pid=16004] ppid=16001 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16004/stat : 16004 (xcsp3-exec) S 16001 16004 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3607322 9740288 345 33554432000 4194304 5098028 140722679893648 140722679891752 139709850452604 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38879232 140722679895183 140722679895392 140722679895392 140722679898091 0 /proc/16004/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200252 s] /proc/loadavg: 15.10 14.01 8.73 13/271 16004 /proc/meminfo: memFree=31804548/32770624 swapFree=5808/47180 [pid=16004] ppid=16001 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16004/stat : 16004 (xcsp3-exec) S 16001 16004 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3607322 9740288 345 33554432000 4194304 5098028 140722679893648 140722679891752 139709850452604 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38879232 140722679895183 140722679895392 140722679895392 140722679898091 0 /proc/16004/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300254 s] /proc/loadavg: 15.10 14.01 8.73 13/271 16004 /proc/meminfo: memFree=31804548/32770624 swapFree=5808/47180 [pid=16004] ppid=16001 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16004/stat : 16004 (xcsp3-exec) S 16001 16004 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3607322 9740288 345 33554432000 4194304 5098028 140722679893648 140722679891752 139709850452604 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38879232 140722679895183 140722679895392 140722679895392 140722679898091 0 /proc/16004/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700206 s] /proc/loadavg: 15.10 14.01 8.73 13/271 16004 /proc/meminfo: memFree=31804548/32770624 swapFree=5808/47180 [pid=16004] ppid=16001 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16004/stat : 16004 (xcsp3-exec) S 16001 16004 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3607322 9740288 345 33554432000 4194304 5098028 140722679893648 140722679891752 139709850452604 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38879232 140722679895183 140722679895392 140722679895392 140722679898091 0 /proc/16004/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50135 s] /proc/loadavg: 15.10 14.01 8.73 14/292 16119 /proc/meminfo: memFree=31938268/32770624 swapFree=5808/47176 [pid=16004] ppid=16001 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16004/stat : 16004 (xcsp3-exec) S 16001 16004 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3607322 9740288 345 33554432000 4194304 5098028 140722679893648 140722679891752 139709850452604 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38879232 140722679895183 140722679895392 140722679895392 140722679898091 0 /proc/16004/statm: 2378 345 289 221 0 87 0 [pid=16005] ppid=16004 vsize=13801768 CPUtime=6.91 cores=1,3,5,7,9,11,13,15 /proc/16005/stat : 16005 (java) S 16004 16004 15196 0 -1 1077944320 21773 0 0 0 681 10 0 0 20 0 28 0 3607323 14133010432 42975 33554432000 4194304 4196468 140721712586976 140721712569520 139993050500855 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 /proc/16005/statm: 3450442 42975 3214 1 0 3437675 0 [pid=16005/tid=16006] ppid=16004 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16006/stat : 16006 (java) S 16004 16004 15196 0 -1 1077944384 7033 0 0 0 83 4 0 0 20 0 28 0 3607323 14133010432 42975 33554432000 4194304 4196468 140721712586976 139993054741632 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16008] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16008/stat : 16008 (java) S 16004 16004 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3607324 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992650189328 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16009] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16009/stat : 16009 (java) S 16004 16004 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3607324 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992649136784 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16010] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16010/stat : 16010 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607324 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992648083728 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16011] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16011/stat : 16011 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607324 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992647031184 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16012] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16012/stat : 16012 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607324 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992645979152 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16013] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16013/stat : 16013 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607324 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992644926608 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16014] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16014/stat : 16014 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607324 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992643873552 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16015] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16015/stat : 16015 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607324 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992642821008 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16016] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16016/stat : 16016 (java) S 16004 16004 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3607326 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992244414704 139993050512002 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16017] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16017/stat : 16017 (java) S 16004 16004 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3607327 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992243360928 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16018] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16018/stat : 16018 (java) S 16004 16004 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3607327 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992242307824 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16019] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16019/stat : 16019 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607331 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992241256400 139993050519451 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16020] ppid=16004 vsize=13801768 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16020/stat : 16020 (java) R 16004 16004 15196 0 -1 4202560 3020 0 0 0 67 0 0 0 20 0 28 0 3607331 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992240189000 139993035608824 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16021] ppid=16004 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16021/stat : 16021 (java) R 16004 16004 15196 0 -1 4202560 2744 0 0 0 64 0 0 0 20 0 28 0 3607331 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992239138168 139993031673097 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16022] ppid=16004 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16022/stat : 16022 (java) R 16004 16004 15196 0 -1 4202560 2938 0 0 0 78 0 0 0 20 0 28 0 3607331 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992238079944 139993030163056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16023] ppid=16004 vsize=13801768 CPUtime=0.68 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16023/stat : 16023 (java) S 16004 16004 15196 0 -1 1077944384 4274 0 0 0 67 1 0 0 20 0 28 0 3607331 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992237046384 139993050512002 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16024] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16024/stat : 16024 (java) S 16004 16004 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3607331 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992235993568 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16025] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16025/stat : 16025 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607335 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992234941104 139993050512002 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16086] ppid=16004 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16086/stat : 16086 (java) R 16004 16004 15196 0 -1 4202560 62 0 0 0 42 0 0 0 20 0 28 0 3607417 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992226925528 139992670016628 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16087] ppid=16004 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16087/stat : 16087 (java) R 16004 16004 15196 0 -1 4202560 46 0 0 0 39 0 0 0 20 0 28 0 3607417 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992225873144 139992669616320 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16088] ppid=16004 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16088/stat : 16088 (java) R 16004 16004 15196 0 -1 4202560 36 0 0 0 36 0 0 0 20 0 28 0 3607417 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992224820384 139992670016706 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16089] ppid=16004 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16089/stat : 16089 (java) R 16004 16004 15196 0 -1 4202560 89 0 0 0 49 0 0 0 20 0 28 0 3607417 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992223769608 139992670015536 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16090] ppid=16004 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16090/stat : 16090 (java) R 16004 16004 15196 0 -1 4202560 34 0 0 0 31 0 0 0 20 0 28 0 3607417 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992222715576 139992670017377 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16091] ppid=16004 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16091/stat : 16091 (java) R 16004 16004 15196 0 -1 4202560 85 0 0 0 41 0 0 0 20 0 28 0 3607417 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992221665704 139992670369136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16092] ppid=16004 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16092/stat : 16092 (java) R 16004 16004 15196 0 -1 4202560 59 0 0 0 38 0 0 0 20 0 28 0 3607417 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992220612872 139992670016069 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16093] ppid=16004 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16093/stat : 16093 (java) R 16004 16004 15196 0 -1 4202560 43 0 0 0 40 0 0 0 20 0 28 0 3607417 14133010432 42975 33554432000 4194304 4196468 140721712586976 139992219557072 139992669901265 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 Current children cumulated CPU time (s) 6.91 Current children cumulated vsize (KiB) 13811280 [startup+3.10148 s] /proc/loadavg: 15.10 14.01 8.73 23/300 16127 /proc/meminfo: memFree=31743912/32770624 swapFree=5808/47240 [pid=16004] ppid=16001 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16004/stat : 16004 (xcsp3-exec) S 16001 16004 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3607322 9740288 345 33554432000 4194304 5098028 140722679893648 140722679891752 139709850452604 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38879232 140722679895183 140722679895392 140722679895392 140722679898091 0 /proc/16004/statm: 2378 345 289 221 0 87 0 [pid=16005] ppid=16004 vsize=13803680 CPUtime=19.63 cores=1,3,5,7,9,11,13,15 /proc/16005/stat : 16005 (java) S 16004 16004 15196 0 -1 1077944320 42973 0 0 0 1951 12 0 0 20 0 28 0 3607323 14134968320 49628 33554432000 4194304 4196468 140721712586976 140721712569520 139993050500855 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 /proc/16005/statm: 3450920 49628 3221 1 0 3438153 0 [pid=16005/tid=16006] ppid=16004 vsize=13803680 CPUtime=0.87 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16006/stat : 16006 (java) S 16004 16004 15196 0 -1 1077944384 7033 0 0 0 83 4 0 0 20 0 28 0 3607323 14134968320 49628 33554432000 4194304 4196468 140721712586976 139993054741632 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16008] ppid=16004 vsize=13803680 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16008/stat : 16008 (java) S 16004 16004 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3607324 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992650189328 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16009] ppid=16004 vsize=13803680 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16009/stat : 16009 (java) S 16004 16004 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3607324 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992649136784 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16010] ppid=16004 vsize=13803680 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16010/stat : 16010 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607324 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992648083728 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16011] ppid=16004 vsize=13803680 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16011/stat : 16011 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607324 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992647031184 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16012] ppid=16004 vsize=13803680 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16012/stat : 16012 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607324 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992645979152 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16013] ppid=16004 vsize=13803680 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16013/stat : 16013 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607324 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992644926608 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16014] ppid=16004 vsize=13803680 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16014/stat : 16014 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607324 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992643873552 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16015] ppid=16004 vsize=13803680 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16015/stat : 16015 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607324 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992642821008 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16016] ppid=16004 vsize=13803680 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16016/stat : 16016 (java) S 16004 16004 15196 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 3607326 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992244414704 139993050512002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16017] ppid=16004 vsize=13803680 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16017/stat : 16017 (java) S 16004 16004 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3607327 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992243360928 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16018] ppid=16004 vsize=13803680 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16018/stat : 16018 (java) S 16004 16004 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3607327 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992242307824 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16019] ppid=16004 vsize=13803680 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16019/stat : 16019 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607331 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992241256400 139993050519451 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16020] ppid=16004 vsize=13803680 CPUtime=1.8 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16020/stat : 16020 (java) R 16004 16004 15196 0 -1 4202560 9657 0 0 0 179 1 0 0 20 0 28 0 3607331 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992240190288 139993036565051 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16021] ppid=16004 vsize=13803680 CPUtime=1.68 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16021/stat : 16021 (java) R 16004 16004 15196 0 -1 1077944384 10199 0 0 0 167 1 0 0 20 0 28 0 3607331 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992239143264 139993050511061 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16022] ppid=16004 vsize=13803680 CPUtime=1.78 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16022/stat : 16022 (java) R 16004 16004 15196 0 -1 4202560 8689 0 0 0 177 1 0 0 20 0 28 0 3607331 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992238084952 139993029757427 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16023] ppid=16004 vsize=13803680 CPUtime=0.77 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16023/stat : 16023 (java) S 16004 16004 15196 0 -1 1077944384 4897 0 0 0 75 2 0 0 20 0 28 0 3607331 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992237046384 139993050512002 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16024] ppid=16004 vsize=13803680 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16024/stat : 16024 (java) S 16004 16004 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3607331 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992235993568 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16025] ppid=16004 vsize=13803680 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16025/stat : 16025 (java) S 16004 16004 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3607335 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992234941104 139993050512002 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16086] ppid=16004 vsize=13803680 CPUtime=1.68 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16086/stat : 16086 (java) R 16004 16004 15196 0 -1 4202560 146 0 0 0 168 0 0 0 20 0 28 0 3607417 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992226924960 139992670015458 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16087] ppid=16004 vsize=13803680 CPUtime=1.47 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16087/stat : 16087 (java) R 16004 16004 15196 0 -1 4202560 121 0 0 0 147 0 0 0 20 0 28 0 3607417 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992225873144 139992670015867 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16088] ppid=16004 vsize=13803680 CPUtime=1.36 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16088/stat : 16088 (java) R 16004 16004 15196 0 -1 4202560 89 0 0 0 136 0 0 0 20 0 28 0 3607417 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992224820952 139992670017736 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16089] ppid=16004 vsize=13803680 CPUtime=1.74 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16089/stat : 16089 (java) R 16004 16004 15196 0 -1 4202560 301 0 0 0 174 0 0 0 20 0 28 0 3607417 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992223768408 139992670017680 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16090] ppid=16004 vsize=13803680 CPUtime=1.46 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16090/stat : 16090 (java) R 16004 16004 15196 0 -1 4202560 165 0 0 0 146 0 0 0 20 0 28 0 3607417 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992222715352 139992670017453 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16091] ppid=16004 vsize=13803680 CPUtime=1.77 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16091/stat : 16091 (java) R 16004 16004 15196 0 -1 4202560 142 0 0 0 177 0 0 0 20 0 28 0 3607417 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992221664232 139992670017680 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16092] ppid=16004 vsize=13803680 CPUtime=1.41 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16092/stat : 16092 (java) R 16004 16004 15196 0 -1 4202560 94 0 0 0 141 0 0 0 20 0 28 0 3607417 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992220609616 139992670016551 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16093] ppid=16004 vsize=13803680 CPUtime=1.73 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16093/stat : 16093 (java) R 16004 16004 15196 0 -1 4202560 102 0 0 0 173 0 0 0 20 0 28 0 3607417 14134968320 49628 33554432000 4194304 4196468 140721712586976 139992219556264 139992670015458 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 Current children cumulated CPU time (s) 19.63 Current children cumulated vsize (KiB) 13813192 [startup+6.30167 s] /proc/loadavg: 15.65 14.14 8.80 19/300 16135 /proc/meminfo: memFree=31621936/32770624 swapFree=5808/47252 ################ # More data... # ################ [pid=16005/tid=16217] ppid=16004 vsize=13801768 CPUtime=58.61 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16217/stat : 16217 (java) R 16004 16004 15196 0 -1 4202560 337 0 0 0 5861 0 0 0 20 0 28 0 3623606 14133010432 66976 33554432000 4194304 4196468 140721712586976 139992221662920 139992674303918 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16218] ppid=16004 vsize=13801768 CPUtime=58.74 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16218/stat : 16218 (java) R 16004 16004 15196 0 -1 4202560 577 0 0 0 5874 0 0 0 20 0 28 0 3623606 14133010432 66976 33554432000 4194304 4196468 140721712586976 139992223768392 139992672294689 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 Current children cumulated CPU time (s) 1753.19 Current children cumulated vsize (KiB) 13811280 [startup+282.302 s] /proc/loadavg: 16.01 15.30 10.67 17/300 16220 /proc/meminfo: memFree=31471752/32770624 swapFree=5808/47516 [pid=16004] ppid=16001 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16004/stat : 16004 (xcsp3-exec) S 16001 16004 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3607322 9740288 345 33554432000 4194304 5098028 140722679893648 140722679891752 139709850452604 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38879232 140722679895183 140722679895392 140722679895392 140722679898091 0 /proc/16004/statm: 2378 345 289 221 0 87 0 [pid=16005] ppid=16004 vsize=13801768 CPUtime=2227.38 cores=1,3,5,7,9,11,13,15 /proc/16005/stat : 16005 (java) S 16004 16004 15196 0 -1 1077944320 148227 0 0 0 222541 197 0 0 20 0 28 0 3607323 14133010432 77749 33554432000 4194304 4196468 140721712586976 140721712569520 139993050500855 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 /proc/16005/statm: 3450442 77749 3281 1 0 3437675 0 [pid=16005/tid=16006] ppid=16004 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16006/stat : 16006 (java) S 16004 16004 15196 0 -1 1077944384 7623 0 0 0 84 4 0 0 20 0 28 0 3607323 14133010432 77749 33554432000 4194304 4196468 140721712586976 139993054741632 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16008] ppid=16004 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16008/stat : 16008 (java) S 16004 16004 15196 0 -1 1077944384 2552 0 0 0 38 10 0 0 20 0 28 0 3607324 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992650189328 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16009] ppid=16004 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16009/stat : 16009 (java) S 16004 16004 15196 0 -1 1077944384 2837 0 0 0 40 8 0 0 20 0 28 0 3607324 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992649136784 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16010] ppid=16004 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16010/stat : 16010 (java) S 16004 16004 15196 0 -1 1077944384 3744 0 0 0 42 7 0 0 20 0 28 0 3607324 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992648083728 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16011] ppid=16004 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16011/stat : 16011 (java) S 16004 16004 15196 0 -1 1077944384 1723 0 0 0 40 10 0 0 20 0 28 0 3607324 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992647031184 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16012] ppid=16004 vsize=13801768 CPUtime=0.47 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16012/stat : 16012 (java) S 16004 16004 15196 0 -1 1077944384 1991 0 0 0 39 8 0 0 20 0 28 0 3607324 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992645979152 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16013] ppid=16004 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16013/stat : 16013 (java) S 16004 16004 15196 0 -1 1077944384 971 0 0 0 40 8 0 0 20 0 28 0 3607324 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992644926608 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16014] ppid=16004 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16014/stat : 16014 (java) S 16004 16004 15196 0 -1 1077944384 2498 0 0 0 40 8 0 0 20 0 28 0 3607324 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992643873552 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16015] ppid=16004 vsize=13801768 CPUtime=0.47 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16015/stat : 16015 (java) S 16004 16004 15196 0 -1 1077944384 1605 0 0 0 38 9 0 0 20 0 28 0 3607324 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992642821008 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16016] ppid=16004 vsize=13801768 CPUtime=1.53 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16016/stat : 16016 (java) S 16004 16004 15196 0 -1 1077944384 6395 0 0 0 65 88 0 0 20 0 28 0 3607326 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992244414704 139993050512002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16017] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16017/stat : 16017 (java) S 16004 16004 15196 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3607327 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992243360992 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16018] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16018/stat : 16018 (java) S 16004 16004 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3607327 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992242307840 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16019] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16019/stat : 16019 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607331 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992241256400 139993050519451 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16020] ppid=16004 vsize=13801768 CPUtime=4.82 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16020/stat : 16020 (java) S 16004 16004 15196 0 -1 1077944384 20210 0 0 0 480 2 0 0 20 0 28 0 3607331 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992240204528 139993050512002 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16021] ppid=16004 vsize=13801768 CPUtime=4.34 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16021/stat : 16021 (java) S 16004 16004 15196 0 -1 1077944384 25070 0 0 0 432 2 0 0 20 0 28 0 3607331 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992239151984 139993050512002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16022] ppid=16004 vsize=13801768 CPUtime=4.46 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16022/stat : 16022 (java) S 16004 16004 15196 0 -1 1077944384 23867 0 0 0 443 3 0 0 20 0 28 0 3607331 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992238098928 139993050512002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16023] ppid=16004 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16023/stat : 16023 (java) S 16004 16004 15196 0 -1 1077944384 16609 0 0 0 109 3 0 0 20 0 28 0 3607331 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992237046384 139993050512002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16024] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16024/stat : 16024 (java) S 16004 16004 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3607331 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992235993568 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16025] ppid=16004 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16025/stat : 16025 (java) S 16004 16004 15196 0 -1 1077944384 1623 0 0 0 7 5 0 0 20 0 28 0 3607335 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992234941104 139993050512002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16211] ppid=16004 vsize=13801768 CPUtime=117.94 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16211/stat : 16211 (java) R 16004 16004 15196 0 -1 4202560 1133 0 0 0 11794 0 0 0 20 0 28 0 3623606 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992220609208 139992671416243 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16212] ppid=16004 vsize=13801768 CPUtime=117.46 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16212/stat : 16212 (java) R 16004 16004 15196 0 -1 4202560 941 0 0 0 11746 0 0 0 20 0 28 0 3623606 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992224821048 139992672294228 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16213] ppid=16004 vsize=13801768 CPUtime=117.58 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16213/stat : 16213 (java) R 16004 16004 15196 0 -1 4202560 850 0 0 0 11758 0 0 0 20 0 28 0 3623606 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992219558088 139992672294833 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16214] ppid=16004 vsize=13801768 CPUtime=117.91 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16214/stat : 16214 (java) R 16004 16004 15196 0 -1 4202560 823 0 0 0 11791 0 0 0 20 0 28 0 3623606 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992225876848 139992674304177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16215] ppid=16004 vsize=13801768 CPUtime=117.86 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16215/stat : 16215 (java) R 16004 16004 15196 0 -1 4202560 737 0 0 0 11786 0 0 0 20 0 28 0 3623606 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992222715848 139992672290922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16216] ppid=16004 vsize=13801768 CPUtime=117.55 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16216/stat : 16216 (java) R 16004 16004 15196 0 -1 4202560 830 0 0 0 11755 0 0 0 20 0 28 0 3623606 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992226926440 139992671969410 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16217] ppid=16004 vsize=13801768 CPUtime=117.82 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16217/stat : 16217 (java) R 16004 16004 15196 0 -1 4202560 517 0 0 0 11782 0 0 0 20 0 28 0 3623606 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992221662672 139992674303732 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16218] ppid=16004 vsize=13801768 CPUtime=117.88 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16218/stat : 16218 (java) R 16004 16004 15196 0 -1 4202560 912 0 0 0 11788 0 0 0 20 0 28 0 3623606 14133010432 77749 33554432000 4194304 4196468 140721712586976 139992223768392 139992672294471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 Current children cumulated CPU time (s) 2227.38 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+304.201 s] /proc/loadavg: 16.01 15.35 10.78 17/300 16221 /proc/meminfo: memFree=31439856/32770624 swapFree=5808/47564 [pid=16004] ppid=16001 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16004/stat : 16004 (xcsp3-exec) S 16001 16004 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3607322 9740288 345 33554432000 4194304 5098028 140722679893648 140722679891752 139709850452604 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 38879232 140722679895183 140722679895392 140722679895392 140722679898091 0 /proc/16004/statm: 2378 345 289 221 0 87 0 [pid=16005] ppid=16004 vsize=13801768 CPUtime=2400.29 cores=1,3,5,7,9,11,13,15 /proc/16005/stat : 16005 (java) S 16004 16004 15196 0 -1 1077944320 149246 0 0 0 239814 215 0 0 20 0 28 0 3607323 14133010432 83694 33554432000 4194304 4196468 140721712586976 140721712569520 139993050500855 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 /proc/16005/statm: 3450442 83694 3281 1 0 3437675 0 [pid=16005/tid=16006] ppid=16004 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16006/stat : 16006 (java) S 16004 16004 15196 0 -1 1077944384 7623 0 0 0 84 4 0 0 20 0 28 0 3607323 14133010432 83694 33554432000 4194304 4196468 140721712586976 139993054741632 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16008] ppid=16004 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16008/stat : 16008 (java) S 16004 16004 15196 0 -1 1077944384 2567 0 0 0 42 10 0 0 20 0 28 0 3607324 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992650189328 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16009] ppid=16004 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16009/stat : 16009 (java) S 16004 16004 15196 0 -1 1077944384 2867 0 0 0 44 9 0 0 20 0 28 0 3607324 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992649136784 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16010] ppid=16004 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16010/stat : 16010 (java) S 16004 16004 15196 0 -1 1077944384 3757 0 0 0 45 7 0 0 20 0 28 0 3607324 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992648083728 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16011] ppid=16004 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16011/stat : 16011 (java) S 16004 16004 15196 0 -1 1077944384 1740 0 0 0 43 10 0 0 20 0 28 0 3607324 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992647031184 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16012] ppid=16004 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16012/stat : 16012 (java) S 16004 16004 15196 0 -1 1077944384 2004 0 0 0 42 8 0 0 20 0 28 0 3607324 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992645979152 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16013] ppid=16004 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16013/stat : 16013 (java) S 16004 16004 15196 0 -1 1077944384 1103 0 0 0 43 9 0 0 20 0 28 0 3607324 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992644926608 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16014] ppid=16004 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16014/stat : 16014 (java) S 16004 16004 15196 0 -1 1077944384 2592 0 0 0 43 8 0 0 20 0 28 0 3607324 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992643873552 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16015] ppid=16004 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16015/stat : 16015 (java) S 16004 16004 15196 0 -1 1077944384 1626 0 0 0 41 10 0 0 20 0 28 0 3607324 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992642821008 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16016] ppid=16004 vsize=13801768 CPUtime=1.74 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16016/stat : 16016 (java) S 16004 16004 15196 0 -1 1077944384 6398 0 0 0 74 100 0 0 20 0 28 0 3607326 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992244414704 139993050512002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16017] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16017/stat : 16017 (java) S 16004 16004 15196 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3607327 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992243360992 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16018] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16018/stat : 16018 (java) S 16004 16004 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3607327 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992242307840 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16019] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16019/stat : 16019 (java) S 16004 16004 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607331 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992241256400 139993050519451 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16020] ppid=16004 vsize=13801768 CPUtime=4.83 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16020/stat : 16020 (java) S 16004 16004 15196 0 -1 1077944384 20671 0 0 0 481 2 0 0 20 0 28 0 3607331 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992240204528 139993050512002 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16021] ppid=16004 vsize=13801768 CPUtime=4.34 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16021/stat : 16021 (java) S 16004 16004 15196 0 -1 1077944384 25070 0 0 0 432 2 0 0 20 0 28 0 3607331 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992239151984 139993050512002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16022] ppid=16004 vsize=13801768 CPUtime=4.46 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16022/stat : 16022 (java) S 16004 16004 15196 0 -1 1077944384 23867 0 0 0 443 3 0 0 20 0 28 0 3607331 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992238098928 139993050512002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16023] ppid=16004 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16023/stat : 16023 (java) S 16004 16004 15196 0 -1 1077944384 16609 0 0 0 109 3 0 0 20 0 28 0 3607331 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992237046384 139993050512002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16024] ppid=16004 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16024/stat : 16024 (java) S 16004 16004 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3607331 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992235993568 139993050511061 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16025] ppid=16004 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16025/stat : 16025 (java) S 16004 16004 15196 0 -1 1077944384 1623 0 0 0 7 6 0 0 20 0 28 0 3607335 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992234941104 139993050512002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16211] ppid=16004 vsize=13801768 CPUtime=139.48 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16211/stat : 16211 (java) R 16004 16004 15196 0 -1 4202560 1173 0 0 0 13947 1 0 0 20 0 28 0 3623606 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992220608968 139992671584753 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16212] ppid=16004 vsize=13801768 CPUtime=138.96 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16212/stat : 16212 (java) R 16004 16004 15196 0 -1 4202560 958 0 0 0 13895 1 0 0 20 0 28 0 3623606 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992224821336 139992671189392 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16213] ppid=16004 vsize=13801768 CPUtime=139.18 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16213/stat : 16213 (java) R 16004 16004 15196 0 -1 4202560 864 0 0 0 13917 1 0 0 20 0 28 0 3623606 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992219557792 139992674303909 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16214] ppid=16004 vsize=13801768 CPUtime=139.39 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16214/stat : 16214 (java) R 16004 16004 15196 0 -1 4202560 850 0 0 0 13939 0 0 0 20 0 28 0 3623606 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992225874248 139992674303912 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16215] ppid=16004 vsize=13801768 CPUtime=139.33 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16215/stat : 16215 (java) R 16004 16004 15196 0 -1 4202560 745 0 0 0 13933 0 0 0 20 0 28 0 3623606 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992222718640 139992672294328 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16216] ppid=16004 vsize=13801768 CPUtime=139.05 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16216/stat : 16216 (java) R 16004 16004 15196 0 -1 4202560 875 0 0 0 13905 0 0 0 20 0 28 0 3623606 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992226926968 139992672294639 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16217] ppid=16004 vsize=13801768 CPUtime=139.5 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16217/stat : 16217 (java) R 16004 16004 15196 0 -1 4202560 555 0 0 0 13950 0 0 0 20 0 28 0 3623606 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992221662920 139992672294668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 [pid=16005/tid=16218] ppid=16004 vsize=13801768 CPUtime=139.46 cores=1,3,5,7,9,11,13,15 /proc/16005/task/16218/stat : 16218 (java) R 16004 16004 15196 0 -1 4202560 943 0 0 0 13946 0 0 0 20 0 28 0 3623606 14133010432 83694 33554432000 4194304 4196468 140721712586976 139992223768344 139992672294706 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17444864 140721712587964 140721712588140 140721712588140 140721712590799 0 Current children cumulated CPU time (s) 2400.29 Current children cumulated vsize (KiB) 13811280 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 16005 sig 9 ??? kill 16004 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 16004 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1474 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1474 # CPU time returned by wait4() is 0.002948 # while last known CPU time is 2400.29 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 304.212 CPU time (s): 2400.29 CPU user time (s): 2398.14 CPU system time (s): 2.15 CPU usage (%): 789.02 Max. virtual memory (cumulated for all children) (KiB): 13813204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001474 system time used= 0.001474 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.78471 second user time and 4.33868 second system time The end
Begin job on node145 at 2017-07-22 02:30:22 IDJOB=4244465 IDBENCH=115729 IDSOLVER=2626 FILE ID=node145/4244465-1500683422 RUNJOBID= node145-1500682809-15228 PBS_JOBID= 20623333 Free space on /tmp= 61856 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-7.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-4244465-1500683422/watcher-4244465-1500683422 -o /tmp/evaluation-result-4244465-1500683422/solver-4244465-1500683422 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 613638694 HOME/instance-4244465-1500683422.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= fe547a27c953c30f0dd43f8aa0b4ac9f RANDOM SEED=613638694 node145.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 : 2668.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.43 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 : 1600.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 : 2668.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.43 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 : 1600.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 : 2668.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.43 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 : 1600.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 : 2668.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.43 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 : 1733.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 : 2668.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.43 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 : 1600.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 : 2668.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.43 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 : 1733.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 : 2668.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.43 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 : 1733.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 : 2668.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.43 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 : 1867.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: 31805656 kB MemAvailable: 31738684 kB Buffers: 54360 kB Cached: 171424 kB SwapCached: 0 kB Active: 453236 kB Inactive: 115248 kB Active(anon): 286176 kB Inactive(anon): 68068 kB Active(file): 167060 kB Inactive(file): 47180 kB Unevictable: 5808 kB Mlocked: 5808 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 15984 kB Writeback: 0 kB AnonPages: 156528 kB Mapped: 42896 kB Shmem: 8852 kB Slab: 92032 kB SReclaimable: 58236 kB SUnreclaim: 33796 kB KernelStack: 4976 kB PageTables: 5560 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1390624 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 57344 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61848 MiB End job on node145 at 2017-07-22 02:35:27