Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 681 | 1577.75 | 252.041 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml |
MD5SUM | 0823366b416f0d4f591b1c2bb0d09de5 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 681 |
Best CPU time to get the best result obtained on this benchmark | 1577.75 |
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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271864-1502639282.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271864-1502639282.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 2.19/0.86 c solve instance... 70.12/9.47 o 722 119.17/16.12 o 721 127.79/17.66 o 720 210.31/29.09 o 719 220.63/30.73 o 718 251.39/36.52 o 717 260.46/37.85 o 716 283.84/42.74 o 714 343.47/53.15 o 713 391.94/60.66 o 712 535.97/80.22 o 711 643.19/95.11 o 710 649.39/97.95 o 709 654.10/100.18 o 708 660.39/101.82 o 706 664.09/105.03 o 705 678.87/109.08 o 704 756.16/118.82 o 703 913.36/138.76 o 702 994.84/150.24 o 701 1012.88/153.98 o 696 1026.08/156.02 o 695 1026.08/156.07 o 694 1077.31/165.07 o 693 1080.41/167.54 o 692 1175.04/182.53 o 687 1227.19/192.96 o 686 1344.99/213.45 o 685 1374.61/218.08 o 684 1432.04/226.05 o 683 1541.96/242.29 o 682 1550.28/246.90 o 681 1577.68/252.02 s SATISFIABLE 1577.68/252.02 v <instantiation> 1577.68/252.02 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> 1577.68/252.02 v <values>11 29 49 113 241 275 376 519 539 611 0 11 113 199 264 311 397 501 536 614 41 109 147 221 242 278 360 457 534 593 10 43 149 215 248 355 376 422 536 588 1 74 140 204 210 244 334 414 464 579 1 78 118 221 289 364 459 495 578 619 3 9 20 48 93 282 376 448 522 618 0 22 25 80 133 177 394 465 523 578 24 118 192 313 335 371 402 467 567 659 1 30 104 186 192 217 271 372 515 586 681 666 681 607 669 655 679 675 681 681 18 19 64 84 14 97 81 20 72 70 11 98 64 54 20 78 16 10 43 52 68 30 45 21 36 77 88 77 59 88 19 64 41 26 56 3 37 77 34 19 48 66 61 3 31 62 77 42 63 90 77 40 99 60 65 38 34 71 13 36 2 1 22 45 56 89 70 71 84 61 20 2 49 5 38 71 53 48 38 97 92 70 83 21 35 30 65 99 92 22 27 74 82 3 22 54 93 83 71 95 5 9 3 4 7 0 1 8 6 2 5 7 8 6 9 4 2 3 1 0 8 7 2 4 5 6 9 1 0 3 4 1 0 2 8 9 6 3 5 7 3 6 7 9 5 4 8 2 0 1 0 5 1 3 9 7 2 4 8 6 6 4 1 9 0 3 5 8 2 7 1 2 6 0 3 8 4 5 7 9 2 5 0 8 1 3 7 9 4 6 8 4 9 6 2 1 7 0 3 5 275 376 611 49 113 11 539 241 519 29 614 536 397 501 311 0 199 11 113 264 534 457 147 593 221 242 278 109 41 360 149 43 215 422 10 536 376 588 248 355 464 579 414 1 244 210 74 140 334 204 1 118 459 221 495 78 619 364 578 289 93 20 522 282 9 376 3 618 448 48 80 0 22 133 394 465 25 523 177 578 192 335 24 371 567 118 659 402 313 467 372 217 192 515 30 586 186 271 1 104 </values> 1577.68/252.02 v </instantiation> 1577.68/252.02 c Unexpected resolution interruption!
OK 681
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 (14308 MiB free) memory of node 1: 16384 MiB (14172 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271864-1502639282/watcher-4271864-1502639282 -o /tmp/evaluation-result-4271864-1502639282/solver-4271864-1502639282 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 820179713 HOME/instance-4271864-1502639282.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=5163, runsolver pid=5160 [startup+0.100139 s]* /proc/loadavg: 8.15 8.31 7.49 2/200 5184 /proc/meminfo: memFree=29149460/32770624 swapFree=67108860/67108860 [pid=5163] ppid=5160 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5163/stat : 5163 (xcsp3-exec) S 5160 5163 3823 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97016308 9740288 345 33554432000 4194304 5098028 140723079298928 140723079297032 140501613101692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22069248 140723079300203 140723079300412 140723079300412 140723079303147 0 /proc/5163/statm: 2378 345 289 221 0 87 0 [pid=5165] ppid=5163 vsize=25999808 memory=26228 CPUtime=0.11 cores=0-7 /proc/5165/stat : 5165 (java) S 5163 5163 3823 0 -1 1077944320 5485 0 0 0 10 1 0 0 20 0 20 0 97016308 26623803392 6557 33554432000 4194304 4196468 140721552065968 140721552048512 140268607180535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 /proc/5165/statm: 6499952 6557 2848 1 0 6488269 0 [pid=5165/tid=5166] ppid=5163 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/5165/task/5166/stat : 5166 (java) R 5163 5163 3823 0 -1 4202560 3483 0 0 0 8 1 0 0 20 0 20 0 97016308 26623803392 6557 33554432000 4194304 4196468 140721552065968 140268611403984 140268591261022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5167] ppid=5163 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/5165/task/5167/stat : 5167 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97016309 26623803392 6557 33554432000 4194304 4196468 140721552065968 140268559800848 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5168] ppid=5163 vsize=25999808 memory=140212084557440 CPUtime=0 cores=0-7 /proc/5165/task/5168/stat : 5168 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26623803392 6557 33554432000 4194304 4196468 140721552065968 140268558748304 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5169] ppid=5163 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5169/stat : 5169 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26623803392 6557 33554432000 4194304 4196468 140721552065968 140268557695248 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5170] ppid=5163 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5170/stat : 5170 (java) S 5163 5163 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97016309 26623803392 6557 33554432000 4194304 4196468 140721552065968 140268556642704 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5171] ppid=5163 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5171/stat : 5171 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26623803392 6557 33554432000 4194304 4196468 140721552065968 140268555590672 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5172] ppid=5163 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/5165/task/5172/stat : 5172 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97016309 26623803392 6557 33554432000 4194304 4196468 140721552065968 140268554538128 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5173] ppid=5163 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5173/stat : 5173 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26623803392 6557 33554432000 4194304 4196468 140721552065968 140268553485072 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5174] ppid=5163 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5174/stat : 5174 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26623803392 6557 33554432000 4194304 4196468 140721552065968 140268552432528 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5175] ppid=5163 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5175/stat : 5175 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016310 26623803392 6557 33554432000 4194304 4196468 140721552065968 140267349276912 140268607191682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5176] ppid=5163 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5176/stat : 5176 (java) S 5163 5163 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97016311 26623803392 6557 33554432000 4194304 4196468 140721552065968 140267348223136 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5177] ppid=5163 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5177/stat : 5177 (java) S 5163 5163 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97016311 26623803392 6557 33554432000 4194304 4196468 140721552065968 140267347170032 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5178] ppid=5163 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5178/stat : 5178 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97016313 26623803392 6557 33554432000 4194304 4196468 140721552065968 140267346118608 140268607199131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5179] ppid=5163 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5179/stat : 5179 (java) S 5163 5163 3823 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 97016313 26623803392 6557 33554432000 4194304 4196468 140721552065968 140267345066736 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5180] ppid=5163 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5180/stat : 5180 (java) S 5163 5163 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97016314 26623803392 6557 33554432000 4194304 4196468 140721552065968 140267344014192 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5181] ppid=5163 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5181/stat : 5181 (java) S 5163 5163 3823 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97016314 26623803392 6557 33554432000 4194304 4196468 140721552065968 140267342961136 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5182] ppid=5163 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/5165/task/5182/stat : 5182 (java) S 5163 5163 3823 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 97016314 26623803392 6557 33554432000 4194304 4196468 140721552065968 140267341908592 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5183] ppid=5163 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5183/stat : 5183 (java) S 5163 5163 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97016314 26623803392 6557 33554432000 4194304 4196468 140721552065968 140267340855776 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5184] ppid=5163 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/5165/task/5184/stat : 5184 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97016314 26623803392 6557 33554432000 4194304 4196468 140721552065968 140267339803312 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27608 KiB [startup+0.209822 s]* /proc/loadavg: 8.15 8.31 7.49 3/200 5184 /proc/meminfo: memFree=29137800/32770624 swapFree=67108860/67108860 [pid=5163] ppid=5160 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5163/stat : 5163 (xcsp3-exec) S 5160 5163 3823 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97016308 9740288 345 33554432000 4194304 5098028 140723079298928 140723079297032 140501613101692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22069248 140723079300203 140723079300412 140723079300412 140723079303147 0 /proc/5163/statm: 2378 345 289 221 0 87 0 [pid=5165] ppid=5163 vsize=26004064 memory=39080 CPUtime=0.33 cores=0-7 /proc/5165/stat : 5165 (java) S 5163 5163 3823 0 -1 1077944320 8308 0 0 0 30 3 0 0 20 0 20 0 97016308 26628161536 9770 33554432000 4194304 4196468 140721552065968 140721552048512 140268607180535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 /proc/5165/statm: 6501016 9770 3068 1 0 6488269 0 [pid=5165/tid=5166] ppid=5163 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/5165/task/5166/stat : 5166 (java) R 5163 5163 3823 0 -1 4202560 5389 0 0 0 18 1 0 0 20 0 20 0 97016308 26628161536 9770 33554432000 4194304 4196468 140721552065968 140268611397376 140268607192470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5167] ppid=5163 vsize=26004064 memory=327 CPUtime=0 cores=0-7 /proc/5165/task/5167/stat : 5167 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 9770 33554432000 4194304 4196468 140721552065968 140268559800848 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5168] ppid=5163 vsize=26004064 memory=140212084562857 CPUtime=0 cores=0-7 /proc/5165/task/5168/stat : 5168 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 9770 33554432000 4194304 4196468 140721552065968 140268558748304 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5169] ppid=5163 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5165/task/5169/stat : 5169 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 9770 33554432000 4194304 4196468 140721552065968 140268557695248 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5170] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5170/stat : 5170 (java) S 5163 5163 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 9770 33554432000 4194304 4196468 140721552065968 140268556642704 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5171] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5171/stat : 5171 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 9770 33554432000 4194304 4196468 140721552065968 140268555590672 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5172] ppid=5163 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5165/task/5172/stat : 5172 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 9770 33554432000 4194304 4196468 140721552065968 140268554538128 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5173] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5173/stat : 5173 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 9770 33554432000 4194304 4196468 140721552065968 140268553485072 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5174] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5174/stat : 5174 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 9770 33554432000 4194304 4196468 140721552065968 140268552432528 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5175] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5175/stat : 5175 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016310 26628161536 9770 33554432000 4194304 4196468 140721552065968 140267349276912 140268607191682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5176] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5176/stat : 5176 (java) S 5163 5163 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97016311 26628161536 9770 33554432000 4194304 4196468 140721552065968 140267348223136 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5177] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5177/stat : 5177 (java) S 5163 5163 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97016311 26628161536 9770 33554432000 4194304 4196468 140721552065968 140267347170032 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5178] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5178/stat : 5178 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97016313 26628161536 9770 33554432000 4194304 4196468 140721552065968 140267346118608 140268607199131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5179] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5179/stat : 5179 (java) S 5163 5163 3823 0 -1 1077944384 493 0 0 0 0 0 0 0 20 0 20 0 97016313 26628161536 9770 33554432000 4194304 4196468 140721552065968 140267345066736 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5180] ppid=5163 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/5165/task/5180/stat : 5180 (java) S 5163 5163 3823 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 97016314 26628161536 9770 33554432000 4194304 4196468 140721552065968 140267344014192 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5181] ppid=5163 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/5165/task/5181/stat : 5181 (java) S 5163 5163 3823 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 20 0 97016314 26628161536 9770 33554432000 4194304 4196468 140721552065968 140267342961136 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5182] ppid=5163 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/5165/task/5182/stat : 5182 (java) R 5163 5163 3823 0 -1 4202560 748 0 0 0 7 0 0 0 20 0 20 0 97016314 26628161536 9770 33554432000 4194304 4196468 140721552065968 140267341908592 140268591261022 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5183] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5183/stat : 5183 (java) S 5163 5163 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97016314 26628161536 9770 33554432000 4194304 4196468 140721552065968 140267340855776 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5184] ppid=5163 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5165/task/5184/stat : 5184 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97016314 26628161536 9770 33554432000 4194304 4196468 140721552065968 140267339803312 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40460 KiB [startup+0.309496 s]* /proc/loadavg: 8.15 8.31 7.49 3/200 5184 /proc/meminfo: memFree=29133272/32770624 swapFree=67108860/67108860 [pid=5163] ppid=5160 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5163/stat : 5163 (xcsp3-exec) S 5160 5163 3823 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97016308 9740288 345 33554432000 4194304 5098028 140723079298928 140723079297032 140501613101692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22069248 140723079300203 140723079300412 140723079300412 140723079303147 0 /proc/5163/statm: 2378 345 289 221 0 87 0 [pid=5165] ppid=5163 vsize=26004064 memory=43720 CPUtime=0.51 cores=0-7 /proc/5165/stat : 5165 (java) S 5163 5163 3823 0 -1 1077944320 9148 0 0 0 47 4 0 0 20 0 20 0 97016308 26628161536 10930 33554432000 4194304 4196468 140721552065968 140721552048512 140268607180535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 /proc/5165/statm: 6501016 10930 3083 1 0 6488269 0 [pid=5165/tid=5166] ppid=5163 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/5165/task/5166/stat : 5166 (java) R 5163 5163 3823 0 -1 4202560 6060 0 0 0 27 2 0 0 20 0 20 0 97016308 26628161536 10930 33554432000 4194304 4196468 140721552065968 140268611418352 140268593248654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5167] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5167/stat : 5167 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 10930 33554432000 4194304 4196468 140721552065968 140268559800848 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5168] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5168/stat : 5168 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 10930 33554432000 4194304 4196468 140721552065968 140268558748304 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5169] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5169/stat : 5169 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 10930 33554432000 4194304 4196468 140721552065968 140268557695248 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5170] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5170/stat : 5170 (java) S 5163 5163 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 10930 33554432000 4194304 4196468 140721552065968 140268556642704 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5171] ppid=5163 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/5165/task/5171/stat : 5171 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 10930 33554432000 4194304 4196468 140721552065968 140268555590672 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5172] ppid=5163 vsize=26004064 memory=140211958936495 CPUtime=0 cores=0-7 /proc/5165/task/5172/stat : 5172 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 11442 33554432000 4194304 4196468 140721552065968 140268554538128 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5173] ppid=5163 vsize=26004064 memory=140211958938800 CPUtime=0 cores=0-7 /proc/5165/task/5173/stat : 5173 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 11442 33554432000 4194304 4196468 140721552065968 140268553485072 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5174] ppid=5163 vsize=26004064 memory=140211958941104 CPUtime=0 cores=0-7 /proc/5165/task/5174/stat : 5174 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26628161536 11442 33554432000 4194304 4196468 140721552065968 140268552432528 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5175] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5175/stat : 5175 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016310 26628161536 11442 33554432000 4194304 4196468 140721552065968 140267349276912 140268607191682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5176] ppid=5163 vsize=26004064 memory=280423917889168 CPUtime=0 cores=0-7 /proc/5165/task/5176/stat : 5176 (java) S 5163 5163 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97016311 26628161536 11442 33554432000 4194304 4196468 140721552065968 140267348223136 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5177] ppid=5163 vsize=26004064 memory=280423917896080 CPUtime=0 cores=0-7 /proc/5165/task/5177/stat : 5177 (java) S 5163 5163 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97016311 26628161536 11442 33554432000 4194304 4196468 140721552065968 140267347170032 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5178] ppid=5163 vsize=26004064 memory=280423917837360 CPUtime=0 cores=0-7 /proc/5165/task/5178/stat : 5178 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97016313 26628161536 11442 33554432000 4194304 4196468 140721552065968 140267346118608 140268607199131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5179] ppid=5163 vsize=26004064 memory=280423917909904 CPUtime=0.01 cores=0-7 /proc/5165/task/5179/stat : 5179 (java) S 5163 5163 3823 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 20 0 97016313 26628161536 11442 33554432000 4194304 4196468 140721552065968 140267345066736 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5180] ppid=5163 vsize=26004064 memory=280423917916816 CPUtime=0.02 cores=0-7 /proc/5165/task/5180/stat : 5180 (java) S 5163 5163 3823 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 20 0 97016314 26628161536 11442 33554432000 4194304 4196468 140721552065968 140267344014192 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5181] ppid=5163 vsize=26004064 memory=280423917914512 CPUtime=0.03 cores=0-7 /proc/5165/task/5181/stat : 5181 (java) S 5163 5163 3823 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 20 0 97016314 26628161536 11442 33554432000 4194304 4196468 140721552065968 140267342961136 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5182] ppid=5163 vsize=26004064 memory=280423917930672 CPUtime=0.12 cores=0-7 /proc/5165/task/5182/stat : 5182 (java) R 5163 5163 3823 0 -1 4202560 875 0 0 0 12 0 0 0 20 0 20 0 97016314 26628161536 11442 33554432000 4194304 4196468 140721552065968 140267341906384 140268586314048 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5183] ppid=5163 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5183/stat : 5183 (java) S 5163 5163 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97016314 26628161536 11442 33554432000 4194304 4196468 140721552065968 140267340855776 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5184] ppid=5163 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/5165/task/5184/stat : 5184 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97016314 26628161536 11442 33554432000 4194304 4196468 140721552065968 140267339803312 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45100 KiB [startup+0.700935 s] /proc/loadavg: 8.15 8.31 7.49 5/200 5184 /proc/meminfo: memFree=29117452/32770624 swapFree=67108860/67108860 [pid=5163] ppid=5160 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5163/stat : 5163 (xcsp3-exec) S 5160 5163 3823 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97016308 9740288 345 33554432000 4194304 5098028 140723079298928 140723079297032 140501613101692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22069248 140723079300203 140723079300412 140723079300412 140723079303147 0 /proc/5163/statm: 2378 345 289 221 0 87 0 [pid=5165] ppid=5163 vsize=26006188 memory=91096 CPUtime=1.71 cores=0-7 /proc/5165/stat : 5165 (java) S 5163 5163 3823 0 -1 1077944320 14006 0 0 0 165 6 0 0 20 0 20 0 97016308 26630336512 22774 33554432000 4194304 4196468 140721552065968 140721552048512 140268607180535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 /proc/5165/statm: 6501547 22774 3207 1 0 6488781 0 [pid=5165/tid=5166] ppid=5163 vsize=26006188 memory=280423918288560 CPUtime=0.66 cores=0-7 /proc/5165/task/5166/stat : 5166 (java) R 5163 5163 3823 0 -1 4202560 6970 0 0 0 63 3 0 0 20 0 20 0 97016308 26630336512 22774 33554432000 4194304 4196468 140721552065968 140268611417104 140268607202461 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5167] ppid=5163 vsize=26006188 memory=140211959145328 CPUtime=0 cores=0-7 /proc/5165/task/5167/stat : 5167 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97016309 26630336512 22774 33554432000 4194304 4196468 140721552065968 140268559800848 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5168] ppid=5163 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/5165/task/5168/stat : 5168 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26630336512 22774 33554432000 4194304 4196468 140721552065968 140268558748304 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5169] ppid=5163 vsize=26006188 memory=5296 CPUtime=0 cores=0-7 /proc/5165/task/5169/stat : 5169 (java) S 5163 5163 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97016309 26630336512 22774 33554432000 4194304 4196468 140721552065968 140268557695248 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 ################ # More data... # ################ [pid=5165/tid=5376] ppid=5163 vsize=26540748 memory=14698478437665088 CPUtime=6.02 cores=0-7 /proc/5165/task/5376/stat : 5376 (java) S 5163 5163 3823 0 -1 1077944384 19 0 0 0 602 0 0 0 20 0 28 0 97031916 27177725952 54895 33554432000 4194304 4196468 140721552065968 140267256538128 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 Current children cumulated CPU time: 1074.6 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 220960 KiB [startup+222.302 s] /proc/loadavg: 4.83 6.80 7.08 9/207 5424 /proc/meminfo: memFree=28938336/32770624 swapFree=67108860/67108860 [pid=5163] ppid=5160 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5163/stat : 5163 (xcsp3-exec) S 5160 5163 3823 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97016308 9740288 345 33554432000 4194304 5098028 140723079298928 140723079297032 140501613101692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22069248 140723079300203 140723079300412 140723079300412 140723079303147 0 /proc/5163/statm: 2378 345 289 221 0 87 0 [pid=5165] ppid=5163 vsize=26540748 memory=236444 CPUtime=1408.17 cores=0-7 /proc/5165/stat : 5165 (java) S 5163 5163 3823 0 -1 1077944320 148114 0 0 0 140713 104 0 0 20 0 28 0 97016308 27177725952 59111 33554432000 4194304 4196468 140721552065968 140721552048512 140268607180535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 /proc/5165/statm: 6635187 59111 3283 1 0 6622421 0 [pid=5165/tid=5166] ppid=5163 vsize=26540748 memory=232576 CPUtime=0.88 cores=0-7 /proc/5165/task/5166/stat : 5166 (java) S 5163 5163 3823 0 -1 1077944384 9644 0 0 0 84 4 0 0 20 0 28 0 97016308 27177725952 59111 33554432000 4194304 4196468 140721552065968 140268611421312 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5167] ppid=5163 vsize=26540748 memory=232576 CPUtime=0.19 cores=0-7 /proc/5165/task/5167/stat : 5167 (java) S 5163 5163 3823 0 -1 1077944384 2659 0 0 0 14 5 0 0 20 0 28 0 97016309 27177725952 59111 33554432000 4194304 4196468 140721552065968 140268559800848 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5168] ppid=5163 vsize=26540748 memory=232580 CPUtime=0.17 cores=0-7 /proc/5165/task/5168/stat : 5168 (java) S 5163 5163 3823 0 -1 1077944384 2534 0 0 0 14 3 0 0 20 0 28 0 97016309 27177725952 59111 33554432000 4194304 4196468 140721552065968 140268558748304 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5169] ppid=5163 vsize=26540748 memory=232580 CPUtime=0.21 cores=0-7 /proc/5165/task/5169/stat : 5169 (java) S 5163 5163 3823 0 -1 1077944384 1391 0 0 0 17 4 0 0 20 0 28 0 97016309 27177725952 59111 33554432000 4194304 4196468 140721552065968 140268557695248 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5170] ppid=5163 vsize=26540748 memory=234640 CPUtime=0.21 cores=0-7 /proc/5165/task/5170/stat : 5170 (java) S 5163 5163 3823 0 -1 1077944384 3624 0 0 0 17 4 0 0 20 0 28 0 97016309 27177725952 59111 33554432000 4194304 4196468 140721552065968 140268556642704 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5171] ppid=5163 vsize=26540748 memory=236696 CPUtime=0.19 cores=0-7 /proc/5165/task/5171/stat : 5171 (java) S 5163 5163 3823 0 -1 1077944384 2864 0 0 0 15 4 0 0 20 0 28 0 97016309 27177725952 59111 33554432000 4194304 4196468 140721552065968 140268555590672 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5172] ppid=5163 vsize=26540748 memory=1380 CPUtime=0.19 cores=0-7 /proc/5165/task/5172/stat : 5172 (java) S 5163 5163 3823 0 -1 1077944384 1733 0 0 0 15 4 0 0 20 0 28 0 97016309 27177725952 59111 33554432000 4194304 4196468 140721552065968 140268554538128 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5173] ppid=5163 vsize=26540748 memory=236696 CPUtime=0.2 cores=0-7 /proc/5165/task/5173/stat : 5173 (java) S 5163 5163 3823 0 -1 1077944384 2072 0 0 0 16 4 0 0 20 0 28 0 97016309 27177725952 59111 33554432000 4194304 4196468 140721552065968 140268553485072 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5174] ppid=5163 vsize=26540748 memory=236444 CPUtime=0.19 cores=0-7 /proc/5165/task/5174/stat : 5174 (java) S 5163 5163 3823 0 -1 1077944384 1136 0 0 0 16 3 0 0 20 0 28 0 97016309 27177725952 59111 33554432000 4194304 4196468 140721552065968 140268552432528 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5175] ppid=5163 vsize=26540748 memory=236444 CPUtime=0.48 cores=0-7 /proc/5165/task/5175/stat : 5175 (java) S 5163 5163 3823 0 -1 1077944384 7607 0 0 0 26 22 0 0 20 0 28 0 97016310 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267349276912 140268607191682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5176] ppid=5163 vsize=26540748 memory=1380 CPUtime=0 cores=0-7 /proc/5165/task/5176/stat : 5176 (java) S 5163 5163 3823 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 97016311 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267348223200 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5177] ppid=5163 vsize=26540748 memory=280423919837792 CPUtime=0 cores=0-7 /proc/5165/task/5177/stat : 5177 (java) S 5163 5163 3823 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 97016311 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267347170048 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5178] ppid=5163 vsize=26540748 memory=234640 CPUtime=0 cores=0-7 /proc/5165/task/5178/stat : 5178 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97016313 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267346118608 140268607199131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5179] ppid=5163 vsize=26540748 memory=1380 CPUtime=2.76 cores=0-7 /proc/5165/task/5179/stat : 5179 (java) S 5163 5163 3823 0 -1 1077944384 17449 0 0 0 272 4 0 0 20 0 28 0 97016313 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267345066736 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5180] ppid=5163 vsize=26540748 memory=232576 CPUtime=3.22 cores=0-7 /proc/5165/task/5180/stat : 5180 (java) S 5163 5163 3823 0 -1 1077944384 18800 0 0 0 318 4 0 0 20 0 28 0 97016314 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267344014192 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5181] ppid=5163 vsize=26540748 memory=1380 CPUtime=2.97 cores=0-7 /proc/5165/task/5181/stat : 5181 (java) S 5163 5163 3823 0 -1 1077944384 16512 0 0 0 293 4 0 0 20 0 28 0 97016314 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267342961136 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5182] ppid=5163 vsize=26540748 memory=234640 CPUtime=1 cores=0-7 /proc/5165/task/5182/stat : 5182 (java) S 5163 5163 3823 0 -1 1077944384 19675 0 0 0 97 3 0 0 20 0 28 0 97016314 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267341908592 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5183] ppid=5163 vsize=26540748 memory=1380 CPUtime=0 cores=0-7 /proc/5165/task/5183/stat : 5183 (java) S 5163 5163 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97016314 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267340855776 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5184] ppid=5163 vsize=26540748 memory=234648 CPUtime=0.04 cores=0-7 /proc/5165/task/5184/stat : 5184 (java) S 5163 5163 3823 0 -1 1077944384 1234 0 0 0 2 2 0 0 20 0 28 0 97016314 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267339803312 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5417] ppid=5163 vsize=26540748 memory=1380 CPUtime=4.19 cores=0-7 /proc/5165/task/5417/stat : 5417 (java) R 5163 5163 3823 0 -1 4202560 18 0 0 0 419 0 0 0 20 0 28 0 97038116 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267329685816 140268221175252 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5418] ppid=5163 vsize=26540748 memory=4140 CPUtime=4.19 cores=0-7 /proc/5165/task/5418/stat : 5418 (java) R 5163 5163 3823 0 -1 4202560 19 0 0 0 419 0 0 0 20 0 28 0 97038116 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267330740200 140268222247751 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5419] ppid=5163 vsize=26540748 memory=4140 CPUtime=4.18 cores=0-7 /proc/5165/task/5419/stat : 5419 (java) R 5163 5163 3823 0 -1 4202560 20 0 0 0 418 0 0 0 20 0 28 0 97038116 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267256533608 140268223626345 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5420] ppid=5163 vsize=26540748 memory=27752 CPUtime=4.12 cores=0-7 /proc/5165/task/5420/stat : 5420 (java) R 5163 5163 3823 0 -1 4202560 18 0 0 0 412 0 0 0 20 0 28 0 97038116 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267325477640 140268220840402 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5421] ppid=5163 vsize=26540748 memory=4140 CPUtime=4.18 cores=0-7 /proc/5165/task/5421/stat : 5421 (java) R 5163 5163 3823 0 -1 4202560 17 0 0 0 418 0 0 0 20 0 28 0 97038116 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267328637552 140268224888512 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5422] ppid=5163 vsize=26540748 memory=2240 CPUtime=4.16 cores=0-7 /proc/5165/task/5422/stat : 5422 (java) R 5163 5163 3823 0 -1 4202560 17 0 0 0 416 0 0 0 20 0 28 0 97038116 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267331792496 140268222831239 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5423] ppid=5163 vsize=26540748 memory=1380 CPUtime=4.19 cores=0-7 /proc/5165/task/5423/stat : 5423 (java) R 5163 5163 3823 0 -1 4202560 19 0 0 0 419 0 0 0 20 0 28 0 97038116 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267327582552 140268222831022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5424] ppid=5163 vsize=26540748 memory=236696 CPUtime=4.18 cores=0-7 /proc/5165/task/5424/stat : 5424 (java) R 5163 5163 3823 0 -1 4202560 17 0 0 0 418 0 0 0 20 0 28 0 97038116 27177725952 59111 33554432000 4194304 4196468 140721552065968 140267326529272 140268221687320 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 Current children cumulated CPU time: 1408.17 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 237824 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 3.74 6.35 6.92 2/207 5448 /proc/meminfo: memFree=28927408/32770624 swapFree=67108860/67108860 [pid=5163] ppid=5160 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/5163/stat : 5163 (xcsp3-exec) S 5160 5163 3823 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97016308 9740288 345 33554432000 4194304 5098028 140723079298928 140723079297032 140501613101692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22069248 140723079300203 140723079300412 140723079300412 140723079303147 0 /proc/5163/statm: 2378 345 289 221 0 87 0 [pid=5165] ppid=5163 vsize=26540748 memory=247520 CPUtime=1577.68 cores=0-7 /proc/5165/stat : 5165 (java) S 5163 5163 3823 0 -1 1077944320 153393 0 0 0 157652 116 0 0 20 0 28 0 97016308 27177725952 61880 33554432000 4194304 4196468 140721552065968 140721552048512 140268607180535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 /proc/5165/statm: 6635187 61880 3283 1 0 6622421 0 [pid=5165/tid=5166] ppid=5163 vsize=26540748 memory=8112282956445269571 CPUtime=0.89 cores=0-7 /proc/5165/task/5166/stat : 5166 (java) S 5163 5163 3823 0 -1 1077944384 9708 0 0 0 84 5 0 0 20 0 28 0 97016308 27177725952 61880 33554432000 4194304 4196468 140721552065968 140268611421312 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5167] ppid=5163 vsize=26540748 memory=4126316290023845779 CPUtime=0.21 cores=0-7 /proc/5165/task/5167/stat : 5167 (java) S 5163 5163 3823 0 -1 1077944384 2702 0 0 0 16 5 0 0 20 0 28 0 97016309 27177725952 61880 33554432000 4194304 4196468 140721552065968 140268559800848 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5168] ppid=5163 vsize=26540748 memory=2240 CPUtime=0.19 cores=0-7 /proc/5165/task/5168/stat : 5168 (java) S 5163 5163 3823 0 -1 1077944384 2561 0 0 0 16 3 0 0 20 0 28 0 97016309 27177725952 61880 33554432000 4194304 4196468 140721552065968 140268558748304 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5169] ppid=5163 vsize=26540748 memory=4128 CPUtime=0.23 cores=0-7 /proc/5165/task/5169/stat : 5169 (java) S 5163 5163 3823 0 -1 1077944384 1412 0 0 0 19 4 0 0 20 0 28 0 97016309 27177725952 61880 33554432000 4194304 4196468 140721552065968 140268557695248 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5170] ppid=5163 vsize=26540748 memory=1572 CPUtime=0.23 cores=0-7 /proc/5165/task/5170/stat : 5170 (java) S 5163 5163 3823 0 -1 1077944384 3686 0 0 0 19 4 0 0 20 0 28 0 97016309 27177725952 61880 33554432000 4194304 4196468 140721552065968 140268556642704 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5171] ppid=5163 vsize=26540748 memory=932 CPUtime=0.21 cores=0-7 /proc/5165/task/5171/stat : 5171 (java) S 5163 5163 3823 0 -1 1077944384 3030 0 0 0 17 4 0 0 20 0 28 0 97016309 27177725952 61880 33554432000 4194304 4196468 140721552065968 140268555590672 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5172] ppid=5163 vsize=26540748 memory=2200 CPUtime=0.21 cores=0-7 /proc/5165/task/5172/stat : 5172 (java) S 5163 5163 3823 0 -1 1077944384 1752 0 0 0 17 4 0 0 20 0 28 0 97016309 27177725952 61880 33554432000 4194304 4196468 140721552065968 140268554538128 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5173] ppid=5163 vsize=26540748 memory=6504 CPUtime=0.23 cores=0-7 /proc/5165/task/5173/stat : 5173 (java) S 5163 5163 3823 0 -1 1077944384 2297 0 0 0 18 5 0 0 20 0 28 0 97016309 27177725952 61880 33554432000 4194304 4196468 140721552065968 140268553485072 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5174] ppid=5163 vsize=26540748 memory=8112282956445269571 CPUtime=0.22 cores=0-7 /proc/5165/task/5174/stat : 5174 (java) S 5163 5163 3823 0 -1 1077944384 1196 0 0 0 18 4 0 0 20 0 28 0 97016309 27177725952 61880 33554432000 4194304 4196468 140721552065968 140268552432528 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5175] ppid=5163 vsize=26540748 memory=2340 CPUtime=0.59 cores=0-7 /proc/5165/task/5175/stat : 5175 (java) S 5163 5163 3823 0 -1 1077944384 7897 0 0 0 31 28 0 0 20 0 28 0 97016310 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267349276912 140268607191682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5176] ppid=5163 vsize=26540748 memory=1236 CPUtime=0 cores=0-7 /proc/5165/task/5176/stat : 5176 (java) S 5163 5163 3823 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 97016311 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267348223200 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5177] ppid=5163 vsize=26540748 memory=2240 CPUtime=0 cores=0-7 /proc/5165/task/5177/stat : 5177 (java) S 5163 5163 3823 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 97016311 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267347170048 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5178] ppid=5163 vsize=26540748 memory=4128 CPUtime=0 cores=0-7 /proc/5165/task/5178/stat : 5178 (java) S 5163 5163 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97016313 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267346118608 140268607199131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5179] ppid=5163 vsize=26540748 memory=1572 CPUtime=2.78 cores=0-7 /proc/5165/task/5179/stat : 5179 (java) S 5163 5163 3823 0 -1 1077944384 17939 0 0 0 274 4 0 0 20 0 28 0 97016313 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267345066736 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5180] ppid=5163 vsize=26540748 memory=932 CPUtime=3.23 cores=0-7 /proc/5165/task/5180/stat : 5180 (java) S 5163 5163 3823 0 -1 1077944384 19115 0 0 0 319 4 0 0 20 0 28 0 97016314 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267344014192 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5181] ppid=5163 vsize=26540748 memory=2200 CPUtime=2.98 cores=0-7 /proc/5165/task/5181/stat : 5181 (java) S 5163 5163 3823 0 -1 1077944384 16516 0 0 0 294 4 0 0 20 0 28 0 97016314 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267342961136 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5182] ppid=5163 vsize=26540748 memory=6504 CPUtime=1.02 cores=0-7 /proc/5165/task/5182/stat : 5182 (java) S 5163 5163 3823 0 -1 1077944384 20829 0 0 0 98 4 0 0 20 0 28 0 97016314 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267341908592 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5183] ppid=5163 vsize=26540748 memory=840 CPUtime=0 cores=0-7 /proc/5165/task/5183/stat : 5183 (java) S 5163 5163 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97016314 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267340855776 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5184] ppid=5163 vsize=26540748 memory=4104 CPUtime=0.05 cores=0-7 /proc/5165/task/5184/stat : 5184 (java) S 5163 5163 3823 0 -1 1077944384 1294 0 0 0 3 2 0 0 20 0 28 0 97016314 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267339803312 140268607191682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5441] ppid=5163 vsize=26540748 memory=1692 CPUtime=3.15 cores=0-7 /proc/5165/task/5441/stat : 5441 (java) S 5163 5163 3823 0 -1 1077944384 219 0 0 0 315 0 0 0 20 0 28 0 97040998 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267331796288 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5442] ppid=5163 vsize=26540748 memory=916 CPUtime=3.17 cores=0-7 /proc/5165/task/5442/stat : 5442 (java) S 5163 5163 3823 0 -1 1077944384 179 0 0 0 317 0 0 0 20 0 28 0 97040998 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267329692544 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5443] ppid=5163 vsize=26540748 memory=4116 CPUtime=3.17 cores=0-7 /proc/5165/task/5443/stat : 5443 (java) S 5163 5163 3823 0 -1 1077944384 173 0 0 0 317 0 0 0 20 0 28 0 97040998 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267327587840 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5444] ppid=5163 vsize=26540748 memory=8112282956445269571 CPUtime=3.12 cores=0-7 /proc/5165/task/5444/stat : 5444 (java) S 5163 5163 3823 0 -1 1077944384 340 0 0 0 312 0 0 0 20 0 28 0 97040998 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267328640640 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5445] ppid=5163 vsize=26540748 memory=1196 CPUtime=5.09 cores=0-7 /proc/5165/task/5445/stat : 5445 (java) R 5163 5163 3823 0 -1 4202560 251 0 0 0 509 0 0 0 20 0 28 0 97040998 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267325476800 140268224888525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5446] ppid=5163 vsize=26540748 memory=4612 CPUtime=3.16 cores=0-7 /proc/5165/task/5446/stat : 5446 (java) S 5163 5163 3823 0 -1 1077944384 158 0 0 0 316 0 0 0 20 0 28 0 97040998 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267256538496 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5447] ppid=5163 vsize=26540748 memory=15872 CPUtime=3.17 cores=0-7 /proc/5165/task/5447/stat : 5447 (java) S 5163 5163 3823 0 -1 1077944384 140 0 0 0 317 0 0 0 20 0 28 0 97040998 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267330745344 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 [pid=5165/tid=5448] ppid=5163 vsize=26540748 memory=18448 CPUtime=3.16 cores=0-7 /proc/5165/task/5448/stat : 5448 (java) S 5163 5163 3823 0 -1 1077944384 100 0 0 0 316 0 0 0 20 0 28 0 97040998 27177725952 61880 33554432000 4194304 4196468 140721552065968 140267326534784 140268607190741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12734464 140721552073880 140721552074056 140721552074056 140721552076751 0 Current children cumulated CPU time: 1577.68 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 248900 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.019 s] # the end of solver process 5163 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000945 s, system=0.000945 s [startup+252.041 s] # the end of solver process 5165 was just reported to runsolver # cumulated CPU time of all completed processes: user=1576.57 s, system=1.18122 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): 252.041 CPU time (s): 1577.75 CPU user time (s): 1576.57 CPU system time (s): 1.18122 CPU usage (%): 625.989 Max. virtual memory (cumulated for all children) (KiB): 26552548 Max. memory (cumulated for all children) (KiB): 319976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1576.57 system time used= 1.18122 maximum resident set size= 319112 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 155381 page faults= 0 swaps= 0 block input operations= 0 block output operations= 576 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24178 involuntary context switches= 17094 # summary of solver processes directly reported to runsolver: # pid: 5163,5165 # total CPU time (s): 1577.75 # total CPU user time (s): 1576.57 # total CPU system time (s): 1.18122 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.39643 second user time and 2.44147 second system time The end
Begin job on node107 at 2017-08-13 17:33:44 IDJOB=4271864 IDBENCH=115840 IDSOLVER=2663 FILE ID=node107/4271864-1502639282 RUNJOBID= node107-1502636397-3850 PBS_JOBID= 20628325 Free space on /tmp= 61660 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-6.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271864-1502639282/watcher-4271864-1502639282 -o /tmp/evaluation-result-4271864-1502639282/solver-4271864-1502639282 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 820179713 HOME/instance-4271864-1502639282.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0823366b416f0d4f591b1c2bb0d09de5 RANDOM SEED=820179713 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.84 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.84 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.84 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.84 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: 29165440 kB MemAvailable: 31993792 kB Buffers: 165608 kB Cached: 2951128 kB SwapCached: 0 kB Active: 525520 kB Inactive: 2644168 kB Active(anon): 55540 kB Inactive(anon): 24972 kB Active(file): 469980 kB Inactive(file): 2619196 kB Unevictable: 6328 kB Mlocked: 6328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7932 kB Writeback: 12 kB AnonPages: 58692 kB Mapped: 43468 kB Shmem: 25228 kB Slab: 135340 kB SReclaimable: 110020 kB SUnreclaim: 25320 kB KernelStack: 3184 kB PageTables: 5048 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323052 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61652 MiB End job on node107 at 2017-08-13 17:37:56