Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | SAT (TO) | 653 | 19959 | 2520.09 |
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-4404792-1568994314.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404792-1568994314.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.51/0.97 c solve instance... 198.23/25.69 o 722 202.70/26.25 o 721 203.25/26.39 o 719 205.54/26.68 o 718 207.28/26.94 o 717 296.32/38.14 o 711 414.97/53.05 o 710 482.60/61.59 o 709 610.10/77.53 o 708 836.39/105.99 o 707 892.00/112.96 o 706 898.01/113.80 o 702 1058.15/133.84 o 701 1108.84/140.21 o 700 1142.15/144.42 o 698 1148.33/145.21 o 697 1153.79/145.95 o 695 1193.53/150.94 o 693 1196.12/151.34 o 692 1301.00/164.58 o 691 1316.08/166.43 o 690 1327.79/167.95 o 689 1622.83/205.07 o 688 1632.12/206.29 o 687 1637.62/206.96 o 686 1718.59/217.13 o 685 2371.75/299.39 o 684 2517.04/317.62 o 683 2521.64/318.22 o 682 2525.47/318.76 o 681 2559.50/323.06 o 680 3129.68/394.95 o 679 3197.04/403.42 o 678 3545.90/447.45 o 677 3668.66/462.98 o 676 3828.49/483.14 o 672 3837.79/484.39 o 671 4828.66/609.69 o 670 4939.93/623.75 o 669 4969.90/627.54 o 668 5505.16/695.05 o 667 5529.44/698.16 o 666 5583.19/704.98 o 665 6173.49/779.44 o 664 6400.07/808.18 o 663 6750.82/852.45 o 662 7745.24/977.85 o 661 8522.71/1076.00 o 660 9261.37/1169.49 o 659 9914.41/1251.82 o 658 12844.38/1621.65 o 657 14820.50/1871.20 o 656 17256.88/2179.00 o 655 17275.28/2181.33 o 654 18908.58/2387.71 o 653 19958.41/2520.07 s SATISFIABLE 19958.41/2520.07 v <instantiation> 19958.41/2520.07 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> 19958.41/2520.07 v <values>0 84 226 298 320 386 400 531 550 635 27 82 207 288 392 471 552 572 604 618 1 22 81 158 259 336 384 472 549 594 228 287 321 347 427 435 476 553 615 634 37 96 164 197 259 340 411 504 573 576 0 40 53 91 160 259 322 399 470 617 0 125 217 321 395 430 434 497 579 606 0 22 86 132 154 157 246 374 456 562 7 42 119 203 301 406 430 529 550 618 6 91 94 168 195 299 343 430 525 582 653 634 653 653 653 653 651 611 653 653 81 70 72 20 64 14 97 19 84 18 54 43 52 98 64 78 20 10 11 16 21 30 68 88 77 36 88 77 45 59 56 34 26 64 3 37 77 41 19 19 48 61 31 62 63 66 90 42 3 77 40 13 38 65 99 60 77 71 34 36 84 89 70 71 1 2 61 56 22 45 5 53 38 20 2 38 97 48 71 49 30 70 83 92 92 22 99 21 65 35 83 3 74 27 93 22 82 95 54 71 1 2 6 8 3 7 0 9 4 5 6 1 0 7 8 4 9 3 5 2 4 7 8 9 1 5 3 6 2 0 8 5 2 1 9 6 3 0 7 4 3 7 5 4 0 6 1 2 9 8 5 8 7 9 1 3 0 4 2 6 2 3 5 8 4 6 7 0 1 9 0 4 3 1 2 7 9 5 8 6 3 5 0 2 4 6 9 8 7 1 0 6 4 8 7 2 9 5 1 3 400 0 84 320 550 635 226 386 298 531 207 82 618 572 471 604 27 288 392 552 594 259 549 384 1 336 472 22 81 158 553 347 321 476 634 287 435 615 228 427 259 411 504 37 197 164 340 96 576 573 322 160 470 259 399 0 617 53 40 91 497 579 0 125 395 217 430 434 321 606 0 132 154 86 22 374 562 157 456 246 119 618 203 7 301 42 406 550 529 430 6 525 299 582 94 430 91 195 168 343 </values> 19958.41/2520.07 v </instantiation> 19958.41/2520.07 c Unexpected resolution interruption!
OK 653
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 (6737 MiB free) memory of node 1: 16384 MiB (7042 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404792-1568994314/watcher-4404792-1568994314 -o /var/tmp/evaluation-result-4404792-1568994314/solver-4404792-1568994314 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1568994231-28588 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 181779698 HOME/instance-4404792-1568994314.xml running on 8 cores: 0,2,4,6,1,3,5,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=28909, runsolver pid=28906 Current StackSize limit: 8192 KiB [startup+0.100151 s]* /proc/loadavg: 6.23 6.59 6.84 2/213 28930 /proc/meminfo: memFree=14094768/32770624 swapFree=66953204/67108860 [pid=28909] ppid=28906 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/28909/stat : 28909 (xcsp3-exec) S 28906 28909 28561 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475346189 115843072 362 33554432000 4194304 5098028 140734560842032 140734560840136 139792645452412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27299840 140734560846674 140734560846933 140734560846933 140734560849862 0 /proc/28909/statm: 28282 362 304 221 0 87 0 [pid=28911] ppid=28909 vsize=28227396 memory=28636 CPUtime=0.12 cores=0-7 /proc/28911/stat : 28911 (java) S 28909 28909 28561 0 -1 1077944320 5636 0 0 0 11 1 0 0 20 0 20 0 475346190 28904853504 7159 33554432000 4194304 4196468 140723094138720 140723094121264 140146257108727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 /proc/28911/statm: 7056849 7159 3150 1 0 7019032 0 [pid=28911/tid=28912] ppid=28909 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/28911/task/28912/stat : 28912 (java) R 28909 28909 28561 0 -1 4202560 3577 0 0 0 8 1 0 0 20 0 20 0 475346190 28904853504 7159 33554432000 4194304 4196468 140723094138720 140146261343264 140146257120662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28913] ppid=28909 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/28911/task/28913/stat : 28913 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 7159 33554432000 4194304 4196468 140723094138720 140146209728784 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28914] ppid=28909 vsize=28227396 memory=140618700002944 CPUtime=0 cores=0-7 /proc/28911/task/28914/stat : 28914 (java) S 28909 28909 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 7159 33554432000 4194304 4196468 140723094138720 140146208676240 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28915] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28915/stat : 28915 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 7159 33554432000 4194304 4196468 140723094138720 140146207623696 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28916] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28916/stat : 28916 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 7159 33554432000 4194304 4196468 140723094138720 140146206571152 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28917] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28917/stat : 28917 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 7159 33554432000 4194304 4196468 140723094138720 140146205518608 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28918] ppid=28909 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28911/task/28918/stat : 28918 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 7159 33554432000 4194304 4196468 140723094138720 140146204466064 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28919] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28919/stat : 28919 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 7159 33554432000 4194304 4196468 140723094138720 140146203413520 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28920] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28920/stat : 28920 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 7159 33554432000 4194304 4196468 140723094138720 140146202360976 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28921] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28921/stat : 28921 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346192 28904853504 7159 33554432000 4194304 4196468 140723094138720 140144586860528 140146257119874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28922] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28922/stat : 28922 (java) S 28909 28909 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475346193 28904853504 7159 33554432000 4194304 4196468 140723094138720 140144585806752 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28923] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28923/stat : 28923 (java) S 28909 28909 28561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475346193 28904853504 7159 33554432000 4194304 4196468 140723094138720 140144584754160 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28924] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28924/stat : 28924 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475346195 28904853504 7159 33554432000 4194304 4196468 140723094138720 140144583702736 140146257127323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28925] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28925/stat : 28925 (java) S 28909 28909 28561 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 20 0 475346195 28904853504 7159 33554432000 4194304 4196468 140723094138720 140144582650352 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28926] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28926/stat : 28926 (java) R 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475346195 28904853504 7159 33554432000 4194304 4196468 140723094138720 140144514427600 140146257118933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28927] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28927/stat : 28927 (java) R 28909 28909 28561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 475346195 28904853504 7159 33554432000 4194304 4196468 140723094138720 140144513366464 140146240532557 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28928] ppid=28909 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/28911/task/28928/stat : 28928 (java) R 28909 28909 28561 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 20 0 475346195 28904853504 7159 33554432000 4194304 4196468 140723094138720 140144512322416 140146257120662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28929] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28929/stat : 28929 (java) S 28909 28909 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475346196 28904853504 7159 33554432000 4194304 4196468 140723094138720 140144511269088 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28930] ppid=28909 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28911/task/28930/stat : 28930 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475346196 28904853504 7159 33554432000 4194304 4196468 140723094138720 140144510216624 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30084 KiB [startup+0.210704 s]* /proc/loadavg: 6.23 6.59 6.84 3/213 28930 /proc/meminfo: memFree=14080772/32770624 swapFree=66953204/67108860 [pid=28909] ppid=28906 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/28909/stat : 28909 (xcsp3-exec) S 28906 28909 28561 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475346189 115843072 362 33554432000 4194304 5098028 140734560842032 140734560840136 139792645452412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27299840 140734560846674 140734560846933 140734560846933 140734560849862 0 /proc/28909/statm: 28282 362 304 221 0 87 0 [pid=28911] ppid=28909 vsize=28227396 memory=40896 CPUtime=0.33 cores=0-7 /proc/28911/stat : 28911 (java) S 28909 28909 28561 0 -1 1077944320 9540 0 0 0 30 3 0 0 20 0 20 0 475346190 28904853504 10224 33554432000 4194304 4196468 140723094138720 140723094121264 140146257108727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 /proc/28911/statm: 7056849 10224 3285 1 0 7019032 0 [pid=28911/tid=28912] ppid=28909 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/28911/task/28912/stat : 28912 (java) R 28909 28909 28561 0 -1 4202560 6623 0 0 0 18 2 0 0 20 0 20 0 475346190 28904853504 10224 33554432000 4194304 4196468 140723094138720 140146261340256 140146257120662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28913] ppid=28909 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/28911/task/28913/stat : 28913 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 10224 33554432000 4194304 4196468 140723094138720 140146209728784 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28914] ppid=28909 vsize=28227396 memory=3905104754550609568 CPUtime=0 cores=0-7 /proc/28911/task/28914/stat : 28914 (java) S 28909 28909 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 10224 33554432000 4194304 4196468 140723094138720 140146208676240 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28915] ppid=28909 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28911/task/28915/stat : 28915 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 10224 33554432000 4194304 4196468 140723094138720 140146207623696 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28916] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28916/stat : 28916 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 10224 33554432000 4194304 4196468 140723094138720 140146206571152 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28917] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28917/stat : 28917 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 10224 33554432000 4194304 4196468 140723094138720 140146205518608 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28918] ppid=28909 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28911/task/28918/stat : 28918 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 10224 33554432000 4194304 4196468 140723094138720 140146204466064 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28919] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28919/stat : 28919 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 10224 33554432000 4194304 4196468 140723094138720 140146203413520 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28920] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28920/stat : 28920 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28904853504 10224 33554432000 4194304 4196468 140723094138720 140146202360976 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28921] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28921/stat : 28921 (java) S 28909 28909 28561 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 475346192 28904853504 10224 33554432000 4194304 4196468 140723094138720 140144586860528 140146257119874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28922] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28922/stat : 28922 (java) S 28909 28909 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475346193 28904853504 10224 33554432000 4194304 4196468 140723094138720 140144585806752 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28923] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28923/stat : 28923 (java) S 28909 28909 28561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475346193 28904853504 10224 33554432000 4194304 4196468 140723094138720 140144584754160 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28924] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28924/stat : 28924 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475346195 28904853504 10224 33554432000 4194304 4196468 140723094138720 140144583702736 140146257127323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28925] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28925/stat : 28925 (java) S 28909 28909 28561 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 20 0 475346195 28904853504 10224 33554432000 4194304 4196468 140723094138720 140144582650352 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28926] ppid=28909 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/28911/task/28926/stat : 28926 (java) S 28909 28909 28561 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 20 0 475346195 28904853504 10224 33554432000 4194304 4196468 140723094138720 140144514427504 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28927] ppid=28909 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/28911/task/28927/stat : 28927 (java) S 28909 28909 28561 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 20 0 475346195 28904853504 10224 33554432000 4194304 4196468 140723094138720 140144513374960 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28928] ppid=28909 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/28911/task/28928/stat : 28928 (java) R 28909 28909 28561 0 -1 4202560 790 0 0 0 8 0 0 0 20 0 20 0 475346195 28904853504 10224 33554432000 4194304 4196468 140723094138720 140144512322416 140146257120662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28929] ppid=28909 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28929/stat : 28929 (java) S 28909 28909 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475346196 28904853504 10224 33554432000 4194304 4196468 140723094138720 140144511269088 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28930] ppid=28909 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/28911/task/28930/stat : 28930 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475346196 28904853504 10224 33554432000 4194304 4196468 140723094138720 140144510216624 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42344 KiB [startup+0.310619 s]* /proc/loadavg: 6.23 6.59 6.84 3/213 28930 /proc/meminfo: memFree=14073984/32770624 swapFree=66953204/67108860 [pid=28909] ppid=28906 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/28909/stat : 28909 (xcsp3-exec) S 28906 28909 28561 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475346189 115843072 362 33554432000 4194304 5098028 140734560842032 140734560840136 139792645452412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27299840 140734560846674 140734560846933 140734560846933 140734560849862 0 /proc/28909/statm: 28282 362 304 221 0 87 0 [pid=28911] ppid=28909 vsize=28231652 memory=49424 CPUtime=0.51 cores=0-7 /proc/28911/stat : 28911 (java) S 28909 28909 28561 0 -1 1077944320 10899 0 0 0 47 4 0 0 20 0 20 0 475346190 28909211648 12356 33554432000 4194304 4196468 140723094138720 140723094121264 140146257108727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 /proc/28911/statm: 7057913 12356 3320 1 0 7019032 0 [pid=28911/tid=28912] ppid=28909 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/28911/task/28912/stat : 28912 (java) R 28909 28909 28561 0 -1 4202560 7883 0 0 0 27 3 0 0 20 0 20 0 475346190 28909211648 12356 33554432000 4194304 4196468 140723094138720 140146261342512 140146241189214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28913] ppid=28909 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28913/stat : 28913 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475346191 28909211648 12356 33554432000 4194304 4196468 140723094138720 140146209728784 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28914] ppid=28909 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28914/stat : 28914 (java) S 28909 28909 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475346191 28909211648 12356 33554432000 4194304 4196468 140723094138720 140146208676240 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28915] ppid=28909 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28915/stat : 28915 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28909211648 12356 33554432000 4194304 4196468 140723094138720 140146207623696 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28916] ppid=28909 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28916/stat : 28916 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28909211648 12356 33554432000 4194304 4196468 140723094138720 140146206571152 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28917] ppid=28909 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28917/stat : 28917 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475346191 28909211648 12356 33554432000 4194304 4196468 140723094138720 140146205518608 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28918] ppid=28909 vsize=28231652 memory=140618571541167 CPUtime=0 cores=0-7 /proc/28911/task/28918/stat : 28918 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28909211648 12356 33554432000 4194304 4196468 140723094138720 140146204466064 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28919] ppid=28909 vsize=28231652 memory=140618571543472 CPUtime=0 cores=0-7 /proc/28911/task/28919/stat : 28919 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28909211648 12356 33554432000 4194304 4196468 140723094138720 140146203413520 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28920] ppid=28909 vsize=28231652 memory=140618571545776 CPUtime=0 cores=0-7 /proc/28911/task/28920/stat : 28920 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28909211648 12356 33554432000 4194304 4196468 140723094138720 140146202360976 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28921] ppid=28909 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28921/stat : 28921 (java) S 28909 28909 28561 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 475346192 28909211648 12356 33554432000 4194304 4196468 140723094138720 140144586860528 140146257119874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28922] ppid=28909 vsize=28231652 memory=281237143105424 CPUtime=0 cores=0-7 /proc/28911/task/28922/stat : 28922 (java) S 28909 28909 28561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475346193 28909211648 12356 33554432000 4194304 4196468 140723094138720 140144585806752 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28923] ppid=28909 vsize=28231652 memory=281237143103120 CPUtime=0 cores=0-7 /proc/28911/task/28923/stat : 28923 (java) S 28909 28909 28561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475346193 28909211648 12356 33554432000 4194304 4196468 140723094138720 140144584754160 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28924] ppid=28909 vsize=28231652 memory=281237143110032 CPUtime=0 cores=0-7 /proc/28911/task/28924/stat : 28924 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475346195 28909211648 12356 33554432000 4194304 4196468 140723094138720 140144583702736 140146257127323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28925] ppid=28909 vsize=28231652 memory=281237143051312 CPUtime=0.01 cores=0-7 /proc/28911/task/28925/stat : 28925 (java) S 28909 28909 28561 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 20 0 475346195 28909211648 12356 33554432000 4194304 4196468 140723094138720 140144582650352 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28926] ppid=28909 vsize=28231652 memory=281237143123856 CPUtime=0.03 cores=0-7 /proc/28911/task/28926/stat : 28926 (java) S 28909 28909 28561 0 -1 1077944384 135 0 0 0 3 0 0 0 20 0 20 0 475346195 28909211648 12356 33554432000 4194304 4196468 140723094138720 140144514427504 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28927] ppid=28909 vsize=28231652 memory=281237143130768 CPUtime=0.02 cores=0-7 /proc/28911/task/28927/stat : 28927 (java) S 28909 28909 28561 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 20 0 475346195 28909211648 12356 33554432000 4194304 4196468 140723094138720 140144513374960 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28928] ppid=28909 vsize=28231652 memory=281237143128464 CPUtime=0.12 cores=0-7 /proc/28911/task/28928/stat : 28928 (java) S 28909 28909 28561 0 -1 1077944384 875 0 0 0 12 0 0 0 20 0 20 0 475346195 28909211648 12356 33554432000 4194304 4196468 140723094138720 140144512322416 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28929] ppid=28909 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28929/stat : 28929 (java) S 28909 28909 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475346196 28909211648 12356 33554432000 4194304 4196468 140723094138720 140144511269088 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28930] ppid=28909 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/28911/task/28930/stat : 28930 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475346196 28909211648 12356 33554432000 4194304 4196468 140723094138720 140144510216624 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50872 KiB [startup+0.700943 s] /proc/loadavg: 6.23 6.59 6.84 5/213 28930 /proc/meminfo: memFree=14061328/32770624 swapFree=66953204/67108860 [pid=28909] ppid=28906 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/28909/stat : 28909 (xcsp3-exec) S 28906 28909 28561 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475346189 115843072 362 33554432000 4194304 5098028 140734560842032 140734560840136 139792645452412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27299840 140734560846674 140734560846933 140734560846933 140734560849862 0 /proc/28909/statm: 28282 362 304 221 0 87 0 [pid=28911] ppid=28909 vsize=28233776 memory=81936 CPUtime=1.56 cores=0-7 /proc/28911/stat : 28911 (java) S 28909 28909 28561 0 -1 1077944320 14697 0 0 0 149 7 0 0 20 0 20 0 475346190 28911386624 20484 33554432000 4194304 4196468 140723094138720 140723094121264 140146257108727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 /proc/28911/statm: 7058444 20484 3453 1 0 7019544 0 [pid=28911/tid=28912] ppid=28909 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/28911/task/28912/stat : 28912 (java) R 28909 28909 28561 0 -1 4202560 9389 0 0 0 64 3 0 0 20 0 20 0 475346190 28911386624 20484 33554432000 4194304 4196468 140723094138720 140146261344832 140146257120662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28913] ppid=28909 vsize=28233776 memory=140618571752304 CPUtime=0 cores=0-7 /proc/28911/task/28913/stat : 28913 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475346191 28911386624 20484 33554432000 4194304 4196468 140723094138720 140146209728784 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28914] ppid=28909 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/28911/task/28914/stat : 28914 (java) S 28909 28909 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475346191 28911386624 20484 33554432000 4194304 4196468 140723094138720 140146208676240 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28915] ppid=28909 vsize=28233776 memory=1256 CPUtime=0 cores=0-7 /proc/28911/task/28915/stat : 28915 (java) S 28909 28909 28561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475346191 28911386624 20484 33554432000 4194304 4196468 140723094138720 140146207623696 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 ################ # More data... # ################ [pid=28911/tid=29581] ppid=28909 vsize=28768336 memory=1448 CPUtime=53.69 cores=0-7 /proc/28911/task/29581/stat : 29581 (java) R 28909 28909 28561 0 -1 4202560 789 0 0 0 5369 0 0 0 20 0 28 0 475584961 29458776064 172764 33554432000 4194304 4196468 140723094138720 140144498899840 140145884088284 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 Current children cumulated CPU time: 19341.3 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 692504 KiB [startup+2502.3 s] /proc/loadavg: 8.13 8.26 8.22 9/219 29591 /proc/meminfo: memFree=13483296/32770624 swapFree=66953204/67108860 [pid=28909] ppid=28906 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/28909/stat : 28909 (xcsp3-exec) S 28906 28909 28561 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475346189 115843072 362 33554432000 4194304 5098028 140734560842032 140734560840136 139792645452412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27299840 140734560846674 140734560846933 140734560846933 140734560849862 0 /proc/28909/statm: 28282 362 304 221 0 87 0 [pid=28911] ppid=28909 vsize=28768336 memory=635544 CPUtime=19817.8 cores=0-7 /proc/28911/stat : 28911 (java) S 28909 28909 28561 0 -1 1077944320 2180019 0 0 0 1980154 1630 0 0 20 0 28 0 475346190 29458776064 158886 33554432000 4194304 4196468 140723094138720 140723094121264 140146257108727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 /proc/28911/statm: 7192084 158886 3559 1 0 7153184 0 [pid=28911/tid=28912] ppid=28909 vsize=28768336 memory=637056 CPUtime=1.02 cores=0-7 /proc/28911/task/28912/stat : 28912 (java) S 28909 28909 28561 0 -1 1077944384 14979 0 0 0 97 5 0 0 20 0 28 0 475346190 29458776064 158886 33554432000 4194304 4196468 140723094138720 140146261349504 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28913] ppid=28909 vsize=28768336 memory=639624 CPUtime=10.51 cores=0-7 /proc/28911/task/28913/stat : 28913 (java) S 28909 28909 28561 0 -1 1077944384 68390 0 0 0 1001 50 0 0 20 0 28 0 475346191 29458776064 158886 33554432000 4194304 4196468 140723094138720 140146209728784 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28914] ppid=28909 vsize=28768336 memory=668952 CPUtime=10.52 cores=0-7 /proc/28911/task/28914/stat : 28914 (java) S 28909 28909 28561 0 -1 1077944384 58008 0 0 0 1004 48 0 0 20 0 28 0 475346191 29458776064 158886 33554432000 4194304 4196468 140723094138720 140146208676240 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28915] ppid=28909 vsize=28768336 memory=1448 CPUtime=10.55 cores=0-7 /proc/28911/task/28915/stat : 28915 (java) S 28909 28909 28561 0 -1 1077944384 59639 0 0 0 1004 51 0 0 20 0 28 0 475346191 29458776064 158886 33554432000 4194304 4196468 140723094138720 140146207623696 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28916] ppid=28909 vsize=28768336 memory=681120 CPUtime=10.52 cores=0-7 /proc/28911/task/28916/stat : 28916 (java) S 28909 28909 28561 0 -1 1077944384 68712 0 0 0 1003 49 0 0 20 0 28 0 475346191 29458776064 158886 33554432000 4194304 4196468 140723094138720 140146206571152 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28917] ppid=28909 vsize=28768336 memory=1448 CPUtime=10.54 cores=0-7 /proc/28911/task/28917/stat : 28917 (java) S 28909 28909 28561 0 -1 1077944384 61933 0 0 0 1004 50 0 0 20 0 28 0 475346191 29458776064 158886 33554432000 4194304 4196468 140723094138720 140146205518608 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28918] ppid=28909 vsize=28768336 memory=670468 CPUtime=10.46 cores=0-7 /proc/28911/task/28918/stat : 28918 (java) S 28909 28909 28561 0 -1 1077944384 53149 0 0 0 997 49 0 0 20 0 28 0 475346191 29458776064 158886 33554432000 4194304 4196468 140723094138720 140146204466064 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28919] ppid=28909 vsize=28768336 memory=699496 CPUtime=10.5 cores=0-7 /proc/28911/task/28919/stat : 28919 (java) S 28909 28909 28561 0 -1 1077944384 59063 0 0 0 1003 47 0 0 20 0 28 0 475346191 29458776064 158886 33554432000 4194304 4196468 140723094138720 140146203413520 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28920] ppid=28909 vsize=28768336 memory=642700 CPUtime=10.56 cores=0-7 /proc/28911/task/28920/stat : 28920 (java) S 28909 28909 28561 0 -1 1077944384 58288 0 0 0 1003 53 0 0 20 0 28 0 475346191 29458776064 158886 33554432000 4194304 4196468 140723094138720 140146202360976 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28921] ppid=28909 vsize=28768336 memory=642188 CPUtime=14.22 cores=0-7 /proc/28911/task/28921/stat : 28921 (java) S 28909 28909 28561 0 -1 1077944384 334843 0 0 0 651 771 0 0 20 0 28 0 475346192 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144586860528 140146257119874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28922] ppid=28909 vsize=28768336 memory=640136 CPUtime=0 cores=0-7 /proc/28911/task/28922/stat : 28922 (java) S 28909 28909 28561 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 475346193 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144585806816 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28923] ppid=28909 vsize=28768336 memory=640648 CPUtime=0 cores=0-7 /proc/28911/task/28923/stat : 28923 (java) S 28909 28909 28561 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 475346193 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144584754176 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28924] ppid=28909 vsize=28768336 memory=636032 CPUtime=0 cores=0-7 /proc/28911/task/28924/stat : 28924 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475346195 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144583702736 140146257127323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28925] ppid=28909 vsize=28768336 memory=633984 CPUtime=4.82 cores=0-7 /proc/28911/task/28925/stat : 28925 (java) S 28909 28909 28561 0 -1 1077944384 31018 0 0 0 475 7 0 0 20 0 28 0 475346195 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144582650352 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28926] ppid=28909 vsize=28768336 memory=633984 CPUtime=4.84 cores=0-7 /proc/28911/task/28926/stat : 28926 (java) S 28909 28909 28561 0 -1 1077944384 31705 0 0 0 477 7 0 0 20 0 28 0 475346195 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144514427504 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28927] ppid=28909 vsize=28768336 memory=1448 CPUtime=4.44 cores=0-7 /proc/28911/task/28927/stat : 28927 (java) S 28909 28909 28561 0 -1 1077944384 26934 0 0 0 438 6 0 0 20 0 28 0 475346195 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144513374960 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28928] ppid=28909 vsize=28768336 memory=55368 CPUtime=1.21 cores=0-7 /proc/28911/task/28928/stat : 28928 (java) S 28909 28909 28561 0 -1 1077944384 33826 0 0 0 117 4 0 0 20 0 28 0 475346195 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144512322416 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28929] ppid=28909 vsize=28768336 memory=55368 CPUtime=0 cores=0-7 /proc/28911/task/28929/stat : 28929 (java) S 28909 28909 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475346196 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144511269088 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28930] ppid=28909 vsize=28768336 memory=1448 CPUtime=0.61 cores=0-7 /proc/28911/task/28930/stat : 28930 (java) S 28909 28909 28561 0 -1 1077944384 10339 0 0 0 8 53 0 0 20 0 28 0 475346196 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144510216624 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29574] ppid=28909 vsize=28768336 memory=1448 CPUtime=112.9 cores=0-7 /proc/28911/task/29574/stat : 29574 (java) R 28909 28909 28561 0 -1 4202560 1867 0 0 0 11288 2 0 0 20 0 28 0 475584961 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144496794584 140145882466395 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29575] ppid=28909 vsize=28768336 memory=1448 CPUtime=112.9 cores=0-7 /proc/28911/task/29575/stat : 29575 (java) R 28909 28909 28561 0 -1 4202560 1598 0 0 0 11289 1 0 0 20 0 28 0 475584961 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144492585720 140146243052887 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29576] ppid=28909 vsize=28768336 memory=633980 CPUtime=113.05 cores=0-7 /proc/28911/task/29576/stat : 29576 (java) R 28909 28909 28561 0 -1 4202560 1774 0 0 0 11303 2 0 0 20 0 28 0 475584961 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144491532520 140145879410979 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29577] ppid=28909 vsize=28768336 memory=1448 CPUtime=113.13 cores=0-7 /proc/28911/task/29577/stat : 29577 (java) R 28909 28909 28561 0 -1 4202560 3078 0 0 0 11306 7 0 0 20 0 28 0 475584961 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144494690712 140145874539884 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29578] ppid=28909 vsize=28768336 memory=636032 CPUtime=113.02 cores=0-7 /proc/28911/task/29578/stat : 29578 (java) R 28909 28909 28561 0 -1 4202560 1975 0 0 0 11301 1 0 0 20 0 28 0 475584961 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144493640464 140145886335040 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29579] ppid=28909 vsize=28768336 memory=3504 CPUtime=112.72 cores=0-7 /proc/28911/task/29579/stat : 29579 (java) R 28909 28909 28561 0 -1 4202560 1508 0 0 0 11270 2 0 0 20 0 28 0 475584961 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144495744152 140145886110544 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29580] ppid=28909 vsize=28768336 memory=636032 CPUtime=113.07 cores=0-7 /proc/28911/task/29580/stat : 29580 (java) R 28909 28909 28561 0 -1 4202560 2312 0 0 0 11307 0 0 0 20 0 28 0 475584961 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144497848264 140145880941776 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29581] ppid=28909 vsize=28768336 memory=1448 CPUtime=113.11 cores=0-7 /proc/28911/task/29581/stat : 29581 (java) R 28909 28909 28561 0 -1 4202560 2553 0 0 0 11309 2 0 0 20 0 28 0 475584961 29458776064 158886 33554432000 4194304 4196468 140723094138720 140144498900816 140145882840688 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 Current children cumulated CPU time: 19817.8 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 636992 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.10 8.24 8.22 9/219 29592 /proc/meminfo: memFree=13498932/32770624 swapFree=66953204/67108860 [pid=28909] ppid=28906 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/28909/stat : 28909 (xcsp3-exec) S 28906 28909 28561 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475346189 115843072 362 33554432000 4194304 5098028 140734560842032 140734560840136 139792645452412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27299840 140734560846674 140734560846933 140734560846933 140734560849862 0 /proc/28909/statm: 28282 362 304 221 0 87 0 [pid=28911] ppid=28909 vsize=28768336 memory=619336 CPUtime=19958.4 cores=0-7 /proc/28911/stat : 28911 (java) S 28909 28909 28561 0 -1 1077944320 2180225 0 0 0 1994208 1633 0 0 20 0 28 0 475346190 29458776064 154834 33554432000 4194304 4196468 140723094138720 140723094121264 140146257108727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 /proc/28911/statm: 7192084 154834 3559 1 0 7153184 0 [pid=28911/tid=28912] ppid=28909 vsize=28768336 memory=8317482817917895235 CPUtime=1.02 cores=0-7 /proc/28911/task/28912/stat : 28912 (java) S 28909 28909 28561 0 -1 1077944384 14979 0 0 0 97 5 0 0 20 0 28 0 475346190 29458776064 154834 33554432000 4194304 4196468 140723094138720 140146261349504 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28913] ppid=28909 vsize=28768336 memory=4872558044660077418 CPUtime=10.6 cores=0-7 /proc/28911/task/28913/stat : 28913 (java) S 28909 28909 28561 0 -1 1077944384 68403 0 0 0 1010 50 0 0 20 0 28 0 475346191 29458776064 154834 33554432000 4194304 4196468 140723094138720 140146209728784 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28914] ppid=28909 vsize=28768336 memory=32196 CPUtime=10.62 cores=0-7 /proc/28911/task/28914/stat : 28914 (java) S 28909 28909 28561 0 -1 1077944384 58022 0 0 0 1014 48 0 0 20 0 28 0 475346191 29458776064 154834 33554432000 4194304 4196468 140723094138720 140146208676240 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28915] ppid=28909 vsize=28768336 memory=-6808994639057120388 CPUtime=10.65 cores=0-7 /proc/28911/task/28915/stat : 28915 (java) S 28909 28909 28561 0 -1 1077944384 59649 0 0 0 1014 51 0 0 20 0 28 0 475346191 29458776064 154834 33554432000 4194304 4196468 140723094138720 140146207623696 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28916] ppid=28909 vsize=28768336 memory=-9102473451428748661 CPUtime=10.63 cores=0-7 /proc/28911/task/28916/stat : 28916 (java) S 28909 28909 28561 0 -1 1077944384 68731 0 0 0 1013 50 0 0 20 0 28 0 475346191 29458776064 154834 33554432000 4194304 4196468 140723094138720 140146206571152 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28917] ppid=28909 vsize=28768336 memory=32196 CPUtime=10.65 cores=0-7 /proc/28911/task/28917/stat : 28917 (java) S 28909 28909 28561 0 -1 1077944384 61938 0 0 0 1014 51 0 0 20 0 28 0 475346191 29458776064 154834 33554432000 4194304 4196468 140723094138720 140146205518608 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28918] ppid=28909 vsize=28768336 memory=-7088778499827004608 CPUtime=10.57 cores=0-7 /proc/28911/task/28918/stat : 28918 (java) S 28909 28909 28561 0 -1 1077944384 53155 0 0 0 1008 49 0 0 20 0 28 0 475346191 29458776064 154834 33554432000 4194304 4196468 140723094138720 140146204466064 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28919] ppid=28909 vsize=28768336 memory=1256 CPUtime=10.6 cores=0-7 /proc/28911/task/28919/stat : 28919 (java) S 28909 28909 28561 0 -1 1077944384 59073 0 0 0 1012 48 0 0 20 0 28 0 475346191 29458776064 154834 33554432000 4194304 4196468 140723094138720 140146203413520 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28920] ppid=28909 vsize=28768336 memory=1076 CPUtime=10.65 cores=0-7 /proc/28911/task/28920/stat : 28920 (java) S 28909 28909 28561 0 -1 1077944384 58294 0 0 0 1012 53 0 0 20 0 28 0 475346191 29458776064 154834 33554432000 4194304 4196468 140723094138720 140146202360976 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28921] ppid=28909 vsize=28768336 memory=14008 CPUtime=14.26 cores=0-7 /proc/28911/task/28921/stat : 28921 (java) S 28909 28909 28561 0 -1 1077944384 334909 0 0 0 653 773 0 0 20 0 28 0 475346192 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144586860528 140146257119874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28922] ppid=28909 vsize=28768336 memory=30472 CPUtime=0 cores=0-7 /proc/28911/task/28922/stat : 28922 (java) S 28909 28909 28561 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 475346193 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144585806816 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28923] ppid=28909 vsize=28768336 memory=14056 CPUtime=0 cores=0-7 /proc/28911/task/28923/stat : 28923 (java) S 28909 28909 28561 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 475346193 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144584754176 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28924] ppid=28909 vsize=28768336 memory=2116 CPUtime=0 cores=0-7 /proc/28911/task/28924/stat : 28924 (java) S 28909 28909 28561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475346195 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144583702736 140146257127323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28925] ppid=28909 vsize=28768336 memory=520 CPUtime=4.82 cores=0-7 /proc/28911/task/28925/stat : 28925 (java) S 28909 28909 28561 0 -1 1077944384 31018 0 0 0 475 7 0 0 20 0 28 0 475346195 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144582650352 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28926] ppid=28909 vsize=28768336 memory=1560 CPUtime=4.84 cores=0-7 /proc/28911/task/28926/stat : 28926 (java) S 28909 28909 28561 0 -1 1077944384 31705 0 0 0 477 7 0 0 20 0 28 0 475346195 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144514427504 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28927] ppid=28909 vsize=28768336 memory=924 CPUtime=4.44 cores=0-7 /proc/28911/task/28927/stat : 28927 (java) S 28909 28909 28561 0 -1 1077944384 26934 0 0 0 438 6 0 0 20 0 28 0 475346195 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144513374960 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28928] ppid=28909 vsize=28768336 memory=621388 CPUtime=1.21 cores=0-7 /proc/28911/task/28928/stat : 28928 (java) S 28909 28909 28561 0 -1 1077944384 33826 0 0 0 117 4 0 0 20 0 28 0 475346195 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144512322416 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28929] ppid=28909 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/28911/task/28929/stat : 28929 (java) S 28909 28909 28561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475346196 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144511269088 140146257118933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=28930] ppid=28909 vsize=28768336 memory=625492 CPUtime=0.61 cores=0-7 /proc/28911/task/28930/stat : 28930 (java) S 28909 28909 28561 0 -1 1077944384 10341 0 0 0 8 53 0 0 20 0 28 0 475346196 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144510216624 140146257119874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29574] ppid=28909 vsize=28768336 memory=3688 CPUtime=130.35 cores=0-7 /proc/28911/task/29574/stat : 29574 (java) R 28909 28909 28561 0 -1 4202560 1870 0 0 0 13033 2 0 0 20 0 28 0 475584961 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144496794696 140145886335709 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29575] ppid=28909 vsize=28768336 memory=1984 CPUtime=130.43 cores=0-7 /proc/28911/task/29575/stat : 29575 (java) R 28909 28909 28561 0 -1 4202560 1613 0 0 0 13042 1 0 0 20 0 28 0 475584961 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144492585584 140145884485212 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29576] ppid=28909 vsize=28768336 memory=1440 CPUtime=130.47 cores=0-7 /proc/28911/task/29576/stat : 29576 (java) R 28909 28909 28561 0 -1 4202560 1780 0 0 0 13045 2 0 0 20 0 28 0 475584961 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144491533256 140145881154091 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29577] ppid=28909 vsize=28768336 memory=800 CPUtime=130.67 cores=0-7 /proc/28911/task/29577/stat : 29577 (java) R 28909 28909 28561 0 -1 4202560 3083 0 0 0 13060 7 0 0 20 0 28 0 475584961 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144494691184 140145880243584 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29578] ppid=28909 vsize=28768336 memory=2580 CPUtime=130.49 cores=0-7 /proc/28911/task/29578/stat : 29578 (java) R 28909 28909 28561 0 -1 4202560 1977 0 0 0 13048 1 0 0 20 0 28 0 475584961 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144493637536 140145885136165 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29579] ppid=28909 vsize=28768336 memory=1448 CPUtime=130.13 cores=0-7 /proc/28911/task/29579/stat : 29579 (java) R 28909 28909 28561 0 -1 4202560 1510 0 0 0 13011 2 0 0 20 0 28 0 475584961 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144495743584 140145881154104 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29580] ppid=28909 vsize=28768336 memory=1076 CPUtime=130.58 cores=0-7 /proc/28911/task/29580/stat : 29580 (java) R 28909 28909 28561 0 -1 4202560 2315 0 0 0 13058 0 0 0 20 0 28 0 475584961 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144497848728 140145886111834 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 [pid=28911/tid=29581] ppid=28909 vsize=28768336 memory=14008 CPUtime=130.54 cores=0-7 /proc/28911/task/29581/stat : 29581 (java) R 28909 28909 28561 0 -1 4202560 2572 0 0 0 13052 2 0 0 20 0 28 0 475584961 29458776064 154834 33554432000 4194304 4196468 140723094138720 140144498903856 140145874540038 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 34545664 140723094143958 140723094144134 140723094144134 140723094147023 0 Current children cumulated CPU time: 19958.4 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 620784 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 28909 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001255 s, system=0.001255 s [startup+2520.09 s] # the end of solver process 28911 was just reported to runsolver # cumulated CPU time of all completed processes: user=19942.7 s, system=16.3418 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.09 CPU time (s): 19959 CPU user time (s): 19942.7 CPU system time (s): 16.3418 CPU usage (%): 791.996 Max. virtual memory (cumulated for all children) (KiB): 28883608 Max. memory (cumulated for all children) (KiB): 969376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19942.7 system time used= 16.3418 maximum resident set size= 994692 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2180949 page faults= 0 swaps= 0 block input operations= 0 block output operations= 4104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 260405 involuntary context switches= 237206 # summary of solver processes directly reported to runsolver: # pid: 28909,28911 # total CPU time (s): 19959 # total CPU user time (s): 19942.7 # total CPU system time (s): 16.3418 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 25.1263 second user time and 25.029 second system time The end
Begin job on node119 at 2019-09-20 17:44:33 IDJOB=4404792 IDBENCH=115840 IDSOLVER=2865 FILE ID=node119/4404792-1568994314 RUNJOBID= node119-1568994231-28588 PBS_JOBID= 21704718 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 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 /var/tmp/evaluation-result-4404792-1568994314/watcher-4404792-1568994314 -o /var/tmp/evaluation-result-4404792-1568994314/solver-4404792-1568994314 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1568994231-28588 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 181779698 HOME/instance-4404792-1568994314.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0823366b416f0d4f591b1c2bb0d09de5 RANDOM SEED=181779698 node119.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 : 5333.47 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 : 5333.47 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 : 5333.47 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 : 5333.47 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: 14110560 kB MemAvailable: 31805024 kB Buffers: 149164 kB Cached: 17472140 kB SwapCached: 46584 kB Active: 8776268 kB Inactive: 8894808 kB Active(anon): 3100 kB Inactive(anon): 95352 kB Active(file): 8773168 kB Inactive(file): 8799456 kB Unevictable: 109120 kB Mlocked: 109120 kB SwapTotal: 67108860 kB SwapFree: 66953204 kB Dirty: 26332 kB Writeback: 12 kB AnonPages: 113644 kB Mapped: 52264 kB Shmem: 40128 kB Slab: 579424 kB SReclaimable: 550300 kB SUnreclaim: 29124 kB KernelStack: 3392 kB PageTables: 5556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505888 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 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: 126336 kB DirectMap2M: 33419264 kB Free space on /var/tmp at the end= 13488 MiB End job on node119 at 2019-09-20 18:26:33