Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | OPT | 57 | 1.83259 | 0.71658099 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml |
MD5SUM | a1a47bf7c0dfac46ae24643a1dca38e9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 57 |
Best CPU time to get the best result obtained on this benchmark | 0.30228999 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 72 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 177 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":177,"count":31}] |
Minimum variable degree | 3 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":5,"count":6},{"degree":6,"count":12},{"degree":7,"count":9},{"degree":8,"count":1},{"degree":9,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 17 |
Distribution of constraint arities | [{"arity":2,"count":68},{"arity":14,"count":2},{"arity":16,"count":1},{"arity":17,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 68 |
Distribution of constraint types | [{"type":"intension","count":68},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280527-1503146669.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4280527-1503146669.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.19 c 8 solvers in parallel 0.33/0.26 c parse instance... 1.30/0.62 c solve instance... 1.30/0.69 o 57 1.30/0.70 s OPTIMUM FOUND 1.30/0.70 v <instantiation> 1.30/0.70 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] </list> 1.30/0.70 v <values>0 0 0 0 10 5 10 5 20 10 20 12 5 20 20 12 26 24 30 30 22 35 24 35 36 33 41 40 33 41 51 57 </values> 1.30/0.70 v </instantiation>
OK 57
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 (12777 MiB free) memory of node 1: 16384 MiB (12137 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280527-1503146669/watcher-4280527-1503146669 -o /tmp/evaluation-result-4280527-1503146669/solver-4280527-1503146669 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503143284-30089 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 987727031 HOME/instance-4280527-1503146669.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 Current StackSize limit: 8192 KiB solver pid=30544, runsolver pid=30541 [startup+0.100147 s]* /proc/loadavg: 7.63 8.14 8.17 3/201 30565 /proc/meminfo: memFree=25497636/32770624 swapFree=67108860/67108860 [pid=30544] ppid=30541 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30544/stat : 30544 (xcsp3-exec) S 30541 30544 30062 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147747811 9740288 346 33554432000 4194304 5098028 140732611091152 140732611089256 140231341105788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39456768 140732611097701 140732611097911 140732611097911 140732611100651 0 /proc/30544/statm: 2378 346 289 221 0 87 0 [pid=30546] ppid=30544 vsize=25999808 memory=26212 CPUtime=0.12 cores=0-7 /proc/30546/stat : 30546 (java) S 30544 30544 30062 0 -1 1077944320 5488 0 0 0 11 1 0 0 20 0 20 0 147747811 26623803392 6553 33554432000 4194304 4196468 140736422663872 140736422646416 140504539381495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 /proc/30546/statm: 6499952 6553 2849 1 0 6488269 0 [pid=30546/tid=30547] ppid=30544 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/30546/task/30547/stat : 30547 (java) R 30544 30544 30062 0 -1 4202560 3493 0 0 0 8 1 0 0 20 0 20 0 147747812 26623803392 6553 33554432000 4194304 4196468 140736422663872 140504543614768 140504167747652 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30548] ppid=30544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30548/stat : 30548 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 26623803392 6553 33554432000 4194304 4196468 140736422663872 140504492002192 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30549] ppid=30544 vsize=25999808 memory=140329089545856 CPUtime=0 cores=0-7 /proc/30546/task/30549/stat : 30549 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 26623803392 6553 33554432000 4194304 4196468 140736422663872 140504490949392 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30550] ppid=30544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30550/stat : 30550 (java) S 30544 30544 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147747812 26623803392 6553 33554432000 4194304 4196468 140736422663872 140504489897104 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30551] ppid=30544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30551/stat : 30551 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 26623803392 6553 33554432000 4194304 4196468 140736422663872 140504488844304 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30552] ppid=30544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30552/stat : 30552 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 26623803392 6553 33554432000 4194304 4196468 140736422663872 140504487790992 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30553] ppid=30544 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/30546/task/30553/stat : 30553 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747813 26623803392 6553 33554432000 4194304 4196468 140736422663872 140504092506384 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30554] ppid=30544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30554/stat : 30554 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747813 26623803392 6553 33554432000 4194304 4196468 140736422663872 140504091454096 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30555] ppid=30544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30555/stat : 30555 (java) S 30544 30544 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147747813 26623803392 6553 33554432000 4194304 4196468 140736422663872 140504090401296 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30556] ppid=30544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30556/stat : 30556 (java) S 30544 30544 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147747814 26623803392 6553 33554432000 4194304 4196468 140736422663872 140503281457776 140504539392642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30557] ppid=30544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30557/stat : 30557 (java) S 30544 30544 30062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147747814 26623803392 6553 33554432000 4194304 4196468 140736422663872 140503280403744 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30558] ppid=30544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30558/stat : 30558 (java) S 30544 30544 30062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147747815 26623803392 6553 33554432000 4194304 4196468 140736422663872 140503211304560 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30559] ppid=30544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30559/stat : 30559 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747817 26623803392 6553 33554432000 4194304 4196468 140736422663872 140503210252880 140504539400091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30560] ppid=30544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30560/stat : 30560 (java) R 30544 30544 30062 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 147747817 26623803392 6553 33554432000 4194304 4196468 140736422663872 140503209199728 140504539392642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30561] ppid=30544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30561/stat : 30561 (java) R 30544 30544 30062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 147747817 26623803392 6553 33554432000 4194304 4196468 140736422663872 140503208146928 140504539402842 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30562] ppid=30544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30562/stat : 30562 (java) S 30544 30544 30062 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 147747817 26623803392 6553 33554432000 4194304 4196468 140736422663872 140503207094640 140504539392642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30563] ppid=30544 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/30546/task/30563/stat : 30563 (java) R 30544 30544 30062 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 20 0 147747817 26623803392 6553 33554432000 4194304 4196468 140736422663872 140503206041840 140504539393430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30564] ppid=30544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30564/stat : 30564 (java) S 30544 30544 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147747817 26623803392 6553 33554432000 4194304 4196468 140736422663872 140503204989792 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30565] ppid=30544 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/30546/task/30565/stat : 30565 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747817 26623803392 6553 33554432000 4194304 4196468 140736422663872 140503203937072 140504539392642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27596 KiB [startup+0.210232 s]* /proc/loadavg: 7.63 8.14 8.17 2/201 30565 /proc/meminfo: memFree=25486480/32770624 swapFree=67108860/67108860 [pid=30544] ppid=30541 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30544/stat : 30544 (xcsp3-exec) S 30541 30544 30062 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147747811 9740288 346 33554432000 4194304 5098028 140732611091152 140732611089256 140231341105788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39456768 140732611097701 140732611097911 140732611097911 140732611100651 0 /proc/30544/statm: 2378 346 289 221 0 87 0 [pid=30546] ppid=30544 vsize=26004064 memory=39184 CPUtime=0.33 cores=0-7 /proc/30546/stat : 30546 (java) S 30544 30544 30062 0 -1 1077944320 8364 0 0 0 31 2 0 0 20 0 20 0 147747811 26628161536 9796 33554432000 4194304 4196468 140736422663872 140736422646416 140504539381495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 /proc/30546/statm: 6501016 9796 3071 1 0 6488269 0 [pid=30546/tid=30547] ppid=30544 vsize=26004096 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/30546/task/30547/stat : 30547 (java) R 30544 30544 30062 0 -1 4202560 5440 0 0 0 18 1 0 0 20 0 20 0 147747812 26628194304 9796 33554432000 4194304 4196468 140736422663872 140504543592304 140504532121485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30548] ppid=30544 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/30546/task/30548/stat : 30548 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 26628161536 9796 33554432000 4194304 4196468 140736422663872 140504492002192 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30549] ppid=30544 vsize=26004064 memory=140329090196411 CPUtime=0 cores=0-7 /proc/30546/task/30549/stat : 30549 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 26628161536 9796 33554432000 4194304 4196468 140736422663872 140504490949392 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30550] ppid=30544 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30546/task/30550/stat : 30550 (java) S 30544 30544 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147747812 26628161536 9796 33554432000 4194304 4196468 140736422663872 140504489897104 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30551] ppid=30544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30551/stat : 30551 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 26628161536 9796 33554432000 4194304 4196468 140736422663872 140504488844304 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30552] ppid=30544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30552/stat : 30552 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 26628161536 9796 33554432000 4194304 4196468 140736422663872 140504487790992 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30553] ppid=30544 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/30546/task/30553/stat : 30553 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747813 26628194304 9796 33554432000 4194304 4196468 140736422663872 140504092506384 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30554] ppid=30544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30554/stat : 30554 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747813 26628161536 9796 33554432000 4194304 4196468 140736422663872 140504091454096 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30555] ppid=30544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30555/stat : 30555 (java) S 30544 30544 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147747813 26628161536 9796 33554432000 4194304 4196468 140736422663872 140504090401296 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30556] ppid=30544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30556/stat : 30556 (java) S 30544 30544 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147747814 26628161536 9796 33554432000 4194304 4196468 140736422663872 140503281457776 140504539392642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30557] ppid=30544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30557/stat : 30557 (java) S 30544 30544 30062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147747814 26628161536 9796 33554432000 4194304 4196468 140736422663872 140503280403744 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30558] ppid=30544 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30558/stat : 30558 (java) S 30544 30544 30062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147747815 26628194304 9796 33554432000 4194304 4196468 140736422663872 140503211304560 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30559] ppid=30544 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30559/stat : 30559 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747817 26628194304 9796 33554432000 4194304 4196468 140736422663872 140503210252880 140504539400091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30560] ppid=30544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30560/stat : 30560 (java) S 30544 30544 30062 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 20 0 147747817 26628161536 9796 33554432000 4194304 4196468 140736422663872 140503209199728 140504539392642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30561] ppid=30544 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/30546/task/30561/stat : 30561 (java) S 30544 30544 30062 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 147747817 26628161536 9796 33554432000 4194304 4196468 140736422663872 140503208146928 140504539392642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30562] ppid=30544 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/30546/task/30562/stat : 30562 (java) S 30544 30544 30062 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 20 0 147747817 26628161536 9796 33554432000 4194304 4196468 140736422663872 140503207094640 140504539392642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30563] ppid=30544 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/30546/task/30563/stat : 30563 (java) S 30544 30544 30062 0 -1 1077944384 748 0 0 0 7 0 0 0 20 0 20 0 147747817 26628161536 9796 33554432000 4194304 4196468 140736422663872 140503206041840 140504539392642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30564] ppid=30544 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30564/stat : 30564 (java) S 30544 30544 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147747817 26628194304 9796 33554432000 4194304 4196468 140736422663872 140503204989792 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30565] ppid=30544 vsize=26004096 memory=-1 CPUtime=0 cores=0-7 /proc/30546/task/30565/stat : 30565 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747817 26628194304 9796 33554432000 4194304 4196468 140736422663872 140503203937072 140504539392642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40568 KiB [startup+0.309765 s]* /proc/loadavg: 7.63 8.14 8.17 3/201 30565 /proc/meminfo: memFree=25479904/32770624 swapFree=67108860/67108860 [pid=30544] ppid=30541 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30544/stat : 30544 (xcsp3-exec) S 30541 30544 30062 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147747811 9740288 346 33554432000 4194304 5098028 140732611091152 140732611089256 140231341105788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39456768 140732611097701 140732611097911 140732611097911 140732611100651 0 /proc/30544/statm: 2378 346 289 221 0 87 0 [pid=30546] ppid=30544 vsize=26004140 memory=46080 CPUtime=0.49 cores=0-7 /proc/30546/stat : 30546 (java) S 30544 30544 30062 0 -1 1077944320 9281 0 0 0 47 2 0 0 20 0 20 0 147747811 26628239360 11520 33554432000 4194304 4196468 140736422663872 140736422646416 140504539381495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 /proc/30546/statm: 6501035 11520 3101 1 0 6488269 0 [pid=30546/tid=30547] ppid=30544 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/30546/task/30547/stat : 30547 (java) R 30544 30544 30062 0 -1 4202560 6176 0 0 0 27 2 0 0 20 0 20 0 147747812 26628239360 11520 33554432000 4194304 4196468 140736422663872 140504543613824 140504532059509 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30548] ppid=30544 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30548/stat : 30548 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 26628239360 11520 33554432000 4194304 4196468 140736422663872 140504492002192 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30549] ppid=30544 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30549/stat : 30549 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 26628239360 11520 33554432000 4194304 4196468 140736422663872 140504490949392 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30550] ppid=30544 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30550/stat : 30550 (java) S 30544 30544 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147747812 26628239360 11520 33554432000 4194304 4196468 140736422663872 140504489897104 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30551] ppid=30544 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30551/stat : 30551 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 26628239360 11520 33554432000 4194304 4196468 140736422663872 140504488844304 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30552] ppid=30544 vsize=26004140 memory=2244 CPUtime=0 cores=0-7 /proc/30546/task/30552/stat : 30552 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 26628239360 11520 33554432000 4194304 4196468 140736422663872 140504487790992 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30553] ppid=30544 vsize=26004140 memory=140328929686447 CPUtime=0 cores=0-7 /proc/30546/task/30553/stat : 30553 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747813 26628239360 11520 33554432000 4194304 4196468 140736422663872 140504092506384 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30554] ppid=30544 vsize=26004140 memory=140328929688752 CPUtime=0 cores=0-7 /proc/30546/task/30554/stat : 30554 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747813 26628239360 11520 33554432000 4194304 4196468 140736422663872 140504091454096 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30555] ppid=30544 vsize=26004140 memory=140328929691056 CPUtime=0 cores=0-7 /proc/30546/task/30555/stat : 30555 (java) S 30544 30544 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147747813 26628239360 11520 33554432000 4194304 4196468 140736422663872 140504090401296 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30556] ppid=30544 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30556/stat : 30556 (java) S 30544 30544 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147747814 26628239360 11520 33554432000 4194304 4196468 140736422663872 140503281457776 140504539392642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30557] ppid=30544 vsize=26004140 memory=280657859389072 CPUtime=0 cores=0-7 /proc/30546/task/30557/stat : 30557 (java) S 30544 30544 30062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147747814 26628239360 11520 33554432000 4194304 4196468 140736422663872 140503280403744 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30558] ppid=30544 vsize=26004140 memory=280657859395984 CPUtime=0 cores=0-7 /proc/30546/task/30558/stat : 30558 (java) S 30544 30544 30062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147747815 26628239360 11520 33554432000 4194304 4196468 140736422663872 140503211304560 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30559] ppid=30544 vsize=26004140 memory=280657859337264 CPUtime=0 cores=0-7 /proc/30546/task/30559/stat : 30559 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747817 26628239360 11520 33554432000 4194304 4196468 140736422663872 140503210252880 140504539400091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30560] ppid=30544 vsize=26004140 memory=280657859409808 CPUtime=0.01 cores=0-7 /proc/30546/task/30560/stat : 30560 (java) S 30544 30544 30062 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 20 0 147747817 26628239360 11520 33554432000 4194304 4196468 140736422663872 140503209199728 140504539392642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30561] ppid=30544 vsize=26004140 memory=280657859416720 CPUtime=0.02 cores=0-7 /proc/30546/task/30561/stat : 30561 (java) S 30544 30544 30062 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 147747817 26628239360 11520 33554432000 4194304 4196468 140736422663872 140503208146928 140504539392642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30562] ppid=30544 vsize=26004140 memory=280657859414416 CPUtime=0.03 cores=0-7 /proc/30546/task/30562/stat : 30562 (java) S 30544 30544 30062 0 -1 1077944384 223 0 0 0 3 0 0 0 20 0 20 0 147747817 26628239360 11520 33554432000 4194304 4196468 140736422663872 140503207094640 140504539392642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30563] ppid=30544 vsize=26004140 memory=280657859430576 CPUtime=0.12 cores=0-7 /proc/30546/task/30563/stat : 30563 (java) R 30544 30544 30062 0 -1 4202560 857 0 0 0 12 0 0 0 20 0 20 0 147747817 26628239360 11520 33554432000 4194304 4196468 140736422663872 140503206041840 140504539402842 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30564] ppid=30544 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30564/stat : 30564 (java) S 30544 30544 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147747817 26628239360 11584 33554432000 4194304 4196468 140736422663872 140503204989792 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30565] ppid=30544 vsize=26004140 memory=-1 CPUtime=0 cores=0-7 /proc/30546/task/30565/stat : 30565 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747817 26628239360 11584 33554432000 4194304 4196468 140736422663872 140503203937072 140504539392642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013652 KiB Current children cumulated memory: 47464 KiB [startup+0.700911 s] /proc/loadavg: 7.63 8.14 8.17 4/201 30565 /proc/meminfo: memFree=25461684/32770624 swapFree=67108860/67108860 [pid=30544] ppid=30541 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30544/stat : 30544 (xcsp3-exec) S 30541 30544 30062 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147747811 9740288 346 33554432000 4194304 5098028 140732611091152 140732611089256 140231341105788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39456768 140732611097701 140732611097911 140732611097911 140732611100651 0 /proc/30544/statm: 2378 346 289 221 0 87 0 [pid=30546] ppid=30544 vsize=26538700 memory=112440 CPUtime=1.81 cores=0-7 /proc/30546/stat : 30546 (java) S 30544 30544 30062 0 -1 1077944320 13486 0 0 0 175 6 0 0 20 0 20 0 147747811 27175628800 28110 33554432000 4194304 4196468 140736422663872 140736422646416 140504539381495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 /proc/30546/statm: 6634675 28110 3216 1 0 6621909 0 [pid=30546/tid=30547] ppid=30544 vsize=26538700 memory=280657859788464 CPUtime=0.61 cores=0-7 /proc/30546/task/30547/stat : 30547 (java) R 30544 30544 30062 0 -1 4202560 6945 0 0 0 58 3 0 0 20 0 20 0 147747812 27175628800 28110 33554432000 4194304 4196468 140736422663872 140504543618736 140504521030443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30548] ppid=30544 vsize=26538700 memory=140328929895280 CPUtime=0 cores=0-7 /proc/30546/task/30548/stat : 30548 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 27175628800 28110 33554432000 4194304 4196468 140736422663872 140504492002192 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30549] ppid=30544 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30549/stat : 30549 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 27175628800 28110 33554432000 4194304 4196468 140736422663872 140504490949392 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30550] ppid=30544 vsize=26538700 memory=1204 CPUtime=0 cores=0-7 /proc/30546/task/30550/stat : 30550 (java) S 30544 30544 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147747812 27175628800 28622 33554432000 4194304 4196468 140736422663872 140504489897104 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30551] ppid=30544 vsize=26538700 memory=1728 CPUtime=0 cores=0-7 /proc/30546/task/30551/stat : 30551 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 27175628800 28622 33554432000 4194304 4196468 140736422663872 140504488844304 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30552] ppid=30544 vsize=26538700 memory=1440 CPUtime=0 cores=0-7 /proc/30546/task/30552/stat : 30552 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 27175628800 28622 33554432000 4194304 4196468 140736422663872 140504487790992 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30553] ppid=30544 vsize=26538700 memory=15880 CPUtime=0 cores=0-7 /proc/30546/task/30553/stat : 30553 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747813 27175628800 28622 33554432000 4194304 4196468 140736422663872 140504092506384 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30554] ppid=30544 vsize=26538700 memory=16432 CPUtime=0 cores=0-7 /proc/30546/task/30554/stat : 30554 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747813 27175628800 28622 33554432000 4194304 4196468 140736422663872 140504091454096 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30555] ppid=30544 vsize=26538700 memory=23720 CPUtime=0 cores=0-7 /proc/30546/task/30555/stat : 30555 (java) S 30544 30544 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147747813 27175628800 28622 33554432000 4194304 4196468 140736422663872 140504090401296 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30556] ppid=30544 vsize=26538700 memory=4044 CPUtime=0 cores=0-7 /proc/30546/task/30556/stat : 30556 (java) S 30544 30544 30062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 147747814 27175628800 28623 33554432000 4194304 4196468 140736422663872 140503281457776 140504539392642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30557] ppid=30544 vsize=26538700 memory=1792 CPUtime=0 cores=0-7 /proc/30546/task/30557/stat : 30557 (java) S 30544 30544 30062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147747814 27175628800 28623 33554432000 4194304 4196468 140736422663872 140503280403744 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30558] ppid=30544 vsize=26538700 memory=636 CPUtime=0 cores=0-7 /proc/30546/task/30558/stat : 30558 (java) S 30544 30544 30062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147747815 27175628800 28623 33554432000 4194304 4196468 140736422663872 140503211304560 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30559] ppid=30544 vsize=26538700 memory=1236 CPUtime=0 cores=0-7 /proc/30546/task/30559/stat : 30559 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747817 27175628800 28623 33554432000 4194304 4196468 140736422663872 140503210252880 140504539400091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30560] ppid=30544 vsize=26538700 memory=22244 CPUtime=0.16 cores=0-7 /proc/30546/task/30560/stat : 30560 (java) R 30544 30544 30062 0 -1 4202560 850 0 0 0 16 0 0 0 20 0 20 0 147747817 27175628800 28623 33554432000 4194304 4196468 140736422663872 140503209191680 140504520017379 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30561] ppid=30544 vsize=26538700 memory=1004 CPUtime=0.19 cores=0-7 /proc/30546/task/30561/stat : 30561 (java) R 30544 30544 30062 0 -1 4202560 1037 0 0 0 19 0 0 0 20 0 20 0 147747817 27175628800 28623 33554432000 4194304 4196468 140736422663872 140503208136848 140504539393430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30562] ppid=30544 vsize=26538700 memory=1228 CPUtime=0.2 cores=0-7 /proc/30546/task/30562/stat : 30562 (java) R 30544 30544 30062 0 -1 4202560 778 0 0 0 20 0 0 0 20 0 20 0 147747817 27175628800 28623 33554432000 4194304 4196468 140736422663872 140503207080832 140504523374571 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30563] ppid=30544 vsize=26538700 memory=1952 CPUtime=0.43 cores=0-7 /proc/30546/task/30563/stat : 30563 (java) R 30544 30544 30062 0 -1 4202560 1944 0 0 0 43 0 0 0 20 0 20 0 147747817 27175628800 28625 33554432000 4194304 4196468 140736422663872 140503206040912 140504539393430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30564] ppid=30544 vsize=26538700 memory=5796 CPUtime=0 cores=0-7 /proc/30546/task/30564/stat : 30564 (java) S 30544 30544 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147747817 27175628800 28625 33554432000 4194304 4196468 140736422663872 140503204989792 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30565] ppid=30544 vsize=26538700 memory=4616 CPUtime=0 cores=0-7 /proc/30546/task/30565/stat : 30565 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747817 27175628800 28625 33554432000 4194304 4196468 140736422663872 140503203937072 140504539392642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 Current children cumulated CPU time: 1.81 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 113824 KiB [startup+0.716531 s] # the end of solver process 30544 was just reported to runsolver # cumulated CPU time of all completed processes: user=1.7601 s, system=0.072493 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.700911 s] /proc/loadavg: 7.63 8.14 8.17 4/201 30565 /proc/meminfo: memFree=25461684/32770624 swapFree=67108860/67108860 [pid=30544] ppid=30541 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30544/stat : 30544 (xcsp3-exec) S 30541 30544 30062 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147747811 9740288 346 33554432000 4194304 5098028 140732611091152 140732611089256 140231341105788 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39456768 140732611097701 140732611097911 140732611097911 140732611100651 0 /proc/30544/statm: 2378 346 289 221 0 87 0 [pid=30546] ppid=30544 vsize=26538700 memory=112440 CPUtime=1.81 cores=0-7 /proc/30546/stat : 30546 (java) S 30544 30544 30062 0 -1 1077944320 13486 0 0 0 175 6 0 0 20 0 20 0 147747811 27175628800 28110 33554432000 4194304 4196468 140736422663872 140736422646416 140504539381495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 /proc/30546/statm: 6634675 28110 3216 1 0 6621909 0 [pid=30546/tid=30547] ppid=30544 vsize=26538700 memory=280657859788464 CPUtime=0.61 cores=0-7 /proc/30546/task/30547/stat : 30547 (java) R 30544 30544 30062 0 -1 4202560 6945 0 0 0 58 3 0 0 20 0 20 0 147747812 27175628800 28110 33554432000 4194304 4196468 140736422663872 140504543618736 140504521030443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30548] ppid=30544 vsize=26538700 memory=140328929895280 CPUtime=0 cores=0-7 /proc/30546/task/30548/stat : 30548 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 27175628800 28110 33554432000 4194304 4196468 140736422663872 140504492002192 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30549] ppid=30544 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/30546/task/30549/stat : 30549 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 27175628800 28110 33554432000 4194304 4196468 140736422663872 140504490949392 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30550] ppid=30544 vsize=26538700 memory=1204 CPUtime=0 cores=0-7 /proc/30546/task/30550/stat : 30550 (java) S 30544 30544 30062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147747812 27175628800 28622 33554432000 4194304 4196468 140736422663872 140504489897104 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30551] ppid=30544 vsize=26538700 memory=1728 CPUtime=0 cores=0-7 /proc/30546/task/30551/stat : 30551 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 27175628800 28622 33554432000 4194304 4196468 140736422663872 140504488844304 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30552] ppid=30544 vsize=26538700 memory=1440 CPUtime=0 cores=0-7 /proc/30546/task/30552/stat : 30552 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747812 27175628800 28622 33554432000 4194304 4196468 140736422663872 140504487790992 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30553] ppid=30544 vsize=26538700 memory=15880 CPUtime=0 cores=0-7 /proc/30546/task/30553/stat : 30553 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747813 27175628800 28622 33554432000 4194304 4196468 140736422663872 140504092506384 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30554] ppid=30544 vsize=26538700 memory=16432 CPUtime=0 cores=0-7 /proc/30546/task/30554/stat : 30554 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747813 27175628800 28622 33554432000 4194304 4196468 140736422663872 140504091454096 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30555] ppid=30544 vsize=26538700 memory=23720 CPUtime=0 cores=0-7 /proc/30546/task/30555/stat : 30555 (java) S 30544 30544 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147747813 27175628800 28622 33554432000 4194304 4196468 140736422663872 140504090401296 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30556] ppid=30544 vsize=26538700 memory=4044 CPUtime=0 cores=0-7 /proc/30546/task/30556/stat : 30556 (java) S 30544 30544 30062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 147747814 27175628800 28623 33554432000 4194304 4196468 140736422663872 140503281457776 140504539392642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30557] ppid=30544 vsize=26538700 memory=1792 CPUtime=0 cores=0-7 /proc/30546/task/30557/stat : 30557 (java) S 30544 30544 30062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147747814 27175628800 28623 33554432000 4194304 4196468 140736422663872 140503280403744 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30558] ppid=30544 vsize=26538700 memory=636 CPUtime=0 cores=0-7 /proc/30546/task/30558/stat : 30558 (java) S 30544 30544 30062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147747815 27175628800 28623 33554432000 4194304 4196468 140736422663872 140503211304560 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30559] ppid=30544 vsize=26538700 memory=1236 CPUtime=0 cores=0-7 /proc/30546/task/30559/stat : 30559 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747817 27175628800 28623 33554432000 4194304 4196468 140736422663872 140503210252880 140504539400091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30560] ppid=30544 vsize=26538700 memory=22244 CPUtime=0.16 cores=0-7 /proc/30546/task/30560/stat : 30560 (java) R 30544 30544 30062 0 -1 4202560 850 0 0 0 16 0 0 0 20 0 20 0 147747817 27175628800 28623 33554432000 4194304 4196468 140736422663872 140503209191680 140504520017379 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30561] ppid=30544 vsize=26538700 memory=1004 CPUtime=0.19 cores=0-7 /proc/30546/task/30561/stat : 30561 (java) R 30544 30544 30062 0 -1 4202560 1037 0 0 0 19 0 0 0 20 0 20 0 147747817 27175628800 28623 33554432000 4194304 4196468 140736422663872 140503208136848 140504539393430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30562] ppid=30544 vsize=26538700 memory=1228 CPUtime=0.2 cores=0-7 /proc/30546/task/30562/stat : 30562 (java) R 30544 30544 30062 0 -1 4202560 778 0 0 0 20 0 0 0 20 0 20 0 147747817 27175628800 28623 33554432000 4194304 4196468 140736422663872 140503207080832 140504523374571 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30563] ppid=30544 vsize=26538700 memory=1952 CPUtime=0.43 cores=0-7 /proc/30546/task/30563/stat : 30563 (java) R 30544 30544 30062 0 -1 4202560 1944 0 0 0 43 0 0 0 20 0 20 0 147747817 27175628800 28625 33554432000 4194304 4196468 140736422663872 140503206040912 140504539393430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30564] ppid=30544 vsize=26538700 memory=5796 CPUtime=0 cores=0-7 /proc/30546/task/30564/stat : 30564 (java) S 30544 30544 30062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147747817 27175628800 28625 33554432000 4194304 4196468 140736422663872 140503204989792 140504539391701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 [pid=30546/tid=30565] ppid=30544 vsize=26538700 memory=4616 CPUtime=0 cores=0-7 /proc/30546/task/30565/stat : 30565 (java) S 30544 30544 30062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147747817 27175628800 28625 33554432000 4194304 4196468 140736422663872 140503203937072 140504539392642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35192832 140736422671506 140736422671683 140736422671683 140736422674383 0 Current children cumulated CPU time: 1.81 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 113824 KiB Child status: 0 Real time (s): 0.716581 CPU time (s): 1.83259 CPU user time (s): 1.7601 CPU system time (s): 0.072493 CPU usage (%): 255.741 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 113824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.7601 system time used= 0.072493 maximum resident set size= 115016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14046 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3038 involuntary context switches= 8 # summary of solver processes directly reported to runsolver: # pid: 30544 # total CPU time (s): 1.83259 # total CPU user time (s): 1.7601 # total CPU system time (s): 0.072493 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.023883 second user time and 0.047766 second system time The end
Begin job on node148 at 2017-08-19 14:30:09 IDJOB=4280527 IDBENCH=130044 IDSOLVER=2675 FILE ID=node148/4280527-1503146669 RUNJOBID= node148-1503143284-30089 PBS_JOBID= 20630802 Free space on /tmp= 61948 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-40-08.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-4280527-1503146669/watcher-4280527-1503146669 -o /tmp/evaluation-result-4280527-1503146669/solver-4280527-1503146669 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503143284-30089 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 987727031 HOME/instance-4280527-1503146669.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a1a47bf7c0dfac46ae24643a1dca38e9 RANDOM SEED=987727031 node148.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.19 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.19 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.19 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.19 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: 25513652 kB MemAvailable: 31975836 kB Buffers: 290896 kB Cached: 6464992 kB SwapCached: 0 kB Active: 1158556 kB Inactive: 5650408 kB Active(anon): 4032 kB Inactive(anon): 84704 kB Active(file): 1154524 kB Inactive(file): 5565704 kB Unevictable: 7784 kB Mlocked: 7784 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7868 kB Writeback: 0 kB AnonPages: 60272 kB Mapped: 51204 kB Shmem: 33416 kB Slab: 142040 kB SReclaimable: 115580 kB SUnreclaim: 26460 kB KernelStack: 3552 kB PageTables: 5120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333004 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: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61940 MiB End job on node148 at 2017-08-19 14:30:10