| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | SAT | 12.9325 | 2.67518 |
| Name | Rlfap/Rlfap-m1-scens/ Rlfap-scen-05.xml |
| MD5SUM | 4244c8790e6b20be71277bd8907aab3b |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 1.65282 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of constraints | 2598 |
| Number of domains | 4 |
| Minimum domain size | 6 |
| Maximum domain size | 44 |
| Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":10},{"size":36,"count":192},{"size":44,"count":196}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 59 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":2},{"degree":3,"count":16},{"degree":4,"count":10},{"degree":5,"count":37},{"degree":6,"count":16},{"degree":7,"count":41},{"degree":8,"count":14},{"degree":9,"count":40},{"degree":10,"count":20},{"degree":11,"count":14},{"degree":12,"count":13},{"degree":13,"count":21},{"degree":14,"count":8},{"degree":15,"count":16},{"degree":16,"count":12},{"degree":17,"count":18},{"degree":18,"count":9},{"degree":19,"count":14},{"degree":20,"count":13},{"degree":21,"count":6},{"degree":22,"count":10},{"degree":23,"count":4},{"degree":24,"count":11},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":27,"count":2},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":30,"count":3},{"degree":31,"count":3},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":2},{"degree":52,"count":1},{"degree":59,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":2598}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 2598 |
| Distribution of constraint types | [{"type":"intension","count":2598}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271214-1502685762.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271214-1502685762.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 6.77/1.85 c solve instance... 12.55/2.65 s SATISFIABLE 12.55/2.65 v <instantiation> 12.55/2.65 v <list>x13 x14 x15 x16 x53 x54 x71 x72 x79 x80 x81 x82 x83 x84 x85 x86 x117 x118 x119 x120 x127 x128 x129 x130 x143 x144 x145 x146 x151 x152 x153 x154 x163 x164 x165 x166 x179 x180 x181 x182 x183 x184 x191 x192 x193 x194 x205 x206 x209 x210 x211 x212 x213 x214 x217 x218 x219 x220 x233 x234 x235 x236 x237 x238 x255 x256 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x335 x336 x337 x338 x341 x342 x343 x344 x349 x350 x351 x352 x353 x354 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x385 x386 x391 x392 x393 x394 x401 x402 x403 x404 x405 x406 x413 x414 x435 x436 x439 x440 x443 x444 x449 x450 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x517 x518 x519 x520 x537 x538 x539 x540 x541 x542 x545 x546 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x629 x630 x631 x632 x633 x634 x635 x636 x639 x640 x641 x642 x643 x644 x645 x646 x651 x652 x653 x654 x661 x662 x663 x664 x665 x666 x667 x668 x671 x672 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x763 x764 x765 x766 x767 x768 x769 x770 x773 x774 x775 x776 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 x802 x803 x804 x805 x806 x807 x808 x809 x810 x811 x812 x813 x814 x815 x816 x817 x818 x825 x826 x827 x828 x829 x830 x879 x880 x911 x912 x913 x914 x915 x916 </list> 12.55/2.65 v <values>156 394 156 394 16 254 30 268 414 652 254 16 128 366 414 652 792 554 554 792 16 254 708 470 666 428 442 680 72 310 414 652 128 366 736 498 44 282 268 30 442 680 736 498 254 16 310 72 736 498 792 554 310 72 764 526 310 72 428 666 30 268 484 722 16 254 16 254 254 16 254 16 16 254 484 722 296 58 296 58 16 254 16 254 296 58 366 128 128 366 16 254 254 16 736 498 156 394 142 380 792 554 254 16 156 394 324 86 540 778 498 736 380 142 16 254 282 44 254 16 156 394 414 652 268 30 254 16 652 414 442 680 394 156 394 156 268 30 680 442 666 428 750 512 414 652 666 428 114 352 338 100 338 100 30 268 750 512 722 484 764 526 366 128 268 30 428 666 694 456 736 498 394 156 16 254 764 526 666 428 338 100 324 86 680 442 268 30 666 428 666 428 428 666 128 366 72 310 414 652 652 414 792 554 254 16 428 666 512 750 352 114 114 352 708 470 498 736 268 30 512 750 456 694 30 268 44 282 540 778 652 414 16 254 764 526 366 128 652 414 254 16 512 750 268 30 428 666 296 58 680 442 268 30 428 666 268 30 324 86 310 72 86 324 750 512 540 778 526 764 666 428 30 268 282 44 428 666 114 352 666 428 86 324 114 352 114 352 44 282 16 254 666 428 680 442 414 652 394 156 778 540 296 58 254 16 296 58 694 456 128 366 254 16 540 778 442 680 694 456 414 652 310 72 30 268 484 722 526 764 30 268 694 456 114 352 428 666 498 736 16 254 324 86 268 30 100 338 428 666 30 268 694 456 484 722 268 30 666 428 268 30 498 736 428 666 268 30 750 512 30 268 484 722 30 268 484 722 428 666 268 30 428 666 282 44 268 30 694 456 764 526 268 30 114 352 268 30 44 282 </values> 12.55/2.65 v </instantiation>
OK
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 (14279 MiB free)
memory of node 1: 16384 MiB (14163 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271214-1502685762/watcher-4271214-1502685762 -o /tmp/evaluation-result-4271214-1502685762/solver-4271214-1502685762 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502678505-22813 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1051518529 HOME/instance-4271214-1502685762.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=23966, runsolver pid=23963
[startup+0.100139 s]*
/proc/loadavg: 9.02 8.09 7.64 2/199 23987
/proc/meminfo: memFree=29109468/32770624 swapFree=67108860/67108860
[pid=23966] ppid=23963 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23966/stat : 23966 (xcsp3-exec) S 23963 23966 22786 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101664281 9740288 346 33554432000 4194304 5098028 140732772320368 140732772318472 140257397535356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24002560 140732772324452 140732772324663 140732772324663 140732772327403 0
/proc/23966/statm: 2378 346 289 221 0 87 0
[pid=23968] ppid=23966 vsize=25999808 memory=26796 CPUtime=0.12 cores=0-7
/proc/23968/stat : 23968 (java) S 23966 23966 22786 0 -1 1077944320 5631 0 0 0 10 2 0 0 20 0 20 0 101664281 26623803392 6699 33554432000 4194304 4196468 140735279675312 140735279657856 140391600959223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
/proc/23968/statm: 6499952 6699 2844 1 0 6488269 0
[pid=23968/tid=23969] ppid=23966 vsize=25999808 memory=8329296943472615837 CPUtime=0.09 cores=0-7
/proc/23968/task/23969/stat : 23969 (java) R 23966 23966 22786 0 -1 4202560 3641 0 0 0 8 1 0 0 20 0 20 0 101664282 26623803392 6699 33554432000 4194304 4196468 140735279675312 140391605185760 140391600980570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23970] ppid=23966 vsize=25999808 memory=732370061497818085 CPUtime=0 cores=0-7
/proc/23968/task/23970/stat : 23970 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664282 26623803392 6699 33554432000 4194304 4196468 140735279675312 140391553580176 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23971] ppid=23966 vsize=25999808 memory=139923160364672 CPUtime=0 cores=0-7
/proc/23968/task/23971/stat : 23971 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664282 26623803392 6699 33554432000 4194304 4196468 140735279675312 140391552527376 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23972] ppid=23966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23972/stat : 23972 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664282 26623803392 6699 33554432000 4194304 4196468 140735279675312 140391551474576 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23973] ppid=23966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23973/stat : 23973 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664282 26623803392 6699 33554432000 4194304 4196468 140735279675312 140391550421776 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23974] ppid=23966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23974/stat : 23974 (java) S 23966 23966 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101664282 26623803392 6699 33554432000 4194304 4196468 140735279675312 140391549368976 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23975] ppid=23966 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23968/task/23975/stat : 23975 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664282 26623803392 6699 33554432000 4194304 4196468 140735279675312 140391548316176 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23976] ppid=23966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23976/stat : 23976 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664282 26623803392 6699 33554432000 4194304 4196468 140735279675312 140391547263376 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23977] ppid=23966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23977/stat : 23977 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664282 26623803392 6699 33554432000 4194304 4196468 140735279675312 140391546210576 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23978] ppid=23966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23978/stat : 23978 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664284 26623803392 6699 33554432000 4194304 4196468 140735279675312 140390794484592 140391600970370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23979] ppid=23966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23979/stat : 23979 (java) S 23966 23966 22786 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101664284 26623803392 6699 33554432000 4194304 4196468 140735279675312 140390793430560 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23980] ppid=23966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23980/stat : 23980 (java) S 23966 23966 22786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101664284 26623803392 6699 33554432000 4194304 4196468 140735279675312 140390792377712 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23981] ppid=23966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23981/stat : 23981 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664287 26623803392 6699 33554432000 4194304 4196468 140735279675312 140390791326032 140391600977819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23982] ppid=23966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23982/stat : 23982 (java) R 23966 23966 22786 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 101664287 26623803392 6699 33554432000 4194304 4196468 140735279675312 140390790273392 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23983] ppid=23966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23983/stat : 23983 (java) S 23966 23966 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101664287 26623803392 6699 33554432000 4194304 4196468 140735279675312 140390789220592 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23984] ppid=23966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23984/stat : 23984 (java) R 23966 23966 22786 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 101664287 26623803392 6699 33554432000 4194304 4196468 140735279675312 140390788167792 140391600970370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23985] ppid=23966 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/23968/task/23985/stat : 23985 (java) R 23966 23966 22786 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 101664287 26623803392 6699 33554432000 4194304 4196468 140735279675312 140390787114992 140391600970370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23986] ppid=23966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23986/stat : 23986 (java) S 23966 23966 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101664287 26623803392 6699 33554432000 4194304 4196468 140735279675312 140390786063456 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23987] ppid=23966 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23968/task/23987/stat : 23987 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664287 26623803392 6699 33554432000 4194304 4196468 140735279675312 140390785010736 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28180 KiB
[startup+0.209689 s]*
/proc/loadavg: 9.02 8.09 7.64 2/199 23987
/proc/meminfo: memFree=29098196/32770624 swapFree=67108860/67108860
[pid=23966] ppid=23963 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23966/stat : 23966 (xcsp3-exec) S 23963 23966 22786 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101664281 9740288 346 33554432000 4194304 5098028 140732772320368 140732772318472 140257397535356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24002560 140732772324452 140732772324663 140732772324663 140732772327403 0
/proc/23966/statm: 2378 346 289 221 0 87 0
[pid=23968] ppid=23966 vsize=26004064 memory=39252 CPUtime=0.33 cores=0-7
/proc/23968/stat : 23968 (java) S 23966 23966 22786 0 -1 1077944320 8342 0 0 0 30 3 0 0 20 0 20 0 101664281 26628161536 9813 33554432000 4194304 4196468 140735279675312 140735279657856 140391600959223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
/proc/23968/statm: 6501016 9813 3073 1 0 6488269 0
[pid=23968/tid=23969] ppid=23966 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/23968/task/23969/stat : 23969 (java) R 23966 23966 22786 0 -1 4202560 5427 0 0 0 18 1 0 0 20 0 20 0 101664282 26628161536 9813 33554432000 4194304 4196468 140735279675312 140391605173232 140391600981149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23970] ppid=23966 vsize=26004064 memory=732370061497818085 CPUtime=0 cores=0-7
/proc/23968/task/23970/stat : 23970 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 9813 33554432000 4194304 4196468 140735279675312 140391553580176 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23971] ppid=23966 vsize=26004064 memory=139923160364672 CPUtime=0 cores=0-7
/proc/23968/task/23971/stat : 23971 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 9813 33554432000 4194304 4196468 140735279675312 140391552527376 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23972] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23972/stat : 23972 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 9813 33554432000 4194304 4196468 140735279675312 140391551474576 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23973] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23973/stat : 23973 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 9813 33554432000 4194304 4196468 140735279675312 140391550421776 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23974] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23974/stat : 23974 (java) S 23966 23966 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 9813 33554432000 4194304 4196468 140735279675312 140391549368976 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23975] ppid=23966 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23968/task/23975/stat : 23975 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 9813 33554432000 4194304 4196468 140735279675312 140391548316176 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23976] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23976/stat : 23976 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 9813 33554432000 4194304 4196468 140735279675312 140391547263376 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23977] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23977/stat : 23977 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 9813 33554432000 4194304 4196468 140735279675312 140391546210576 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23978] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23978/stat : 23978 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664284 26628161536 9813 33554432000 4194304 4196468 140735279675312 140390794484592 140391600970370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23979] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23979/stat : 23979 (java) S 23966 23966 22786 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101664284 26628161536 9813 33554432000 4194304 4196468 140735279675312 140390793430560 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23980] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23980/stat : 23980 (java) S 23966 23966 22786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101664284 26628161536 9813 33554432000 4194304 4196468 140735279675312 140390792377712 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23981] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23981/stat : 23981 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664287 26628161536 9813 33554432000 4194304 4196468 140735279675312 140390791326032 140391600977819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23982] ppid=23966 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/23968/task/23982/stat : 23982 (java) S 23966 23966 22786 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 20 0 101664287 26628161536 9813 33554432000 4194304 4196468 140735279675312 140390790273392 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23983] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23983/stat : 23983 (java) S 23966 23966 22786 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 20 0 101664287 26628161536 9813 33554432000 4194304 4196468 140735279675312 140390789220592 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23984] ppid=23966 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/23968/task/23984/stat : 23984 (java) S 23966 23966 22786 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 20 0 101664287 26628161536 9813 33554432000 4194304 4196468 140735279675312 140390788167792 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23985] ppid=23966 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/23968/task/23985/stat : 23985 (java) S 23966 23966 22786 0 -1 1077944384 741 0 0 0 7 0 0 0 20 0 20 0 101664287 26628161536 9813 33554432000 4194304 4196468 140735279675312 140390787114992 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23986] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23986/stat : 23986 (java) S 23966 23966 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101664287 26628161536 9813 33554432000 4194304 4196468 140735279675312 140390786063456 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23987] ppid=23966 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23968/task/23987/stat : 23987 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664287 26628161536 9813 33554432000 4194304 4196468 140735279675312 140390785010736 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40636 KiB
[startup+0.309491 s]*
/proc/loadavg: 9.02 8.09 7.64 3/199 23987
/proc/meminfo: memFree=29093792/32770624 swapFree=67108860/67108860
[pid=23966] ppid=23963 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23966/stat : 23966 (xcsp3-exec) S 23963 23966 22786 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101664281 9740288 346 33554432000 4194304 5098028 140732772320368 140732772318472 140257397535356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24002560 140732772324452 140732772324663 140732772324663 140732772327403 0
/proc/23966/statm: 2378 346 289 221 0 87 0
[pid=23968] ppid=23966 vsize=26004064 memory=43896 CPUtime=0.51 cores=0-7
/proc/23968/stat : 23968 (java) S 23966 23966 22786 0 -1 1077944320 9169 0 0 0 47 4 0 0 20 0 20 0 101664281 26628161536 10974 33554432000 4194304 4196468 140735279675312 140735279657856 140391600959223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
/proc/23968/statm: 6501016 10974 3109 1 0 6488269 0
[pid=23968/tid=23969] ppid=23966 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/23968/task/23969/stat : 23969 (java) R 23966 23966 22786 0 -1 4202560 6104 0 0 0 27 1 0 0 20 0 20 0 101664282 26628161536 10974 33554432000 4194304 4196468 140735279675312 140391605197088 140391600971158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23970] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23970/stat : 23970 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 10974 33554432000 4194304 4196468 140735279675312 140391553580176 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23971] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23971/stat : 23971 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 10974 33554432000 4194304 4196468 140735279675312 140391552527376 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23972] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23972/stat : 23972 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 10974 33554432000 4194304 4196468 140735279675312 140391551474576 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23973] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23973/stat : 23973 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 10974 33554432000 4194304 4196468 140735279675312 140391550421776 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23974] ppid=23966 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/23968/task/23974/stat : 23974 (java) S 23966 23966 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 10974 33554432000 4194304 4196468 140735279675312 140391549368976 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23975] ppid=23966 vsize=26004064 memory=139923055276975 CPUtime=0 cores=0-7
/proc/23968/task/23975/stat : 23975 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 10974 33554432000 4194304 4196468 140735279675312 140391548316176 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23976] ppid=23966 vsize=26004064 memory=139923055279280 CPUtime=0 cores=0-7
/proc/23968/task/23976/stat : 23976 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 10974 33554432000 4194304 4196468 140735279675312 140391547263376 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23977] ppid=23966 vsize=26004064 memory=139923055281584 CPUtime=0 cores=0-7
/proc/23968/task/23977/stat : 23977 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664282 26628161536 10974 33554432000 4194304 4196468 140735279675312 140391546210576 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23978] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23978/stat : 23978 (java) S 23966 23966 22786 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101664284 26628161536 10974 33554432000 4194304 4196468 140735279675312 140390794484592 140391600970370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23979] ppid=23966 vsize=26004064 memory=279846110570128 CPUtime=0 cores=0-7
/proc/23968/task/23979/stat : 23979 (java) S 23966 23966 22786 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101664284 26628161536 10974 33554432000 4194304 4196468 140735279675312 140390793430560 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23980] ppid=23966 vsize=26004064 memory=279846110577040 CPUtime=0 cores=0-7
/proc/23968/task/23980/stat : 23980 (java) S 23966 23966 22786 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101664284 26628161536 10974 33554432000 4194304 4196468 140735279675312 140390792377712 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23981] ppid=23966 vsize=26004064 memory=279846110518320 CPUtime=0 cores=0-7
/proc/23968/task/23981/stat : 23981 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664287 26628161536 10974 33554432000 4194304 4196468 140735279675312 140390791326032 140391600977819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23982] ppid=23966 vsize=26004064 memory=279846110590864 CPUtime=0.01 cores=0-7
/proc/23968/task/23982/stat : 23982 (java) S 23966 23966 22786 0 -1 1077944384 435 0 0 0 1 0 0 0 20 0 20 0 101664287 26628161536 10974 33554432000 4194304 4196468 140735279675312 140390790273392 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23983] ppid=23966 vsize=26004064 memory=279846110597776 CPUtime=0.01 cores=0-7
/proc/23968/task/23983/stat : 23983 (java) R 23966 23966 22786 0 -1 4202560 204 0 0 0 1 0 0 0 20 0 20 0 101664287 26628161536 10974 33554432000 4194304 4196468 140735279675312 140390789220592 140391578299632 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23984] ppid=23966 vsize=26004064 memory=279846110595472 CPUtime=0.03 cores=0-7
/proc/23968/task/23984/stat : 23984 (java) S 23966 23966 22786 0 -1 1077944384 279 0 0 0 3 0 0 0 20 0 20 0 101664287 26628161536 10974 33554432000 4194304 4196468 140735279675312 140390788167792 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23985] ppid=23966 vsize=26004064 memory=279846110611632 CPUtime=0.12 cores=0-7
/proc/23968/task/23985/stat : 23985 (java) R 23966 23966 22786 0 -1 4202560 837 0 0 0 12 0 0 0 20 0 20 0 101664287 26628161536 10974 33554432000 4194304 4196468 140735279675312 140390787111360 140391579775426 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23986] ppid=23966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23986/stat : 23986 (java) S 23966 23966 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101664287 26628161536 10974 33554432000 4194304 4196468 140735279675312 140390786063456 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23987] ppid=23966 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23968/task/23987/stat : 23987 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664287 26628161536 10974 33554432000 4194304 4196468 140735279675312 140390785010736 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45280 KiB
[startup+0.700984 s]
/proc/loadavg: 8.46 7.99 7.61 6/199 23987
/proc/meminfo: memFree=28972476/32770624 swapFree=67108860/67108860
[pid=23966] ppid=23963 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23966/stat : 23966 (xcsp3-exec) S 23963 23966 22786 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101664281 9740288 346 33554432000 4194304 5098028 140732772320368 140732772318472 140257397535356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24002560 140732772324452 140732772324663 140732772324663 140732772327403 0
/proc/23966/statm: 2378 346 289 221 0 87 0
[pid=23968] ppid=23966 vsize=26006188 memory=196016 CPUtime=2.01 cores=0-7
/proc/23968/stat : 23968 (java) S 23966 23966 22786 0 -1 1077944320 15702 0 0 0 192 9 0 0 20 0 20 0 101664281 26630336512 49004 33554432000 4194304 4196468 140735279675312 140735279657856 140391600959223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
/proc/23968/statm: 6501547 49004 3223 1 0 6488781 0
[pid=23968/tid=23969] ppid=23966 vsize=26006188 memory=279846110906560 CPUtime=0.66 cores=0-7
/proc/23968/task/23969/stat : 23969 (java) R 23966 23966 22786 0 -1 4202560 6992 0 0 0 62 4 0 0 20 0 20 0 101664282 26630336512 49004 33554432000 4194304 4196468 140735279675312 140391605196080 140391223483685 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23970] ppid=23966 vsize=26006188 memory=1420 CPUtime=0 cores=0-7
/proc/23968/task/23970/stat : 23970 (java) S 23966 23966 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101664282 26630336512 49004 33554432000 4194304 4196468 140735279675312 140391553580176 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23971] ppid=23966 vsize=26006188 memory=11032 CPUtime=0 cores=0-7
/proc/23968/task/23971/stat : 23971 (java) S 23966 23966 22786 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 101664282 26630336512 49004 33554432000 4194304 4196468 140735279675312 140391552527376 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23972] ppid=23966 vsize=26006188 memory=1712 CPUtime=0 cores=0-7
/proc/23968/task/23972/stat : 23972 (java) S 23966 23966 22786 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 101664282 26630336512 49004 33554432000 4194304 4196468 140735279675312 140391551474576 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
################
# More data... #
################
[pid=23968/tid=23977] ppid=23966 vsize=26006188 memory=1952 CPUtime=0.05 cores=0-7
/proc/23968/task/23977/stat : 23977 (java) S 23966 23966 22786 0 -1 1077944384 47 0 0 0 3 2 0 0 20 0 20 0 101664282 26630336512 103458 33554432000 4194304 4196468 140735279675312 140391546210576 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23978] ppid=23966 vsize=26006188 memory=8552 CPUtime=0 cores=0-7
/proc/23968/task/23978/stat : 23978 (java) S 23966 23966 22786 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 101664284 26630336512 103458 33554432000 4194304 4196468 140735279675312 140390794484592 140391600970370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23979] ppid=23966 vsize=26006188 memory=1224 CPUtime=0 cores=0-7
/proc/23968/task/23979/stat : 23979 (java) S 23966 23966 22786 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 101664284 26630336512 103458 33554432000 4194304 4196468 140735279675312 140390793430624 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23980] ppid=23966 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23980/stat : 23980 (java) S 23966 23966 22786 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 101664284 26630336512 103458 33554432000 4194304 4196468 140735279675312 140390792377728 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23981] ppid=23966 vsize=26006188 memory=2241 CPUtime=0 cores=0-7
/proc/23968/task/23981/stat : 23981 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664287 26630336512 103458 33554432000 4194304 4196468 140735279675312 140390791326032 140391600977819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23982] ppid=23966 vsize=26006188 memory=2244 CPUtime=1.11 cores=0-7
/proc/23968/task/23982/stat : 23982 (java) R 23966 23966 22786 0 -1 4202560 2170 0 0 0 111 0 0 0 20 0 20 0 101664287 26630336512 103458 33554432000 4194304 4196468 140735279675312 140390790266584 140391580369105 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23983] ppid=23966 vsize=26006188 memory=139923055611168 CPUtime=1.05 cores=0-7
/proc/23968/task/23983/stat : 23983 (java) R 23966 23966 22786 0 -1 4202560 2072 0 0 0 105 0 0 0 20 0 20 0 101664287 26630336512 103458 33554432000 4194304 4196468 140735279675312 140390789205584 140391600980570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23984] ppid=23966 vsize=26006188 memory=0 CPUtime=1.1 cores=0-7
/proc/23968/task/23984/stat : 23984 (java) R 23966 23966 22786 0 -1 4202560 2146 0 0 0 109 1 0 0 20 0 20 0 101664287 26630336512 103458 33554432000 4194304 4196468 140735279675312 140390788147936 140391600980570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23985] ppid=23966 vsize=26006188 memory=0 CPUtime=0.66 cores=0-7
/proc/23968/task/23985/stat : 23985 (java) S 23966 23966 22786 0 -1 1077944384 2928 0 0 0 64 2 0 0 20 0 20 0 101664287 26630336512 103458 33554432000 4194304 4196468 140735279675312 140390787114992 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23986] ppid=23966 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23986/stat : 23986 (java) S 23966 23966 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101664287 26630336512 103458 33554432000 4194304 4196468 140735279675312 140390786063456 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23987] ppid=23966 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23987/stat : 23987 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101664287 26630336512 103458 33554432000 4194304 4196468 140735279675312 140390785010736 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 415216 KiB
[startup+2.40211 s]
/proc/loadavg: 8.46 7.99 7.61 11/207 23995
/proc/meminfo: memFree=28459368/32770624 swapFree=67108860/67108860
[pid=23966] ppid=23963 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23966/stat : 23966 (xcsp3-exec) S 23963 23966 22786 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101664281 9740288 346 33554432000 4194304 5098028 140732772320368 140732772318472 140257397535356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24002560 140732772324452 140732772324663 140732772324663 140732772327403 0
/proc/23966/statm: 2378 346 289 221 0 87 0
[pid=23968] ppid=23966 vsize=26540748 memory=678572 CPUtime=10.98 cores=0-7
/proc/23968/stat : 23968 (java) S 23966 23966 22786 0 -1 1077944320 21322 0 0 0 1051 47 0 0 20 0 28 0 101664281 27177725952 169643 33554432000 4194304 4196468 140735279675312 140735279657856 140391600959223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
/proc/23968/statm: 6635187 169643 3267 1 0 6622421 0
[pid=23968/tid=23969] ppid=23966 vsize=26540748 memory=0 CPUtime=1.76 cores=0-7
/proc/23968/task/23969/stat : 23969 (java) S 23966 23966 22786 0 -1 1077944384 7321 0 0 0 166 10 0 0 20 0 28 0 101664282 27177725952 169643 33554432000 4194304 4196468 140735279675312 140391605200000 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23970] ppid=23966 vsize=26540748 memory=0 CPUtime=0.1 cores=0-7
/proc/23968/task/23970/stat : 23970 (java) S 23966 23966 22786 0 -1 1077944384 67 0 0 0 7 3 0 0 20 0 28 0 101664282 27177725952 169643 33554432000 4194304 4196468 140735279675312 140391553580176 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23971] ppid=23966 vsize=26540748 memory=0 CPUtime=0.1 cores=0-7
/proc/23968/task/23971/stat : 23971 (java) S 23966 23966 22786 0 -1 1077944384 72 0 0 0 7 3 0 0 20 0 28 0 101664282 27177725952 169643 33554432000 4194304 4196468 140735279675312 140391552527376 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23972] ppid=23966 vsize=26540748 memory=0 CPUtime=0.12 cores=0-7
/proc/23968/task/23972/stat : 23972 (java) S 23966 23966 22786 0 -1 1077944384 83 0 0 0 8 4 0 0 20 0 28 0 101664282 27177725952 169643 33554432000 4194304 4196468 140735279675312 140391551474576 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23973] ppid=23966 vsize=26540748 memory=0 CPUtime=0.11 cores=0-7
/proc/23968/task/23973/stat : 23973 (java) S 23966 23966 22786 0 -1 1077944384 69 0 0 0 8 3 0 0 20 0 28 0 101664282 27177725952 169643 33554432000 4194304 4196468 140735279675312 140391550421776 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23974] ppid=23966 vsize=26540748 memory=0 CPUtime=0.12 cores=0-7
/proc/23968/task/23974/stat : 23974 (java) S 23966 23966 22786 0 -1 1077944384 72 0 0 0 8 4 0 0 20 0 28 0 101664282 27177725952 169643 33554432000 4194304 4196468 140735279675312 140391549368976 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23975] ppid=23966 vsize=26540748 memory=1384 CPUtime=0.13 cores=0-7
/proc/23968/task/23975/stat : 23975 (java) S 23966 23966 22786 0 -1 1077944384 81 0 0 0 10 3 0 0 20 0 28 0 101664282 27177725952 169643 33554432000 4194304 4196468 140735279675312 140391548316176 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23976] ppid=23966 vsize=26540748 memory=544008 CPUtime=0.11 cores=0-7
/proc/23968/task/23976/stat : 23976 (java) S 23966 23966 22786 0 -1 1077944384 60 0 0 0 8 3 0 0 20 0 28 0 101664282 27177725952 169643 33554432000 4194304 4196468 140735279675312 140391547263376 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23977] ppid=23966 vsize=26540748 memory=2241 CPUtime=0.11 cores=0-7
/proc/23968/task/23977/stat : 23977 (java) S 23966 23966 22786 0 -1 1077944384 77 0 0 0 7 4 0 0 20 0 28 0 101664282 27177725952 169643 33554432000 4194304 4196468 140735279675312 140391546210576 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23978] ppid=23966 vsize=26540748 memory=2244 CPUtime=0 cores=0-7
/proc/23968/task/23978/stat : 23978 (java) S 23966 23966 22786 0 -1 1077944384 510 0 0 0 0 0 0 0 20 0 28 0 101664284 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390794484592 140391600970370 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23979] ppid=23966 vsize=26540748 memory=7597132098393106257 CPUtime=0 cores=0-7
/proc/23968/task/23979/stat : 23979 (java) S 23966 23966 22786 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 101664284 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390793430624 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23980] ppid=23966 vsize=26540748 memory=7373910360202498668 CPUtime=0 cores=0-7
/proc/23968/task/23980/stat : 23980 (java) S 23966 23966 22786 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 101664284 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390792377728 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23981] ppid=23966 vsize=26540748 memory=7649399358562579250 CPUtime=0 cores=0-7
/proc/23968/task/23981/stat : 23981 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101664287 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390791326032 140391600977819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23982] ppid=23966 vsize=26540748 memory=7379525548734703190 CPUtime=1.69 cores=0-7
/proc/23968/task/23982/stat : 23982 (java) R 23966 23966 22786 0 -1 4202560 2838 0 0 0 168 1 0 0 20 0 28 0 101664287 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390790259488 140391580647656 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23983] ppid=23966 vsize=26540748 memory=7162243385277895528 CPUtime=1.6 cores=0-7
/proc/23968/task/23983/stat : 23983 (java) R 23966 23966 22786 0 -1 4202560 2618 0 0 0 160 0 0 0 20 0 28 0 101664287 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390789220592 140391584459429 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23984] ppid=23966 vsize=26540748 memory=7378699751281683558 CPUtime=1.54 cores=0-7
/proc/23968/task/23984/stat : 23984 (java) R 23966 23966 22786 0 -1 1077944384 2754 0 0 0 153 1 0 0 20 0 28 0 101664287 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390788167792 140391600970370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23985] ppid=23966 vsize=26540748 memory=4639074098508484690 CPUtime=0.73 cores=0-7
/proc/23968/task/23985/stat : 23985 (java) S 23966 23966 22786 0 -1 1077944384 3036 0 0 0 71 2 0 0 20 0 28 0 101664287 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390787114992 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23986] ppid=23966 vsize=26540748 memory=7668037408690760040 CPUtime=0 cores=0-7
/proc/23968/task/23986/stat : 23986 (java) S 23966 23966 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101664287 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390786063456 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23987] ppid=23966 vsize=26540748 memory=83844 CPUtime=0 cores=0-7
/proc/23968/task/23987/stat : 23987 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101664287 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390785010736 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23988] ppid=23966 vsize=26540748 memory=161 CPUtime=0.32 cores=0-7
/proc/23968/task/23988/stat : 23988 (java) R 23966 23966 22786 0 -1 4202560 113 0 0 0 32 0 0 0 20 0 28 0 101664470 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390777494448 140391232482700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23989] ppid=23966 vsize=26540748 memory=279846110818224 CPUtime=0.32 cores=0-7
/proc/23968/task/23989/stat : 23989 (java) R 23966 23966 22786 0 -1 4202560 47 0 0 0 32 0 0 0 20 0 28 0 101664470 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390774345504 140391232596522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23990] ppid=23966 vsize=26540748 memory=0 CPUtime=0.26 cores=0-7
/proc/23968/task/23990/stat : 23990 (java) R 23966 23966 22786 0 -1 4202560 42 0 0 0 26 0 0 0 20 0 28 0 101664470 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390773292616 140391232585051 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23991] ppid=23966 vsize=26540748 memory=0 CPUtime=0.33 cores=0-7
/proc/23968/task/23991/stat : 23991 (java) R 23966 23966 22786 0 -1 4202560 33 0 0 0 33 0 0 0 20 0 28 0 101664470 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390772240792 140391232584932 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23992] ppid=23966 vsize=26540748 memory=0 CPUtime=0.32 cores=0-7
/proc/23968/task/23992/stat : 23992 (java) R 23966 23966 22786 0 -1 4202560 34 0 0 0 32 0 0 0 20 0 28 0 101664470 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390771186408 140391232596568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23993] ppid=23966 vsize=26540748 memory=279846111107008 CPUtime=0.32 cores=0-7
/proc/23968/task/23993/stat : 23993 (java) R 23966 23966 22786 0 -1 4202560 32 0 0 0 32 0 0 0 20 0 28 0 101664470 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390770133632 140391232596522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23994] ppid=23966 vsize=26540748 memory=146 CPUtime=0.32 cores=0-7
/proc/23968/task/23994/stat : 23994 (java) R 23966 23966 22786 0 -1 4202560 33 0 0 0 32 0 0 0 20 0 28 0 101664470 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390769085752 140391232596329 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23995] ppid=23966 vsize=26540748 memory=0 CPUtime=0.38 cores=0-7
/proc/23968/task/23995/stat : 23995 (java) R 23966 23966 22786 0 -1 4202560 32 0 0 0 38 0 0 0 20 0 28 0 101664470 27177725952 169643 33554432000 4194304 4196468 140735279675312 140390768032816 140391232596912 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
Current children cumulated CPU time: 10.98 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 679956 KiB
[startup+2.60811 s]
/proc/loadavg: 8.46 7.99 7.61 11/207 23995
/proc/meminfo: memFree=28459368/32770624 swapFree=67108860/67108860
[pid=23966] ppid=23963 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23966/stat : 23966 (xcsp3-exec) S 23963 23966 22786 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101664281 9740288 346 33554432000 4194304 5098028 140732772320368 140732772318472 140257397535356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24002560 140732772324452 140732772324663 140732772324663 140732772327403 0
/proc/23966/statm: 2378 346 289 221 0 87 0
[pid=23968] ppid=23966 vsize=26540748 memory=681220 CPUtime=12.55 cores=0-7
/proc/23968/stat : 23968 (java) S 23966 23966 22786 0 -1 1077944320 22073 0 0 0 1207 48 0 0 20 0 28 0 101664281 27177725952 170305 33554432000 4194304 4196468 140735279675312 140735279657856 140391600959223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
/proc/23968/statm: 6635187 170305 3269 1 0 6622421 0
[pid=23968/tid=23969] ppid=23966 vsize=26540748 memory=0 CPUtime=1.76 cores=0-7
/proc/23968/task/23969/stat : 23969 (java) S 23966 23966 22786 0 -1 1077944384 7321 0 0 0 166 10 0 0 20 0 28 0 101664282 27177725952 170305 33554432000 4194304 4196468 140735279675312 140391605200000 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23970] ppid=23966 vsize=26540748 memory=0 CPUtime=0.1 cores=0-7
/proc/23968/task/23970/stat : 23970 (java) S 23966 23966 22786 0 -1 1077944384 67 0 0 0 7 3 0 0 20 0 28 0 101664282 27177725952 170305 33554432000 4194304 4196468 140735279675312 140391553580176 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23971] ppid=23966 vsize=26540748 memory=0 CPUtime=0.1 cores=0-7
/proc/23968/task/23971/stat : 23971 (java) S 23966 23966 22786 0 -1 1077944384 72 0 0 0 7 3 0 0 20 0 28 0 101664282 27177725952 170305 33554432000 4194304 4196468 140735279675312 140391552527376 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23972] ppid=23966 vsize=26540748 memory=0 CPUtime=0.12 cores=0-7
/proc/23968/task/23972/stat : 23972 (java) S 23966 23966 22786 0 -1 1077944384 83 0 0 0 8 4 0 0 20 0 28 0 101664282 27177725952 170305 33554432000 4194304 4196468 140735279675312 140391551474576 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23973] ppid=23966 vsize=26540748 memory=0 CPUtime=0.11 cores=0-7
/proc/23968/task/23973/stat : 23973 (java) S 23966 23966 22786 0 -1 1077944384 69 0 0 0 8 3 0 0 20 0 28 0 101664282 27177725952 170305 33554432000 4194304 4196468 140735279675312 140391550421776 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23974] ppid=23966 vsize=26540748 memory=0 CPUtime=0.12 cores=0-7
/proc/23968/task/23974/stat : 23974 (java) S 23966 23966 22786 0 -1 1077944384 72 0 0 0 8 4 0 0 20 0 28 0 101664282 27177725952 170305 33554432000 4194304 4196468 140735279675312 140391549368976 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23975] ppid=23966 vsize=26540748 memory=279846111074400 CPUtime=0.13 cores=0-7
/proc/23968/task/23975/stat : 23975 (java) S 23966 23966 22786 0 -1 1077944384 81 0 0 0 10 3 0 0 20 0 28 0 101664282 27177725952 170305 33554432000 4194304 4196468 140735279675312 140391548316176 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23976] ppid=23966 vsize=26540748 memory=0 CPUtime=0.11 cores=0-7
/proc/23968/task/23976/stat : 23976 (java) S 23966 23966 22786 0 -1 1077944384 60 0 0 0 8 3 0 0 20 0 28 0 101664282 27177725952 170305 33554432000 4194304 4196468 140735279675312 140391547263376 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23977] ppid=23966 vsize=26540748 memory=0 CPUtime=0.11 cores=0-7
/proc/23968/task/23977/stat : 23977 (java) S 23966 23966 22786 0 -1 1077944384 77 0 0 0 7 4 0 0 20 0 28 0 101664282 27177725952 170305 33554432000 4194304 4196468 140735279675312 140391546210576 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23978] ppid=23966 vsize=26540748 memory=7230638415855315031 CPUtime=0 cores=0-7
/proc/23968/task/23978/stat : 23978 (java) S 23966 23966 22786 0 -1 1077944384 510 0 0 0 0 0 0 0 20 0 28 0 101664284 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390794484592 140391600970370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23979] ppid=23966 vsize=26540748 memory=7380385388137112419 CPUtime=0 cores=0-7
/proc/23968/task/23979/stat : 23979 (java) S 23966 23966 22786 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 101664284 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390793430624 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23980] ppid=23966 vsize=26540748 memory=139927455331967 CPUtime=0 cores=0-7
/proc/23968/task/23980/stat : 23980 (java) S 23966 23966 22786 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 101664284 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390792377728 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23981] ppid=23966 vsize=26540748 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23981/stat : 23981 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101664287 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390791326032 140391600977819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23982] ppid=23966 vsize=26540748 memory=0 CPUtime=1.84 cores=0-7
/proc/23968/task/23982/stat : 23982 (java) R 23966 23966 22786 0 -1 4202560 3341 0 0 0 183 1 0 0 20 0 28 0 101664287 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390790260208 140391578847744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23983] ppid=23966 vsize=26540748 memory=0 CPUtime=1.76 cores=0-7
/proc/23968/task/23983/stat : 23983 (java) S 23966 23966 22786 0 -1 1077944384 2653 0 0 0 176 0 0 0 20 0 28 0 101664287 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390789220400 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23984] ppid=23966 vsize=26540748 memory=0 CPUtime=1.68 cores=0-7
/proc/23968/task/23984/stat : 23984 (java) R 23966 23966 22786 0 -1 4202560 2779 0 0 0 167 1 0 0 20 0 28 0 101664287 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390788156352 140391585858848 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23985] ppid=23966 vsize=26540748 memory=0 CPUtime=0.77 cores=0-7
/proc/23968/task/23985/stat : 23985 (java) R 23966 23966 22786 0 -1 1077944384 3093 0 0 0 75 2 0 0 20 0 28 0 101664287 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390787114992 140391600970370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23986] ppid=23966 vsize=26540748 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23986/stat : 23986 (java) S 23966 23966 22786 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101664287 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390786063456 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23987] ppid=23966 vsize=26540748 memory=0 CPUtime=0 cores=0-7
/proc/23968/task/23987/stat : 23987 (java) S 23966 23966 22786 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101664287 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390785010736 140391600970370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23988] ppid=23966 vsize=26540748 memory=0 CPUtime=0.44 cores=0-7
/proc/23968/task/23988/stat : 23988 (java) S 23966 23966 22786 0 -1 1077944384 176 0 0 0 44 0 0 0 20 0 28 0 101664470 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390777494192 140391600969429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23989] ppid=23966 vsize=26540748 memory=0 CPUtime=0.46 cores=0-7
/proc/23968/task/23989/stat : 23989 (java) R 23966 23966 22786 0 -1 4202560 57 0 0 0 46 0 0 0 20 0 28 0 101664470 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390774348048 140391223544685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23990] ppid=23966 vsize=26540748 memory=0 CPUtime=0.43 cores=0-7
/proc/23968/task/23990/stat : 23990 (java) R 23966 23966 22786 0 -1 4202560 45 0 0 0 43 0 0 0 20 0 28 0 101664470 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390773292592 140391223506863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23991] ppid=23966 vsize=26540748 memory=0 CPUtime=0.48 cores=0-7
/proc/23968/task/23991/stat : 23991 (java) R 23966 23966 22786 0 -1 4202560 76 0 0 0 48 0 0 0 20 0 28 0 101664470 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390772240000 140391223544119 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23992] ppid=23966 vsize=26540748 memory=0 CPUtime=0.45 cores=0-7
/proc/23968/task/23992/stat : 23992 (java) R 23966 23966 22786 0 -1 4202560 37 0 0 0 45 0 0 0 20 0 28 0 101664470 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390771189528 140391229729168 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23993] ppid=23966 vsize=26540748 memory=0 CPUtime=0.44 cores=0-7
/proc/23968/task/23993/stat : 23993 (java) R 23966 23966 22786 0 -1 1077944384 34 0 0 0 44 0 0 0 20 0 28 0 101664470 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390770134016 140391600969429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23994] ppid=23966 vsize=26540748 memory=0 CPUtime=0.48 cores=0-7
/proc/23968/task/23994/stat : 23994 (java) R 23966 23966 22786 0 -1 4202560 41 0 0 0 48 0 0 0 20 0 28 0 101664470 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390769082064 140391232758816 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
[pid=23968/tid=23995] ppid=23966 vsize=26540748 memory=0 CPUtime=0.49 cores=0-7
/proc/23968/task/23995/stat : 23995 (java) R 23966 23966 22786 0 -1 4202560 33 0 0 0 49 0 0 0 20 0 28 0 101664470 27177725952 170305 33554432000 4194304 4196468 140735279675312 140390768029464 140391223545148 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140735279682706 140735279682883 140735279682883 140735279685583 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 682604 KiB
Child status: 0
Real time (s): 2.67518
CPU time (s): 12.9325
CPU user time (s): 12.4402
CPU system time (s): 0.492376
CPU usage (%): 483.427
Max. virtual memory (cumulated for all children) (KiB): 26550260
Max. memory (cumulated for all children) (KiB): 682760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4402
system time used= 0.492376
maximum resident set size= 682968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22798
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= 3896
involuntary context switches= 138
# summary of solver processes directly reported to runsolver:
# pid: 23966
# total CPU time (s): 12.9325
# total CPU user time (s): 12.4402
# total CPU system time (s): 0.492376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046988 second user time and 0.060871 second system time
The end
Begin job on node107 at 2017-08-14 06:28:24 IDJOB=4271214 IDBENCH=120819 IDSOLVER=2662 FILE ID=node107/4271214-1502685762 RUNJOBID= node107-1502678505-22813 PBS_JOBID= 20628982 Free space on /tmp= 61660 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Rlfap/Rlfap-m1-scens/Rlfap-scen-05.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-4271214-1502685762/watcher-4271214-1502685762 -o /tmp/evaluation-result-4271214-1502685762/solver-4271214-1502685762 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502678505-22813 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1051518529 HOME/instance-4271214-1502685762.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4244c8790e6b20be71277bd8907aab3b RANDOM SEED=1051518529 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: 29126156 kB MemAvailable: 31987112 kB Buffers: 185040 kB Cached: 2963744 kB SwapCached: 0 kB Active: 541664 kB Inactive: 2660620 kB Active(anon): 56404 kB Inactive(anon): 24972 kB Active(file): 485260 kB Inactive(file): 2635648 kB Unevictable: 6328 kB Mlocked: 6328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7804 kB Writeback: 0 kB AnonPages: 59628 kB Mapped: 44156 kB Shmem: 25228 kB Slab: 137432 kB SReclaimable: 111764 kB SUnreclaim: 25668 kB KernelStack: 3248 kB PageTables: 4708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324972 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-14 06:28:26