0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280973-1503171551.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4280973-1503171551.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.32/0.26 c parse instance...
6.98/1.95 c solve instance...
185.97/24.53 s SATISFIABLE
185.97/24.53 v <instantiation>
185.97/24.53 v <list>q[0] q[1] q[2] q[3] q[4] q[5] q[6] q[7] q[8] q[9] q[10] q[11] q[12] q[13] q[14] q[15] q[16] q[17] q[18] q[19] q[20] q[21] q[22] q[23] q[24] q[25] q[26] q[27] q[28] q[29] q[30] q[31] q[32] q[33] q[34] q[35] q[36] q[37] q[38] q[39] q[40] q[41] q[42] q[43] q[44] q[45] q[46] q[47] q[48] q[49] q[50] q[51] q[52] q[53] q[54] q[55] q[56] q[57] q[58] q[59] q[60] q[61] q[62] q[63] q[64] q[65] q[66] q[67] q[68] q[69] q[70] q[71] q[72] q[73] q[74] q[75] q[76] q[77] q[78] q[79] q[80] q[81] q[82] q[83] q[84] q[85] q[86] q[87] q[88] q[89] q[90] q[91] q[92] q[93] q[94] q[95] q[96] q[97] q[98] q[99] </list>
185.97/24.53 v <values>34 40 24 28 23 58 26 31 22 64 56 5 47 65 19 21 8 88 25 20 92 51 59 73 69 66 53 48 76 42 81 87 91 80 96 98 72 52 54 83 14 95 68 10 12 62 75 90 79 67 82 35 50 30 63 45 43 37 86 15 93 84 44 38 16 77 11 18 1 13 78 17 74 61 57 60 71 32 6 41 49 70 85 94 55 2 39 97 36 9 0 4 27 33 3 99 7 46 89 29 </values>
185.97/24.53 v </instantiation>
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 (11932 MiB free)
memory of node 1: 16384 MiB (12146 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280973-1503171551/watcher-4280973-1503171551 -o /tmp/evaluation-result-4280973-1503171551/solver-4280973-1503171551 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503162776-1911 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 481257306 HOME/instance-4280973-1503171551.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=2864, runsolver pid=2861
[startup+0.100138 s]*
/proc/loadavg: 7.18 6.15 7.14 2/200 2885
/proc/meminfo: memFree=24640236/32770624 swapFree=67108860/67108860
[pid=2864] ppid=2861 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2864/stat : 2864 (xcsp3-exec) S 2861 2864 1884 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150235890 9740288 346 33554432000 4194304 5098028 140724063706464 140724063704568 140658589471356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24260608 140724063712357 140724063712567 140724063712567 140724063715307 0
/proc/2864/statm: 2378 346 289 221 0 87 0
[pid=2866] ppid=2864 vsize=25999808 memory=26572 CPUtime=0.11 cores=0-7
/proc/2866/stat : 2866 (java) S 2864 2864 1884 0 -1 1077944320 5582 0 0 0 10 1 0 0 20 0 20 0 150235891 26623803392 6643 33554432000 4194304 4196468 140724889499792 140724889482336 140159316561655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
/proc/2866/statm: 6499952 6643 2844 1 0 6488269 0
[pid=2866/tid=2867] ppid=2864 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/2866/task/2867/stat : 2867 (java) R 2864 2864 1884 0 -1 4202560 3589 0 0 0 8 1 0 0 20 0 20 0 150235891 26623803392 6643 33554432000 4194304 4196468 140724889499792 140159320788256 140158953161232 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2868] ppid=2864 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2866/task/2868/stat : 2868 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26623803392 6643 33554432000 4194304 4196468 140724889499792 140159279668112 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2869] ppid=2864 vsize=25999808 memory=140483845711488 CPUtime=0 cores=0-7
/proc/2866/task/2869/stat : 2869 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158874024720 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2870] ppid=2864 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2870/stat : 2870 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158872972432 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2871] ppid=2864 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2871/stat : 2871 (java) S 2864 2864 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150235892 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158871919632 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2872] ppid=2864 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2872/stat : 2872 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158870866320 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2873] ppid=2864 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2866/task/2873/stat : 2873 (java) S 2864 2864 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150235892 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158869813520 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2874] ppid=2864 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2874/stat : 2874 (java) S 2864 2864 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150235892 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158868761232 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2875] ppid=2864 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2875/stat : 2875 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158867708432 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2876] ppid=2864 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2876/stat : 2876 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235893 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158712408688 140159316572802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2877] ppid=2864 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2877/stat : 2877 (java) S 2864 2864 1884 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150235894 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158711354656 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2878] ppid=2864 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2878/stat : 2878 (java) S 2864 2864 1884 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150235894 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158710302320 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2879] ppid=2864 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2879/stat : 2879 (java) S 2864 2864 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150235896 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158709250640 140159316580251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2880] ppid=2864 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2880/stat : 2880 (java) S 2864 2864 1884 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 150235896 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158708197488 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2881] ppid=2864 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2881/stat : 2881 (java) S 2864 2864 1884 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 150235896 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158707144688 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2882] ppid=2864 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2882/stat : 2882 (java) S 2864 2864 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150235896 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158706092400 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2883] ppid=2864 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/2866/task/2883/stat : 2883 (java) S 2864 2864 1884 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 20 0 150235896 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158705039600 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2884] ppid=2864 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2884/stat : 2884 (java) S 2864 2864 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150235897 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158703987552 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2885] ppid=2864 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2866/task/2885/stat : 2885 (java) S 2864 2864 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150235897 26623803392 6643 33554432000 4194304 4196468 140724889499792 140158702934832 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27956 KiB
[startup+0.21003 s]*
/proc/loadavg: 7.18 6.15 7.14 3/200 2885
/proc/meminfo: memFree=24629040/32770624 swapFree=67108860/67108860
[pid=2864] ppid=2861 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2864/stat : 2864 (xcsp3-exec) S 2861 2864 1884 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150235890 9740288 346 33554432000 4194304 5098028 140724063706464 140724063704568 140658589471356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24260608 140724063712357 140724063712567 140724063712567 140724063715307 0
/proc/2864/statm: 2378 346 289 221 0 87 0
[pid=2866] ppid=2864 vsize=26004064 memory=39036 CPUtime=0.32 cores=0-7
/proc/2866/stat : 2866 (java) S 2864 2864 1884 0 -1 1077944320 8350 0 0 0 30 2 0 0 20 0 20 0 150235891 26628161536 9759 33554432000 4194304 4196468 140724889499792 140724889482336 140159316561655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
/proc/2866/statm: 6501016 9759 3040 1 0 6488269 0
[pid=2866/tid=2867] ppid=2864 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2866/task/2867/stat : 2867 (java) R 2864 2864 1884 0 -1 4202560 5444 0 0 0 18 1 0 0 20 0 20 0 150235891 26628161536 9759 33554432000 4194304 4196468 140724889499792 140159320784560 140159309239669 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2868] ppid=2864 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/2866/task/2868/stat : 2868 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 9759 33554432000 4194304 4196468 140724889499792 140159279668112 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2869] ppid=2864 vsize=26004064 memory=140483846396826 CPUtime=0 cores=0-7
/proc/2866/task/2869/stat : 2869 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158874024720 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2870] ppid=2864 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2866/task/2870/stat : 2870 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158872972432 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2871] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2871/stat : 2871 (java) S 2864 2864 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158871919632 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2872] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2872/stat : 2872 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158870866320 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2873] ppid=2864 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2866/task/2873/stat : 2873 (java) S 2864 2864 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158869813520 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2874] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2874/stat : 2874 (java) S 2864 2864 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158868761232 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2875] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2875/stat : 2875 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158867708432 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2876] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2876/stat : 2876 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235893 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158712408688 140159316572802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2877] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2877/stat : 2877 (java) S 2864 2864 1884 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150235894 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158711354656 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2878] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2878/stat : 2878 (java) S 2864 2864 1884 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150235894 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158710302320 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2879] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2879/stat : 2879 (java) S 2864 2864 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150235896 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158709250640 140159316580251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2880] ppid=2864 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/2866/task/2880/stat : 2880 (java) S 2864 2864 1884 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 20 0 150235896 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158708197488 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2881] ppid=2864 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/2866/task/2881/stat : 2881 (java) S 2864 2864 1884 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 20 0 150235896 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158707144688 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2882] ppid=2864 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2866/task/2882/stat : 2882 (java) S 2864 2864 1884 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 150235896 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158706092400 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2883] ppid=2864 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/2866/task/2883/stat : 2883 (java) R 2864 2864 1884 0 -1 4202560 741 0 0 0 7 0 0 0 20 0 20 0 150235896 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158705039600 140159295051681 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2884] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2884/stat : 2884 (java) S 2864 2864 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150235897 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158703987552 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2885] ppid=2864 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2866/task/2885/stat : 2885 (java) S 2864 2864 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150235897 26628161536 9759 33554432000 4194304 4196468 140724889499792 140158702934832 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40420 KiB
[startup+0.309475 s]*
/proc/loadavg: 7.18 6.15 7.14 3/200 2885
/proc/meminfo: memFree=24625008/32770624 swapFree=67108860/67108860
[pid=2864] ppid=2861 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2864/stat : 2864 (xcsp3-exec) S 2861 2864 1884 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150235890 9740288 346 33554432000 4194304 5098028 140724063706464 140724063704568 140658589471356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24260608 140724063712357 140724063712567 140724063712567 140724063715307 0
/proc/2864/statm: 2378 346 289 221 0 87 0
[pid=2866] ppid=2864 vsize=26004064 memory=43912 CPUtime=0.5 cores=0-7
/proc/2866/stat : 2866 (java) S 2864 2864 1884 0 -1 1077944320 9201 0 0 0 47 3 0 0 20 0 20 0 150235891 26628161536 10978 33554432000 4194304 4196468 140724889499792 140724889482336 140159316561655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
/proc/2866/statm: 6501016 10978 3080 1 0 6488269 0
[pid=2866/tid=2867] ppid=2864 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/2866/task/2867/stat : 2867 (java) R 2864 2864 1884 0 -1 4202560 6110 0 0 0 27 2 0 0 20 0 20 0 150235891 26628161536 10978 33554432000 4194304 4196468 140724889499792 140159320799568 140159316573590 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2868] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2868/stat : 2868 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 10978 33554432000 4194304 4196468 140724889499792 140159279668112 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2869] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2869/stat : 2869 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158874024720 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2870] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2870/stat : 2870 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158872972432 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2871] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2871/stat : 2871 (java) S 2864 2864 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158871919632 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2872] ppid=2864 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/2866/task/2872/stat : 2872 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158870866320 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2873] ppid=2864 vsize=26004064 memory=140483682726831 CPUtime=0 cores=0-7
/proc/2866/task/2873/stat : 2873 (java) S 2864 2864 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158869813520 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2874] ppid=2864 vsize=26004064 memory=140483682729136 CPUtime=0 cores=0-7
/proc/2866/task/2874/stat : 2874 (java) S 2864 2864 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158868761232 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2875] ppid=2864 vsize=26004064 memory=140483682731440 CPUtime=0 cores=0-7
/proc/2866/task/2875/stat : 2875 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158867708432 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2876] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2876/stat : 2876 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235893 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158712408688 140159316572802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2877] ppid=2864 vsize=26004064 memory=280967365469840 CPUtime=0 cores=0-7
/proc/2866/task/2877/stat : 2877 (java) S 2864 2864 1884 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150235894 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158711354656 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2878] ppid=2864 vsize=26004064 memory=280967365476752 CPUtime=0 cores=0-7
/proc/2866/task/2878/stat : 2878 (java) S 2864 2864 1884 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150235894 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158710302320 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2879] ppid=2864 vsize=26004064 memory=280967365418032 CPUtime=0 cores=0-7
/proc/2866/task/2879/stat : 2879 (java) S 2864 2864 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150235896 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158709250640 140159316580251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2880] ppid=2864 vsize=26004064 memory=280967365490576 CPUtime=0.02 cores=0-7
/proc/2866/task/2880/stat : 2880 (java) S 2864 2864 1884 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 20 0 150235896 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158708197488 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2881] ppid=2864 vsize=26004064 memory=280967365497488 CPUtime=0.02 cores=0-7
/proc/2866/task/2881/stat : 2881 (java) S 2864 2864 1884 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 20 0 150235896 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158707144688 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2882] ppid=2864 vsize=26004064 memory=280967365495184 CPUtime=0.02 cores=0-7
/proc/2866/task/2882/stat : 2882 (java) S 2864 2864 1884 0 -1 1077944384 209 0 0 0 2 0 0 0 20 0 20 0 150235896 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158706092400 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2883] ppid=2864 vsize=26004064 memory=280967365511344 CPUtime=0.12 cores=0-7
/proc/2866/task/2883/stat : 2883 (java) R 2864 2864 1884 0 -1 4202560 843 0 0 0 12 0 0 0 20 0 20 0 150235896 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158705035552 140159295519227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2884] ppid=2864 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2884/stat : 2884 (java) S 2864 2864 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150235897 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158703987552 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2885] ppid=2864 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2866/task/2885/stat : 2885 (java) S 2864 2864 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150235897 26628161536 10978 33554432000 4194304 4196468 140724889499792 140158702934832 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45296 KiB
[startup+0.7009 s]
/proc/loadavg: 7.18 6.15 7.14 5/200 2885
/proc/meminfo: memFree=24597836/32770624 swapFree=67108860/67108860
[pid=2864] ppid=2861 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2864/stat : 2864 (xcsp3-exec) S 2861 2864 1884 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150235890 9740288 346 33554432000 4194304 5098028 140724063706464 140724063704568 140658589471356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24260608 140724063712357 140724063712567 140724063712567 140724063715307 0
/proc/2864/statm: 2378 346 289 221 0 87 0
[pid=2866] ppid=2864 vsize=26006188 memory=101192 CPUtime=2.06 cores=0-7
/proc/2866/stat : 2866 (java) S 2864 2864 1884 0 -1 1077944320 14480 0 0 0 201 5 0 0 20 0 20 0 150235891 26630336512 25298 33554432000 4194304 4196468 140724889499792 140724889482336 140159316561655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
/proc/2866/statm: 6501547 25298 3202 1 0 6488781 0
[pid=2866/tid=2867] ppid=2864 vsize=26006188 memory=280967365869232 CPUtime=0.67 cores=0-7
/proc/2866/task/2867/stat : 2867 (java) R 2864 2864 1884 0 -1 4202560 6826 0 0 0 64 3 0 0 20 0 20 0 150235891 26630336512 25298 33554432000 4194304 4196468 140724889499792 140159320799328 140158953214325 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2868] ppid=2864 vsize=26006188 memory=140483682935664 CPUtime=0 cores=0-7
/proc/2866/task/2868/stat : 2868 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26630336512 25298 33554432000 4194304 4196468 140724889499792 140159279668112 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2869] ppid=2864 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2869/stat : 2869 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26630336512 25298 33554432000 4194304 4196468 140724889499792 140158874024720 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2870] ppid=2864 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/2866/task/2870/stat : 2870 (java) S 2864 2864 1884 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150235892 26630336512 25298 33554432000 4194304 4196468 140724889499792 140158872972432 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
################
# More data... #
################
[pid=2866/tid=2883] ppid=2864 vsize=26538700 memory=4112 CPUtime=0.91 cores=0-7
/proc/2866/task/2883/stat : 2883 (java) S 2864 2864 1884 0 -1 1077944384 6940 0 0 0 89 2 0 0 20 0 28 0 150235896 27175628800 232693 33554432000 4194304 4196468 140724889499792 140158705039600 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2884] ppid=2864 vsize=26538700 memory=2204 CPUtime=0 cores=0-7
/proc/2866/task/2884/stat : 2884 (java) S 2864 2864 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150235897 27175628800 232693 33554432000 4194304 4196468 140724889499792 140158703987552 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2885] ppid=2864 vsize=26538700 memory=7792 CPUtime=0.01 cores=0-7
/proc/2866/task/2885/stat : 2885 (java) S 2864 2864 1884 0 -1 1077944384 444 0 0 0 0 1 0 0 20 0 28 0 150235897 27175628800 232693 33554432000 4194304 4196468 140724889499792 140158702934832 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2886] ppid=2864 vsize=26538700 memory=844 CPUtime=20.94 cores=0-7
/proc/2866/task/2886/stat : 2886 (java) R 2864 2864 1884 0 -1 4202560 466 0 0 0 2094 0 0 0 20 0 28 0 150236089 27175628800 232693 33554432000 4194304 4196468 140724889499792 140158694923848 140158961537497 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2887] ppid=2864 vsize=26538700 memory=1152 CPUtime=20.88 cores=0-7
/proc/2866/task/2887/stat : 2887 (java) R 2864 2864 1884 0 -1 4202560 497 0 0 0 2087 1 0 0 20 0 28 0 150236090 27175628800 232693 33554432000 4194304 4196468 140724889499792 140158693871752 140158961537427 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2888] ppid=2864 vsize=26538700 memory=3108 CPUtime=20.97 cores=0-7
/proc/2866/task/2888/stat : 2888 (java) R 2864 2864 1884 0 -1 4202560 1522 0 0 0 2095 2 0 0 20 0 28 0 150236090 27175628800 232693 33554432000 4194304 4196468 140724889499792 140158692819816 140158961293120 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2889] ppid=2864 vsize=26538700 memory=1384 CPUtime=20.99 cores=0-7
/proc/2866/task/2889/stat : 2889 (java) R 2864 2864 1884 0 -1 4202560 1930 0 0 0 2096 3 0 0 20 0 28 0 150236090 27175628800 232693 33554432000 4194304 4196468 140724889499792 140158691765472 140158961537497 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2890] ppid=2864 vsize=26538700 memory=869332 CPUtime=20.97 cores=0-7
/proc/2866/task/2890/stat : 2890 (java) R 2864 2864 1884 0 -1 4202560 584 0 0 0 2096 1 0 0 20 0 28 0 150236090 27175628800 232693 33554432000 4194304 4196468 140724889499792 140158690713432 140158961537497 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2891] ppid=2864 vsize=26538700 memory=8112282956445269571 CPUtime=20.85 cores=0-7
/proc/2866/task/2891/stat : 2891 (java) R 2864 2864 1884 0 -1 4202560 815 0 0 0 2081 4 0 0 20 0 28 0 150236090 27175628800 232693 33554432000 4194304 4196468 140724889499792 140158689661064 140158962079050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2892] ppid=2864 vsize=26538700 memory=0 CPUtime=20.88 cores=0-7
/proc/2866/task/2892/stat : 2892 (java) R 2864 2864 1884 0 -1 4202560 640 0 0 0 2087 1 0 0 20 0 28 0 150236090 27175628800 232693 33554432000 4194304 4196468 140724889499792 140158688608248 140158961536784 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2893] ppid=2864 vsize=26538700 memory=0 CPUtime=20.87 cores=0-7
/proc/2866/task/2893/stat : 2893 (java) R 2864 2864 1884 0 -1 4202560 1018 0 0 0 2083 4 0 0 20 0 28 0 150236090 27175628800 232693 33554432000 4194304 4196468 140724889499792 140158687555848 140158962632263 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
Current children cumulated CPU time: 182.05 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 932156 KiB
[startup+24.402 s]
/proc/loadavg: 7.49 6.30 7.16 9/207 2894
/proc/meminfo: memFree=23736348/32770624 swapFree=67108860/67108860
[pid=2864] ppid=2861 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2864/stat : 2864 (xcsp3-exec) S 2861 2864 1884 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150235890 9740288 346 33554432000 4194304 5098028 140724063706464 140724063704568 140658589471356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24260608 140724063712357 140724063712567 140724063712567 140724063715307 0
/proc/2864/statm: 2378 346 289 221 0 87 0
[pid=2866] ppid=2864 vsize=26538700 memory=947156 CPUtime=185.17 cores=0-7
/proc/2866/stat : 2866 (java) S 2864 2864 1884 0 -1 1077944320 63121 0 0 0 18412 105 0 0 20 0 28 0 150235891 27175628800 236789 33554432000 4194304 4196468 140724889499792 140724889482336 140159316561655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
/proc/2866/statm: 6634675 236789 3292 1 0 6621909 0
[pid=2866/tid=2867] ppid=2864 vsize=26538700 memory=0 CPUtime=1.83 cores=0-7
/proc/2866/task/2867/stat : 2867 (java) S 2864 2864 1884 0 -1 1077944384 7897 0 0 0 176 7 0 0 20 0 28 0 150235891 27175628800 236789 33554432000 4194304 4196468 140724889499792 140159320802432 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2868] ppid=2864 vsize=26538700 memory=0 CPUtime=0.2 cores=0-7
/proc/2866/task/2868/stat : 2868 (java) S 2864 2864 1884 0 -1 1077944384 234 0 0 0 13 7 0 0 20 0 28 0 150235892 27175628800 236789 33554432000 4194304 4196468 140724889499792 140159279668112 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2869] ppid=2864 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7
/proc/2866/task/2869/stat : 2869 (java) S 2864 2864 1884 0 -1 1077944384 224 0 0 0 16 7 0 0 20 0 28 0 150235892 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158874024720 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2870] ppid=2864 vsize=26538700 memory=0 CPUtime=0.25 cores=0-7
/proc/2866/task/2870/stat : 2870 (java) S 2864 2864 1884 0 -1 1077944384 230 0 0 0 17 8 0 0 20 0 28 0 150235892 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158872972432 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2871] ppid=2864 vsize=26538700 memory=1384 CPUtime=0.24 cores=0-7
/proc/2866/task/2871/stat : 2871 (java) S 2864 2864 1884 0 -1 1077944384 1161 0 0 0 16 8 0 0 20 0 28 0 150235892 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158871919632 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2872] ppid=2864 vsize=26538700 memory=924628 CPUtime=0.24 cores=0-7
/proc/2866/task/2872/stat : 2872 (java) S 2864 2864 1884 0 -1 1077944384 312 0 0 0 16 8 0 0 20 0 28 0 150235892 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158870866320 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2873] ppid=2864 vsize=26538700 memory=15876 CPUtime=0.25 cores=0-7
/proc/2866/task/2873/stat : 2873 (java) S 2864 2864 1884 0 -1 1077944384 517 0 0 0 17 8 0 0 20 0 28 0 150235892 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158869813520 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2874] ppid=2864 vsize=26538700 memory=4052 CPUtime=0.24 cores=0-7
/proc/2866/task/2874/stat : 2874 (java) S 2864 2864 1884 0 -1 1077944384 270 0 0 0 17 7 0 0 20 0 28 0 150235892 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158868761232 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2875] ppid=2864 vsize=26538700 memory=24192 CPUtime=0.26 cores=0-7
/proc/2866/task/2875/stat : 2875 (java) S 2864 2864 1884 0 -1 1077944384 171 0 0 0 17 9 0 0 20 0 28 0 150235892 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158867708432 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2876] ppid=2864 vsize=26538700 memory=18472 CPUtime=0.03 cores=0-7
/proc/2866/task/2876/stat : 2876 (java) S 2864 2864 1884 0 -1 1077944384 1226 0 0 0 2 1 0 0 20 0 28 0 150235893 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158712408688 140159316572802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2877] ppid=2864 vsize=26538700 memory=640 CPUtime=0 cores=0-7
/proc/2866/task/2877/stat : 2877 (java) S 2864 2864 1884 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 150235894 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158711354720 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2878] ppid=2864 vsize=26538700 memory=1796 CPUtime=0 cores=0-7
/proc/2866/task/2878/stat : 2878 (java) S 2864 2864 1884 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 150235894 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158710302336 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2879] ppid=2864 vsize=26538700 memory=960 CPUtime=0 cores=0-7
/proc/2866/task/2879/stat : 2879 (java) S 2864 2864 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150235896 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158709250640 140159316580251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2880] ppid=2864 vsize=26538700 memory=3124 CPUtime=3.13 cores=0-7
/proc/2866/task/2880/stat : 2880 (java) S 2864 2864 1884 0 -1 1077944384 10037 0 0 0 311 2 0 0 20 0 28 0 150235896 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158708197488 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2881] ppid=2864 vsize=26538700 memory=1384 CPUtime=3.16 cores=0-7
/proc/2866/task/2881/stat : 2881 (java) S 2864 2864 1884 0 -1 1077944384 11191 0 0 0 314 2 0 0 20 0 28 0 150235896 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158707144688 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2882] ppid=2864 vsize=26538700 memory=869332 CPUtime=3.5 cores=0-7
/proc/2866/task/2882/stat : 2882 (java) S 2864 2864 1884 0 -1 1077944384 13385 0 0 0 348 2 0 0 20 0 28 0 150235896 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158706092400 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2883] ppid=2864 vsize=26538700 memory=8112282956445269571 CPUtime=0.91 cores=0-7
/proc/2866/task/2883/stat : 2883 (java) S 2864 2864 1884 0 -1 1077944384 6940 0 0 0 89 2 0 0 20 0 28 0 150235896 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158705039600 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2884] ppid=2864 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/2866/task/2884/stat : 2884 (java) S 2864 2864 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150235897 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158703987552 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2885] ppid=2864 vsize=26538700 memory=2276 CPUtime=0.01 cores=0-7
/proc/2866/task/2885/stat : 2885 (java) S 2864 2864 1884 0 -1 1077944384 444 0 0 0 0 1 0 0 20 0 28 0 150235897 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158702934832 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2886] ppid=2864 vsize=26538700 memory=0 CPUtime=21.33 cores=0-7
/proc/2866/task/2886/stat : 2886 (java) R 2864 2864 1884 0 -1 4202560 468 0 0 0 2133 0 0 0 20 0 28 0 150236089 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158694923792 140158961537612 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2887] ppid=2864 vsize=26538700 memory=0 CPUtime=21.27 cores=0-7
/proc/2866/task/2887/stat : 2887 (java) R 2864 2864 1884 0 -1 4202560 499 0 0 0 2126 1 0 0 20 0 28 0 150236090 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158693871568 140158961944882 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2888] ppid=2864 vsize=26538700 memory=0 CPUtime=21.36 cores=0-7
/proc/2866/task/2888/stat : 2888 (java) R 2864 2864 1884 0 -1 4202560 1523 0 0 0 2134 2 0 0 20 0 28 0 150236090 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158692818680 140158962632496 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2889] ppid=2864 vsize=26538700 memory=0 CPUtime=21.38 cores=0-7
/proc/2866/task/2889/stat : 2889 (java) R 2864 2864 1884 0 -1 4202560 1945 0 0 0 2135 3 0 0 20 0 28 0 150236090 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158691765888 140158963055719 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2890] ppid=2864 vsize=26538700 memory=0 CPUtime=21.36 cores=0-7
/proc/2866/task/2890/stat : 2890 (java) R 2864 2864 1884 0 -1 4202560 585 0 0 0 2135 1 0 0 20 0 28 0 150236090 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158690713704 140158961946008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2891] ppid=2864 vsize=26538700 memory=0 CPUtime=21.23 cores=0-7
/proc/2866/task/2891/stat : 2891 (java) R 2864 2864 1884 0 -1 4202560 817 0 0 0 2119 4 0 0 20 0 28 0 150236090 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158689660816 140158961537575 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2892] ppid=2864 vsize=26538700 memory=0 CPUtime=21.27 cores=0-7
/proc/2866/task/2892/stat : 2892 (java) R 2864 2864 1884 0 -1 4202560 640 0 0 0 2126 1 0 0 20 0 28 0 150236090 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158688608264 140158961537851 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2893] ppid=2864 vsize=26538700 memory=280967366952128 CPUtime=21.26 cores=0-7
/proc/2866/task/2893/stat : 2893 (java) R 2864 2864 1884 0 -1 4202560 1019 0 0 0 2122 4 0 0 20 0 28 0 150236090 27175628800 236789 33554432000 4194304 4196468 140724889499792 140158687555408 140158961944882 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
Current children cumulated CPU time: 185.17 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 948540 KiB
[startup+24.502 s]
/proc/loadavg: 7.49 6.30 7.16 9/207 2894
/proc/meminfo: memFree=23736348/32770624 swapFree=67108860/67108860
[pid=2864] ppid=2861 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2864/stat : 2864 (xcsp3-exec) S 2861 2864 1884 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150235890 9740288 346 33554432000 4194304 5098028 140724063706464 140724063704568 140658589471356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24260608 140724063712357 140724063712567 140724063712567 140724063715307 0
/proc/2864/statm: 2378 346 289 221 0 87 0
[pid=2866] ppid=2864 vsize=26538700 memory=949204 CPUtime=185.97 cores=0-7
/proc/2866/stat : 2866 (java) S 2864 2864 1884 0 -1 1077944320 63209 0 0 0 18492 105 0 0 20 0 28 0 150235891 27175628800 237301 33554432000 4194304 4196468 140724889499792 140724889482336 140159316561655 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
/proc/2866/statm: 6634675 237301 3292 1 0 6621909 0
[pid=2866/tid=2867] ppid=2864 vsize=26538700 memory=943060 CPUtime=1.83 cores=0-7
/proc/2866/task/2867/stat : 2867 (java) S 2864 2864 1884 0 -1 1077944384 7897 0 0 0 176 7 0 0 20 0 28 0 150235891 27175628800 237301 33554432000 4194304 4196468 140724889499792 140159320802432 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2868] ppid=2864 vsize=26538700 memory=1384 CPUtime=0.2 cores=0-7
/proc/2866/task/2868/stat : 2868 (java) S 2864 2864 1884 0 -1 1077944384 234 0 0 0 13 7 0 0 20 0 28 0 150235892 27175628800 237301 33554432000 4194304 4196468 140724889499792 140159279668112 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2869] ppid=2864 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7
/proc/2866/task/2869/stat : 2869 (java) S 2864 2864 1884 0 -1 1077944384 224 0 0 0 16 7 0 0 20 0 28 0 150235892 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158874024720 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2870] ppid=2864 vsize=26538700 memory=0 CPUtime=0.25 cores=0-7
/proc/2866/task/2870/stat : 2870 (java) S 2864 2864 1884 0 -1 1077944384 230 0 0 0 17 8 0 0 20 0 28 0 150235892 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158872972432 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2871] ppid=2864 vsize=26538700 memory=7451882235741561942 CPUtime=0.24 cores=0-7
/proc/2866/task/2871/stat : 2871 (java) S 2864 2864 1884 0 -1 1077944384 1161 0 0 0 16 8 0 0 20 0 28 0 150235892 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158871919632 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2872] ppid=2864 vsize=26538700 memory=24192 CPUtime=0.24 cores=0-7
/proc/2866/task/2872/stat : 2872 (java) S 2864 2864 1884 0 -1 1077944384 312 0 0 0 16 8 0 0 20 0 28 0 150235892 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158870866320 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2873] ppid=2864 vsize=26538700 memory=18472 CPUtime=0.25 cores=0-7
/proc/2866/task/2873/stat : 2873 (java) S 2864 2864 1884 0 -1 1077944384 517 0 0 0 17 8 0 0 20 0 28 0 150235892 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158869813520 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2874] ppid=2864 vsize=26538700 memory=640 CPUtime=0.24 cores=0-7
/proc/2866/task/2874/stat : 2874 (java) S 2864 2864 1884 0 -1 1077944384 270 0 0 0 17 7 0 0 20 0 28 0 150235892 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158868761232 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2875] ppid=2864 vsize=26538700 memory=960 CPUtime=0.26 cores=0-7
/proc/2866/task/2875/stat : 2875 (java) S 2864 2864 1884 0 -1 1077944384 171 0 0 0 17 9 0 0 20 0 28 0 150235892 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158867708432 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2876] ppid=2864 vsize=26538700 memory=1232 CPUtime=0.03 cores=0-7
/proc/2866/task/2876/stat : 2876 (java) S 2864 2864 1884 0 -1 1077944384 1226 0 0 0 2 1 0 0 20 0 28 0 150235893 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158712408688 140159316572802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2877] ppid=2864 vsize=26538700 memory=2428 CPUtime=0 cores=0-7
/proc/2866/task/2877/stat : 2877 (java) S 2864 2864 1884 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 150235894 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158711354720 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2878] ppid=2864 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/2866/task/2878/stat : 2878 (java) S 2864 2864 1884 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 28 0 150235894 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158710302336 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2879] ppid=2864 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/2866/task/2879/stat : 2879 (java) S 2864 2864 1884 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150235896 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158709250640 140159316580251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2880] ppid=2864 vsize=26538700 memory=630328 CPUtime=3.13 cores=0-7
/proc/2866/task/2880/stat : 2880 (java) S 2864 2864 1884 0 -1 1077944384 10037 0 0 0 311 2 0 0 20 0 28 0 150235896 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158708197488 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2881] ppid=2864 vsize=26538700 memory=1384 CPUtime=3.16 cores=0-7
/proc/2866/task/2881/stat : 2881 (java) R 2864 2864 1884 0 -1 4202560 11194 0 0 0 314 2 0 0 20 0 28 0 150235896 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158707144688 140159296434450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2882] ppid=2864 vsize=26538700 memory=280967366508160 CPUtime=3.5 cores=0-7
/proc/2866/task/2882/stat : 2882 (java) S 2864 2864 1884 0 -1 1077944384 13385 0 0 0 348 2 0 0 20 0 28 0 150235896 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158706092400 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2883] ppid=2864 vsize=26538700 memory=-1161699032756030039 CPUtime=0.91 cores=0-7
/proc/2866/task/2883/stat : 2883 (java) R 2864 2864 1884 0 -1 1077944384 6969 0 0 0 89 2 0 0 20 0 28 0 150235896 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158705039384 140159316582845 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2884] ppid=2864 vsize=26538700 memory=9198851636693084827 CPUtime=0 cores=0-7
/proc/2866/task/2884/stat : 2884 (java) S 2864 2864 1884 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150235897 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158703987552 140159316571861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2885] ppid=2864 vsize=26538700 memory=-2127768714539916680 CPUtime=0.01 cores=0-7
/proc/2866/task/2885/stat : 2885 (java) S 2864 2864 1884 0 -1 1077944384 444 0 0 0 0 1 0 0 20 0 28 0 150235897 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158702934832 140159316572802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2886] ppid=2864 vsize=26538700 memory=1384 CPUtime=21.43 cores=0-7
/proc/2866/task/2886/stat : 2886 (java) R 2864 2864 1884 0 -1 4202560 468 0 0 0 2143 0 0 0 20 0 28 0 150236089 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158694923792 140158961946008 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2887] ppid=2864 vsize=26538700 memory=1384 CPUtime=21.37 cores=0-7
/proc/2866/task/2887/stat : 2887 (java) R 2864 2864 1884 0 -1 4202560 499 0 0 0 2136 1 0 0 20 0 28 0 150236090 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158693871568 140158961317127 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2888] ppid=2864 vsize=26538700 memory=869332 CPUtime=21.46 cores=0-7
/proc/2866/task/2888/stat : 2888 (java) R 2864 2864 1884 0 -1 4202560 1523 0 0 0 2144 2 0 0 20 0 28 0 150236090 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158692818680 140158961536954 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2889] ppid=2864 vsize=26538700 memory=4144 CPUtime=21.48 cores=0-7
/proc/2866/task/2889/stat : 2889 (java) R 2864 2864 1884 0 -1 4202560 1947 0 0 0 2145 3 0 0 20 0 28 0 150236090 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158691766024 140158962536602 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2890] ppid=2864 vsize=26538700 memory=8112282956445269571 CPUtime=21.46 cores=0-7
/proc/2866/task/2890/stat : 2890 (java) R 2864 2864 1884 0 -1 4202560 585 0 0 0 2145 1 0 0 20 0 28 0 150236090 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158690713704 140158961537851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2891] ppid=2864 vsize=26538700 memory=0 CPUtime=21.33 cores=0-7
/proc/2866/task/2891/stat : 2891 (java) R 2864 2864 1884 0 -1 4202560 900 0 0 0 2129 4 0 0 20 0 28 0 150236090 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158689660816 140158953189729 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2892] ppid=2864 vsize=26538700 memory=280967367362752 CPUtime=21.37 cores=0-7
/proc/2866/task/2892/stat : 2892 (java) R 2864 2864 1884 0 -1 4202560 640 0 0 0 2136 1 0 0 20 0 28 0 150236090 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158688608264 140158961537034 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
[pid=2866/tid=2893] ppid=2864 vsize=26538700 memory=0 CPUtime=21.36 cores=0-7
/proc/2866/task/2893/stat : 2893 (java) R 2864 2864 1884 0 -1 4202560 1019 0 0 0 2132 4 0 0 20 0 28 0 150236090 27175628800 237301 33554432000 4194304 4196468 140724889499792 140158687555408 140158961537599 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14741504 140724889506962 140724889507139 140724889507139 140724889509839 0
Current children cumulated CPU time: 185.97 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 950588 KiB
Child status: 0
Real time (s): 24.55
CPU time (s): 186.218
CPU user time (s): 185.143
CPU system time (s): 1.07503
CPU usage (%): 758.525
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 950588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.143
system time used= 1.07503
maximum resident set size= 953028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5721
involuntary context switches= 3159
# summary of solver processes directly reported to runsolver:
# pid: 2864
# total CPU time (s): 186.218
# total CPU user time (s): 185.143
# total CPU system time (s): 1.07503
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.21977 second user time and 0.346892 second system time
The end
Begin job on node151 at 2017-08-19 21:24:51
IDJOB=4280973
IDBENCH=138768
IDSOLVER=2675
FILE ID=node151/4280973-1503171551
RUNJOBID= node151-1503162776-1911
PBS_JOBID= 20630827
Free space on /tmp= 61804 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Queens/Queens-m1-s1/Queens-0100-m1.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-4280973-1503171551/watcher-4280973-1503171551 -o /tmp/evaluation-result-4280973-1503171551/solver-4280973-1503171551 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503162776-1911 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 481257306 HOME/instance-4280973-1503171551.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 1854ece61a5fdd3da80103fde6339040
RANDOM SEED=481257306
node151.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 : 5332.95
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 : 5332.95
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 : 5332.95
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 : 5332.95
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: 24656608 kB
MemAvailable: 31972848 kB
Buffers: 325436 kB
Cached: 7283016 kB
SwapCached: 0 kB
Active: 1796996 kB
Inactive: 5863236 kB
Active(anon): 43972 kB
Inactive(anon): 44328 kB
Active(file): 1753024 kB
Inactive(file): 5818908 kB
Unevictable: 7576 kB
Mlocked: 7576 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7972 kB
Writeback: 0 kB
AnonPages: 59896 kB
Mapped: 51360 kB
Shmem: 33416 kB
Slab: 146648 kB
SReclaimable: 120288 kB
SUnreclaim: 26360 kB
KernelStack: 3184 kB
PageTables: 4672 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333252 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: 114048 kB
DirectMap2M: 33431552 kB
Free space on /tmp at the end= 61796 MiB
End job on node151 at 2017-08-19 21:25:16