Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 624 | 38.8492 | 5.91098 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff50.xml |
MD5SUM | f7819cc540e1493da1332403e09ec21d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 624 |
Best CPU time to get the best result obtained on this benchmark | 11.9411 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 319 |
Number of constraints | 313 |
Number of domains | 26 |
Minimum domain size | 24 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":24,"count":32},{"size":25,"count":287}] |
Minimum variable degree | 2 |
Maximum variable degree | 40 |
Distribution of variable degrees | [{"degree":2,"count":312},{"degree":40,"count":7}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 8 |
Distribution of constraint arities | [{"arity":2,"count":273},{"arity":7,"count":1},{"arity":8,"count":39}] |
Number of extensional constraints | 273 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":273},{"type":"ordered","count":1},{"type":"minimum","count":39}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404852-1569005356.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.19 c [HOME/instance-4404852-1569005356.xml, -tl, 2016s, -p, 8] 0.34/0.23 c 8 solvers in parallel 0.34/0.30 c parse instance... 4.09/1.25 c solve instance... 9.20/1.97 o 1732 9.20/2.00 o 1559 9.91/2.03 o 1558 10.55/2.11 o 1348 10.55/2.13 o 1288 10.55/2.19 o 1080 11.14/2.28 o 996 12.59/2.41 o 958 12.59/2.46 o 920 12.59/2.47 o 910 13.22/2.53 o 870 13.22/2.58 o 860 14.46/2.70 o 852 14.46/2.71 o 770 14.46/2.79 o 644 15.10/2.83 o 642 18.06/3.28 o 632 29.14/4.66 o 630 32.17/5.10 o 626 34.40/5.36 o 624 38.27/5.89 s OPTIMUM FOUND 38.27/5.89 v <instantiation> 38.27/5.89 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[32][5] drd[32][6] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[33][5] drd[33][6] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[34][5] drd[34][6] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[35][5] drd[35][6] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[36][5] drd[36][6] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[37][5] drd[37][6] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[38][5] drd[38][6] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] </list> 38.27/5.89 v <values>30 166 238 340 592 669 831 552 416 344 242 10 87 249 552 416 344 242 10 87 249 21 115 187 289 541 618 780 21 115 187 289 541 618 780 170 34 38 140 392 469 631 170 34 38 140 392 469 631 11 147 219 321 573 650 812 337 201 129 27 225 302 464 337 201 129 27 225 302 464 694 558 486 384 132 55 107 695 559 487 385 133 56 106 656 520 448 346 94 17 145 656 520 448 346 94 17 145 2 138 210 312 564 641 803 639 503 431 329 77 0 162 639 503 431 329 77 0 162 623 487 415 313 61 16 178 250 114 42 60 312 389 551 248 112 40 62 314 391 553 578 442 370 268 16 61 223 578 442 370 268 16 61 223 19 117 189 291 543 620 782 19 117 189 291 543 620 782 208 72 0 102 354 431 593 208 72 0 102 354 431 593 801 665 593 491 239 162 0 801 665 593 491 239 162 0 136 0 72 174 426 503 665 136 0 72 174 426 503 665 98 38 110 212 464 541 703 98 38 110 212 464 541 703 0 136 208 310 562 639 801 1 137 209 311 563 640 802 618 482 410 308 56 21 183 562 426 354 252 0 77 239 310 174 102 0 252 329 491 310 174 102 0 252 329 491 200 64 8 110 362 439 601 200 64 8 110 362 439 601 10 10 21 21 34 34 11 27 27 55 56 17 17 2 0 0 16 42 40 16 16 19 19 0 0 0 0 0 0 38 38 0 1 21 0 0 0 8 8 </values> 38.27/5.89 v </instantiation>
OK 624
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13528 MiB free) memory of node 1: 16384 MiB (10156 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404852-1569005356/watcher-4404852-1569005356 -o /var/tmp/evaluation-result-4404852-1569005356/solver-4404852-1569005356 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1568991056-11743 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 354823078 HOME/instance-4404852-1569005356.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=13727, runsolver pid=13724 [startup+0.100113 s]* /proc/loadavg: 5.39 7.07 7.79 2/210 13748 /proc/meminfo: memFree=24236788/32770624 swapFree=66952704/67108860 [pid=13727] ppid=13724 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13727/stat : 13727 (xcsp3-exec) S 13724 13727 11716 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476791129 115843072 363 33554432000 4194304 5098028 140734164402464 140734164400568 140152101683836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17723392 140734164407128 140734164407386 140734164407386 140734164410310 0 /proc/13727/statm: 28282 363 304 221 0 87 0 [pid=13729] ppid=13727 vsize=28227396 memory=28868 CPUtime=0.12 cores=0-7 /proc/13729/stat : 13729 (java) S 13727 13727 11716 0 -1 1077944320 5695 0 0 0 11 1 0 0 20 0 20 0 476791129 28904853504 7217 33554432000 4194304 4196468 140728604836256 140728604818800 139697639087863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 /proc/13729/statm: 7056849 7217 3115 1 0 7019032 0 [pid=13729/tid=13730] ppid=13727 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/13729/task/13730/stat : 13730 (java) R 13727 13727 11716 0 -1 4202560 3601 0 0 0 8 1 0 0 20 0 20 0 476791129 28904853504 7217 33554432000 4194304 4196468 140728604836256 139697643314160 139697639099798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13731] ppid=13727 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/13729/task/13731/stat : 13731 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 7217 33554432000 4194304 4196468 140728604836256 139697591708688 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13732] ppid=13727 vsize=28227396 memory=140176061568640 CPUtime=0 cores=0-7 /proc/13729/task/13732/stat : 13732 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 7217 33554432000 4194304 4196468 140728604836256 139697590656144 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13733] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13733/stat : 13733 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 7217 33554432000 4194304 4196468 140728604836256 139697589603088 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13734] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13734/stat : 13734 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 7217 33554432000 4194304 4196468 140728604836256 139697588550544 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13735] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13735/stat : 13735 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 7217 33554432000 4194304 4196468 140728604836256 139697587497488 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13736] ppid=13727 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13729/task/13736/stat : 13736 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 7217 33554432000 4194304 4196468 140728604836256 139697586444944 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13737] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13737/stat : 13737 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 7217 33554432000 4194304 4196468 140728604836256 139697585391888 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13738] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13738/stat : 13738 (java) S 13727 13727 11716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 7217 33554432000 4194304 4196468 140728604836256 139697584339344 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13739] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13739/stat : 13739 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791132 28904853504 7217 33554432000 4194304 4196468 140728604836256 139695834098416 139697639099010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13740] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13740/stat : 13740 (java) S 13727 13727 11716 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476791132 28904853504 7217 33554432000 4194304 4196468 140728604836256 139695833044640 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13741] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13741/stat : 13741 (java) S 13727 13727 11716 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476791132 28904853504 7217 33554432000 4194304 4196468 140728604836256 139695831991536 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13742] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13742/stat : 13742 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791135 28904853504 7217 33554432000 4194304 4196468 140728604836256 139695830940112 139697639106459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13743] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13743/stat : 13743 (java) S 13727 13727 11716 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 476791135 28904853504 7217 33554432000 4194304 4196468 140728604836256 139695829887216 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13744] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13744/stat : 13744 (java) S 13727 13727 11716 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476791135 28904853504 7217 33554432000 4194304 4196468 140728604836256 139695828834672 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13745] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13745/stat : 13745 (java) S 13727 13727 11716 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 476791135 28904853504 7217 33554432000 4194304 4196468 140728604836256 139695827781616 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13746] ppid=13727 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/13729/task/13746/stat : 13746 (java) S 13727 13727 11716 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 20 0 476791135 28904853504 7217 33554432000 4194304 4196468 140728604836256 139695826729072 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13747] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13747/stat : 13747 (java) S 13727 13727 11716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476791135 28904853504 7217 33554432000 4194304 4196468 140728604836256 139695825677280 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13748] ppid=13727 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13729/task/13748/stat : 13748 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791135 28904853504 7217 33554432000 4194304 4196468 140728604836256 139695450053808 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30320 KiB [startup+0.210395 s]* /proc/loadavg: 5.39 7.07 7.79 5/210 13748 /proc/meminfo: memFree=24213272/32770624 swapFree=66952704/67108860 [pid=13727] ppid=13724 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13727/stat : 13727 (xcsp3-exec) S 13724 13727 11716 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476791129 115843072 363 33554432000 4194304 5098028 140734164402464 140734164400568 140152101683836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17723392 140734164407128 140734164407386 140734164407386 140734164410310 0 /proc/13727/statm: 28282 363 304 221 0 87 0 [pid=13729] ppid=13727 vsize=28227396 memory=40852 CPUtime=0.34 cores=0-7 /proc/13729/stat : 13729 (java) S 13727 13727 11716 0 -1 1077944320 9456 0 0 0 30 4 0 0 20 0 20 0 476791129 28904853504 10213 33554432000 4194304 4196468 140728604836256 140728604818800 139697639087863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 /proc/13729/statm: 7056849 10213 3303 1 0 7019032 0 [pid=13729/tid=13730] ppid=13727 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/13729/task/13730/stat : 13730 (java) R 13727 13727 11716 0 -1 4202560 6605 0 0 0 17 3 0 0 20 0 20 0 476791129 28904853504 10213 33554432000 4194304 4196468 140728604836256 139697643319776 139697250706554 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13731] ppid=13727 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/13729/task/13731/stat : 13731 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 10213 33554432000 4194304 4196468 140728604836256 139697591708688 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13732] ppid=13727 vsize=28227396 memory=140176064956448 CPUtime=0 cores=0-7 /proc/13729/task/13732/stat : 13732 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 10213 33554432000 4194304 4196468 140728604836256 139697590656144 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13733] ppid=13727 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13729/task/13733/stat : 13733 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 10213 33554432000 4194304 4196468 140728604836256 139697589603088 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13734] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13734/stat : 13734 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 10213 33554432000 4194304 4196468 140728604836256 139697588550544 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13735] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13735/stat : 13735 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 10213 33554432000 4194304 4196468 140728604836256 139697587497488 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13736] ppid=13727 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13729/task/13736/stat : 13736 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 10213 33554432000 4194304 4196468 140728604836256 139697586444944 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13737] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13737/stat : 13737 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 10213 33554432000 4194304 4196468 140728604836256 139697585391888 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13738] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13738/stat : 13738 (java) S 13727 13727 11716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476791130 28904853504 10213 33554432000 4194304 4196468 140728604836256 139697584339344 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13739] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13739/stat : 13739 (java) S 13727 13727 11716 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476791132 28904853504 10213 33554432000 4194304 4196468 140728604836256 139695834098416 139697639099010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13740] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13740/stat : 13740 (java) S 13727 13727 11716 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476791132 28904853504 10213 33554432000 4194304 4196468 140728604836256 139695833044640 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13741] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13741/stat : 13741 (java) S 13727 13727 11716 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476791132 28904853504 10213 33554432000 4194304 4196468 140728604836256 139695831991536 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13742] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13742/stat : 13742 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791135 28904853504 10213 33554432000 4194304 4196468 140728604836256 139695830940112 139697639106459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13743] ppid=13727 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13729/task/13743/stat : 13743 (java) S 13727 13727 11716 0 -1 1077944384 567 0 0 0 1 0 0 0 20 0 20 0 476791135 28904853504 10213 33554432000 4194304 4196468 140728604836256 139695829887216 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13744] ppid=13727 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/13729/task/13744/stat : 13744 (java) S 13727 13727 11716 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 20 0 476791135 28904853504 10213 33554432000 4194304 4196468 140728604836256 139695828834672 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13745] ppid=13727 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/13729/task/13745/stat : 13745 (java) S 13727 13727 11716 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 476791135 28904853504 10213 33554432000 4194304 4196468 140728604836256 139695827781616 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13746] ppid=13727 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/13729/task/13746/stat : 13746 (java) R 13727 13727 11716 0 -1 1077944384 778 0 0 0 7 0 0 0 20 0 20 0 476791135 28904853504 10213 33554432000 4194304 4196468 140728604836256 139695826722960 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13747] ppid=13727 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13747/stat : 13747 (java) S 13727 13727 11716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476791135 28904853504 10213 33554432000 4194304 4196468 140728604836256 139695825677280 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13748] ppid=13727 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/13729/task/13748/stat : 13748 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791135 28904853504 10213 33554432000 4194304 4196468 140728604836256 139695450053808 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42304 KiB [startup+0.310269 s]* /proc/loadavg: 5.39 7.07 7.79 4/210 13748 /proc/meminfo: memFree=24213992/32770624 swapFree=66952704/67108860 [pid=13727] ppid=13724 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13727/stat : 13727 (xcsp3-exec) S 13724 13727 11716 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476791129 115843072 363 33554432000 4194304 5098028 140734164402464 140734164400568 140152101683836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17723392 140734164407128 140734164407386 140734164407386 140734164410310 0 /proc/13727/statm: 28282 363 304 221 0 87 0 [pid=13729] ppid=13727 vsize=28231652 memory=46712 CPUtime=0.51 cores=0-7 /proc/13729/stat : 13729 (java) S 13727 13727 11716 0 -1 1077944320 10621 0 0 0 46 5 0 0 20 0 20 0 476791129 28909211648 11678 33554432000 4194304 4196468 140728604836256 140728604818800 139697639087863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 /proc/13729/statm: 7057913 11678 3335 1 0 7019032 0 [pid=13729/tid=13730] ppid=13727 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/13729/task/13730/stat : 13730 (java) R 13727 13727 11716 0 -1 4202560 7655 0 0 0 25 4 0 0 20 0 20 0 476791129 28909211648 12190 33554432000 4194304 4196468 140728604836256 139697643324496 139697623131493 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13731] ppid=13727 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13731/stat : 13731 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791130 28909211648 12190 33554432000 4194304 4196468 140728604836256 139697591708688 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13732] ppid=13727 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13732/stat : 13732 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791130 28909211648 12190 33554432000 4194304 4196468 140728604836256 139697590656144 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13733] ppid=13727 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13733/stat : 13733 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791130 28909211648 12190 33554432000 4194304 4196468 140728604836256 139697589603088 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13734] ppid=13727 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13734/stat : 13734 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791130 28909211648 12190 33554432000 4194304 4196468 140728604836256 139697588550544 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13735] ppid=13727 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13735/stat : 13735 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791130 28909211648 12190 33554432000 4194304 4196468 140728604836256 139697587497488 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13736] ppid=13727 vsize=28231652 memory=140175921474223 CPUtime=0 cores=0-7 /proc/13729/task/13736/stat : 13736 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791130 28909211648 12190 33554432000 4194304 4196468 140728604836256 139697586444944 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13737] ppid=13727 vsize=28231652 memory=140175921476528 CPUtime=0 cores=0-7 /proc/13729/task/13737/stat : 13737 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791130 28909211648 12190 33554432000 4194304 4196468 140728604836256 139697585391888 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13738] ppid=13727 vsize=28231652 memory=140175921478832 CPUtime=0 cores=0-7 /proc/13729/task/13738/stat : 13738 (java) S 13727 13727 11716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476791130 28909211648 12190 33554432000 4194304 4196468 140728604836256 139697584339344 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13739] ppid=13727 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13739/stat : 13739 (java) S 13727 13727 11716 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476791132 28909211648 12190 33554432000 4194304 4196468 140728604836256 139695834098416 139697639099010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13740] ppid=13727 vsize=28231652 memory=280351842971536 CPUtime=0 cores=0-7 /proc/13729/task/13740/stat : 13740 (java) S 13727 13727 11716 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476791132 28909211648 12190 33554432000 4194304 4196468 140728604836256 139695833044640 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13741] ppid=13727 vsize=28231652 memory=280351842969232 CPUtime=0 cores=0-7 /proc/13729/task/13741/stat : 13741 (java) S 13727 13727 11716 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476791132 28909211648 12190 33554432000 4194304 4196468 140728604836256 139695831991536 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13742] ppid=13727 vsize=28231652 memory=280351842976144 CPUtime=0 cores=0-7 /proc/13729/task/13742/stat : 13742 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791135 28909211648 12190 33554432000 4194304 4196468 140728604836256 139695830940112 139697639106459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13743] ppid=13727 vsize=28231652 memory=280351842917424 CPUtime=0.02 cores=0-7 /proc/13729/task/13743/stat : 13743 (java) R 13727 13727 11716 0 -1 1077944384 570 0 0 0 2 0 0 0 20 0 20 0 476791135 28909211648 12190 33554432000 4194304 4196468 140728604836256 139695829887216 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13744] ppid=13727 vsize=28231652 memory=280351842989968 CPUtime=0.02 cores=0-7 /proc/13729/task/13744/stat : 13744 (java) S 13727 13727 11716 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 20 0 476791135 28909211648 12190 33554432000 4194304 4196468 140728604836256 139695828834672 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13745] ppid=13727 vsize=28231652 memory=280351842996880 CPUtime=0.02 cores=0-7 /proc/13729/task/13745/stat : 13745 (java) S 13727 13727 11716 0 -1 1077944384 54 0 0 0 2 0 0 0 20 0 20 0 476791135 28909211648 12190 33554432000 4194304 4196468 140728604836256 139695827781616 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13746] ppid=13727 vsize=28231652 memory=280351842994576 CPUtime=0.12 cores=0-7 /proc/13729/task/13746/stat : 13746 (java) R 13727 13727 11716 0 -1 4202560 864 0 0 0 12 0 0 0 20 0 20 0 476791135 28909211648 12190 33554432000 4194304 4196468 140728604836256 139695826729072 139697250631801 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13747] ppid=13727 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13747/stat : 13747 (java) S 13727 13727 11716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476791135 28909211648 12190 33554432000 4194304 4196468 140728604836256 139695825677280 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13748] ppid=13727 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/13729/task/13748/stat : 13748 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791135 28909211648 12190 33554432000 4194304 4196468 140728604836256 139695450053808 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48164 KiB [startup+0.70101 s] /proc/loadavg: 5.39 7.07 7.79 3/210 13748 /proc/meminfo: memFree=24212204/32770624 swapFree=66952704/67108860 [pid=13727] ppid=13724 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13727/stat : 13727 (xcsp3-exec) S 13724 13727 11716 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476791129 115843072 363 33554432000 4194304 5098028 140734164402464 140734164400568 140152101683836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17723392 140734164407128 140734164407386 140734164407386 140734164410310 0 /proc/13727/statm: 28282 363 304 221 0 87 0 [pid=13729] ppid=13727 vsize=28233776 memory=124924 CPUtime=1.33 cores=0-7 /proc/13729/stat : 13729 (java) S 13727 13727 11716 0 -1 1077944320 14291 0 0 0 125 8 0 0 20 0 20 0 476791129 28911386624 31231 33554432000 4194304 4196468 140728604836256 140728604818800 139697639087863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 /proc/13729/statm: 7058444 31231 3436 1 0 7019544 0 [pid=13729/tid=13730] ppid=13727 vsize=28233776 memory=0 CPUtime=0.58 cores=0-7 /proc/13729/task/13730/stat : 13730 (java) R 13727 13727 11716 0 -1 4202560 9062 0 0 0 52 6 0 0 20 0 20 0 476791129 28911386624 31231 33554432000 4194304 4196468 140728604836256 139697643316512 139697639099798 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13731] ppid=13727 vsize=28233776 memory=140175921685360 CPUtime=0 cores=0-7 /proc/13729/task/13731/stat : 13731 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791130 28911386624 31231 33554432000 4194304 4196468 140728604836256 139697591708688 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13732] ppid=13727 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13732/stat : 13732 (java) S 13727 13727 11716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476791130 28911386624 31231 33554432000 4194304 4196468 140728604836256 139697590656144 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13733] ppid=13727 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/13729/task/13733/stat : 13733 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476791130 28911386624 31231 33554432000 4194304 4196468 140728604836256 139697589603088 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 ################ # More data... # ################ [pid=13727] ppid=13724 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13727/stat : 13727 (xcsp3-exec) S 13724 13727 11716 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476791129 115843072 363 33554432000 4194304 5098028 140734164402464 140734164400568 140152101683836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17723392 140734164407128 140734164407386 140734164407386 140734164410310 0 /proc/13727/statm: 28282 363 304 221 0 87 0 [pid=13729] ppid=13727 vsize=28768336 memory=843560 CPUtime=30.51 cores=0-7 /proc/13729/stat : 13729 (java) S 13727 13727 11716 0 -1 1077944320 59421 0 0 0 2893 158 0 0 20 0 28 0 476791129 29458776064 210890 33554432000 4194304 4196468 140728604836256 140728604818800 139697639087863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 /proc/13729/statm: 7192084 210890 3540 1 0 7153184 0 [pid=13729/tid=13730] ppid=13727 vsize=28768336 memory=6791534058613427641 CPUtime=1.01 cores=0-7 /proc/13729/task/13730/stat : 13730 (java) S 13727 13727 11716 0 -1 1077944384 9495 0 0 0 90 11 0 0 20 0 28 0 476791129 29458776064 210890 33554432000 4194304 4196468 140728604836256 139697643328640 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13731] ppid=13727 vsize=28768336 memory=3580 CPUtime=0.61 cores=0-7 /proc/13729/task/13731/stat : 13731 (java) S 13727 13727 11716 0 -1 1077944384 2109 0 0 0 45 16 0 0 20 0 28 0 476791130 29458776064 210890 33554432000 4194304 4196468 140728604836256 139697591708688 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13732] ppid=13727 vsize=28768336 memory=1452 CPUtime=0.61 cores=0-7 /proc/13729/task/13732/stat : 13732 (java) S 13727 13727 11716 0 -1 1077944384 2175 0 0 0 45 16 0 0 20 0 28 0 476791130 29458776064 210890 33554432000 4194304 4196468 140728604836256 139697590656144 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13733] ppid=13727 vsize=28768336 memory=843692 CPUtime=0.6 cores=0-7 /proc/13729/task/13733/stat : 13733 (java) S 13727 13727 11716 0 -1 1077944384 2067 0 0 0 44 16 0 0 20 0 28 0 476791130 29458776064 210890 33554432000 4194304 4196468 140728604836256 139697589603088 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13734] ppid=13727 vsize=28768336 memory=2016 CPUtime=0.56 cores=0-7 /proc/13729/task/13734/stat : 13734 (java) S 13727 13727 11716 0 -1 1077944384 2006 0 0 0 43 13 0 0 20 0 28 0 476791130 29458776064 210890 33554432000 4194304 4196468 140728604836256 139697588550544 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13735] ppid=13727 vsize=28768336 memory=1452 CPUtime=0.61 cores=0-7 /proc/13729/task/13735/stat : 13735 (java) S 13727 13727 11716 0 -1 1077944384 2033 0 0 0 45 16 0 0 20 0 28 0 476791130 29458776064 210890 33554432000 4194304 4196468 140728604836256 139697587497488 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13736] ppid=13727 vsize=28768336 memory=843528 CPUtime=0.58 cores=0-7 /proc/13729/task/13736/stat : 13736 (java) S 13727 13727 11716 0 -1 1077944384 1906 0 0 0 43 15 0 0 20 0 28 0 476791130 29458776064 210890 33554432000 4194304 4196468 140728604836256 139697586444944 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13737] ppid=13727 vsize=28768336 memory=6791534058613427641 CPUtime=0.61 cores=0-7 /proc/13729/task/13737/stat : 13737 (java) S 13727 13727 11716 0 -1 1077944384 1992 0 0 0 45 16 0 0 20 0 28 0 476791130 29458776064 210890 33554432000 4194304 4196468 140728604836256 139697585391888 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13738] ppid=13727 vsize=28768336 memory=496 CPUtime=0.58 cores=0-7 /proc/13729/task/13738/stat : 13738 (java) S 13727 13727 11716 0 -1 1077944384 2100 0 0 0 43 15 0 0 20 0 28 0 476791130 29458776064 210890 33554432000 4194304 4196468 140728604836256 139697584339344 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13739] ppid=13727 vsize=28768336 memory=1560 CPUtime=0.02 cores=0-7 /proc/13729/task/13739/stat : 13739 (java) S 13727 13727 11716 0 -1 1077944384 828 0 0 0 2 0 0 0 20 0 28 0 476791132 29458776064 210890 33554432000 4194304 4196468 140728604836256 139695834098416 139697639099010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13740] ppid=13727 vsize=28768336 memory=928 CPUtime=0 cores=0-7 /proc/13729/task/13740/stat : 13740 (java) S 13727 13727 11716 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476791132 29458776064 210890 33554432000 4194304 4196468 140728604836256 139695833044704 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13741] ppid=13727 vsize=28768336 memory=1680 CPUtime=0 cores=0-7 /proc/13729/task/13741/stat : 13741 (java) S 13727 13727 11716 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476791132 29458776064 210890 33554432000 4194304 4196468 140728604836256 139695831991552 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13742] ppid=13727 vsize=28768336 memory=1444 CPUtime=0 cores=0-7 /proc/13729/task/13742/stat : 13742 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476791135 29458776064 210890 33554432000 4194304 4196468 140728604836256 139695830940112 139697639106459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13743] ppid=13727 vsize=28768336 memory=880 CPUtime=1.98 cores=0-7 /proc/13729/task/13743/stat : 13743 (java) S 13727 13727 11716 0 -1 1077944384 6924 0 0 0 196 2 0 0 20 0 28 0 476791135 29458776064 210890 33554432000 4194304 4196468 140728604836256 139695829887216 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13744] ppid=13727 vsize=28768336 memory=0 CPUtime=2.01 cores=0-7 /proc/13729/task/13744/stat : 13744 (java) S 13727 13727 11716 0 -1 1077944384 4735 0 0 0 199 2 0 0 20 0 28 0 476791135 29458776064 210890 33554432000 4194304 4196468 140728604836256 139695828834672 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13745] ppid=13727 vsize=28768336 memory=280351842889888 CPUtime=2 cores=0-7 /proc/13729/task/13745/stat : 13745 (java) R 13727 13727 11716 0 -1 1077944384 5028 0 0 0 199 1 0 0 20 0 28 0 476791135 29458776064 210890 33554432000 4194304 4196468 140728604836256 139695827781712 139697639098069 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13746] ppid=13727 vsize=28768336 memory=140175921471600 CPUtime=0.8 cores=0-7 /proc/13729/task/13746/stat : 13746 (java) S 13727 13727 11716 0 -1 1077944384 3375 0 0 0 79 1 0 0 20 0 28 0 476791135 29458776064 210890 33554432000 4194304 4196468 140728604836256 139695826729072 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13747] ppid=13727 vsize=28768336 memory=111632 CPUtime=0 cores=0-7 /proc/13729/task/13747/stat : 13747 (java) S 13727 13727 11716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476791135 29458776064 210890 33554432000 4194304 4196468 140728604836256 139695825677280 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13748] ppid=13727 vsize=28768336 memory=804 CPUtime=0 cores=0-7 /proc/13729/task/13748/stat : 13748 (java) S 13727 13727 11716 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 476791135 29458776064 210890 33554432000 4194304 4196468 140728604836256 139695450053808 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 Current children cumulated CPU time: 30.51 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 845012 KiB [startup+5.60167 s] /proc/loadavg: 6.00 7.17 7.82 9/218 13900 /proc/meminfo: memFree=23422516/32770624 swapFree=66952704/67108860 [pid=13727] ppid=13724 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13727/stat : 13727 (xcsp3-exec) S 13724 13727 11716 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476791129 115843072 363 33554432000 4194304 5098028 140734164402464 140734164400568 140152101683836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17723392 140734164407128 140734164407386 140734164407386 140734164410310 0 /proc/13727/statm: 28282 363 304 221 0 87 0 [pid=13729] ppid=13727 vsize=28769364 memory=843728 CPUtime=36.63 cores=0-7 /proc/13729/stat : 13729 (java) S 13727 13727 11716 0 -1 1077944320 62405 0 0 0 3504 159 0 0 20 0 28 0 476791129 29459828736 210932 33554432000 4194304 4196468 140728604836256 140728604818800 139697639087863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 /proc/13729/statm: 7192341 210932 3541 1 0 7153441 0 [pid=13729/tid=13730] ppid=13727 vsize=28769364 memory=15536 CPUtime=1.01 cores=0-7 /proc/13729/task/13730/stat : 13730 (java) S 13727 13727 11716 0 -1 1077944384 9647 0 0 0 90 11 0 0 20 0 28 0 476791129 29459828736 210932 33554432000 4194304 4196468 140728604836256 139697643328640 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13731] ppid=13727 vsize=28769364 memory=2120 CPUtime=0.61 cores=0-7 /proc/13729/task/13731/stat : 13731 (java) S 13727 13727 11716 0 -1 1077944384 2109 0 0 0 45 16 0 0 20 0 28 0 476791130 29459828736 210932 33554432000 4194304 4196468 140728604836256 139697591708688 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13732] ppid=13727 vsize=28769364 memory=12036 CPUtime=0.61 cores=0-7 /proc/13729/task/13732/stat : 13732 (java) S 13727 13727 11716 0 -1 1077944384 2175 0 0 0 45 16 0 0 20 0 28 0 476791130 29459828736 210932 33554432000 4194304 4196468 140728604836256 139697590656144 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13733] ppid=13727 vsize=28769364 memory=496 CPUtime=0.6 cores=0-7 /proc/13729/task/13733/stat : 13733 (java) S 13727 13727 11716 0 -1 1077944384 2067 0 0 0 44 16 0 0 20 0 28 0 476791130 29459828736 210932 33554432000 4194304 4196468 140728604836256 139697589603088 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13734] ppid=13727 vsize=28769364 memory=1560 CPUtime=0.56 cores=0-7 /proc/13729/task/13734/stat : 13734 (java) S 13727 13727 11716 0 -1 1077944384 2006 0 0 0 43 13 0 0 20 0 28 0 476791130 29459828736 210932 33554432000 4194304 4196468 140728604836256 139697588550544 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13735] ppid=13727 vsize=28769364 memory=928 CPUtime=0.61 cores=0-7 /proc/13729/task/13735/stat : 13735 (java) S 13727 13727 11716 0 -1 1077944384 2033 0 0 0 45 16 0 0 20 0 28 0 476791130 29459828736 210932 33554432000 4194304 4196468 140728604836256 139697587497488 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13736] ppid=13727 vsize=28769364 memory=1680 CPUtime=0.58 cores=0-7 /proc/13729/task/13736/stat : 13736 (java) S 13727 13727 11716 0 -1 1077944384 1906 0 0 0 43 15 0 0 20 0 28 0 476791130 29459828736 210932 33554432000 4194304 4196468 140728604836256 139697586444944 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13737] ppid=13727 vsize=28769364 memory=1444 CPUtime=0.61 cores=0-7 /proc/13729/task/13737/stat : 13737 (java) S 13727 13727 11716 0 -1 1077944384 1992 0 0 0 45 16 0 0 20 0 28 0 476791130 29459828736 210932 33554432000 4194304 4196468 140728604836256 139697585391888 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13738] ppid=13727 vsize=28769364 memory=880 CPUtime=0.58 cores=0-7 /proc/13729/task/13738/stat : 13738 (java) S 13727 13727 11716 0 -1 1077944384 2100 0 0 0 43 15 0 0 20 0 28 0 476791130 29459828736 210932 33554432000 4194304 4196468 140728604836256 139697584339344 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13739] ppid=13727 vsize=28769364 memory=1984 CPUtime=0.02 cores=0-7 /proc/13729/task/13739/stat : 13739 (java) S 13727 13727 11716 0 -1 1077944384 945 0 0 0 2 0 0 0 20 0 28 0 476791132 29459828736 210932 33554432000 4194304 4196468 140728604836256 139695834098416 139697639099010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13740] ppid=13727 vsize=28769364 memory=2552 CPUtime=0 cores=0-7 /proc/13729/task/13740/stat : 13740 (java) S 13727 13727 11716 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476791132 29459828736 210932 33554432000 4194304 4196468 140728604836256 139695833044704 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13741] ppid=13727 vsize=28769364 memory=1760 CPUtime=0 cores=0-7 /proc/13729/task/13741/stat : 13741 (java) S 13727 13727 11716 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476791132 29459828736 210932 33554432000 4194304 4196468 140728604836256 139695831991552 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13742] ppid=13727 vsize=28769364 memory=111632 CPUtime=0 cores=0-7 /proc/13729/task/13742/stat : 13742 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476791135 29459828736 210932 33554432000 4194304 4196468 140728604836256 139695830940112 139697639106459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13743] ppid=13727 vsize=28769364 memory=804 CPUtime=2.01 cores=0-7 /proc/13729/task/13743/stat : 13743 (java) S 13727 13727 11716 0 -1 1077944384 7361 0 0 0 199 2 0 0 20 0 28 0 476791135 29459828736 210932 33554432000 4194304 4196468 140728604836256 139695829887216 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13744] ppid=13727 vsize=28769364 memory=1772 CPUtime=2.08 cores=0-7 /proc/13729/task/13744/stat : 13744 (java) S 13727 13727 11716 0 -1 1077944384 5198 0 0 0 206 2 0 0 20 0 28 0 476791135 29459828736 210932 33554432000 4194304 4196468 140728604836256 139695828834672 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13745] ppid=13727 vsize=28769364 memory=920 CPUtime=2.01 cores=0-7 /proc/13729/task/13745/stat : 13745 (java) S 13727 13727 11716 0 -1 1077944384 5050 0 0 0 200 1 0 0 20 0 28 0 476791135 29459828736 210932 33554432000 4194304 4196468 140728604836256 139695827781616 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13746] ppid=13727 vsize=28769364 memory=4384 CPUtime=0.81 cores=0-7 /proc/13729/task/13746/stat : 13746 (java) S 13727 13727 11716 0 -1 1077944384 3678 0 0 0 80 1 0 0 20 0 28 0 476791135 29459828736 210932 33554432000 4194304 4196468 140728604836256 139695826729072 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13747] ppid=13727 vsize=28769364 memory=4104 CPUtime=0 cores=0-7 /proc/13729/task/13747/stat : 13747 (java) S 13727 13727 11716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476791135 29459828736 210932 33554432000 4194304 4196468 140728604836256 139695825677280 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13748] ppid=13727 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13748/stat : 13748 (java) S 13727 13727 11716 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 28 0 476791135 29459828736 210932 33554432000 4194304 4196468 140728604836256 139695450053808 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 Current children cumulated CPU time: 36.63 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 845180 KiB [startup+5.80667 s] /proc/loadavg: 6.00 7.17 7.82 9/218 13900 /proc/meminfo: memFree=23422516/32770624 swapFree=66952704/67108860 [pid=13727] ppid=13724 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13727/stat : 13727 (xcsp3-exec) S 13724 13727 11716 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476791129 115843072 363 33554432000 4194304 5098028 140734164402464 140734164400568 140152101683836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17723392 140734164407128 140734164407386 140734164407386 140734164410310 0 /proc/13727/statm: 28282 363 304 221 0 87 0 [pid=13729] ppid=13727 vsize=28769364 memory=843800 CPUtime=38.27 cores=0-7 /proc/13729/stat : 13729 (java) S 13727 13727 11716 0 -1 1077944320 63745 0 0 0 3667 160 0 0 20 0 28 0 476791129 29459828736 210950 33554432000 4194304 4196468 140728604836256 140728604818800 139697639087863 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 /proc/13729/statm: 7192341 210950 3541 1 0 7153441 0 [pid=13729/tid=13730] ppid=13727 vsize=28769364 memory=0 CPUtime=1.01 cores=0-7 /proc/13729/task/13730/stat : 13730 (java) S 13727 13727 11716 0 -1 1077944384 9647 0 0 0 90 11 0 0 20 0 28 0 476791129 29459828736 210950 33554432000 4194304 4196468 140728604836256 139697643328640 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13731] ppid=13727 vsize=28769364 memory=0 CPUtime=0.61 cores=0-7 /proc/13729/task/13731/stat : 13731 (java) S 13727 13727 11716 0 -1 1077944384 2109 0 0 0 45 16 0 0 20 0 28 0 476791130 29459828736 210950 33554432000 4194304 4196468 140728604836256 139697591708688 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13732] ppid=13727 vsize=28769364 memory=0 CPUtime=0.61 cores=0-7 /proc/13729/task/13732/stat : 13732 (java) S 13727 13727 11716 0 -1 1077944384 2175 0 0 0 45 16 0 0 20 0 28 0 476791130 29459828736 210950 33554432000 4194304 4196468 140728604836256 139697590656144 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13733] ppid=13727 vsize=28769364 memory=0 CPUtime=0.6 cores=0-7 /proc/13729/task/13733/stat : 13733 (java) S 13727 13727 11716 0 -1 1077944384 2067 0 0 0 44 16 0 0 20 0 28 0 476791130 29459828736 210950 33554432000 4194304 4196468 140728604836256 139697589603088 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13734] ppid=13727 vsize=28769364 memory=0 CPUtime=0.56 cores=0-7 /proc/13729/task/13734/stat : 13734 (java) S 13727 13727 11716 0 -1 1077944384 2006 0 0 0 43 13 0 0 20 0 28 0 476791130 29459828736 210950 33554432000 4194304 4196468 140728604836256 139697588550544 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13735] ppid=13727 vsize=28769364 memory=2209 CPUtime=0.61 cores=0-7 /proc/13729/task/13735/stat : 13735 (java) S 13727 13727 11716 0 -1 1077944384 2033 0 0 0 45 16 0 0 20 0 28 0 476791130 29459828736 210950 33554432000 4194304 4196468 140728604836256 139697587497488 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13736] ppid=13727 vsize=28769364 memory=20036 CPUtime=0.58 cores=0-7 /proc/13729/task/13736/stat : 13736 (java) S 13727 13727 11716 0 -1 1077944384 1906 0 0 0 43 15 0 0 20 0 28 0 476791130 29459828736 210950 33554432000 4194304 4196468 140728604836256 139697586444944 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13737] ppid=13727 vsize=28769364 memory=0 CPUtime=0.61 cores=0-7 /proc/13729/task/13737/stat : 13737 (java) S 13727 13727 11716 0 -1 1077944384 1992 0 0 0 45 16 0 0 20 0 28 0 476791130 29459828736 210950 33554432000 4194304 4196468 140728604836256 139697585391888 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13738] ppid=13727 vsize=28769364 memory=0 CPUtime=0.58 cores=0-7 /proc/13729/task/13738/stat : 13738 (java) S 13727 13727 11716 0 -1 1077944384 2100 0 0 0 43 15 0 0 20 0 28 0 476791130 29459828736 210950 33554432000 4194304 4196468 140728604836256 139697584339344 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13739] ppid=13727 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/13729/task/13739/stat : 13739 (java) S 13727 13727 11716 0 -1 1077944384 945 0 0 0 2 0 0 0 20 0 28 0 476791132 29459828736 210950 33554432000 4194304 4196468 140728604836256 139695834098416 139697639099010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13740] ppid=13727 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13740/stat : 13740 (java) S 13727 13727 11716 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476791132 29459828736 210950 33554432000 4194304 4196468 140728604836256 139695833044704 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13741] ppid=13727 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13741/stat : 13741 (java) S 13727 13727 11716 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476791132 29459828736 210950 33554432000 4194304 4196468 140728604836256 139695831991552 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13742] ppid=13727 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13742/stat : 13742 (java) S 13727 13727 11716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476791135 29459828736 210950 33554432000 4194304 4196468 140728604836256 139695830940112 139697639106459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13743] ppid=13727 vsize=28769364 memory=0 CPUtime=2.05 cores=0-7 /proc/13729/task/13743/stat : 13743 (java) R 13727 13727 11716 0 -1 12591168 7736 0 0 0 203 2 0 0 20 0 28 0 476791135 29459828736 210950 33554432000 4194304 4196468 140728604836256 139695829874032 139697631377312 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13744] ppid=13727 vsize=28769364 memory=0 CPUtime=2.15 cores=0-7 /proc/13729/task/13744/stat : 13744 (java) R 13727 13727 11716 0 -1 4202560 5486 0 0 0 213 2 0 0 20 0 28 0 476791135 29459828736 210950 33554432000 4194304 4196468 140728604836256 139695828816080 139697622573801 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13745] ppid=13727 vsize=28769364 memory=0 CPUtime=2.08 cores=0-7 /proc/13729/task/13745/stat : 13745 (java) R 13727 13727 11716 0 -1 4202560 5679 0 0 0 207 1 0 0 20 0 28 0 476791135 29459828736 210950 33554432000 4194304 4196468 140728604836256 139695827781912 139697622571815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13746] ppid=13727 vsize=28769364 memory=6226622770322695272 CPUtime=0.81 cores=0-7 /proc/13729/task/13746/stat : 13746 (java) S 13727 13727 11716 0 -1 1077944384 3705 0 0 0 80 1 0 0 20 0 28 0 476791135 29459828736 210950 33554432000 4194304 4196468 140728604836256 139695826729072 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13747] ppid=13727 vsize=28769364 memory=6226622770322695272 CPUtime=0 cores=0-7 /proc/13729/task/13747/stat : 13747 (java) S 13727 13727 11716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476791135 29459828736 210950 33554432000 4194304 4196468 140728604836256 139695825677280 139697639098069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 [pid=13729/tid=13748] ppid=13727 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/13729/task/13748/stat : 13748 (java) S 13727 13727 11716 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 28 0 476791135 29459828736 210950 33554432000 4194304 4196468 140728604836256 139695450053808 139697639099010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22839296 140728604845020 140728604845195 140728604845195 140728604848079 0 Current children cumulated CPU time: 38.27 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 845252 KiB [startup+5.90087 s] /proc/loadavg: 6.00 7.17 7.82 9/218 13900 /proc/meminfo: memFree=23422516/32770624 swapFree=66952704/67108860 [pid=13727] ppid=13724 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/13727/stat : 13727 (xcsp3-exec) S 13724 13727 11716 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476791129 115843072 363 33554432000 4194304 5098028 140734164402464 140734164400568 140152101683836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17723392 140734164407128 140734164407386 140734164407386 140734164410310 0 /proc/13727/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 5.91098 CPU time (s): 38.8492 CPU user time (s): 37.2273 CPU system time (s): 1.62191 CPU usage (%): 657.238 Max. virtual memory (cumulated for all children) (KiB): 28883156 Max. memory (cumulated for all children) (KiB): 845608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.2273 system time used= 1.62191 maximum resident set size= 847008 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64815 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6679 involuntary context switches= 852 # summary of solver processes directly reported to runsolver: # pid: 13727 # total CPU time (s): 38.8492 # total CPU user time (s): 37.2273 # total CPU system time (s): 1.62191 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.066006 second user time and 0.104564 second system time The end
Begin job on node107 at 2019-09-20 19:47:15 IDJOB=4404852 IDBENCH=138308 IDSOLVER=2866 FILE ID=node107/4404852-1569005356 RUNJOBID= node107-1568991056-11743 PBS_JOBID= 21704731 Free space on /var/tmp= 12564 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff50.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404852-1569005356/watcher-4404852-1569005356 -o /var/tmp/evaluation-result-4404852-1569005356/solver-4404852-1569005356 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1568991056-11743 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 354823078 HOME/instance-4404852-1569005356.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f7819cc540e1493da1332403e09ec21d RANDOM SEED=354823078 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24254060 kB MemAvailable: 31809160 kB Buffers: 62672 kB Cached: 7547792 kB SwapCached: 48668 kB Active: 3759348 kB Inactive: 3901224 kB Active(anon): 3188 kB Inactive(anon): 90532 kB Active(file): 3756160 kB Inactive(file): 3810692 kB Unevictable: 110952 kB Mlocked: 110952 kB SwapTotal: 67108860 kB SwapFree: 66952704 kB Dirty: 26284 kB Writeback: 0 kB AnonPages: 123020 kB Mapped: 48324 kB Shmem: 34996 kB Slab: 445380 kB SReclaimable: 416708 kB SUnreclaim: 28672 kB KernelStack: 3696 kB PageTables: 6004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497680 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /var/tmp at the end= 12540 MiB End job on node107 at 2019-09-20 19:47:21