0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271165-1502819930.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4271165-1502819930.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
10.08/2.91 c solve instance...
844.91/108.38 s SATISFIABLE
844.91/108.38 v <instantiation>
844.91/108.38 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] q[100] q[101] q[102] q[103] q[104] q[105] q[106] q[107] q[108] q[109] q[110] q[111] q[112] q[113] q[114] q[115] q[116] q[117] q[118] q[119] q[120] q[121] q[122] q[123] q[124] q[125] q[126] q[127] q[128] q[129] q[130] q[131] q[132] q[133] q[134] q[135] q[136] q[137] q[138] q[139] q[140] q[141] q[142] q[143] q[144] q[145] q[146] q[147] q[148] q[149] </list>
844.91/108.38 v <values>103 90 84 86 88 83 49 74 60 48 69 73 47 50 44 41 57 53 42 66 77 107 96 72 2 110 101 67 94 117 63 38 64 34 99 29 112 93 40 37 35 33 136 139 148 56 141 144 52 16 149 119 129 19 134 145 120 126 121 114 78 1 4 135 137 146 127 138 147 100 7 0 122 143 132 8 6 3 131 133 61 108 23 21 106 5 20 116 27 97 22 111 104 28 80 123 142 68 70 98 31 71 105 55 109 54 140 113 76 125 85 124 65 58 128 51 59 45 62 26 43 46 25 32 30 39 11 81 24 75 92 79 87 17 95 82 115 14 89 10 13 91 18 102 118 12 15 9 130 36 </values>
844.91/108.38 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 (12254 MiB free)
memory of node 1: 16384 MiB (13535 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271165-1502819930/watcher-4271165-1502819930 -o /tmp/evaluation-result-4271165-1502819930/solver-4271165-1502819930 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502819071-24002 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 53013328 HOME/instance-4271165-1502819930.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=24019, runsolver pid=24016
[startup+0.100144 s]*
/proc/loadavg: 0.99 1.55 1.65 2/200 24040
/proc/meminfo: memFree=26393200/32770624 swapFree=67108860/67108860
[pid=24019] ppid=24016 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 23975 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115064581 9740288 346 33554432000 4194304 5098028 140729065149648 140729065147752 140148004172412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34607104 140729065157734 140729065157943 140729065157943 140729065160683 0
/proc/24019/statm: 2378 346 289 221 0 87 0
[pid=24021] ppid=24019 vsize=25999808 memory=26308 CPUtime=0.11 cores=0-7
/proc/24021/stat : 24021 (java) S 24019 24019 23975 0 -1 1077944320 5514 0 0 0 10 1 0 0 20 0 20 0 115064581 26623803392 6577 33554432000 4194304 4196468 140732998778880 140732998761424 140271456419575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
/proc/24021/statm: 6499952 6577 2841 1 0 6488269 0
[pid=24021/tid=24022] ppid=24019 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/24021/task/24022/stat : 24022 (java) R 24019 24019 23975 0 -1 4202560 3502 0 0 0 8 0 0 0 20 0 20 0 115064581 26623803392 6577 33554432000 4194304 4196468 140732998778880 140271460651824 140271456431510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24023] ppid=24019 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24021/task/24023/stat : 24023 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115064582 26623803392 6577 33554432000 4194304 4196468 140732998778880 140271015082512 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24024] ppid=24019 vsize=25999808 memory=139922384184960 CPUtime=0 cores=0-7
/proc/24021/task/24024/stat : 24024 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26623803392 6577 33554432000 4194304 4196468 140732998778880 140271014029968 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24025] ppid=24019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24025/stat : 24025 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26623803392 6577 33554432000 4194304 4196468 140732998778880 140271012976912 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24026] ppid=24019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24026/stat : 24026 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115064582 26623803392 6577 33554432000 4194304 4196468 140732998778880 140271011924368 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24027] ppid=24019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24027/stat : 24027 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26623803392 6577 33554432000 4194304 4196468 140732998778880 140271010872336 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24028] ppid=24019 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24021/task/24028/stat : 24028 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26623803392 6577 33554432000 4194304 4196468 140732998778880 140271009819792 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24029] ppid=24019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24029/stat : 24029 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26623803392 6577 33554432000 4194304 4196468 140732998778880 140271008766736 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24030] ppid=24019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24030/stat : 24030 (java) S 24019 24019 23975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115064582 26623803392 6577 33554432000 4194304 4196468 140732998778880 140271007714192 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24031] ppid=24019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24031/stat : 24031 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064584 26623803392 6577 33554432000 4194304 4196468 140732998778880 140270583802096 140271456430722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24032] ppid=24019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24032/stat : 24032 (java) S 24019 24019 23975 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115064584 26623803392 6577 33554432000 4194304 4196468 140732998778880 140270582748320 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24033] ppid=24019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24033/stat : 24033 (java) S 24019 24019 23975 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115064584 26623803392 6577 33554432000 4194304 4196468 140732998778880 140270581695216 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24034] ppid=24019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24034/stat : 24034 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115064587 26623803392 6577 33554432000 4194304 4196468 140732998778880 140270580643792 140271456438171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24035] ppid=24019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24035/stat : 24035 (java) S 24019 24019 23975 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 115064587 26623803392 6577 33554432000 4194304 4196468 140732998778880 140270579591920 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24036] ppid=24019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24036/stat : 24036 (java) S 24019 24019 23975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115064587 26623803392 6577 33554432000 4194304 4196468 140732998778880 140270578539376 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24037] ppid=24019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24037/stat : 24037 (java) S 24019 24019 23975 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 115064587 26623803392 6577 33554432000 4194304 4196468 140732998778880 140270577486320 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24038] ppid=24019 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/24021/task/24038/stat : 24038 (java) R 24019 24019 23975 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 115064587 26623803392 6577 33554432000 4194304 4196468 140732998778880 140270576433776 140271435691360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24039] ppid=24019 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24039/stat : 24039 (java) S 24019 24019 23975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115064587 26623803392 6577 33554432000 4194304 4196468 140732998778880 140270575380960 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24040] ppid=24019 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24021/task/24040/stat : 24040 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115064587 26623803392 6577 33554432000 4194304 4196468 140732998778880 140270574328496 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27692 KiB
[startup+0.21042 s]*
/proc/loadavg: 0.99 1.55 1.65 2/200 24040
/proc/meminfo: memFree=26381928/32770624 swapFree=67108860/67108860
[pid=24019] ppid=24016 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 23975 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115064581 9740288 346 33554432000 4194304 5098028 140729065149648 140729065147752 140148004172412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34607104 140729065157734 140729065157943 140729065157943 140729065160683 0
/proc/24019/statm: 2378 346 289 221 0 87 0
[pid=24021] ppid=24019 vsize=26004064 memory=39196 CPUtime=0.33 cores=0-7
/proc/24021/stat : 24021 (java) S 24019 24019 23975 0 -1 1077944320 8323 0 0 0 31 2 0 0 20 0 20 0 115064581 26628161536 9799 33554432000 4194304 4196468 140732998778880 140732998761424 140271456419575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
/proc/24021/statm: 6501016 9799 3077 1 0 6488269 0
[pid=24021/tid=24022] ppid=24019 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24021/task/24022/stat : 24022 (java) R 24019 24019 23975 0 -1 4202560 5417 0 0 0 18 1 0 0 20 0 20 0 115064581 26628161536 9799 33554432000 4194304 4196468 140732998778880 140271460640568 140271440500062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24023] ppid=24019 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/24021/task/24023/stat : 24023 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 9799 33554432000 4194304 4196468 140732998778880 140271015082512 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24024] ppid=24019 vsize=26004064 memory=139922384585669 CPUtime=0 cores=0-7
/proc/24021/task/24024/stat : 24024 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 9799 33554432000 4194304 4196468 140732998778880 140271014029968 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24025] ppid=24019 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24021/task/24025/stat : 24025 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 9799 33554432000 4194304 4196468 140732998778880 140271012976912 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24026] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24026/stat : 24026 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 9799 33554432000 4194304 4196468 140732998778880 140271011924368 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24027] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24027/stat : 24027 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 9799 33554432000 4194304 4196468 140732998778880 140271010872336 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24028] ppid=24019 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24021/task/24028/stat : 24028 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 9799 33554432000 4194304 4196468 140732998778880 140271009819792 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24029] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24029/stat : 24029 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 9799 33554432000 4194304 4196468 140732998778880 140271008766736 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24030] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24030/stat : 24030 (java) S 24019 24019 23975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 9799 33554432000 4194304 4196468 140732998778880 140271007714192 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24031] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24031/stat : 24031 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064584 26628161536 9799 33554432000 4194304 4196468 140732998778880 140270583802096 140271456430722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24032] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24032/stat : 24032 (java) S 24019 24019 23975 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115064584 26628161536 9799 33554432000 4194304 4196468 140732998778880 140270582748320 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24033] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24033/stat : 24033 (java) S 24019 24019 23975 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115064584 26628161536 9799 33554432000 4194304 4196468 140732998778880 140270581695216 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24034] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24034/stat : 24034 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115064587 26628161536 9799 33554432000 4194304 4196468 140732998778880 140270580643792 140271456438171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24035] ppid=24019 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/24021/task/24035/stat : 24035 (java) S 24019 24019 23975 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 20 0 115064587 26628161536 9799 33554432000 4194304 4196468 140732998778880 140270579591920 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24036] ppid=24019 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/24021/task/24036/stat : 24036 (java) S 24019 24019 23975 0 -1 1077944384 229 0 0 0 1 0 0 0 20 0 20 0 115064587 26628161536 9799 33554432000 4194304 4196468 140732998778880 140270578539376 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24037] ppid=24019 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/24021/task/24037/stat : 24037 (java) S 24019 24019 23975 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 20 0 115064587 26628161536 9799 33554432000 4194304 4196468 140732998778880 140270577486320 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24038] ppid=24019 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/24021/task/24038/stat : 24038 (java) R 24019 24019 23975 0 -1 4202560 754 0 0 0 7 0 0 0 20 0 20 0 115064587 26628161536 9799 33554432000 4194304 4196468 140732998778880 140270576433776 140271456440922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24039] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24039/stat : 24039 (java) S 24019 24019 23975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115064587 26628161536 9799 33554432000 4194304 4196468 140732998778880 140270575380960 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24040] ppid=24019 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24021/task/24040/stat : 24040 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115064587 26628161536 9799 33554432000 4194304 4196468 140732998778880 140270574328496 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40580 KiB
[startup+0.310061 s]*
/proc/loadavg: 0.99 1.55 1.65 3/200 24040
/proc/meminfo: memFree=26377524/32770624 swapFree=67108860/67108860
[pid=24019] ppid=24016 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 23975 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115064581 9740288 346 33554432000 4194304 5098028 140729065149648 140729065147752 140148004172412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34607104 140729065157734 140729065157943 140729065157943 140729065160683 0
/proc/24019/statm: 2378 346 289 221 0 87 0
[pid=24021] ppid=24019 vsize=26004064 memory=43864 CPUtime=0.5 cores=0-7
/proc/24021/stat : 24021 (java) S 24019 24019 23975 0 -1 1077944320 9169 0 0 0 47 3 0 0 20 0 20 0 115064581 26628161536 10966 33554432000 4194304 4196468 140732998778880 140732998761424 140271456419575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
/proc/24021/statm: 6501016 10966 3113 1 0 6488269 0
[pid=24021/tid=24022] ppid=24019 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24021/task/24022/stat : 24022 (java) R 24019 24019 23975 0 -1 4202560 6092 0 0 0 27 2 0 0 20 0 20 0 115064581 26628161536 10966 33554432000 4194304 4196468 140732998778880 140271460658912 140271456431510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24023] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24023/stat : 24023 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 10966 33554432000 4194304 4196468 140732998778880 140271015082512 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24024] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24024/stat : 24024 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 10966 33554432000 4194304 4196468 140732998778880 140271014029968 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24025] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24025/stat : 24025 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 10966 33554432000 4194304 4196468 140732998778880 140271012976912 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24026] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24026/stat : 24026 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 10966 33554432000 4194304 4196468 140732998778880 140271011924368 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24027] ppid=24019 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/24021/task/24027/stat : 24027 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 10966 33554432000 4194304 4196468 140732998778880 140271010872336 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24028] ppid=24019 vsize=26004064 memory=139922249970607 CPUtime=0 cores=0-7
/proc/24021/task/24028/stat : 24028 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 10966 33554432000 4194304 4196468 140732998778880 140271009819792 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24029] ppid=24019 vsize=26004064 memory=139922249972912 CPUtime=0 cores=0-7
/proc/24021/task/24029/stat : 24029 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 10966 33554432000 4194304 4196468 140732998778880 140271008766736 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24030] ppid=24019 vsize=26004064 memory=139922249975216 CPUtime=0 cores=0-7
/proc/24021/task/24030/stat : 24030 (java) S 24019 24019 23975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115064582 26628161536 10966 33554432000 4194304 4196468 140732998778880 140271007714192 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24031] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24031/stat : 24031 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064584 26628161536 10966 33554432000 4194304 4196468 140732998778880 140270583802096 140271456430722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24032] ppid=24019 vsize=26004064 memory=279844499957392 CPUtime=0 cores=0-7
/proc/24021/task/24032/stat : 24032 (java) S 24019 24019 23975 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115064584 26628161536 10966 33554432000 4194304 4196468 140732998778880 140270582748320 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24033] ppid=24019 vsize=26004064 memory=279844499964304 CPUtime=0 cores=0-7
/proc/24021/task/24033/stat : 24033 (java) S 24019 24019 23975 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115064584 26628161536 10966 33554432000 4194304 4196468 140732998778880 140270581695216 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24034] ppid=24019 vsize=26004064 memory=279844499905584 CPUtime=0 cores=0-7
/proc/24021/task/24034/stat : 24034 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115064587 26628161536 10966 33554432000 4194304 4196468 140732998778880 140270580643792 140271456438171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24035] ppid=24019 vsize=26004064 memory=279844499978128 CPUtime=0.02 cores=0-7
/proc/24021/task/24035/stat : 24035 (java) S 24019 24019 23975 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 20 0 115064587 26628161536 10966 33554432000 4194304 4196468 140732998778880 140270579591920 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24036] ppid=24019 vsize=26004064 memory=279844499985040 CPUtime=0.03 cores=0-7
/proc/24021/task/24036/stat : 24036 (java) S 24019 24019 23975 0 -1 1077944384 283 0 0 0 3 0 0 0 20 0 20 0 115064587 26628161536 10966 33554432000 4194304 4196468 140732998778880 140270578539376 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24037] ppid=24019 vsize=26004064 memory=279844499982736 CPUtime=0.01 cores=0-7
/proc/24021/task/24037/stat : 24037 (java) R 24019 24019 23975 0 -1 4202560 199 0 0 0 1 0 0 0 20 0 20 0 115064587 26628161536 10966 33554432000 4194304 4196468 140732998778880 140270577486320 140271440403473 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24038] ppid=24019 vsize=26004064 memory=279844499998896 CPUtime=0.12 cores=0-7
/proc/24021/task/24038/stat : 24038 (java) R 24019 24019 23975 0 -1 4202560 843 0 0 0 12 0 0 0 20 0 20 0 115064587 26628161536 10966 33554432000 4194304 4196468 140732998778880 140270576431568 140271435099745 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24039] ppid=24019 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24039/stat : 24039 (java) S 24019 24019 23975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115064587 26628161536 10966 33554432000 4194304 4196468 140732998778880 140270575380960 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24040] ppid=24019 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24021/task/24040/stat : 24040 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115064587 26628161536 10966 33554432000 4194304 4196468 140732998778880 140270574328496 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45248 KiB
[startup+0.700897 s]
/proc/loadavg: 0.99 1.55 1.65 5/200 24040
/proc/meminfo: memFree=26355192/32770624 swapFree=67108860/67108860
[pid=24019] ppid=24016 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 23975 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115064581 9740288 346 33554432000 4194304 5098028 140729065149648 140729065147752 140148004172412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34607104 140729065157734 140729065157943 140729065157943 140729065160683 0
/proc/24019/statm: 2378 346 289 221 0 87 0
[pid=24021] ppid=24019 vsize=26004140 memory=123352 CPUtime=1.99 cores=0-7
/proc/24021/stat : 24021 (java) S 24019 24019 23975 0 -1 1077944320 13140 0 0 0 194 5 0 0 20 0 20 0 115064581 26628239360 30838 33554432000 4194304 4196468 140732998778880 140732998761424 140271456419575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
/proc/24021/statm: 6501035 30838 3201 1 0 6488269 0
[pid=24021/tid=24022] ppid=24019 vsize=26004140 memory=279844500356784 CPUtime=0.67 cores=0-7
/proc/24021/task/24022/stat : 24022 (java) R 24019 24019 23975 0 -1 4202560 6461 0 0 0 64 3 0 0 20 0 20 0 115064581 26628239360 30838 33554432000 4194304 4196468 140732998778880 140271460657792 140271094151897 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24023] ppid=24019 vsize=26004140 memory=139922250179440 CPUtime=0 cores=0-7
/proc/24021/task/24023/stat : 24023 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115064582 26628239360 30838 33554432000 4194304 4196468 140732998778880 140271015082512 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24024] ppid=24019 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/24021/task/24024/stat : 24024 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26628239360 30838 33554432000 4194304 4196468 140732998778880 140271014029968 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24025] ppid=24019 vsize=26004140 memory=1428 CPUtime=0 cores=0-7
/proc/24021/task/24025/stat : 24025 (java) S 24019 24019 23975 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115064582 26628239360 30838 33554432000 4194304 4196468 140732998778880 140271012976912 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
################
# More data... #
################
[pid=24021/tid=24043] ppid=24019 vsize=26538700 memory=18152 CPUtime=99.64 cores=0-7
/proc/24021/task/24043/stat : 24043 (java) R 24019 24019 23975 0 -1 4202560 4657 0 0 0 9950 14 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270564212952 140271103006704 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24044] ppid=24019 vsize=26538700 memory=1708 CPUtime=99.4 cores=0-7
/proc/24021/task/24044/stat : 24044 (java) R 24019 24019 23975 0 -1 4202560 3275 0 0 0 9935 5 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270563161288 140271103052695 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24045] ppid=24019 vsize=26538700 memory=1012 CPUtime=99.75 cores=0-7
/proc/24021/task/24045/stat : 24045 (java) R 24019 24019 23975 0 -1 4202560 3235 0 0 0 9968 7 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270562109640 140271098514912 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24046] ppid=24019 vsize=26538700 memory=796 CPUtime=99.06 cores=0-7
/proc/24021/task/24046/stat : 24046 (java) R 24019 24019 23975 0 -1 4202560 3097 0 0 0 9892 14 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270561055016 140271105505149 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24047] ppid=24019 vsize=26538700 memory=1228 CPUtime=99.77 cores=0-7
/proc/24021/task/24047/stat : 24047 (java) R 24019 24019 23975 0 -1 4202560 1619 0 0 0 9971 6 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270560001536 140271103739340 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24048] ppid=24019 vsize=26538700 memory=5300 CPUtime=99.4 cores=0-7
/proc/24021/task/24048/stat : 24048 (java) R 24019 24019 23975 0 -1 4202560 1376 0 0 0 9936 4 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270558949352 140271104061334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
Current children cumulated CPU time: 823.37 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2401856 KiB
[startup+107.202 s]
/proc/loadavg: 6.84 3.49 2.34 9/207 24048
/proc/meminfo: memFree=24017232/32770624 swapFree=67108860/67108860
[pid=24019] ppid=24016 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 23975 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115064581 9740288 346 33554432000 4194304 5098028 140729065149648 140729065147752 140148004172412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34607104 140729065157734 140729065157943 140729065157943 140729065160683 0
/proc/24019/statm: 2378 346 289 221 0 87 0
[pid=24021] ppid=24019 vsize=26538700 memory=2400472 CPUtime=836.13 cores=0-7
/proc/24021/stat : 24021 (java) S 24019 24019 23975 0 -1 1077944320 114235 0 0 0 83322 291 0 0 20 0 28 0 115064581 27175628800 600118 33554432000 4194304 4196468 140732998778880 140732998761424 140271456419575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
/proc/24021/statm: 6634675 600118 3312 1 0 6621909 0
[pid=24021/tid=24022] ppid=24019 vsize=26538700 memory=7897517683652307531 CPUtime=2.55 cores=0-7
/proc/24021/task/24022/stat : 24022 (java) S 24019 24019 23975 0 -1 1077944384 8943 0 0 0 245 10 0 0 20 0 28 0 115064581 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271460660352 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24023] ppid=24019 vsize=26538700 memory=8514726395715349656 CPUtime=1.31 cores=0-7
/proc/24021/task/24023/stat : 24023 (java) S 24019 24019 23975 0 -1 1077944384 1066 0 0 0 108 23 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271015082512 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24024] ppid=24019 vsize=26538700 memory=6791534058613427641 CPUtime=1.28 cores=0-7
/proc/24021/task/24024/stat : 24024 (java) S 24019 24019 23975 0 -1 1077944384 829 0 0 0 105 23 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271014029968 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24025] ppid=24019 vsize=26538700 memory=1228 CPUtime=1.31 cores=0-7
/proc/24021/task/24025/stat : 24025 (java) S 24019 24019 23975 0 -1 1077944384 959 0 0 0 105 26 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271012976912 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24026] ppid=24019 vsize=26538700 memory=5300 CPUtime=1.29 cores=0-7
/proc/24021/task/24026/stat : 24026 (java) S 24019 24019 23975 0 -1 1077944384 989 0 0 0 106 23 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271011924368 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24027] ppid=24019 vsize=26538700 memory=6791534058613427641 CPUtime=1.28 cores=0-7
/proc/24021/task/24027/stat : 24027 (java) S 24019 24019 23975 0 -1 1077944384 855 0 0 0 105 23 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271010872336 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24028] ppid=24019 vsize=26538700 memory=1296 CPUtime=1.31 cores=0-7
/proc/24021/task/24028/stat : 24028 (java) S 24019 24019 23975 0 -1 1077944384 2026 0 0 0 107 24 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271009819792 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24029] ppid=24019 vsize=26538700 memory=2400 CPUtime=1.32 cores=0-7
/proc/24021/task/24029/stat : 24029 (java) S 24019 24019 23975 0 -1 1077944384 1638 0 0 0 109 23 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271008766736 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24030] ppid=24019 vsize=26538700 memory=1728 CPUtime=1.3 cores=0-7
/proc/24021/task/24030/stat : 24030 (java) S 24019 24019 23975 0 -1 1077944384 2136 0 0 0 105 25 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271007714192 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24031] ppid=24019 vsize=26538700 memory=12032 CPUtime=0.75 cores=0-7
/proc/24021/task/24031/stat : 24031 (java) S 24019 24019 23975 0 -1 1077944384 3062 0 0 0 68 7 0 0 20 0 28 0 115064584 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270583802096 140271456430722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24032] ppid=24019 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/24021/task/24032/stat : 24032 (java) S 24019 24019 23975 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 115064584 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270582748384 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24033] ppid=24019 vsize=26538700 memory=2400472 CPUtime=0 cores=0-7
/proc/24021/task/24033/stat : 24033 (java) S 24019 24019 23975 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 115064584 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270581695232 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24034] ppid=24019 vsize=26538700 memory=4128 CPUtime=0 cores=0-7
/proc/24021/task/24034/stat : 24034 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115064587 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270580643792 140271456438171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24035] ppid=24019 vsize=26538700 memory=2200 CPUtime=3.68 cores=0-7
/proc/24021/task/24035/stat : 24035 (java) S 24019 24019 23975 0 -1 1077944384 12378 0 0 0 365 3 0 0 20 0 28 0 115064587 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270579591920 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24036] ppid=24019 vsize=26538700 memory=6508 CPUtime=3.91 cores=0-7
/proc/24021/task/24036/stat : 24036 (java) S 24019 24019 23975 0 -1 1077944384 20360 0 0 0 387 4 0 0 20 0 28 0 115064587 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270578539376 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24037] ppid=24019 vsize=26538700 memory=840 CPUtime=4.38 cores=0-7
/proc/24021/task/24037/stat : 24037 (java) S 24019 24019 23975 0 -1 1077944384 24835 0 0 0 433 5 0 0 20 0 28 0 115064587 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270577486320 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24038] ppid=24019 vsize=26538700 memory=6791534058613427641 CPUtime=0.97 cores=0-7
/proc/24021/task/24038/stat : 24038 (java) S 24019 24019 23975 0 -1 1077944384 12502 0 0 0 94 3 0 0 20 0 28 0 115064587 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270576433776 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24039] ppid=24019 vsize=26538700 memory=1228 CPUtime=0 cores=0-7
/proc/24021/task/24039/stat : 24039 (java) S 24019 24019 23975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115064587 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270575380960 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24040] ppid=24019 vsize=26538700 memory=5300 CPUtime=0.05 cores=0-7
/proc/24021/task/24040/stat : 24040 (java) S 24019 24019 23975 0 -1 1077944384 509 0 0 0 5 0 0 0 20 0 28 0 115064587 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270574328496 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24041] ppid=24019 vsize=26538700 memory=4616 CPUtime=101.43 cores=0-7
/proc/24021/task/24041/stat : 24041 (java) R 24019 24019 23975 0 -1 4202560 1085 0 0 0 10138 5 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270566316520 140271103745611 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24042] ppid=24019 vsize=26538700 memory=1384 CPUtime=101.21 cores=0-7
/proc/24021/task/24042/stat : 24042 (java) R 24019 24019 23975 0 -1 4202560 1373 0 0 0 10117 4 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270565265288 140271103748166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24043] ppid=24019 vsize=26538700 memory=2400472 CPUtime=101.24 cores=0-7
/proc/24021/task/24043/stat : 24043 (java) R 24019 24019 23975 0 -1 4202560 4671 0 0 0 10110 14 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270564212952 140271103052758 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24044] ppid=24019 vsize=26538700 memory=1196 CPUtime=101 cores=0-7
/proc/24021/task/24044/stat : 24044 (java) R 24019 24019 23975 0 -1 4202560 3277 0 0 0 10095 5 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270563161288 140271105193453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24045] ppid=24019 vsize=26538700 memory=10652 CPUtime=101.35 cores=0-7
/proc/24021/task/24045/stat : 24045 (java) R 24019 24019 23975 0 -1 4202560 3235 0 0 0 10128 7 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270562109640 140271103052707 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24046] ppid=24019 vsize=26538700 memory=15876 CPUtime=100.63 cores=0-7
/proc/24021/task/24046/stat : 24046 (java) R 24019 24019 23975 0 -1 4202560 3127 0 0 0 10048 15 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270561055016 140271103070532 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24047] ppid=24019 vsize=26538700 memory=18152 CPUtime=101.37 cores=0-7
/proc/24021/task/24047/stat : 24047 (java) R 24019 24019 23975 0 -1 4202560 1619 0 0 0 10131 6 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270560001536 140271103052695 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24048] ppid=24019 vsize=26538700 memory=16432 CPUtime=101 cores=0-7
/proc/24021/task/24048/stat : 24048 (java) R 24019 24019 23975 0 -1 4202560 1376 0 0 0 10096 4 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270558949352 140271104271915 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
Current children cumulated CPU time: 836.13 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2401856 KiB
[startup+108.002 s]*
/proc/loadavg: 6.84 3.49 2.34 9/207 24048
/proc/meminfo: memFree=24017232/32770624 swapFree=67108860/67108860
[pid=24019] ppid=24016 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 23975 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115064581 9740288 346 33554432000 4194304 5098028 140729065149648 140729065147752 140148004172412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34607104 140729065157734 140729065157943 140729065157943 140729065160683 0
/proc/24019/statm: 2378 346 289 221 0 87 0
[pid=24021] ppid=24019 vsize=26538700 memory=2400472 CPUtime=842.59 cores=0-7
/proc/24021/stat : 24021 (java) S 24019 24019 23975 0 -1 1077944320 114257 0 0 0 83968 291 0 0 20 0 28 0 115064581 27175628800 600118 33554432000 4194304 4196468 140732998778880 140732998761424 140271456419575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
/proc/24021/statm: 6634675 600118 3312 1 0 6621909 0
[pid=24021/tid=24022] ppid=24019 vsize=26538700 memory=14375255542425 CPUtime=2.55 cores=0-7
/proc/24021/task/24022/stat : 24022 (java) S 24019 24019 23975 0 -1 1077944384 8943 0 0 0 245 10 0 0 20 0 28 0 115064581 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271460660352 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24023] ppid=24019 vsize=26538700 memory=6226624930724277095 CPUtime=1.31 cores=0-7
/proc/24021/task/24023/stat : 24023 (java) S 24019 24019 23975 0 -1 1077944384 1066 0 0 0 108 23 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271015082512 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24024] ppid=24019 vsize=26538700 memory=7450471566348282218 CPUtime=1.28 cores=0-7
/proc/24021/task/24024/stat : 24024 (java) S 24019 24019 23975 0 -1 1077944384 829 0 0 0 105 23 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271014029968 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24025] ppid=24019 vsize=26538700 memory=4872558044660077418 CPUtime=1.31 cores=0-7
/proc/24021/task/24025/stat : 24025 (java) S 24019 24019 23975 0 -1 1077944384 959 0 0 0 105 26 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271012976912 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24026] ppid=24019 vsize=26538700 memory=1728 CPUtime=1.29 cores=0-7
/proc/24021/task/24026/stat : 24026 (java) S 24019 24019 23975 0 -1 1077944384 989 0 0 0 106 23 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271011924368 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24027] ppid=24019 vsize=26538700 memory=12032 CPUtime=1.28 cores=0-7
/proc/24021/task/24027/stat : 24027 (java) S 24019 24019 23975 0 -1 1077944384 855 0 0 0 105 23 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271010872336 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24028] ppid=24019 vsize=26538700 memory=1708 CPUtime=1.31 cores=0-7
/proc/24021/task/24028/stat : 24028 (java) S 24019 24019 23975 0 -1 1077944384 2026 0 0 0 107 24 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271009819792 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24029] ppid=24019 vsize=26538700 memory=1012 CPUtime=1.32 cores=0-7
/proc/24021/task/24029/stat : 24029 (java) S 24019 24019 23975 0 -1 1077944384 1638 0 0 0 109 23 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271008766736 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24030] ppid=24019 vsize=26538700 memory=796 CPUtime=1.3 cores=0-7
/proc/24021/task/24030/stat : 24030 (java) S 24019 24019 23975 0 -1 1077944384 2136 0 0 0 105 25 0 0 20 0 28 0 115064582 27175628800 600118 33554432000 4194304 4196468 140732998778880 140271007714192 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24031] ppid=24019 vsize=26538700 memory=1228 CPUtime=0.75 cores=0-7
/proc/24021/task/24031/stat : 24031 (java) S 24019 24019 23975 0 -1 1077944384 3062 0 0 0 68 7 0 0 20 0 28 0 115064584 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270583802096 140271456430722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24032] ppid=24019 vsize=26538700 memory=5300 CPUtime=0 cores=0-7
/proc/24021/task/24032/stat : 24032 (java) S 24019 24019 23975 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 115064584 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270582748384 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24033] ppid=24019 vsize=26538700 memory=4616 CPUtime=0 cores=0-7
/proc/24021/task/24033/stat : 24033 (java) S 24019 24019 23975 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 115064584 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270581695232 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24034] ppid=24019 vsize=26538700 memory=1928 CPUtime=0 cores=0-7
/proc/24021/task/24034/stat : 24034 (java) S 24019 24019 23975 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115064587 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270580643792 140271456438171 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24035] ppid=24019 vsize=26538700 memory=6791534058613427641 CPUtime=3.68 cores=0-7
/proc/24021/task/24035/stat : 24035 (java) S 24019 24019 23975 0 -1 1077944384 12378 0 0 0 365 3 0 0 20 0 28 0 115064587 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270579591920 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24036] ppid=24019 vsize=26538700 memory=4040 CPUtime=3.91 cores=0-7
/proc/24021/task/24036/stat : 24036 (java) S 24019 24019 23975 0 -1 1077944384 20360 0 0 0 387 4 0 0 20 0 28 0 115064587 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270578539376 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24037] ppid=24019 vsize=26538700 memory=4012 CPUtime=4.38 cores=0-7
/proc/24021/task/24037/stat : 24037 (java) S 24019 24019 23975 0 -1 1077944384 24835 0 0 0 433 5 0 0 20 0 28 0 115064587 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270577486320 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24038] ppid=24019 vsize=26538700 memory=32316 CPUtime=0.97 cores=0-7
/proc/24021/task/24038/stat : 24038 (java) S 24019 24019 23975 0 -1 1077944384 12502 0 0 0 94 3 0 0 20 0 28 0 115064587 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270576433776 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24039] ppid=24019 vsize=26538700 memory=1296 CPUtime=0 cores=0-7
/proc/24021/task/24039/stat : 24039 (java) S 24019 24019 23975 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115064587 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270575380960 140271456429781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24040] ppid=24019 vsize=26538700 memory=2400 CPUtime=0.05 cores=0-7
/proc/24021/task/24040/stat : 24040 (java) S 24019 24019 23975 0 -1 1077944384 509 0 0 0 5 0 0 0 20 0 28 0 115064587 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270574328496 140271456430722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24041] ppid=24019 vsize=26538700 memory=1728 CPUtime=102.24 cores=0-7
/proc/24021/task/24041/stat : 24041 (java) R 24019 24019 23975 0 -1 4202560 1085 0 0 0 10219 5 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270566316520 140271103070532 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24042] ppid=24019 vsize=26538700 memory=12032 CPUtime=102.02 cores=0-7
/proc/24021/task/24042/stat : 24042 (java) R 24019 24019 23975 0 -1 4202560 1373 0 0 0 10198 4 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270565265288 140271105355701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24043] ppid=24019 vsize=26538700 memory=1708 CPUtime=102.04 cores=0-7
/proc/24021/task/24043/stat : 24043 (java) R 24019 24019 23975 0 -1 4202560 4691 0 0 0 10190 14 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270564212952 140271103006208 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24044] ppid=24019 vsize=26538700 memory=1012 CPUtime=101.81 cores=0-7
/proc/24021/task/24044/stat : 24044 (java) R 24019 24019 23975 0 -1 4202560 3278 0 0 0 10176 5 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270563161288 140271104729832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24045] ppid=24019 vsize=26538700 memory=14375255542425 CPUtime=102.16 cores=0-7
/proc/24021/task/24045/stat : 24045 (java) R 24019 24019 23975 0 -1 4202560 3235 0 0 0 10209 7 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270562109640 140271103052552 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24046] ppid=24019 vsize=26538700 memory=7524223435244070507 CPUtime=101.42 cores=0-7
/proc/24021/task/24046/stat : 24046 (java) R 24019 24019 23975 0 -1 4202560 3128 0 0 0 10127 15 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270561055016 140271103673610 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24047] ppid=24019 vsize=26538700 memory=1384 CPUtime=102.18 cores=0-7
/proc/24021/task/24047/stat : 24047 (java) R 24019 24019 23975 0 -1 4202560 1619 0 0 0 10212 6 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270560001536 140271103070460 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
[pid=24021/tid=24048] ppid=24019 vsize=26538700 memory=1428 CPUtime=101.81 cores=0-7
/proc/24021/task/24048/stat : 24048 (java) R 24019 24019 23975 0 -1 4202560 1376 0 0 0 10177 4 0 0 20 0 28 0 115064879 27175628800 600118 33554432000 4194304 4196468 140732998778880 140270558949352 140271103070033 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19050496 140732998784146 140732998784323 140732998784323 140732998787023 0
Current children cumulated CPU time: 842.59 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2401856 KiB
[startup+108.401 s]
/proc/loadavg: 6.84 3.49 2.34 9/207 24048
/proc/meminfo: memFree=24017232/32770624 swapFree=67108860/67108860
[pid=24019] ppid=24016 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/24019/stat : 24019 (xcsp3-exec) S 24016 24019 23975 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115064581 9740288 346 33554432000 4194304 5098028 140729065149648 140729065147752 140148004172412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34607104 140729065157734 140729065157943 140729065157943 140729065160683 0
/proc/24019/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB
Child status: 0
Real time (s): 108.411
CPU time (s): 845.537
CPU user time (s): 842.595
CPU system time (s): 2.94185
CPU usage (%): 779.936
Max. virtual memory (cumulated for all children) (KiB): 26550376
Max. memory (cumulated for all children) (KiB): 2401856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 842.595
system time used= 2.94185
maximum resident set size= 2400524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116455
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8591
involuntary context switches= 10078
# summary of solver processes directly reported to runsolver:
# pid: 24019
# total CPU time (s): 845.537
# total CPU user time (s): 842.595
# total CPU system time (s): 2.94185
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.928831 second user time and 1.3998 second system time
The end
Begin job on node105 at 2017-08-15 19:44:31
IDJOB=4271165
IDBENCH=138789
IDSOLVER=2662
FILE ID=node105/4271165-1502819930
RUNJOBID= node105-1502819071-24002
PBS_JOBID= 20629828
Free space on /tmp= 60668 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Queens/Queens-m1-s1/Queens-0150-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-4271165-1502819930/watcher-4271165-1502819930 -o /tmp/evaluation-result-4271165-1502819930/solver-4271165-1502819930 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502819071-24002 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 53013328 HOME/instance-4271165-1502819930.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 87bfaaaf5fd3b270ee1dec703898481f
RANDOM SEED=53013328
node105.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.17
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.17
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.17
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.17
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: 26409496 kB
MemAvailable: 31974748 kB
Buffers: 241172 kB
Cached: 5596600 kB
SwapCached: 0 kB
Active: 762840 kB
Inactive: 5128152 kB
Active(anon): 55932 kB
Inactive(anon): 25060 kB
Active(file): 706908 kB
Inactive(file): 5103092 kB
Unevictable: 6248 kB
Mlocked: 6248 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8068 kB
Writeback: 0 kB
AnonPages: 58808 kB
Mapped: 45564 kB
Shmem: 25228 kB
Slab: 168412 kB
SReclaimable: 142172 kB
SUnreclaim: 26240 kB
KernelStack: 3120 kB
PageTables: 5592 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 322812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 60660 MiB
End job on node105 at 2017-08-15 19:46:20