Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | SAT (TO) | 654 | 19924.8 | 2520.12 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml |
MD5SUM | 0823366b416f0d4f591b1c2bb0d09de5 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 616 |
Best CPU time to get the best result obtained on this benchmark | 1735.1 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 410 |
Number of constraints | 330 |
Number of domains | 12 |
Minimum domain size | 8 |
Maximum domain size | 723 |
Distribution of domain sizes | [{"size":8,"count":10},{"size":9,"count":30},{"size":10,"count":160},{"size":723,"count":210}] |
Minimum variable degree | 2 |
Maximum variable degree | 11 |
Distribution of variable degrees | [{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 12 |
Distribution of constraint arities | [{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 110 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399992-1568700674.xml" -tl '20160s' -p 8 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4399992-1568700674.xml, -tl, 20160s, -p, 8] 0.33/0.25 c 8 solvers in parallel 0.52/0.32 c parse instance... 2.78/1.09 c solve instance... 204.26/27.00 o 722 209.29/27.60 o 721 210.00/27.76 o 719 212.17/28.04 o 718 213.43/28.26 o 717 307.46/40.07 o 711 433.83/55.92 o 710 507.71/65.22 o 709 641.40/82.04 o 708 888.38/113.10 o 707 946.28/120.37 o 706 953.25/121.24 o 702 1130.23/143.49 o 701 1183.68/150.18 o 700 1219.23/154.63 o 698 1225.39/155.48 o 697 1232.32/156.30 o 695 1273.71/161.60 o 693 1276.53/161.92 o 692 1391.06/176.38 o 691 1406.81/178.34 o 690 1419.42/179.93 o 689 1731.42/219.16 o 688 1742.30/220.51 o 687 1747.75/221.25 o 686 1834.91/232.22 o 685 2532.44/320.01 o 684 2690.11/339.92 o 683 2694.81/340.55 o 682 2699.63/341.14 o 681 2736.83/345.83 o 680 3346.57/422.64 o 679 3419.33/431.83 o 678 3782.38/477.77 o 677 3911.84/494.16 o 676 4082.95/515.79 o 672 4094.15/517.12 o 671 5142.90/649.83 o 670 5261.60/664.88 o 669 5294.11/669.03 o 668 5885.48/743.87 o 667 5913.00/747.38 o 666 5971.33/754.77 o 665 6616.70/836.67 o 664 6868.31/868.51 o 663 7241.54/915.74 o 662 8330.28/1053.24 o 661 9194.95/1162.66 o 660 10006.95/1265.30 o 659 10735.00/1357.60 o 658 13962.76/1765.95 o 657 16079.64/2033.96 o 656 18728.03/2368.90 o 655 18747.61/2371.50 o 654 19923.96/2520.10 s SATISFIABLE 19923.96/2520.10 v <instantiation> 19923.96/2520.10 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[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[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[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[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[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[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[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[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[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] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[0][7] sd[0][8] sd[0][9] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[1][7] sd[1][8] sd[1][9] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[2][7] sd[2][8] sd[2][9] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[3][7] sd[3][8] sd[3][9] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[4][7] sd[4][8] sd[4][9] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[5][7] sd[5][8] sd[5][9] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] sd[6][7] sd[6][8] sd[6][9] sd[7][0] sd[7][1] sd[7][2] sd[7][3] sd[7][4] sd[7][5] sd[7][6] sd[7][7] sd[7][8] sd[7][9] sd[8][0] sd[8][1] sd[8][2] sd[8][3] sd[8][4] sd[8][5] sd[8][6] sd[8][7] sd[8][8] sd[8][9] sd[9][0] sd[9][1] sd[9][2] sd[9][3] sd[9][4] sd[9][5] sd[9][6] sd[9][7] sd[9][8] sd[9][9] </list> 19923.96/2520.10 v <values>18 40 59 127 154 177 292 373 465 551 141 241 251 305 325 365 443 496 573 609 0 59 97 132 164 252 376 448 532 609 32 59 128 205 246 397 443 462 502 609 1 58 155 270 314 345 375 436 526 592 53 124 223 340 403 445 522 560 573 618 15 75 166 259 260 314 375 400 495 584 0 57 106 237 261 302 510 607 611 649 0 65 165 257 300 383 475 496 566 596 1 68 172 267 341 363 445 448 490 561 648 652 654 612 654 654 654 654 618 654 20 19 64 14 18 70 81 72 84 97 98 10 54 20 16 78 52 64 11 43 59 36 30 21 88 88 68 77 77 45 26 64 77 37 56 41 19 34 19 3 48 77 63 42 31 3 61 90 66 62 71 99 77 60 40 65 38 13 34 36 2 84 71 1 45 61 22 89 56 70 53 49 48 20 38 71 97 2 38 5 65 99 92 35 83 92 21 70 30 22 54 83 95 74 22 82 3 27 71 93 8 9 3 7 5 2 1 6 4 0 7 3 6 9 2 4 0 8 5 1 0 5 7 4 9 3 8 6 1 2 2 1 3 6 8 0 4 5 7 9 3 8 0 2 5 9 7 1 6 4 4 1 0 3 5 9 7 8 2 6 6 2 8 4 9 7 1 3 0 5 4 6 5 1 7 8 9 2 3 0 7 9 4 1 0 2 8 5 3 6 1 0 5 4 2 9 6 8 3 7 551 292 177 59 465 154 373 127 18 40 443 609 325 241 365 573 251 141 496 305 0 532 609 252 132 59 448 97 376 164 397 59 32 128 443 462 205 502 246 609 155 436 270 1 592 314 526 375 58 345 223 124 573 340 53 403 618 522 560 445 495 375 75 400 259 584 15 314 166 260 649 237 607 611 0 106 57 261 302 510 300 257 383 566 165 496 596 0 475 65 68 1 341 490 267 172 445 561 448 363 </values> 19923.96/2520.10 v </instantiation> 19923.96/2520.10 c Unexpected resolution interruption!
OK 654
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: 16375 MiB (14221 MiB free) memory of node 1: 16384 MiB (14489 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399992-1568700674/watcher-4399992-1568700674 -o /tmp/evaluation-result-4399992-1568700674/solver-4399992-1568700674 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324215096-17677 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1193869206 HOME/instance-4399992-1568700674.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 solver pid=17694, runsolver pid=17691 Current StackSize limit: 8192 KiB [startup+0.100113 s]* /proc/loadavg: 4.34 6.40 5.83 2/212 17715 /proc/meminfo: memFree=29382704/32770688 swapFree=66919992/67108860 [pid=17694] ppid=17691 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17694/stat : 17694 (xcsp3-exec) S 17691 17694 17650 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446073666 115843072 363 33554432000 4194304 5098028 140729435306896 140729435305000 139981591179900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17997824 140729435313013 140729435313257 140729435313257 140729435316170 0 /proc/17694/statm: 28282 363 305 221 0 87 0 [pid=17696] ppid=17694 vsize=28227396 memory=29436 CPUtime=0.12 cores=0-7 /proc/17696/stat : 17696 (java) S 17694 17694 17650 0 -1 1077944320 5753 0 0 0 11 1 0 0 20 0 20 0 446073667 28904853504 7359 33554432000 4194304 4196468 140721637485888 140721637468432 139809072070391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 /proc/17696/statm: 7056849 7359 3158 1 0 7019032 0 [pid=17696/tid=17697] ppid=17694 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/17696/task/17697/stat : 17697 (java) R 17694 17694 17650 0 -1 4202560 3669 0 0 0 8 0 0 0 20 0 20 0 446073667 28904853504 7359 33554432000 4194304 4196468 140721637485888 139809076295200 139809056114021 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17698] ppid=17694 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17696/task/17698/stat : 17698 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 7359 33554432000 4194304 4196468 140721637485888 139808623864976 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17699] ppid=17694 vsize=28227396 memory=140396685534848 CPUtime=0 cores=0-7 /proc/17696/task/17699/stat : 17699 (java) S 17694 17694 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 7359 33554432000 4194304 4196468 140721637485888 139808622812176 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17700] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17700/stat : 17700 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 7359 33554432000 4194304 4196468 140721637485888 139808621759376 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17701] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17701/stat : 17701 (java) S 17694 17694 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 7359 33554432000 4194304 4196468 140721637485888 139808620706576 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17702] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17702/stat : 17702 (java) S 17694 17694 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 7359 33554432000 4194304 4196468 140721637485888 139808619653776 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17703] ppid=17694 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17696/task/17703/stat : 17703 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 7359 33554432000 4194304 4196468 140721637485888 139808618600976 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17704] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17704/stat : 17704 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 7359 33554432000 4194304 4196468 140721637485888 139808617548176 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17705] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17705/stat : 17705 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 7359 33554432000 4194304 4196468 140721637485888 139808616495376 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17706] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17706/stat : 17706 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073670 28904853504 7359 33554432000 4194304 4196468 140721637485888 139807401986928 139809072081538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17707] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17707/stat : 17707 (java) S 17694 17694 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446073670 28904853504 7359 33554432000 4194304 4196468 140721637485888 139807400932896 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17708] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17708/stat : 17708 (java) S 17694 17694 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446073670 28904853504 7359 33554432000 4194304 4196468 140721637485888 139807399880048 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17709] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17709/stat : 17709 (java) S 17694 17694 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446073673 28904853504 7359 33554432000 4194304 4196468 140721637485888 139807398828368 139809072088987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17710] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17710/stat : 17710 (java) S 17694 17694 17650 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 446073673 28904853504 7359 33554432000 4194304 4196468 140721637485888 139807397775728 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17711] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17711/stat : 17711 (java) S 17694 17694 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446073673 28904853504 7359 33554432000 4194304 4196468 140721637485888 139807396722928 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17712] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17712/stat : 17712 (java) S 17694 17694 17650 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 446073673 28904853504 7359 33554432000 4194304 4196468 140721637485888 139807395670128 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17713] ppid=17694 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/17696/task/17713/stat : 17713 (java) S 17694 17694 17650 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 20 0 446073673 28904853504 7359 33554432000 4194304 4196468 140721637485888 139807394617328 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17714] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17714/stat : 17714 (java) S 17694 17694 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446073673 28904853504 7359 33554432000 4194304 4196468 140721637485888 139807393565792 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17715] ppid=17694 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17696/task/17715/stat : 17715 (java) S 17694 17694 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446073674 28904853504 7359 33554432000 4194304 4196468 140721637485888 139807392513072 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30888 KiB [startup+0.211608 s]* /proc/loadavg: 4.34 6.40 5.83 2/212 17715 /proc/meminfo: memFree=29370208/32770688 swapFree=66919992/67108860 [pid=17694] ppid=17691 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17694/stat : 17694 (xcsp3-exec) S 17691 17694 17650 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446073666 115843072 363 33554432000 4194304 5098028 140729435306896 140729435305000 139981591179900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17997824 140729435313013 140729435313257 140729435313257 140729435316170 0 /proc/17694/statm: 28282 363 305 221 0 87 0 [pid=17696] ppid=17694 vsize=28227396 memory=40660 CPUtime=0.33 cores=0-7 /proc/17696/stat : 17696 (java) S 17694 17694 17650 0 -1 1077944320 9454 0 0 0 30 3 0 0 20 0 20 0 446073667 28904853504 10165 33554432000 4194304 4196468 140721637485888 140721637468432 139809072070391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 /proc/17696/statm: 7056849 10165 3245 1 0 7019032 0 [pid=17696/tid=17697] ppid=17694 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/17696/task/17697/stat : 17697 (java) R 17694 17694 17650 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 20 0 446073667 28904853504 10165 33554432000 4194304 4196468 140721637485888 139809076289728 139809072092317 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17698] ppid=17694 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/17696/task/17698/stat : 17698 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 10165 33554432000 4194304 4196468 140721637485888 139808623864976 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17699] ppid=17694 vsize=28227396 memory=288370772837246592 CPUtime=0 cores=0-7 /proc/17696/task/17699/stat : 17699 (java) S 17694 17694 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 10165 33554432000 4194304 4196468 140721637485888 139808622812176 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17700] ppid=17694 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17696/task/17700/stat : 17700 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 10165 33554432000 4194304 4196468 140721637485888 139808621759376 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17701] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17701/stat : 17701 (java) S 17694 17694 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 10165 33554432000 4194304 4196468 140721637485888 139808620706576 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17702] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17702/stat : 17702 (java) S 17694 17694 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 10165 33554432000 4194304 4196468 140721637485888 139808619653776 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17703] ppid=17694 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17696/task/17703/stat : 17703 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 10165 33554432000 4194304 4196468 140721637485888 139808618600976 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17704] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17704/stat : 17704 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 10165 33554432000 4194304 4196468 140721637485888 139808617548176 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17705] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17705/stat : 17705 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28904853504 10165 33554432000 4194304 4196468 140721637485888 139808616495376 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17706] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17706/stat : 17706 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073670 28904853504 10165 33554432000 4194304 4196468 140721637485888 139807401986928 139809072081538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17707] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17707/stat : 17707 (java) S 17694 17694 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446073670 28904853504 10165 33554432000 4194304 4196468 140721637485888 139807400932896 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17708] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17708/stat : 17708 (java) S 17694 17694 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446073670 28904853504 10165 33554432000 4194304 4196468 140721637485888 139807399880048 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17709] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17709/stat : 17709 (java) S 17694 17694 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446073673 28904853504 10165 33554432000 4194304 4196468 140721637485888 139807398828368 139809072088987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17710] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17710/stat : 17710 (java) S 17694 17694 17650 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 20 0 446073673 28904853504 10165 33554432000 4194304 4196468 140721637485888 139807397775728 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17711] ppid=17694 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/17696/task/17711/stat : 17711 (java) S 17694 17694 17650 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 20 0 446073673 28904853504 10165 33554432000 4194304 4196468 140721637485888 139807396722928 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17712] ppid=17694 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/17696/task/17712/stat : 17712 (java) S 17694 17694 17650 0 -1 1077944384 291 0 0 0 1 0 0 0 20 0 20 0 446073673 28904853504 10165 33554432000 4194304 4196468 140721637485888 139807395670128 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17713] ppid=17694 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/17696/task/17713/stat : 17713 (java) S 17694 17694 17650 0 -1 1077944384 759 0 0 0 7 0 0 0 20 0 20 0 446073673 28904853504 10165 33554432000 4194304 4196468 140721637485888 139807394617328 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17714] ppid=17694 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17714/stat : 17714 (java) S 17694 17694 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446073673 28904853504 10165 33554432000 4194304 4196468 140721637485888 139807393565792 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17715] ppid=17694 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/17696/task/17715/stat : 17715 (java) S 17694 17694 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446073674 28904853504 10165 33554432000 4194304 4196468 140721637485888 139807392513072 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42112 KiB [startup+0.311391 s]* /proc/loadavg: 4.15 6.33 5.81 5/212 17715 /proc/meminfo: memFree=29364984/32770688 swapFree=66919992/67108860 [pid=17694] ppid=17691 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17694/stat : 17694 (xcsp3-exec) S 17691 17694 17650 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446073666 115843072 363 33554432000 4194304 5098028 140729435306896 140729435305000 139981591179900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17997824 140729435313013 140729435313257 140729435313257 140729435316170 0 /proc/17694/statm: 28282 363 305 221 0 87 0 [pid=17696] ppid=17694 vsize=28231652 memory=46652 CPUtime=0.52 cores=0-7 /proc/17696/stat : 17696 (java) S 17694 17694 17650 0 -1 1077944320 10705 0 0 0 48 4 0 0 20 0 20 0 446073667 28909211648 11663 33554432000 4194304 4196468 140721637485888 140721637468432 139809072070391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 /proc/17696/statm: 7057913 11663 3268 1 0 7019032 0 [pid=17696/tid=17697] ppid=17694 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/17696/task/17697/stat : 17697 (java) R 17694 17694 17650 0 -1 4202560 7726 0 0 0 27 2 0 0 20 0 20 0 446073667 28909211648 11663 33554432000 4194304 4196468 140721637485888 139809076291904 139809057438543 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17698] ppid=17694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17698/stat : 17698 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28909211648 11663 33554432000 4194304 4196468 140721637485888 139808623864976 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17699] ppid=17694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17699/stat : 17699 (java) S 17694 17694 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446073668 28909211648 11663 33554432000 4194304 4196468 140721637485888 139808622812176 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17700] ppid=17694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17700/stat : 17700 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28909211648 11663 33554432000 4194304 4196468 140721637485888 139808621759376 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17701] ppid=17694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17701/stat : 17701 (java) S 17694 17694 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446073668 28909211648 11663 33554432000 4194304 4196468 140721637485888 139808620706576 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17702] ppid=17694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17702/stat : 17702 (java) S 17694 17694 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446073668 28909211648 11663 33554432000 4194304 4196468 140721637485888 139808619653776 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17703] ppid=17694 vsize=28231652 memory=140396575419055 CPUtime=0 cores=0-7 /proc/17696/task/17703/stat : 17703 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28909211648 11663 33554432000 4194304 4196468 140721637485888 139808618600976 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17704] ppid=17694 vsize=28231652 memory=140396575421360 CPUtime=0 cores=0-7 /proc/17696/task/17704/stat : 17704 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28909211648 11663 33554432000 4194304 4196468 140721637485888 139808617548176 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17705] ppid=17694 vsize=28231652 memory=140396575423664 CPUtime=0 cores=0-7 /proc/17696/task/17705/stat : 17705 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28909211648 11663 33554432000 4194304 4196468 140721637485888 139808616495376 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17706] ppid=17694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17706/stat : 17706 (java) S 17694 17694 17650 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446073670 28909211648 11663 33554432000 4194304 4196468 140721637485888 139807401986928 139809072081538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17707] ppid=17694 vsize=28231652 memory=280793150861200 CPUtime=0 cores=0-7 /proc/17696/task/17707/stat : 17707 (java) S 17694 17694 17650 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446073670 28909211648 11663 33554432000 4194304 4196468 140721637485888 139807400932896 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17708] ppid=17694 vsize=28231652 memory=280793150858896 CPUtime=0 cores=0-7 /proc/17696/task/17708/stat : 17708 (java) S 17694 17694 17650 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446073670 28909211648 11663 33554432000 4194304 4196468 140721637485888 139807399880048 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17709] ppid=17694 vsize=28231652 memory=280793150865808 CPUtime=0 cores=0-7 /proc/17696/task/17709/stat : 17709 (java) S 17694 17694 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446073673 28909211648 11663 33554432000 4194304 4196468 140721637485888 139807398828368 139809072088987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17710] ppid=17694 vsize=28231652 memory=280793150807088 CPUtime=0.01 cores=0-7 /proc/17696/task/17710/stat : 17710 (java) S 17694 17694 17650 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 20 0 446073673 28909211648 11663 33554432000 4194304 4196468 140721637485888 139807397775728 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17711] ppid=17694 vsize=28231652 memory=280793150879632 CPUtime=0.03 cores=0-7 /proc/17696/task/17711/stat : 17711 (java) S 17694 17694 17650 0 -1 1077944384 325 0 0 0 3 0 0 0 20 0 20 0 446073673 28909211648 11663 33554432000 4194304 4196468 140721637485888 139807396722928 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17712] ppid=17694 vsize=28231652 memory=280793150886544 CPUtime=0.02 cores=0-7 /proc/17696/task/17712/stat : 17712 (java) S 17694 17694 17650 0 -1 1077944384 314 0 0 0 2 0 0 0 20 0 20 0 446073673 28909211648 11663 33554432000 4194304 4196468 140721637485888 139807395670128 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17713] ppid=17694 vsize=28231652 memory=280793150884240 CPUtime=0.12 cores=0-7 /proc/17696/task/17713/stat : 17713 (java) S 17694 17694 17650 0 -1 1077944384 841 0 0 0 12 0 0 0 20 0 20 0 446073673 28909211648 11663 33554432000 4194304 4196468 140721637485888 139807394617328 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17714] ppid=17694 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17714/stat : 17714 (java) S 17694 17694 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446073673 28909211648 11663 33554432000 4194304 4196468 140721637485888 139807393565792 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17715] ppid=17694 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/17696/task/17715/stat : 17715 (java) S 17694 17694 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446073674 28909211648 11663 33554432000 4194304 4196468 140721637485888 139807392513072 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48104 KiB [startup+0.701015 s] /proc/loadavg: 4.15 6.33 5.81 5/212 17715 /proc/meminfo: memFree=29354748/32770688 swapFree=66919992/67108860 [pid=17694] ppid=17691 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17694/stat : 17694 (xcsp3-exec) S 17691 17694 17650 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446073666 115843072 363 33554432000 4194304 5098028 140729435306896 140729435305000 139981591179900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17997824 140729435313013 140729435313257 140729435313257 140729435316170 0 /proc/17694/statm: 28282 363 305 221 0 87 0 [pid=17696] ppid=17694 vsize=28233776 memory=75104 CPUtime=1.47 cores=0-7 /proc/17696/stat : 17696 (java) S 17694 17694 17650 0 -1 1077944320 14245 0 0 0 141 6 0 0 20 0 20 0 446073667 28911386624 18776 33554432000 4194304 4196468 140721637485888 140721637468432 139809072070391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 /proc/17696/statm: 7058444 18776 3453 1 0 7019544 0 [pid=17696/tid=17697] ppid=17694 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/17696/task/17697/stat : 17697 (java) R 17694 17694 17650 0 -1 4202560 9049 0 0 0 64 3 0 0 20 0 20 0 446073667 28911386624 18776 33554432000 4194304 4196468 140721637485888 139809076290736 139809072092317 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17698] ppid=17694 vsize=28233776 memory=140396575630192 CPUtime=0 cores=0-7 /proc/17696/task/17698/stat : 17698 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28911386624 18776 33554432000 4194304 4196468 140721637485888 139808623864976 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17699] ppid=17694 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/17696/task/17699/stat : 17699 (java) S 17694 17694 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446073668 28911386624 18776 33554432000 4194304 4196468 140721637485888 139808622812176 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17700] ppid=17694 vsize=28233776 memory=1176 CPUtime=0 cores=0-7 /proc/17696/task/17700/stat : 17700 (java) S 17694 17694 17650 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446073668 28911386624 18776 33554432000 4194304 4196468 140721637485888 139808621759376 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 ################ # More data... # ################ [pid=17696/tid=18358] ppid=17694 vsize=28768336 memory=833876 CPUtime=69.29 cores=0-7 /proc/17696/task/18358/stat : 18358 (java) R 17694 17694 17650 0 -1 4202560 4848 0 0 0 6926 3 0 0 20 0 28 0 446310817 29458776064 207828 33554432000 4194304 4196468 140721637485888 139807380144952 139808718400042 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 Current children cumulated CPU time: 19308 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 832764 KiB [startup+2502.3 s] /proc/loadavg: 8.05 8.17 8.05 9/220 18366 /proc/meminfo: memFree=28634688/32770688 swapFree=66919992/67108860 [pid=17694] ppid=17691 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17694/stat : 17694 (xcsp3-exec) S 17691 17694 17650 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446073666 115843072 363 33554432000 4194304 5098028 140729435306896 140729435305000 139981591179900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17997824 140729435313013 140729435313257 140729435313257 140729435316170 0 /proc/17694/statm: 28282 363 305 221 0 87 0 [pid=17696] ppid=17694 vsize=28768336 memory=768584 CPUtime=19783.1 cores=0-7 /proc/17696/stat : 17696 (java) S 17694 17694 17650 0 -1 1077944320 1597827 0 0 0 1976537 1772 0 0 20 0 28 0 446073667 29458776064 192146 33554432000 4194304 4196468 140721637485888 140721637468432 139809072070391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 /proc/17696/statm: 7192084 192146 3560 1 0 7153184 0 [pid=17696/tid=17697] ppid=17694 vsize=28768336 memory=773716 CPUtime=1.14 cores=0-7 /proc/17696/task/17697/stat : 17697 (java) S 17694 17694 17650 0 -1 1077944384 16865 0 0 0 108 6 0 0 20 0 28 0 446073667 29458776064 192146 33554432000 4194304 4196468 140721637485888 139809076311168 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17698] ppid=17694 vsize=28768336 memory=775768 CPUtime=11.72 cores=0-7 /proc/17696/task/17698/stat : 17698 (java) S 17694 17694 17650 0 -1 1077944384 55007 0 0 0 1125 47 0 0 20 0 28 0 446073668 29458776064 192146 33554432000 4194304 4196468 140721637485888 139808623864976 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17699] ppid=17694 vsize=28768336 memory=1452 CPUtime=11.72 cores=0-7 /proc/17696/task/17699/stat : 17699 (java) S 17694 17694 17650 0 -1 1077944384 53374 0 0 0 1122 50 0 0 20 0 28 0 446073668 29458776064 192146 33554432000 4194304 4196468 140721637485888 139808622812176 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17700] ppid=17694 vsize=28768336 memory=815712 CPUtime=11.74 cores=0-7 /proc/17696/task/17700/stat : 17700 (java) S 17694 17694 17650 0 -1 1077944384 58074 0 0 0 1123 51 0 0 20 0 28 0 446073668 29458776064 192146 33554432000 4194304 4196468 140721637485888 139808621759376 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17701] ppid=17694 vsize=28768336 memory=831312 CPUtime=11.66 cores=0-7 /proc/17696/task/17701/stat : 17701 (java) S 17694 17694 17650 0 -1 1077944384 59934 0 0 0 1115 51 0 0 20 0 28 0 446073668 29458776064 192146 33554432000 4194304 4196468 140721637485888 139808620706576 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17702] ppid=17694 vsize=28768336 memory=823104 CPUtime=11.6 cores=0-7 /proc/17696/task/17702/stat : 17702 (java) S 17694 17694 17650 0 -1 1077944384 56764 0 0 0 1111 49 0 0 20 0 28 0 446073668 29458776064 192146 33554432000 4194304 4196468 140721637485888 139808619653776 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17703] ppid=17694 vsize=28768336 memory=814384 CPUtime=11.74 cores=0-7 /proc/17696/task/17703/stat : 17703 (java) S 17694 17694 17650 0 -1 1077944384 53981 0 0 0 1126 48 0 0 20 0 28 0 446073668 29458776064 192146 33554432000 4194304 4196468 140721637485888 139808618600976 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17704] ppid=17694 vsize=28768336 memory=811608 CPUtime=11.68 cores=0-7 /proc/17696/task/17704/stat : 17704 (java) S 17694 17694 17650 0 -1 1077944384 59702 0 0 0 1120 48 0 0 20 0 28 0 446073668 29458776064 192146 33554432000 4194304 4196468 140721637485888 139808617548176 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17705] ppid=17694 vsize=28768336 memory=773716 CPUtime=11.64 cores=0-7 /proc/17696/task/17705/stat : 17705 (java) S 17694 17694 17650 0 -1 1077944384 63332 0 0 0 1113 51 0 0 20 0 28 0 446073668 29458776064 192146 33554432000 4194304 4196468 140721637485888 139808616495376 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17706] ppid=17694 vsize=28768336 memory=769100 CPUtime=18.36 cores=0-7 /proc/17696/task/17706/stat : 17706 (java) S 17694 17694 17650 0 -1 1077944384 280296 0 0 0 824 1012 0 0 20 0 28 0 446073670 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807401986928 139809072081538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17707] ppid=17694 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/17696/task/17707/stat : 17707 (java) S 17694 17694 17650 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 446073670 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807400932960 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17708] ppid=17694 vsize=28768336 memory=780896 CPUtime=0 cores=0-7 /proc/17696/task/17708/stat : 17708 (java) S 17694 17694 17650 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 446073670 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807399880064 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17709] ppid=17694 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/17696/task/17709/stat : 17709 (java) S 17694 17694 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446073673 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807398828368 139809072088987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17710] ppid=17694 vsize=28768336 memory=1452 CPUtime=5.18 cores=0-7 /proc/17696/task/17710/stat : 17710 (java) S 17694 17694 17650 0 -1 1077944384 21083 0 0 0 514 4 0 0 20 0 28 0 446073673 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807397775728 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17711] ppid=17694 vsize=28768336 memory=770124 CPUtime=4.39 cores=0-7 /proc/17696/task/17711/stat : 17711 (java) S 17694 17694 17650 0 -1 1077944384 24382 0 0 0 434 5 0 0 20 0 28 0 446073673 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807396722928 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17712] ppid=17694 vsize=28768336 memory=1452 CPUtime=4.36 cores=0-7 /proc/17696/task/17712/stat : 17712 (java) S 17694 17694 17650 0 -1 1077944384 24654 0 0 0 433 3 0 0 20 0 28 0 446073673 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807395670128 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17713] ppid=17694 vsize=28768336 memory=771664 CPUtime=1.33 cores=0-7 /proc/17696/task/17713/stat : 17713 (java) S 17694 17694 17650 0 -1 1077944384 34138 0 0 0 128 5 0 0 20 0 28 0 446073673 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807394617328 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17714] ppid=17694 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/17696/task/17714/stat : 17714 (java) S 17694 17694 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446073673 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807393565792 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17715] ppid=17694 vsize=28768336 memory=6791534058613427641 CPUtime=0.6 cores=0-7 /proc/17696/task/17715/stat : 17715 (java) S 17694 17694 17650 0 -1 1077944384 9268 0 0 0 30 30 0 0 20 0 28 0 446073674 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807392513072 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18351] ppid=17694 vsize=28768336 memory=823104 CPUtime=128.8 cores=0-7 /proc/17696/task/18351/stat : 18351 (java) R 17694 17694 17650 0 -1 4202560 2215 0 0 0 12879 1 0 0 20 0 28 0 446310817 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807378038496 139808718742764 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18352] ppid=17694 vsize=28768336 memory=1452 CPUtime=128.33 cores=0-7 /proc/17696/task/18352/stat : 18352 (java) R 17694 17694 17650 0 -1 4202560 2233 0 0 0 12832 1 0 0 20 0 28 0 446310817 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807379092240 139808719568120 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18353] ppid=17694 vsize=28768336 memory=1452 CPUtime=128.37 cores=0-7 /proc/17696/task/18353/stat : 18353 (java) R 17694 17694 17650 0 -1 4202560 1958 0 0 0 12836 1 0 0 20 0 28 0 446310817 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807373828736 139808720868361 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18354] ppid=17694 vsize=28768336 memory=1452 CPUtime=129.58 cores=0-7 /proc/17696/task/18354/stat : 18354 (java) R 17694 17694 17650 0 -1 4202560 6994 0 0 0 12954 4 0 0 20 0 28 0 446310817 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807374880544 139808720048465 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18355] ppid=17694 vsize=28768336 memory=1452 CPUtime=128.84 cores=0-7 /proc/17696/task/18355/stat : 18355 (java) R 17694 17694 17650 0 -1 4202560 8966 0 0 0 12876 8 0 0 20 0 28 0 446310817 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807376985872 139808720719028 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18356] ppid=17694 vsize=28768336 memory=1452 CPUtime=128.31 cores=0-7 /proc/17696/task/18356/stat : 18356 (java) R 17694 17694 17650 0 -1 4202560 6514 0 0 0 12827 4 0 0 20 0 28 0 446310817 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807375933000 139808718742532 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18357] ppid=17694 vsize=28768336 memory=1452 CPUtime=128.19 cores=0-7 /proc/17696/task/18357/stat : 18357 (java) R 17694 17694 17650 0 -1 4202560 1969 0 0 0 12818 1 0 0 20 0 28 0 446310817 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807381200464 139808718741809 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18358] ppid=17694 vsize=28768336 memory=775768 CPUtime=128.27 cores=0-7 /proc/17696/task/18358/stat : 18358 (java) R 17694 17694 17650 0 -1 4202560 5960 0 0 0 12823 4 0 0 20 0 28 0 446310817 29458776064 192146 33554432000 4194304 4196468 140721637485888 139807380144296 139808720891354 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 Current children cumulated CPU time: 19783.1 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 770036 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.12 8.18 8.05 9/220 18367 /proc/meminfo: memFree=28648060/32770688 swapFree=66919992/67108860 [pid=17694] ppid=17691 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/17694/stat : 17694 (xcsp3-exec) S 17691 17694 17650 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446073666 115843072 363 33554432000 4194304 5098028 140729435306896 140729435305000 139981591179900 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17997824 140729435313013 140729435313257 140729435313257 140729435316170 0 /proc/17694/statm: 28282 363 305 221 0 87 0 [pid=17696] ppid=17694 vsize=28768336 memory=756272 CPUtime=19924 cores=0-7 /proc/17696/stat : 17696 (java) S 17694 17694 17650 0 -1 1077944320 1598815 0 0 0 1990621 1775 0 0 20 0 28 0 446073667 29458776064 189068 33554432000 4194304 4196468 140721637485888 140721637468432 139809072070391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 /proc/17696/statm: 7192084 189068 3560 1 0 7153184 0 [pid=17696/tid=17697] ppid=17694 vsize=28768336 memory=1398722017469774279 CPUtime=1.14 cores=0-7 /proc/17696/task/17697/stat : 17697 (java) S 17694 17694 17650 0 -1 1077944384 16865 0 0 0 108 6 0 0 20 0 28 0 446073667 29458776064 189068 33554432000 4194304 4196468 140721637485888 139809076311168 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17698] ppid=17694 vsize=28768336 memory=4872558044660077418 CPUtime=11.78 cores=0-7 /proc/17696/task/17698/stat : 17698 (java) S 17694 17694 17650 0 -1 1077944384 55064 0 0 0 1130 48 0 0 20 0 28 0 446073668 29458776064 189068 33554432000 4194304 4196468 140721637485888 139808623864976 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17699] ppid=17694 vsize=28768336 memory=924 CPUtime=11.78 cores=0-7 /proc/17696/task/17699/stat : 17699 (java) S 17694 17694 17650 0 -1 1077944384 53404 0 0 0 1128 50 0 0 20 0 28 0 446073668 29458776064 189068 33554432000 4194304 4196468 140721637485888 139808622812176 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17700] ppid=17694 vsize=28768336 memory=1444 CPUtime=11.79 cores=0-7 /proc/17696/task/17700/stat : 17700 (java) S 17694 17694 17650 0 -1 1077944384 58102 0 0 0 1128 51 0 0 20 0 28 0 446073668 29458776064 189068 33554432000 4194304 4196468 140721637485888 139808621759376 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17701] ppid=17694 vsize=28768336 memory=1764 CPUtime=11.72 cores=0-7 /proc/17696/task/17701/stat : 17701 (java) S 17694 17694 17650 0 -1 1077944384 59962 0 0 0 1121 51 0 0 20 0 28 0 446073668 29458776064 189068 33554432000 4194304 4196468 140721637485888 139808620706576 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17702] ppid=17694 vsize=28768336 memory=111632 CPUtime=11.66 cores=0-7 /proc/17696/task/17702/stat : 17702 (java) S 17694 17694 17650 0 -1 1077944384 56789 0 0 0 1117 49 0 0 20 0 28 0 446073668 29458776064 189068 33554432000 4194304 4196468 140721637485888 139808619653776 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17703] ppid=17694 vsize=28768336 memory=800 CPUtime=11.79 cores=0-7 /proc/17696/task/17703/stat : 17703 (java) S 17694 17694 17650 0 -1 1077944384 54006 0 0 0 1131 48 0 0 20 0 28 0 446073668 29458776064 189068 33554432000 4194304 4196468 140721637485888 139808618600976 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17704] ppid=17694 vsize=28768336 memory=6791534058613427641 CPUtime=11.74 cores=0-7 /proc/17696/task/17704/stat : 17704 (java) S 17694 17694 17650 0 -1 1077944384 60132 0 0 0 1126 48 0 0 20 0 28 0 446073668 29458776064 189068 33554432000 4194304 4196468 140721637485888 139808617548176 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17705] ppid=17694 vsize=28768336 memory=660 CPUtime=11.7 cores=0-7 /proc/17696/task/17705/stat : 17705 (java) S 17694 17694 17650 0 -1 1077944384 63372 0 0 0 1119 51 0 0 20 0 28 0 446073668 29458776064 189068 33554432000 4194304 4196468 140721637485888 139808616495376 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17706] ppid=17694 vsize=28768336 memory=1556 CPUtime=18.4 cores=0-7 /proc/17696/task/17706/stat : 17706 (java) S 17694 17694 17650 0 -1 1077944384 280440 0 0 0 826 1014 0 0 20 0 28 0 446073670 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807401986928 139809072081538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17707] ppid=17694 vsize=28768336 memory=9588 CPUtime=0 cores=0-7 /proc/17696/task/17707/stat : 17707 (java) S 17694 17694 17650 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 446073670 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807400932960 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17708] ppid=17694 vsize=28768336 memory=1712 CPUtime=0 cores=0-7 /proc/17696/task/17708/stat : 17708 (java) S 17694 17694 17650 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 446073670 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807399880064 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17709] ppid=17694 vsize=28768336 memory=5996 CPUtime=0 cores=0-7 /proc/17696/task/17709/stat : 17709 (java) S 17694 17694 17650 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446073673 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807398828368 139809072088987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17710] ppid=17694 vsize=28768336 memory=4156 CPUtime=5.18 cores=0-7 /proc/17696/task/17710/stat : 17710 (java) S 17694 17694 17650 0 -1 1077944384 21085 0 0 0 514 4 0 0 20 0 28 0 446073673 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807397775728 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17711] ppid=17694 vsize=28768336 memory=1056 CPUtime=4.39 cores=0-7 /proc/17696/task/17711/stat : 17711 (java) S 17694 17694 17650 0 -1 1077944384 24384 0 0 0 434 5 0 0 20 0 28 0 446073673 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807396722928 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17712] ppid=17694 vsize=28768336 memory=2828 CPUtime=4.36 cores=0-7 /proc/17696/task/17712/stat : 17712 (java) S 17694 17694 17650 0 -1 1077944384 24656 0 0 0 433 3 0 0 20 0 28 0 446073673 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807395670128 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17713] ppid=17694 vsize=28768336 memory=1176 CPUtime=1.33 cores=0-7 /proc/17696/task/17713/stat : 17713 (java) S 17694 17694 17650 0 -1 1077944384 34140 0 0 0 128 5 0 0 20 0 28 0 446073673 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807394617328 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17714] ppid=17694 vsize=28768336 memory=980 CPUtime=0 cores=0-7 /proc/17696/task/17714/stat : 17714 (java) S 17694 17694 17650 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446073673 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807393565792 139809072080597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=17715] ppid=17694 vsize=28768336 memory=14008 CPUtime=0.6 cores=0-7 /proc/17696/task/17715/stat : 17715 (java) S 17694 17694 17650 0 -1 1077944384 9272 0 0 0 30 30 0 0 20 0 28 0 446073674 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807392513072 139809072081538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18351] ppid=17694 vsize=28768336 memory=12028 CPUtime=146.33 cores=0-7 /proc/17696/task/18351/stat : 18351 (java) R 17694 17694 17650 0 -1 4202560 2232 0 0 0 14632 1 0 0 20 0 28 0 446310817 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807378038480 139808717499448 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18352] ppid=17694 vsize=28768336 memory=29508 CPUtime=145.91 cores=0-7 /proc/17696/task/18352/stat : 18352 (java) R 17694 17694 17650 0 -1 4202560 2257 0 0 0 14590 1 0 0 20 0 28 0 446310817 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807379092264 139808717035591 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18353] ppid=17694 vsize=28768336 memory=2120 CPUtime=145.97 cores=0-7 /proc/17696/task/18353/stat : 18353 (java) R 17694 17694 17650 0 -1 4202560 1980 0 0 0 14596 1 0 0 20 0 28 0 446310817 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807373828752 139808723488611 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18354] ppid=17694 vsize=28768336 memory=496 CPUtime=147.15 cores=0-7 /proc/17696/task/18354/stat : 18354 (java) R 17694 17694 17650 0 -1 4202560 7016 0 0 0 14711 4 0 0 20 0 28 0 446310817 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807374880496 139808713397999 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18355] ppid=17694 vsize=28768336 memory=1560 CPUtime=146.43 cores=0-7 /proc/17696/task/18355/stat : 18355 (java) R 17694 17694 17650 0 -1 4202560 8987 0 0 0 14635 8 0 0 20 0 28 0 446310817 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807376986528 139808717888122 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18356] ppid=17694 vsize=28768336 memory=928 CPUtime=145.91 cores=0-7 /proc/17696/task/18356/stat : 18356 (java) R 17694 17694 17650 0 -1 4202560 6533 0 0 0 14587 4 0 0 20 0 28 0 446310817 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807375933240 139808719861671 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18357] ppid=17694 vsize=28768336 memory=1724 CPUtime=145.62 cores=0-7 /proc/17696/task/18357/stat : 18357 (java) R 17694 17694 17650 0 -1 4202560 1984 0 0 0 14561 1 0 0 20 0 28 0 446310817 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807381198104 139808723053522 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 [pid=17696/tid=18358] ppid=17694 vsize=28768336 memory=1964 CPUtime=145.77 cores=0-7 /proc/17696/task/18358/stat : 18358 (java) R 17694 17694 17650 0 -1 4202560 5989 0 0 0 14573 4 0 0 20 0 28 0 446310817 29458776064 189068 33554432000 4194304 4196468 140721637485888 139807380147552 139808720891255 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28864512 140721637487594 140721637487766 140721637487766 140721637490639 0 Current children cumulated CPU time: 19924 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 757724 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 17694 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000853 s, system=0.001707 s [startup+2520.12 s] # the end of solver process 17696 was just reported to runsolver # cumulated CPU time of all completed processes: user=19907 s, system=17.7668 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.12 CPU time (s): 19924.8 CPU user time (s): 19907 CPU system time (s): 17.7668 CPU usage (%): 790.628 Max. virtual memory (cumulated for all children) (KiB): 28883684 Max. memory (cumulated for all children) (KiB): 1003216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19907 system time used= 17.7668 maximum resident set size= 1029584 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1599924 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3936 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 257701 involuntary context switches= 246744 # summary of solver processes directly reported to runsolver: # pid: 17694,17696 # total CPU time (s): 19924.8 # total CPU user time (s): 19907 # total CPU system time (s): 17.7668 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 25.3184 second user time and 28.1755 second system time The end
Begin job on node120 at 2011-12-18 14:31:36 IDJOB=4399992 IDBENCH=115840 IDSOLVER=2854 FILE ID=node120/4399992-1568700674 RUNJOBID= node120-1324215096-17677 PBS_JOBID= 21703900 Free space on /tmp= 61628 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-6.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 /tmp/evaluation-result-4399992-1568700674/watcher-4399992-1568700674 -o /tmp/evaluation-result-4399992-1568700674/solver-4399992-1568700674 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324215096-17677 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1193869206 HOME/instance-4399992-1568700674.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0823366b416f0d4f591b1c2bb0d09de5 RANDOM SEED=1193869206 node120.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 : 2667.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 : 5333.49 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 : 2667.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 : 5333.49 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 : 2667.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 : 5333.49 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 : 2667.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 : 5333.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 29399524 kB MemAvailable: 31808604 kB Buffers: 185440 kB Cached: 2508656 kB SwapCached: 77548 kB Active: 1483512 kB Inactive: 1293652 kB Active(anon): 4548 kB Inactive(anon): 127852 kB Active(file): 1478964 kB Inactive(file): 1165800 kB Unevictable: 108008 kB Mlocked: 108008 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 26200 kB Writeback: 0 kB AnonPages: 112716 kB Mapped: 52792 kB Shmem: 41008 kB Slab: 190924 kB SReclaimable: 160300 kB SUnreclaim: 30624 kB KernelStack: 3408 kB PageTables: 6532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 514348 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61604 MiB End job on node120 at 2011-12-18 15:13:36