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) | 1309 | 2400.73 | 307.412 |
| Name | Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml |
| MD5SUM | 428eef4dc0068476798a4d67b3fd28ef |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1233 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 240 |
| Number of constraints | 255 |
| Number of domains | 1 |
| Minimum domain size | 1333 |
| Maximum domain size | 1333 |
| Distribution of domain sizes | [{"size":1333,"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-4244514-1500683709.xml" -tl '2400s' -p 8 -x 3 0.00/0.21 c [HOME/instance-4244514-1500683709.xml, -tl, 2400s, -p, 8, -x, 3] 0.00/0.28 c 8 solvers in parallel 0.00/0.36 c parse instance... 0.00/0.96 c solve instance... 379.03/48.50 o 1330 779.85/100.51 o 1329 1298.52/167.08 o 1328 1976.84/253.65 o 1309 2400.73/307.45 s SATISFIABLE 2400.73/307.45 v <instantiation> 2400.73/307.45 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] s[4][14] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] s[5][12] s[5][13] s[5][14] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[6][12] s[6][13] s[6][14] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[7][12] s[7][13] s[7][14] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11] s[8][12] s[8][13] s[8][14] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] s[9][10] s[9][11] s[9][12] s[9][13] s[9][14] s[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[10][5] s[10][6] s[10][7] s[10][8] s[10][9] s[10][10] s[10][11] s[10][12] s[10][13] s[10][14] s[11][0] s[11][1] s[11][2] s[11][3] s[11][4] s[11][5] s[11][6] s[11][7] s[11][8] s[11][9] s[11][10] s[11][11] s[11][12] s[11][13] s[11][14] s[12][0] s[12][1] s[12][2] s[12][3] s[12][4] s[12][5] s[12][6] s[12][7] s[12][8] s[12][9] s[12][10] s[12][11] s[12][12] s[12][13] s[12][14] s[13][0] s[13][1] s[13][2] s[13][3] s[13][4] s[13][5] s[13][6] s[13][7] s[13][8] s[13][9] s[13][10] s[13][11] s[13][12] s[13][13] s[13][14] s[14][0] s[14][1] s[14][2] s[14][3] s[14][4] s[14][5] s[14][6] s[14][7] s[14][8] s[14][9] s[14][10] s[14][11] s[14][12] s[14][13] s[14][14] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] e[10] e[11] e[12] e[13] e[14] </list> 2400.73/307.45 v <values>0 40 136 195 290 366 441 464 529 594 610 733 934 1117 1216 0 136 224 323 450 518 531 569 604 710 900 993 1055 1144 1238 343 456 502 597 684 714 848 927 968 1022 1031 1128 1157 1159 1210 0 19 34 76 84 156 171 247 387 465 577 719 831 912 928 0 68 139 319 410 544 639 731 752 837 1022 1073 1123 1197 1227 0 14 68 97 169 175 206 323 373 456 458 544 577 610 712 19 40 161 290 441 544 708 755 912 993 1071 1124 1134 1226 1238 0 40 226 463 540 570 608 646 694 710 837 994 1067 1155 1226 0 37 473 574 610 611 694 733 752 789 830 910 1073 1081 1159 40 41 114 161 207 217 280 366 475 529 540 666 993 1068 1201 14 36 85 118 120 144 315 681 749 770 831 900 1085 1142 1181 262 343 389 410 458 544 563 771 851 873 923 934 1008 1181 1227 41 62 175 208 465 569 646 731 823 837 850 918 978 1023 1067 139 224 319 371 430 463 501 623 761 836 865 978 981 1071 1219 114 208 226 280 322 594 623 749 823 898 968 1025 1128 1155 1273 1240 1309 1306 1025 1291 771 1271 1273 1219 1252 1229 1302 1157 1225 1285 </values> 2400.73/307.45 v </instantiation> 2400.73/307.45 c Unexpected resolution interruption!
OK 1309
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-4244514-1500683709/watcher-4244514-1500683709 -o /tmp/evaluation-result-4244514-1500683709/solver-4244514-1500683709 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1954807874 HOME/instance-4244514-1500683709.xml pid=15997 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.95 15.25 11.04 10/271 16000 /proc/meminfo: memFree=31474832/32770624 swapFree=5972/216816 [pid=16000] ppid=15997 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16000/stat : 16000 (xcsp3-exec) S 15997 16000 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3640433 9740288 346 33554432000 4194304 5098028 140729581017168 140729581015272 139713703092860 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37216256 140729581024398 140729581024608 140729581024608 140729581027307 0 /proc/16000/statm: 2378 346 289 221 0 87 0 [startup+0.10007 s] /proc/loadavg: 15.95 15.25 11.04 10/271 16000 /proc/meminfo: memFree=31474832/32770624 swapFree=5972/216816 [pid=16000] ppid=15997 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16000/stat : 16000 (xcsp3-exec) S 15997 16000 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3640433 9740288 346 33554432000 4194304 5098028 140729581017168 140729581015272 139713703092860 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37216256 140729581024398 140729581024608 140729581024608 140729581027307 0 /proc/16000/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200333 s] /proc/loadavg: 15.95 15.25 11.04 10/271 16000 /proc/meminfo: memFree=31474832/32770624 swapFree=5972/216816 [pid=16000] ppid=15997 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16000/stat : 16000 (xcsp3-exec) S 15997 16000 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3640433 9740288 346 33554432000 4194304 5098028 140729581017168 140729581015272 139713703092860 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37216256 140729581024398 140729581024608 140729581024608 140729581027307 0 /proc/16000/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300301 s] /proc/loadavg: 15.95 15.25 11.04 10/271 16000 /proc/meminfo: memFree=31474832/32770624 swapFree=5972/216816 [pid=16000] ppid=15997 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16000/stat : 16000 (xcsp3-exec) S 15997 16000 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3640433 9740288 346 33554432000 4194304 5098028 140729581017168 140729581015272 139713703092860 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37216256 140729581024398 140729581024608 140729581024608 140729581027307 0 /proc/16000/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700175 s] /proc/loadavg: 15.95 15.25 11.04 10/271 16000 /proc/meminfo: memFree=31474832/32770624 swapFree=5972/216816 [pid=16000] ppid=15997 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16000/stat : 16000 (xcsp3-exec) S 15997 16000 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3640433 9740288 346 33554432000 4194304 5098028 140729581017168 140729581015272 139713703092860 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37216256 140729581024398 140729581024608 140729581024608 140729581027307 0 /proc/16000/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.5016 s] /proc/loadavg: 15.95 15.25 11.04 21/300 16029 /proc/meminfo: memFree=31332304/32770624 swapFree=5972/216868 [pid=16000] ppid=15997 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16000/stat : 16000 (xcsp3-exec) S 15997 16000 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3640433 9740288 346 33554432000 4194304 5098028 140729581017168 140729581015272 139713703092860 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37216256 140729581024398 140729581024608 140729581024608 140729581027307 0 /proc/16000/statm: 2378 346 289 221 0 87 0 [pid=16001] ppid=16000 vsize=13801768 CPUtime=6.84 cores=1,3,5,7,9,11,13,15 /proc/16001/stat : 16001 (java) S 16000 16000 14626 0 -1 1077944320 22756 0 0 0 675 9 0 0 20 0 28 0 3640433 14133010432 44548 33554432000 4194304 4196468 140730503676800 140730503659344 139710481022711 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 /proc/16001/statm: 3450442 44548 3217 1 0 3437675 0 [pid=16001/tid=16002] ppid=16000 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16002/stat : 16002 (java) S 16000 16000 14626 0 -1 1077944384 6557 0 0 0 91 4 0 0 20 0 28 0 3640433 14133010432 44548 33554432000 4194304 4196468 140730503676800 139710485263488 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16004] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16004/stat : 16004 (java) S 16000 16000 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 44548 33554432000 4194304 4196468 140730503676800 139710399503376 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16005] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16005/stat : 16005 (java) S 16000 16000 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 44548 33554432000 4194304 4196468 140730503676800 139710398450832 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16006] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16006/stat : 16006 (java) S 16000 16000 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 44548 33554432000 4194304 4196468 140730503676800 139710397397776 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16007] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16007/stat : 16007 (java) S 16000 16000 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 44548 33554432000 4194304 4196468 140730503676800 139710396345232 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16008] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16008/stat : 16008 (java) S 16000 16000 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 44548 33554432000 4194304 4196468 140730503676800 139710395292176 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16009] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16009/stat : 16009 (java) S 16000 16000 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 44548 33554432000 4194304 4196468 140730503676800 139710394239632 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16010] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16010/stat : 16010 (java) S 16000 16000 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 44548 33554432000 4194304 4196468 140730503676800 139710393186576 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16011] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16011/stat : 16011 (java) S 16000 16000 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 44548 33554432000 4194304 4196468 140730503676800 139710392134032 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16012] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16012/stat : 16012 (java) S 16000 16000 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3640436 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709808782064 139710481033858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16013] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16013/stat : 16013 (java) S 16000 16000 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3640437 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709807728288 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16014] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16014/stat : 16014 (java) S 16000 16000 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3640437 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709806675184 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16015] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16015/stat : 16015 (java) S 16000 16000 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3640441 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709805623760 139710481041307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16016] ppid=16000 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16016/stat : 16016 (java) R 16000 16000 14626 0 -1 4202560 3160 0 0 0 58 0 0 0 20 0 28 0 3640441 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709804557048 139710462212412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16017] ppid=16000 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16017/stat : 16017 (java) R 16000 16000 14626 0 -1 4202560 3611 0 0 0 75 0 0 0 20 0 28 0 3640441 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709803502680 139710460261184 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16018] ppid=16000 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16018/stat : 16018 (java) R 16000 16000 14626 0 -1 4202560 4070 0 0 0 66 0 0 0 20 0 28 0 3640441 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709802446280 139710464551445 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16019] ppid=16000 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16019/stat : 16019 (java) S 16000 16000 14626 0 -1 1077944384 3588 0 0 0 76 1 0 0 20 0 28 0 3640441 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709801412720 139710481033858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16020] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16020/stat : 16020 (java) S 16000 16000 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3640441 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709800360928 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16021] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16021/stat : 16021 (java) S 16000 16000 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3640442 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709799308464 139710481033858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16022] ppid=16000 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16022/stat : 16022 (java) R 16000 16000 14626 0 -1 4202560 68 0 0 0 40 0 0 0 20 0 28 0 3640530 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709791294888 139710074465778 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16023] ppid=16000 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16023/stat : 16023 (java) R 16000 16000 14626 0 -1 4202560 55 0 0 0 43 0 0 0 20 0 28 0 3640530 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709790243464 139710074466606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16024] ppid=16000 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16024/stat : 16024 (java) R 16000 16000 14626 0 -1 4202560 42 0 0 0 34 0 0 0 20 0 28 0 3640530 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709789190432 139710074567780 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16025] ppid=16000 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16025/stat : 16025 (java) R 16000 16000 14626 0 -1 4202560 84 0 0 0 40 0 0 0 20 0 28 0 3640530 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709788136600 139710074462084 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16026] ppid=16000 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16026/stat : 16026 (java) R 16000 16000 14626 0 -1 4202560 86 0 0 0 40 0 0 0 20 0 28 0 3640531 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709787082248 139710071970681 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16027] ppid=16000 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16027/stat : 16027 (java) R 16000 16000 14626 0 -1 4202560 33 0 0 0 30 0 0 0 20 0 28 0 3640531 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709786029912 139710069561771 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16028] ppid=16000 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16028/stat : 16028 (java) R 16000 16000 14626 0 -1 4202560 37 0 0 0 38 0 0 0 20 0 28 0 3640531 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709784976472 139710074466606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16029] ppid=16000 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16029/stat : 16029 (java) R 16000 16000 14626 0 -1 4202560 51 0 0 0 38 0 0 0 20 0 28 0 3640531 14133010432 44548 33554432000 4194304 4196468 140730503676800 139709052866472 139710074466606 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 Current children cumulated CPU time (s) 6.84 Current children cumulated vsize (KiB) 13811280 [startup+3.10151 s] /proc/loadavg: 15.95 15.25 11.04 20/300 16029 /proc/meminfo: memFree=31280616/32770624 swapFree=5972/216864 [pid=16000] ppid=15997 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16000/stat : 16000 (xcsp3-exec) S 15997 16000 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3640433 9740288 346 33554432000 4194304 5098028 140729581017168 140729581015272 139713703092860 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37216256 140729581024398 140729581024608 140729581024608 140729581027307 0 /proc/16000/statm: 2378 346 289 221 0 87 0 [pid=16001] ppid=16000 vsize=13801768 CPUtime=19.59 cores=1,3,5,7,9,11,13,15 /proc/16001/stat : 16001 (java) S 16000 16000 14626 0 -1 1077944320 45159 0 0 0 1947 12 0 0 20 0 28 0 3640433 14133010432 51351 33554432000 4194304 4196468 140730503676800 140730503659344 139710481022711 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 /proc/16001/statm: 3450442 51351 3234 1 0 3437675 0 [pid=16001/tid=16002] ppid=16000 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16002/stat : 16002 (java) S 16000 16000 14626 0 -1 1077944384 6557 0 0 0 91 4 0 0 20 0 28 0 3640433 14133010432 51351 33554432000 4194304 4196468 140730503676800 139710485263488 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16004] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16004/stat : 16004 (java) S 16000 16000 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 51351 33554432000 4194304 4196468 140730503676800 139710399503376 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16005] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16005/stat : 16005 (java) S 16000 16000 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 51351 33554432000 4194304 4196468 140730503676800 139710398450832 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16006] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16006/stat : 16006 (java) S 16000 16000 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 51351 33554432000 4194304 4196468 140730503676800 139710397397776 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16007] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16007/stat : 16007 (java) S 16000 16000 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 51351 33554432000 4194304 4196468 140730503676800 139710396345232 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16008] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16008/stat : 16008 (java) S 16000 16000 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 51351 33554432000 4194304 4196468 140730503676800 139710395292176 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16009] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16009/stat : 16009 (java) S 16000 16000 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 51351 33554432000 4194304 4196468 140730503676800 139710394239632 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16010] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16010/stat : 16010 (java) S 16000 16000 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 51351 33554432000 4194304 4196468 140730503676800 139710393186576 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16011] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16011/stat : 16011 (java) S 16000 16000 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3640434 14133010432 51351 33554432000 4194304 4196468 140730503676800 139710392134032 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16012] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16012/stat : 16012 (java) S 16000 16000 14626 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 3640436 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709808782064 139710481033858 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16013] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16013/stat : 16013 (java) S 16000 16000 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3640437 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709807728288 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16014] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16014/stat : 16014 (java) S 16000 16000 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3640437 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709806675184 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16015] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16015/stat : 16015 (java) S 16000 16000 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3640441 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709805623760 139710481041307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16016] ppid=16000 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16016/stat : 16016 (java) R 16000 16000 14626 0 -1 4202560 10559 0 0 0 168 1 0 0 20 0 28 0 3640441 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709804557680 139710458943505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16017] ppid=16000 vsize=13801768 CPUtime=1.91 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16017/stat : 16017 (java) R 16000 16000 14626 0 -1 4202560 9812 0 0 0 190 1 0 0 20 0 28 0 3640441 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709803504864 139710461724358 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16018] ppid=16000 vsize=13801768 CPUtime=1.91 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16018/stat : 16018 (java) R 16000 16000 14626 0 -1 4202560 12112 0 0 0 190 1 0 0 20 0 28 0 3640441 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709802451360 139710460269464 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16019] ppid=16000 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16019/stat : 16019 (java) S 16000 16000 14626 0 -1 1077944384 4044 0 0 0 85 1 0 0 20 0 28 0 3640441 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709801412720 139710481033858 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16020] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16020/stat : 16020 (java) S 16000 16000 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3640441 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709800360928 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16021] ppid=16000 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16021/stat : 16021 (java) S 16000 16000 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3640442 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709799308464 139710481033858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16022] ppid=16000 vsize=13801768 CPUtime=1.44 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16022/stat : 16022 (java) R 16000 16000 14626 0 -1 4202560 80 0 0 0 144 0 0 0 20 0 28 0 3640530 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709791291720 139710074465871 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16023] ppid=16000 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16023/stat : 16023 (java) R 16000 16000 14626 0 -1 4202560 65 0 0 0 169 0 0 0 20 0 28 0 3640530 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709790240112 139710074466312 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16024] ppid=16000 vsize=13801768 CPUtime=1.3 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16024/stat : 16024 (java) R 16000 16000 14626 0 -1 4202560 80 0 0 0 130 0 0 0 20 0 28 0 3640530 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709789186944 139710074465044 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16025] ppid=16000 vsize=13801768 CPUtime=1.52 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16025/stat : 16025 (java) R 16000 16000 14626 0 -1 4202560 225 0 0 0 152 0 0 0 20 0 28 0 3640530 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709788135304 139710074134978 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16026] ppid=16000 vsize=13801768 CPUtime=1.55 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16026/stat : 16026 (java) R 16000 16000 14626 0 -1 4202560 108 0 0 0 155 0 0 0 20 0 28 0 3640531 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709787084256 139710074464721 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16027] ppid=16000 vsize=13801768 CPUtime=1.4 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16027/stat : 16027 (java) R 16000 16000 14626 0 -1 4202560 44 0 0 0 140 0 0 0 20 0 28 0 3640531 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709786029336 139710074327424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16028] ppid=16000 vsize=13801768 CPUtime=1.61 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16028/stat : 16028 (java) R 16000 16000 14626 0 -1 4202560 51 0 0 0 161 0 0 0 20 0 28 0 3640531 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709784976880 139710074466771 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16029] ppid=16000 vsize=13801768 CPUtime=1.66 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16029/stat : 16029 (java) R 16000 16000 14626 0 -1 4202560 86 0 0 0 166 0 0 0 20 0 28 0 3640531 14133010432 51351 33554432000 4194304 4196468 140730503676800 139709052866152 139710074465871 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 Current children cumulated CPU time (s) 19.59 Current children cumulated vsize (KiB) 13811280 [startup+6.30164 s] /proc/loadavg: 16.19 15.32 11.08 20/300 16029 /proc/meminfo: memFree=31200304/32770624 swapFree=5972/216876 ################ # More data... # ################ [pid=16001/tid=16150] ppid=16000 vsize=13868332 CPUtime=54.15 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16150/stat : 16150 (java) R 16000 16000 14626 0 -1 4202560 623 0 0 0 5415 0 0 0 20 0 28 0 3657141 14201171968 78140 33554432000 4194304 4196468 140730503676800 139709787083336 139710077544138 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16151] ppid=16000 vsize=13868332 CPUtime=54.28 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16151/stat : 16151 (java) R 16000 16000 14626 0 -1 4202560 365 0 0 0 5428 0 0 0 20 0 28 0 3657141 14201171968 78140 33554432000 4194304 4196468 140730503676800 139709788136008 139710076357576 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 Current children cumulated CPU time (s) 1734.39 Current children cumulated vsize (KiB) 13877844 [startup+282.302 s] /proc/loadavg: 15.70 15.63 12.31 17/300 16162 /proc/meminfo: memFree=31176148/32770624 swapFree=5972/217204 [pid=16000] ppid=15997 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16000/stat : 16000 (xcsp3-exec) S 15997 16000 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3640433 9740288 346 33554432000 4194304 5098028 140729581017168 140729581015272 139713703092860 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37216256 140729581024398 140729581024608 140729581024608 140729581027307 0 /proc/16000/statm: 2378 346 289 221 0 87 0 [pid=16001] ppid=16000 vsize=13868332 CPUtime=2202.7 cores=1,3,5,7,9,11,13,15 /proc/16001/stat : 16001 (java) S 16000 16000 14626 0 -1 1077944320 146848 0 0 0 220021 249 0 0 20 0 28 0 3640433 14201171968 92280 33554432000 4194304 4196468 140730503676800 140730503659344 139710481022711 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 /proc/16001/statm: 3467083 92280 3287 1 0 3454316 0 [pid=16001/tid=16002] ppid=16000 vsize=13868332 CPUtime=0.95 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16002/stat : 16002 (java) S 16000 16000 14626 0 -1 1077944384 6914 0 0 0 91 4 0 0 20 0 28 0 3640433 14201171968 92280 33554432000 4194304 4196468 140730503676800 139710485263488 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16004] ppid=16000 vsize=13868332 CPUtime=0.6 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16004/stat : 16004 (java) S 16000 16000 14626 0 -1 1077944384 2793 0 0 0 49 11 0 0 20 0 28 0 3640434 14201171968 92280 33554432000 4194304 4196468 140730503676800 139710399503376 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16005] ppid=16000 vsize=13868332 CPUtime=0.59 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16005/stat : 16005 (java) S 16000 16000 14626 0 -1 1077944384 2421 0 0 0 48 11 0 0 20 0 28 0 3640434 14201171968 92280 33554432000 4194304 4196468 140730503676800 139710398450832 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16006] ppid=16000 vsize=13868332 CPUtime=0.6 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16006/stat : 16006 (java) S 16000 16000 14626 0 -1 1077944384 3397 0 0 0 50 10 0 0 20 0 28 0 3640434 14201171968 92280 33554432000 4194304 4196468 140730503676800 139710397397776 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16007] ppid=16000 vsize=13868332 CPUtime=0.6 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16007/stat : 16007 (java) S 16000 16000 14626 0 -1 1077944384 1805 0 0 0 50 10 0 0 20 0 28 0 3640434 14201171968 92280 33554432000 4194304 4196468 140730503676800 139710396345232 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16008] ppid=16000 vsize=13868332 CPUtime=0.57 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16008/stat : 16008 (java) S 16000 16000 14626 0 -1 1077944384 1793 0 0 0 48 9 0 0 20 0 28 0 3640434 14201171968 92280 33554432000 4194304 4196468 140730503676800 139710395292176 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16009] ppid=16000 vsize=13868332 CPUtime=0.6 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16009/stat : 16009 (java) R 16000 16000 14626 0 -1 4202560 2514 0 0 0 50 10 0 0 20 0 28 0 3640434 14201171968 92280 33554432000 4194304 4196468 140730503676800 139710394239752 139710473650919 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16010] ppid=16000 vsize=13868332 CPUtime=0.58 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16010/stat : 16010 (java) S 16000 16000 14626 0 -1 1077944384 2504 0 0 0 48 10 0 0 20 0 28 0 3640434 14201171968 92280 33554432000 4194304 4196468 140730503676800 139710393186576 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16011] ppid=16000 vsize=13868332 CPUtime=0.58 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16011/stat : 16011 (java) S 16000 16000 14626 0 -1 1077944384 3255 0 0 0 47 11 0 0 20 0 28 0 3640434 14201171968 92280 33554432000 4194304 4196468 140730503676800 139710392134048 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16012] ppid=16000 vsize=13868332 CPUtime=2.07 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16012/stat : 16012 (java) S 16000 16000 14626 0 -1 1077944384 7100 0 0 0 79 128 0 0 20 0 28 0 3640436 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709808780576 139710481032917 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16013] ppid=16000 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16013/stat : 16013 (java) S 16000 16000 14626 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3640437 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709807728352 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16014] ppid=16000 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16014/stat : 16014 (java) S 16000 16000 14626 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3640437 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709806675200 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16015] ppid=16000 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16015/stat : 16015 (java) S 16000 16000 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3640441 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709805623760 139710481041307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16016] ppid=16000 vsize=13868332 CPUtime=4.94 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16016/stat : 16016 (java) S 16000 16000 14626 0 -1 1077944384 24509 0 0 0 491 3 0 0 20 0 28 0 3640441 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709804570864 139710481033858 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16017] ppid=16000 vsize=13868332 CPUtime=4.7 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16017/stat : 16017 (java) S 16000 16000 14626 0 -1 1077944384 20320 0 0 0 468 2 0 0 20 0 28 0 3640441 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709803518320 139710481033858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16018] ppid=16000 vsize=13868332 CPUtime=4.91 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16018/stat : 16018 (java) S 16000 16000 14626 0 -1 1077944384 22758 0 0 0 488 3 0 0 20 0 28 0 3640441 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709802465264 139710481033858 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16019] ppid=16000 vsize=13868332 CPUtime=1.27 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16019/stat : 16019 (java) S 16000 16000 14626 0 -1 1077944384 15056 0 0 0 124 3 0 0 20 0 28 0 3640441 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709801412720 139710481033858 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16020] ppid=16000 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16020/stat : 16020 (java) S 16000 16000 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3640441 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709800360928 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16021] ppid=16000 vsize=13868332 CPUtime=0.13 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16021/stat : 16021 (java) S 16000 16000 14626 0 -1 1077944384 1411 0 0 0 6 7 0 0 20 0 28 0 3640442 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709799308464 139710481033858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16154] ppid=16000 vsize=13868332 CPUtime=28.18 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16154/stat : 16154 (java) S 16000 16000 14626 0 -1 1077944384 648 0 0 0 2818 0 0 0 20 0 28 0 3665799 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709787081440 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16155] ppid=16000 vsize=13868332 CPUtime=28.11 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16155/stat : 16155 (java) S 16000 16000 14626 0 -1 1077944384 689 0 0 0 2811 0 0 0 20 0 28 0 3665799 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709789188288 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16156] ppid=16000 vsize=13868332 CPUtime=28.21 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16156/stat : 16156 (java) S 16000 16000 14626 0 -1 1077944384 470 0 0 0 2821 0 0 0 20 0 28 0 3665799 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709051813456 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16157] ppid=16000 vsize=13868332 CPUtime=28.12 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16157/stat : 16157 (java) S 16000 16000 14626 0 -1 1077944384 452 0 0 0 2812 0 0 0 20 0 28 0 3665799 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709788135136 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16158] ppid=16000 vsize=13868332 CPUtime=27.97 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16158/stat : 16158 (java) S 16000 16000 14626 0 -1 1077944384 351 0 0 0 2797 0 0 0 20 0 28 0 3665799 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709052868768 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16159] ppid=16000 vsize=13868332 CPUtime=28.03 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16159/stat : 16159 (java) S 16000 16000 14626 0 -1 1077944384 385 0 0 0 2803 0 0 0 20 0 28 0 3665799 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709791292880 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16160] ppid=16000 vsize=13868332 CPUtime=28.13 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16160/stat : 16160 (java) S 16000 16000 14626 0 -1 1077944384 700 0 0 0 2813 0 0 0 20 0 28 0 3665799 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709784977728 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16161] ppid=16000 vsize=13868332 CPUtime=28 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16161/stat : 16161 (java) S 16000 16000 14626 0 -1 1077944384 547 0 0 0 2800 0 0 0 20 0 28 0 3665799 14201171968 92280 33554432000 4194304 4196468 140730503676800 139709790240704 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 Current children cumulated CPU time (s) 2202.7 Current children cumulated vsize (KiB) 13877844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+307.401 s] /proc/loadavg: 15.80 15.66 12.41 17/302 16170 /proc/meminfo: memFree=31157276/32770624 swapFree=5972/217224 [pid=16000] ppid=15997 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16000/stat : 16000 (xcsp3-exec) S 15997 16000 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3640433 9740288 346 33554432000 4194304 5098028 140729581017168 140729581015272 139713703092860 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 37216256 140729581024398 140729581024608 140729581024608 140729581027307 0 /proc/16000/statm: 2378 346 289 221 0 87 0 [pid=16001] ppid=16000 vsize=13868332 CPUtime=2400.73 cores=1,3,5,7,9,11,13,15 /proc/16001/stat : 16001 (java) S 16000 16000 14626 0 -1 1077944320 152794 0 0 0 239801 272 0 0 20 0 28 0 3640433 14201171968 96911 33554432000 4194304 4196468 140730503676800 140730503659344 139710481022711 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 /proc/16001/statm: 3467083 96911 3287 1 0 3454316 0 [pid=16001/tid=16002] ppid=16000 vsize=13868332 CPUtime=0.95 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16002/stat : 16002 (java) S 16000 16000 14626 0 -1 1077944384 6914 0 0 0 91 4 0 0 20 0 28 0 3640433 14201171968 96911 33554432000 4194304 4196468 140730503676800 139710485263488 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16004] ppid=16000 vsize=13868332 CPUtime=0.66 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16004/stat : 16004 (java) S 16000 16000 14626 0 -1 1077944384 2967 0 0 0 54 12 0 0 20 0 28 0 3640434 14201171968 96911 33554432000 4194304 4196468 140730503676800 139710399503376 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16005] ppid=16000 vsize=13868332 CPUtime=0.66 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16005/stat : 16005 (java) S 16000 16000 14626 0 -1 1077944384 2880 0 0 0 54 12 0 0 20 0 28 0 3640434 14201171968 96911 33554432000 4194304 4196468 140730503676800 139710398450832 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16006] ppid=16000 vsize=13868332 CPUtime=0.66 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16006/stat : 16006 (java) S 16000 16000 14626 0 -1 1077944384 3592 0 0 0 55 11 0 0 20 0 28 0 3640434 14201171968 96911 33554432000 4194304 4196468 140730503676800 139710397397776 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16007] ppid=16000 vsize=13868332 CPUtime=0.66 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16007/stat : 16007 (java) S 16000 16000 14626 0 -1 1077944384 1931 0 0 0 56 10 0 0 20 0 28 0 3640434 14201171968 96911 33554432000 4194304 4196468 140730503676800 139710396345232 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16008] ppid=16000 vsize=13868332 CPUtime=0.64 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16008/stat : 16008 (java) S 16000 16000 14626 0 -1 1077944384 1846 0 0 0 54 10 0 0 20 0 28 0 3640434 14201171968 96911 33554432000 4194304 4196468 140730503676800 139710395292176 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16009] ppid=16000 vsize=13868332 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16009/stat : 16009 (java) S 16000 16000 14626 0 -1 1077944384 2611 0 0 0 55 10 0 0 20 0 28 0 3640434 14201171968 96911 33554432000 4194304 4196468 140730503676800 139710394239632 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16010] ppid=16000 vsize=13868332 CPUtime=0.64 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16010/stat : 16010 (java) S 16000 16000 14626 0 -1 1077944384 2674 0 0 0 54 10 0 0 20 0 28 0 3640434 14201171968 96911 33554432000 4194304 4196468 140730503676800 139710393186576 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16011] ppid=16000 vsize=13868332 CPUtime=0.63 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16011/stat : 16011 (java) S 16000 16000 14626 0 -1 1077944384 3343 0 0 0 52 11 0 0 20 0 28 0 3640434 14201171968 96911 33554432000 4194304 4196468 140730503676800 139710392134032 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16012] ppid=16000 vsize=13868332 CPUtime=2.31 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16012/stat : 16012 (java) S 16000 16000 14626 0 -1 1077944384 7574 0 0 0 88 143 0 0 20 0 28 0 3640436 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709808782064 139710481033858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16013] ppid=16000 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16013/stat : 16013 (java) S 16000 16000 14626 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 3640437 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709807728352 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16014] ppid=16000 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16014/stat : 16014 (java) S 16000 16000 14626 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3640437 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709806675200 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16015] ppid=16000 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16015/stat : 16015 (java) S 16000 16000 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3640441 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709805623760 139710481041307 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16016] ppid=16000 vsize=13868332 CPUtime=5.05 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16016/stat : 16016 (java) S 16000 16000 14626 0 -1 1077944384 25520 0 0 0 502 3 0 0 20 0 28 0 3640441 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709804570864 139710481033858 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16017] ppid=16000 vsize=13868332 CPUtime=4.71 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16017/stat : 16017 (java) S 16000 16000 14626 0 -1 1077944384 21211 0 0 0 469 2 0 0 20 0 28 0 3640441 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709803518320 139710481033858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16018] ppid=16000 vsize=13868332 CPUtime=4.92 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16018/stat : 16018 (java) S 16000 16000 14626 0 -1 1077944384 23093 0 0 0 489 3 0 0 20 0 28 0 3640441 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709802465264 139710481033858 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16019] ppid=16000 vsize=13868332 CPUtime=1.27 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16019/stat : 16019 (java) S 16000 16000 14626 0 -1 1077944384 15665 0 0 0 124 3 0 0 20 0 28 0 3640441 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709801412720 139710481033858 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16020] ppid=16000 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16020/stat : 16020 (java) S 16000 16000 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3640441 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709800360928 139710481032917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16021] ppid=16000 vsize=13868332 CPUtime=0.14 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16021/stat : 16021 (java) S 16000 16000 14626 0 -1 1077944384 1437 0 0 0 7 7 0 0 20 0 28 0 3640442 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709799308464 139710481033858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16154] ppid=16000 vsize=13868332 CPUtime=52.93 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16154/stat : 16154 (java) R 16000 16000 14626 0 -1 4202560 879 0 0 0 5293 0 0 0 20 0 28 0 3665799 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709787081576 139710077029792 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16155] ppid=16000 vsize=13868332 CPUtime=52.6 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16155/stat : 16155 (java) R 16000 16000 14626 0 -1 4202560 883 0 0 0 5260 0 0 0 20 0 28 0 3665799 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709789188184 139710076357235 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16156] ppid=16000 vsize=13868332 CPUtime=52.95 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16156/stat : 16156 (java) R 16000 16000 14626 0 -1 4202560 661 0 0 0 5295 0 0 0 20 0 28 0 3665799 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709051813384 139710076540515 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16157] ppid=16000 vsize=13868332 CPUtime=52.68 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16157/stat : 16157 (java) R 16000 16000 14626 0 -1 4202560 548 0 0 0 5268 0 0 0 20 0 28 0 3665799 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709788135272 139710078718114 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16158] ppid=16000 vsize=13868332 CPUtime=52.65 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16158/stat : 16158 (java) R 16000 16000 14626 0 -1 4202560 432 0 0 0 5265 0 0 0 20 0 28 0 3665799 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709052868992 139710076357415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16159] ppid=16000 vsize=13868332 CPUtime=52.64 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16159/stat : 16159 (java) R 16000 16000 14626 0 -1 4202560 502 0 0 0 5264 0 0 0 20 0 28 0 3665799 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709791293016 139710075716449 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16160] ppid=16000 vsize=13868332 CPUtime=52.73 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16160/stat : 16160 (java) R 16000 16000 14626 0 -1 4202560 880 0 0 0 5273 0 0 0 20 0 28 0 3665799 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709784977472 139710076357464 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 [pid=16001/tid=16161] ppid=16000 vsize=13868332 CPUtime=52.73 cores=1,3,5,7,9,11,13,15 /proc/16001/task/16161/stat : 16161 (java) R 16000 16000 14626 0 -1 4202560 695 0 0 0 5273 0 0 0 20 0 28 0 3665799 14201171968 96911 33554432000 4194304 4196468 140730503676800 139709790240536 139710076081144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35418112 140730503685308 140730503685484 140730503685484 140730503688143 0 Current children cumulated CPU time (s) 2400.73 Current children cumulated vsize (KiB) 13877844 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 16001 sig 9 ??? kill 16000 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 16000 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=2079 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1039 # CPU time returned by wait4() is 0.003118 # while last known CPU time is 2400.73 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 307.412 CPU time (s): 2400.73 CPU user time (s): 2398.01 CPU system time (s): 2.72 CPU usage (%): 780.948 Max. virtual memory (cumulated for all children) (KiB): 13877844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.002079 system time used= 0.001039 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 519 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.15916 second user time and 3.98671 second system time The end
Begin job on node105 at 2017-07-22 02:35:09 IDJOB=4244514 IDBENCH=115757 IDSOLVER=2626 FILE ID=node105/4244514-1500683709 RUNJOBID= node105-1500682495-14658 PBS_JOBID= 20623326 Free space on /tmp= 62004 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-4.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-4244514-1500683709/watcher-4244514-1500683709 -o /tmp/evaluation-result-4244514-1500683709/solver-4244514-1500683709 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1954807874 HOME/instance-4244514-1500683709.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 428eef4dc0068476798a4d67b3fd28ef RANDOM SEED=1954807874 node105.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.33 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.33 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.33 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.33 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 : 1600.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.33 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 : 1733.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.33 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 : 1600.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.33 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 : 2267.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.33 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 : 1600.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: 31474184 kB MemAvailable: 31521076 kB Buffers: 50024 kB Cached: 305860 kB SwapCached: 0 kB Active: 693916 kB Inactive: 225444 kB Active(anon): 566020 kB Inactive(anon): 8628 kB Active(file): 127896 kB Inactive(file): 216816 kB Unevictable: 5972 kB Mlocked: 6004 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7848 kB Writeback: 0 kB AnonPages: 567360 kB Mapped: 42984 kB Shmem: 8852 kB Slab: 68656 kB SReclaimable: 36032 kB SUnreclaim: 32624 kB KernelStack: 4640 kB PageTables: 6832 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1654500 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 442368 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61996 MiB End job on node105 at 2017-07-22 02:40:17