0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271163-1502817824.xml" -tl '20160s' -p 8 -x 0
0.12/0.15 c [HOME/instance-4271163-1502817824.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.34/0.27 c parse instance...
7.14/1.98 c solve instance...
169.51/22.49 s SATISFIABLE
169.51/22.49 v <instantiation>
169.51/22.49 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>
169.51/22.49 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>
169.51/22.49 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 (15202 MiB free)
memory of node 1: 16384 MiB (15632 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271163-1502817824/watcher-4271163-1502817824 -o /tmp/evaluation-result-4271163-1502817824/solver-4271163-1502817824 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502816965-14707 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1661637115 HOME/instance-4271163-1502817824.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=14724, runsolver pid=14721
[startup+0.100278 s]*
/proc/loadavg: 7.53 7.45 7.25 2/199 14745
/proc/meminfo: memFree=31558956/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14680 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114870155 9740288 346 33554432000 4194304 5098028 140731435007760 140731435005864 140026603446908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20385792 140731435013220 140731435013431 140731435013431 140731435016171 0
/proc/14724/statm: 2378 346 289 221 0 87 0
[pid=14726] ppid=14724 vsize=25999808 memory=25644 CPUtime=0.12 cores=0-7
/proc/14726/stat : 14726 (java) S 14724 14724 14680 0 -1 1077944320 5321 0 0 0 11 1 0 0 20 0 20 0 114870156 26623803392 6411 33554432000 4194304 4196468 140726023442720 140726023425264 140261586591479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
/proc/14726/statm: 6499952 6411 2861 1 0 6488269 0
[pid=14726/tid=14727] ppid=14724 vsize=25999808 memory=8185462130861842329 CPUtime=0.09 cores=0-7
/proc/14726/task/14727/stat : 14727 (java) R 14724 14724 14680 0 -1 4202560 3292 0 0 0 9 0 0 0 20 0 20 0 114870156 26623803392 6411 33554432000 4194304 4196468 140726023442720 140261590817200 140261570635109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14728] ppid=14724 vsize=25999808 memory=732370515237182437 CPUtime=0 cores=0-7
/proc/14726/task/14728/stat : 14728 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26623803392 6411 33554432000 4194304 4196468 140726023442720 140261554149776 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14729] ppid=14724 vsize=25999808 memory=140376899729024 CPUtime=0 cores=0-7
/proc/14726/task/14729/stat : 14729 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26623803392 6411 33554432000 4194304 4196468 140726023442720 140261143480592 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14730] ppid=14724 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14730/stat : 14730 (java) S 14724 14724 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114870157 26623803392 6411 33554432000 4194304 4196468 140726023442720 140261142428304 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14731] ppid=14724 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14731/stat : 14731 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26623803392 6411 33554432000 4194304 4196468 140726023442720 140261141375504 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14732] ppid=14724 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14732/stat : 14732 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26623803392 6411 33554432000 4194304 4196468 140726023442720 140261140323216 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14733] ppid=14724 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14726/task/14733/stat : 14733 (java) S 14724 14724 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114870157 26623803392 6411 33554432000 4194304 4196468 140726023442720 140261139270416 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14734] ppid=14724 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14734/stat : 14734 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26623803392 6411 33554432000 4194304 4196468 140726023442720 140261138218128 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14735] ppid=14724 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14735/stat : 14735 (java) S 14724 14724 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114870157 26623803392 6411 33554432000 4194304 4196468 140726023442720 140261137165328 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14736] ppid=14724 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14736/stat : 14736 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870158 26623803392 6411 33554432000 4194304 4196468 140726023442720 140260982409328 140261586602626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14737] ppid=14724 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14737/stat : 14737 (java) S 14724 14724 14680 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114870159 26623803392 6411 33554432000 4194304 4196468 140726023442720 140260981355296 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14738] ppid=14724 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14738/stat : 14738 (java) S 14724 14724 14680 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114870159 26623803392 6411 33554432000 4194304 4196468 140726023442720 140260980302960 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14739] ppid=14724 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14739/stat : 14739 (java) S 14724 14724 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114870161 26623803392 6411 33554432000 4194304 4196468 140726023442720 140260979251280 140261586610075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14740] ppid=14724 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14740/stat : 14740 (java) S 14724 14724 14680 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 114870161 26623803392 6411 33554432000 4194304 4196468 140726023442720 140260978199152 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14741] ppid=14724 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14741/stat : 14741 (java) S 14724 14724 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114870161 26623803392 6411 33554432000 4194304 4196468 140726023442720 140260977146352 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14742] ppid=14724 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14742/stat : 14742 (java) S 14724 14724 14680 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 114870161 26623803392 6411 33554432000 4194304 4196468 140726023442720 140260976094064 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14743] ppid=14724 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/14726/task/14743/stat : 14743 (java) S 14724 14724 14680 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 20 0 114870161 26623803392 6411 33554432000 4194304 4196468 140726023442720 140260975041264 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14744] ppid=14724 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14744/stat : 14744 (java) S 14724 14724 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114870162 26623803392 6411 33554432000 4194304 4196468 140726023442720 140260973988192 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14745] ppid=14724 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14726/task/14745/stat : 14745 (java) S 14724 14724 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114870162 26623803392 6411 33554432000 4194304 4196468 140726023442720 140260972935472 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27028 KiB
[startup+0.210454 s]*
/proc/loadavg: 7.53 7.45 7.25 2/199 14745
/proc/meminfo: memFree=31550152/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14680 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114870155 9740288 346 33554432000 4194304 5098028 140731435007760 140731435005864 140026603446908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20385792 140731435013220 140731435013431 140731435013431 140731435016171 0
/proc/14724/statm: 2378 346 289 221 0 87 0
[pid=14726] ppid=14724 vsize=26004064 memory=38272 CPUtime=0.34 cores=0-7
/proc/14726/stat : 14726 (java) S 14724 14724 14680 0 -1 1077944320 8086 0 0 0 31 3 0 0 20 0 20 0 114870156 26628161536 9568 33554432000 4194304 4196468 140726023442720 140726023425264 140261586591479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
/proc/14726/statm: 6501016 9568 3059 1 0 6488269 0
[pid=14726/tid=14727] ppid=14724 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/14726/task/14727/stat : 14727 (java) R 14724 14724 14680 0 -1 4202560 5015 0 0 0 18 1 0 0 20 0 20 0 114870156 26628161536 9568 33554432000 4194304 4196468 140726023442720 140261590814368 140261579269493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14728] ppid=14724 vsize=26004064 memory=280753677940472 CPUtime=0 cores=0-7
/proc/14726/task/14728/stat : 14728 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 9568 33554432000 4194304 4196468 140726023442720 140261554149776 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14729] ppid=14724 vsize=26004064 memory=140376899729024 CPUtime=0 cores=0-7
/proc/14726/task/14729/stat : 14729 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 9568 33554432000 4194304 4196468 140726023442720 140261143480592 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14730] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14730/stat : 14730 (java) S 14724 14724 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 9568 33554432000 4194304 4196468 140726023442720 140261142428304 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14731] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14731/stat : 14731 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 9568 33554432000 4194304 4196468 140726023442720 140261141375504 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14732] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14732/stat : 14732 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 9568 33554432000 4194304 4196468 140726023442720 140261140323216 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14733] ppid=14724 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14726/task/14733/stat : 14733 (java) S 14724 14724 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 9568 33554432000 4194304 4196468 140726023442720 140261139270416 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14734] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14734/stat : 14734 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 9568 33554432000 4194304 4196468 140726023442720 140261138218128 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14735] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14735/stat : 14735 (java) S 14724 14724 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 9568 33554432000 4194304 4196468 140726023442720 140261137165328 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14736] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14736/stat : 14736 (java) S 14724 14724 14680 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 114870158 26628161536 9568 33554432000 4194304 4196468 140726023442720 140260982409328 140261586602626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14737] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14737/stat : 14737 (java) S 14724 14724 14680 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114870159 26628161536 9568 33554432000 4194304 4196468 140726023442720 140260981355296 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14738] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14738/stat : 14738 (java) S 14724 14724 14680 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114870159 26628161536 9568 33554432000 4194304 4196468 140726023442720 140260980302960 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14739] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14739/stat : 14739 (java) S 14724 14724 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114870161 26628161536 9568 33554432000 4194304 4196468 140726023442720 140260979251280 140261586610075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14740] ppid=14724 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14726/task/14740/stat : 14740 (java) S 14724 14724 14680 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 20 0 114870161 26628161536 9568 33554432000 4194304 4196468 140726023442720 140260978199152 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14741] ppid=14724 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14726/task/14741/stat : 14741 (java) S 14724 14724 14680 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 20 0 114870161 26628161536 9568 33554432000 4194304 4196468 140726023442720 140260977146352 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14742] ppid=14724 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14726/task/14742/stat : 14742 (java) S 14724 14724 14680 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 20 0 114870161 26628161536 9568 33554432000 4194304 4196468 140726023442720 140260976094064 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14743] ppid=14724 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/14726/task/14743/stat : 14743 (java) S 14724 14724 14680 0 -1 1077944384 876 0 0 0 8 0 0 0 20 0 20 0 114870161 26628161536 9568 33554432000 4194304 4196468 140726023442720 140260975041264 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14744] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14744/stat : 14744 (java) S 14724 14724 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114870162 26628161536 9568 33554432000 4194304 4196468 140726023442720 140260973988192 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14745] ppid=14724 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14726/task/14745/stat : 14745 (java) S 14724 14724 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114870162 26628161536 9568 33554432000 4194304 4196468 140726023442720 140260972935472 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39656 KiB
[startup+0.310593 s]*
/proc/loadavg: 7.53 7.45 7.25 4/199 14745
/proc/meminfo: memFree=31543080/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14680 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114870155 9740288 346 33554432000 4194304 5098028 140731435007760 140731435005864 140026603446908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20385792 140731435013220 140731435013431 140731435013431 140731435016171 0
/proc/14724/statm: 2378 346 289 221 0 87 0
[pid=14726] ppid=14724 vsize=26004064 memory=43156 CPUtime=0.5 cores=0-7
/proc/14726/stat : 14726 (java) S 14724 14724 14680 0 -1 1077944320 9032 0 0 0 46 4 0 0 20 0 20 0 114870156 26628161536 10789 33554432000 4194304 4196468 140726023442720 140726023425264 140261586591479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
/proc/14726/statm: 6501016 10789 3086 1 0 6488269 0
[pid=14726/tid=14727] ppid=14724 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14726/task/14727/stat : 14727 (java) R 14724 14724 14680 0 -1 4202560 5716 0 0 0 27 2 0 0 20 0 20 0 114870156 26628161536 10789 33554432000 4194304 4196468 140726023442720 140261590830704 140261222669316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14728] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14728/stat : 14728 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 10789 33554432000 4194304 4196468 140726023442720 140261554149776 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14729] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14729/stat : 14729 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 10789 33554432000 4194304 4196468 140726023442720 140261143480592 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14730] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14730/stat : 14730 (java) S 14724 14724 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 10789 33554432000 4194304 4196468 140726023442720 140261142428304 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14731] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14731/stat : 14731 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 10789 33554432000 4194304 4196468 140726023442720 140261141375504 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14732] ppid=14724 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/14726/task/14732/stat : 14732 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 10789 33554432000 4194304 4196468 140726023442720 140261140323216 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14733] ppid=14724 vsize=26004064 memory=140376778306479 CPUtime=0 cores=0-7
/proc/14726/task/14733/stat : 14733 (java) S 14724 14724 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 10789 33554432000 4194304 4196468 140726023442720 140261139270416 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14734] ppid=14724 vsize=26004064 memory=140376778308784 CPUtime=0 cores=0-7
/proc/14726/task/14734/stat : 14734 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 10789 33554432000 4194304 4196468 140726023442720 140261138218128 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14735] ppid=14724 vsize=26004064 memory=140376778311088 CPUtime=0 cores=0-7
/proc/14726/task/14735/stat : 14735 (java) S 14724 14724 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114870157 26628161536 10789 33554432000 4194304 4196468 140726023442720 140261137165328 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14736] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14736/stat : 14736 (java) S 14724 14724 14680 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 114870158 26628161536 10789 33554432000 4194304 4196468 140726023442720 140260982409328 140261586602626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14737] ppid=14724 vsize=26004064 memory=280753556629136 CPUtime=0 cores=0-7
/proc/14726/task/14737/stat : 14737 (java) S 14724 14724 14680 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 114870159 26628161536 10789 33554432000 4194304 4196468 140726023442720 140260981355296 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14738] ppid=14724 vsize=26004064 memory=280753556636048 CPUtime=0 cores=0-7
/proc/14726/task/14738/stat : 14738 (java) S 14724 14724 14680 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 114870159 26628161536 10789 33554432000 4194304 4196468 140726023442720 140260980302960 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14739] ppid=14724 vsize=26004064 memory=280753556577328 CPUtime=0 cores=0-7
/proc/14726/task/14739/stat : 14739 (java) S 14724 14724 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114870161 26628161536 10789 33554432000 4194304 4196468 140726023442720 140260979251280 140261586610075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14740] ppid=14724 vsize=26004064 memory=280753556649872 CPUtime=0.01 cores=0-7
/proc/14726/task/14740/stat : 14740 (java) R 14724 14724 14680 0 -1 4202560 508 0 0 0 1 0 0 0 20 0 20 0 114870161 26628161536 10789 33554432000 4194304 4196468 140726023442720 140260978199152 140261564331952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14741] ppid=14724 vsize=26004064 memory=280753556656784 CPUtime=0.02 cores=0-7
/proc/14726/task/14741/stat : 14741 (java) S 14724 14724 14680 0 -1 1077944384 202 0 0 0 2 0 0 0 20 0 20 0 114870161 26628161536 10789 33554432000 4194304 4196468 140726023442720 140260977146352 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14742] ppid=14724 vsize=26004064 memory=280753556654480 CPUtime=0.02 cores=0-7
/proc/14726/task/14742/stat : 14742 (java) S 14724 14724 14680 0 -1 1077944384 256 0 0 0 2 0 0 0 20 0 20 0 114870161 26628161536 10789 33554432000 4194304 4196468 140726023442720 140260976094064 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14743] ppid=14724 vsize=26004064 memory=280753556670640 CPUtime=0.12 cores=0-7
/proc/14726/task/14743/stat : 14743 (java) R 14724 14724 14680 0 -1 4202560 1044 0 0 0 12 0 0 0 20 0 20 0 114870161 26628161536 10789 33554432000 4194304 4196468 140726023442720 140260975037632 140261586612826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14744] ppid=14724 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14744/stat : 14744 (java) S 14724 14724 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114870162 26628161536 10789 33554432000 4194304 4196468 140726023442720 140260973988192 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14745] ppid=14724 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14726/task/14745/stat : 14745 (java) S 14724 14724 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 114870162 26628161536 10789 33554432000 4194304 4196468 140726023442720 140260972935472 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44540 KiB
[startup+0.701042 s]
/proc/loadavg: 7.53 7.45 7.25 6/199 14745
/proc/meminfo: memFree=31518948/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14680 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114870155 9740288 346 33554432000 4194304 5098028 140731435007760 140731435005864 140026603446908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20385792 140731435013220 140731435013431 140731435013431 140731435016171 0
/proc/14724/statm: 2378 346 289 221 0 87 0
[pid=14726] ppid=14724 vsize=26006188 memory=100260 CPUtime=2.01 cores=0-7
/proc/14726/stat : 14726 (java) S 14724 14724 14680 0 -1 1077944320 14185 0 0 0 196 5 0 0 20 0 20 0 114870156 26630336512 25065 33554432000 4194304 4196468 140726023442720 140726023425264 140261586591479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
/proc/14726/statm: 6501547 25065 3199 1 0 6488781 0
[pid=14726/tid=14727] ppid=14724 vsize=26006188 memory=280753556965504 CPUtime=0.67 cores=0-7
/proc/14726/task/14727/stat : 14727 (java) R 14724 14724 14680 0 -1 4202560 6395 0 0 0 64 3 0 0 20 0 20 0 114870156 26630336512 25065 33554432000 4194304 4196468 140726023442720 140261590829952 140261570671966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14728] ppid=14724 vsize=26006188 memory=5123895985313 CPUtime=0 cores=0-7
/proc/14726/task/14728/stat : 14728 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26630336512 25065 33554432000 4194304 4196468 140726023442720 140261554149776 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14729] ppid=14724 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14729/stat : 14729 (java) S 14724 14724 14680 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 114870157 26630336512 25065 33554432000 4194304 4196468 140726023442720 140261143480592 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14730] ppid=14724 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14730/stat : 14730 (java) S 14724 14724 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 114870157 26630336512 25065 33554432000 4194304 4196468 140726023442720 140261142428304 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
################
# More data... #
################
[startup+21.702 s]
/proc/loadavg: 8.29 7.63 7.31 9/207 14753
/proc/meminfo: memFree=30718508/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14680 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114870155 9740288 346 33554432000 4194304 5098028 140731435007760 140731435005864 140026603446908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20385792 140731435013220 140731435013431 140731435013431 140731435016171 0
/proc/14724/statm: 2378 346 289 221 0 87 0
[pid=14726] ppid=14724 vsize=26538700 memory=868952 CPUtime=163.93 cores=0-7
/proc/14726/stat : 14726 (java) S 14724 14724 14680 0 -1 1077944320 64900 0 0 0 16298 95 0 0 20 0 28 0 114870156 27175628800 217238 33554432000 4194304 4196468 140726023442720 140726023425264 140261586591479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
/proc/14726/statm: 6634675 217238 3296 1 0 6621909 0
[pid=14726/tid=14727] ppid=14724 vsize=26538700 memory=1728 CPUtime=1.85 cores=0-7
/proc/14726/task/14727/stat : 14727 (java) S 14724 14724 14680 0 -1 1077944384 7672 0 0 0 179 6 0 0 20 0 28 0 114870156 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261590832256 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14728] ppid=14724 vsize=26538700 memory=6791534058613427641 CPUtime=0.21 cores=0-7
/proc/14726/task/14728/stat : 14728 (java) S 14724 14724 14680 0 -1 1077944384 479 0 0 0 15 6 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261554149776 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14729] ppid=14724 vsize=26538700 memory=0 CPUtime=0.21 cores=0-7
/proc/14726/task/14729/stat : 14729 (java) S 14724 14724 14680 0 -1 1077944384 211 0 0 0 15 6 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261143480592 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14730] ppid=14724 vsize=26538700 memory=0 CPUtime=0.2 cores=0-7
/proc/14726/task/14730/stat : 14730 (java) S 14724 14724 14680 0 -1 1077944384 208 0 0 0 15 5 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261142428304 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14731] ppid=14724 vsize=26538700 memory=0 CPUtime=0.21 cores=0-7
/proc/14726/task/14731/stat : 14731 (java) S 14724 14724 14680 0 -1 1077944384 332 0 0 0 15 6 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261141375504 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14732] ppid=14724 vsize=26538700 memory=2241 CPUtime=0.2 cores=0-7
/proc/14726/task/14732/stat : 14732 (java) S 14724 14724 14680 0 -1 1077944384 1653 0 0 0 14 6 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261140323216 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14733] ppid=14724 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7
/proc/14726/task/14733/stat : 14733 (java) S 14724 14724 14680 0 -1 1077944384 511 0 0 0 16 7 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261139270416 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14734] ppid=14724 vsize=26538700 memory=2241 CPUtime=0.24 cores=0-7
/proc/14726/task/14734/stat : 14734 (java) S 14724 14724 14680 0 -1 1077944384 900 0 0 0 17 7 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261138218128 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14735] ppid=14724 vsize=26538700 memory=2244 CPUtime=0.21 cores=0-7
/proc/14726/task/14735/stat : 14735 (java) S 14724 14724 14680 0 -1 1077944384 194 0 0 0 14 7 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261137165328 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14736] ppid=14724 vsize=26538700 memory=7236229500900889449 CPUtime=0.03 cores=0-7
/proc/14726/task/14736/stat : 14736 (java) S 14724 14724 14680 0 -1 1077944384 1340 0 0 0 2 1 0 0 20 0 28 0 114870158 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260982409328 140261586602626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14737] ppid=14724 vsize=26538700 memory=7236229500900889450 CPUtime=0 cores=0-7
/proc/14726/task/14737/stat : 14737 (java) S 14724 14724 14680 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 114870159 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260981355360 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14738] ppid=14724 vsize=26538700 memory=7236229500900889449 CPUtime=0 cores=0-7
/proc/14726/task/14738/stat : 14738 (java) S 14724 14724 14680 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 114870159 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260980302976 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14739] ppid=14724 vsize=26538700 memory=7454130749351154278 CPUtime=0 cores=0-7
/proc/14726/task/14739/stat : 14739 (java) S 14724 14724 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114870161 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260979251280 140261586610075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14740] ppid=14724 vsize=26538700 memory=7454130749351154278 CPUtime=3.25 cores=0-7
/proc/14726/task/14740/stat : 14740 (java) S 14724 14724 14680 0 -1 1077944384 11798 0 0 0 322 3 0 0 20 0 28 0 114870161 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260978199152 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14741] ppid=14724 vsize=26538700 memory=0 CPUtime=3.14 cores=0-7
/proc/14726/task/14741/stat : 14741 (java) S 14724 14724 14680 0 -1 1077944384 8554 0 0 0 312 2 0 0 20 0 28 0 114870161 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260977146352 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14742] ppid=14724 vsize=26538700 memory=0 CPUtime=3.82 cores=0-7
/proc/14726/task/14742/stat : 14742 (java) S 14724 14724 14680 0 -1 1077944384 16861 0 0 0 378 4 0 0 20 0 28 0 114870161 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260976094064 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14743] ppid=14724 vsize=26538700 memory=0 CPUtime=0.88 cores=0-7
/proc/14726/task/14743/stat : 14743 (java) S 14724 14724 14680 0 -1 1077944384 6412 0 0 0 86 2 0 0 20 0 28 0 114870161 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260975041264 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14744] ppid=14724 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14744/stat : 14744 (java) S 14724 14724 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114870162 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260973988192 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14745] ppid=14724 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/14726/task/14745/stat : 14745 (java) S 14724 14724 14680 0 -1 1077944384 200 0 0 0 0 1 0 0 20 0 28 0 114870162 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260972935472 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14746] ppid=14724 vsize=26538700 memory=0 CPUtime=18.66 cores=0-7
/proc/14726/task/14746/stat : 14746 (java) R 14724 14724 14680 0 -1 4202560 532 0 0 0 1865 1 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260964924200 140261231823628 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14747] ppid=14724 vsize=26538700 memory=0 CPUtime=18.38 cores=0-7
/proc/14726/task/14747/stat : 14747 (java) R 14724 14724 14680 0 -1 4202560 796 0 0 0 1837 1 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260963872504 140261230929839 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14748] ppid=14724 vsize=26538700 memory=0 CPUtime=18.63 cores=0-7
/proc/14726/task/14748/stat : 14748 (java) R 14724 14724 14680 0 -1 4202560 1513 0 0 0 1860 3 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260962820392 140261232084795 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14749] ppid=14724 vsize=26538700 memory=0 CPUtime=18.98 cores=0-7
/proc/14726/task/14749/stat : 14749 (java) R 14724 14724 14680 0 -1 4202560 742 0 0 0 1897 1 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260961769992 140261232826646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14750] ppid=14724 vsize=26538700 memory=0 CPUtime=18.52 cores=0-7
/proc/14726/task/14750/stat : 14750 (java) R 14724 14724 14680 0 -1 4202560 763 0 0 0 1848 4 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260960715104 140261231774209 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14751] ppid=14724 vsize=26538700 memory=4040 CPUtime=18.92 cores=0-7
/proc/14726/task/14751/stat : 14751 (java) R 14724 14724 14680 0 -1 4202560 491 0 0 0 1890 2 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260959662112 140261232285845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14752] ppid=14724 vsize=26538700 memory=18976 CPUtime=18.29 cores=0-7
/proc/14726/task/14752/stat : 14752 (java) R 14724 14724 14680 0 -1 4202560 436 0 0 0 1829 0 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260958609576 140261230900298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14753] ppid=14724 vsize=26538700 memory=18292 CPUtime=18.64 cores=0-7
/proc/14726/task/14753/stat : 14753 (java) R 14724 14724 14680 0 -1 4202560 895 0 0 0 1860 4 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260957556232 140261230929162 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
Current children cumulated CPU time: 163.93 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 870336 KiB
[startup+22.102 s]*
/proc/loadavg: 8.29 7.63 7.31 9/207 14753
/proc/meminfo: memFree=30718508/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14680 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114870155 9740288 346 33554432000 4194304 5098028 140731435007760 140731435005864 140026603446908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20385792 140731435013220 140731435013431 140731435013431 140731435016171 0
/proc/14724/statm: 2378 346 289 221 0 87 0
[pid=14726] ppid=14724 vsize=26538700 memory=868952 CPUtime=167.18 cores=0-7
/proc/14726/stat : 14726 (java) S 14724 14724 14680 0 -1 1077944320 65073 0 0 0 16623 95 0 0 20 0 28 0 114870156 27175628800 217238 33554432000 4194304 4196468 140726023442720 140726023425264 140261586591479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
/proc/14726/statm: 6634675 217238 3296 1 0 6621909 0
[pid=14726/tid=14727] ppid=14724 vsize=26538700 memory=6791534058613427641 CPUtime=1.85 cores=0-7
/proc/14726/task/14727/stat : 14727 (java) S 14724 14724 14680 0 -1 1077944384 7672 0 0 0 179 6 0 0 20 0 28 0 114870156 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261590832256 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14728] ppid=14724 vsize=26538700 memory=-7003737579269690708 CPUtime=0.21 cores=0-7
/proc/14726/task/14728/stat : 14728 (java) S 14724 14724 14680 0 -1 1077944384 479 0 0 0 15 6 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261554149776 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14729] ppid=14724 vsize=26538700 memory=0 CPUtime=0.21 cores=0-7
/proc/14726/task/14729/stat : 14729 (java) S 14724 14724 14680 0 -1 1077944384 211 0 0 0 15 6 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261143480592 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14730] ppid=14724 vsize=26538700 memory=288230377007612191 CPUtime=0.2 cores=0-7
/proc/14726/task/14730/stat : 14730 (java) S 14724 14724 14680 0 -1 1077944384 208 0 0 0 15 5 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261142428304 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14731] ppid=14724 vsize=26538700 memory=288285584617899244 CPUtime=0.21 cores=0-7
/proc/14726/task/14731/stat : 14731 (java) S 14724 14724 14680 0 -1 1077944384 332 0 0 0 15 6 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261141375504 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14732] ppid=14724 vsize=26538700 memory=0 CPUtime=0.2 cores=0-7
/proc/14726/task/14732/stat : 14732 (java) S 14724 14724 14680 0 -1 1077944384 1653 0 0 0 14 6 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261140323216 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14733] ppid=14724 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7
/proc/14726/task/14733/stat : 14733 (java) S 14724 14724 14680 0 -1 1077944384 511 0 0 0 16 7 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261139270416 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14734] ppid=14724 vsize=26538700 memory=0 CPUtime=0.24 cores=0-7
/proc/14726/task/14734/stat : 14734 (java) S 14724 14724 14680 0 -1 1077944384 900 0 0 0 17 7 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261138218128 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14735] ppid=14724 vsize=26538700 memory=0 CPUtime=0.21 cores=0-7
/proc/14726/task/14735/stat : 14735 (java) S 14724 14724 14680 0 -1 1077944384 194 0 0 0 14 7 0 0 20 0 28 0 114870157 27175628800 217238 33554432000 4194304 4196468 140726023442720 140261137165328 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14736] ppid=14724 vsize=26538700 memory=0 CPUtime=0.03 cores=0-7
/proc/14726/task/14736/stat : 14736 (java) S 14724 14724 14680 0 -1 1077944384 1403 0 0 0 2 1 0 0 20 0 28 0 114870158 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260982409328 140261586602626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14737] ppid=14724 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14737/stat : 14737 (java) S 14724 14724 14680 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 114870159 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260981355360 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14738] ppid=14724 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14726/task/14738/stat : 14738 (java) S 14724 14724 14680 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 114870159 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260980302976 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14739] ppid=14724 vsize=26538700 memory=44433 CPUtime=0 cores=0-7
/proc/14726/task/14739/stat : 14739 (java) S 14724 14724 14680 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 114870161 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260979251280 140261586610075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14740] ppid=14724 vsize=26538700 memory=0 CPUtime=3.25 cores=0-7
/proc/14726/task/14740/stat : 14740 (java) S 14724 14724 14680 0 -1 1077944384 11798 0 0 0 322 3 0 0 20 0 28 0 114870161 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260978199152 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14741] ppid=14724 vsize=26538700 memory=0 CPUtime=3.14 cores=0-7
/proc/14726/task/14741/stat : 14741 (java) S 14724 14724 14680 0 -1 1077944384 8554 0 0 0 312 2 0 0 20 0 28 0 114870161 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260977146352 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14742] ppid=14724 vsize=26538700 memory=0 CPUtime=3.82 cores=0-7
/proc/14726/task/14742/stat : 14742 (java) S 14724 14724 14680 0 -1 1077944384 16861 0 0 0 378 4 0 0 20 0 28 0 114870161 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260976094064 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14743] ppid=14724 vsize=26538700 memory=0 CPUtime=0.88 cores=0-7
/proc/14726/task/14743/stat : 14743 (java) S 14724 14724 14680 0 -1 1077944384 6412 0 0 0 86 2 0 0 20 0 28 0 114870161 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260975041264 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14744] ppid=14724 vsize=26538700 memory=1970350607106052 CPUtime=0 cores=0-7
/proc/14726/task/14744/stat : 14744 (java) S 14724 14724 14680 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 114870162 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260973988192 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14745] ppid=14724 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/14726/task/14745/stat : 14745 (java) S 14724 14724 14680 0 -1 1077944384 200 0 0 0 0 1 0 0 20 0 28 0 114870162 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260972935472 140261586602626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14746] ppid=14724 vsize=26538700 memory=0 CPUtime=19.07 cores=0-7
/proc/14726/task/14746/stat : 14746 (java) R 14724 14724 14680 0 -1 4202560 570 0 0 0 1906 1 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260964924472 140261230930078 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14747] ppid=14724 vsize=26538700 memory=0 CPUtime=18.79 cores=0-7
/proc/14726/task/14747/stat : 14747 (java) R 14724 14724 14680 0 -1 4202560 805 0 0 0 1878 1 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260963872680 140261230930314 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14748] ppid=14724 vsize=26538700 memory=0 CPUtime=19.04 cores=0-7
/proc/14726/task/14748/stat : 14748 (java) R 14724 14724 14680 0 -1 4202560 1528 0 0 0 1901 3 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260962820512 140261230930078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14749] ppid=14724 vsize=26538700 memory=0 CPUtime=19.39 cores=0-7
/proc/14726/task/14749/stat : 14749 (java) R 14724 14724 14680 0 -1 4202560 748 0 0 0 1938 1 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260961767848 140261231514127 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14750] ppid=14724 vsize=26538700 memory=0 CPUtime=18.93 cores=0-7
/proc/14726/task/14750/stat : 14750 (java) R 14724 14724 14680 0 -1 4202560 786 0 0 0 1889 4 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260960715168 140261230930113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14751] ppid=14724 vsize=26538700 memory=0 CPUtime=19.33 cores=0-7
/proc/14726/task/14751/stat : 14751 (java) R 14724 14724 14680 0 -1 4202560 495 0 0 0 1931 2 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260959662096 140261232285801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14752] ppid=14724 vsize=26538700 memory=0 CPUtime=18.7 cores=0-7
/proc/14726/task/14752/stat : 14752 (java) R 14724 14724 14680 0 -1 4202560 445 0 0 0 1870 0 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260958608960 140261232897791 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14753] ppid=14724 vsize=26538700 memory=0 CPUtime=19.04 cores=0-7
/proc/14726/task/14753/stat : 14753 (java) R 14724 14724 14680 0 -1 4202560 901 0 0 0 1900 4 0 0 20 0 28 0 114870358 27175628800 217238 33554432000 4194304 4196468 140726023442720 140260957556392 140261230869324 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
Current children cumulated CPU time: 167.18 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 870336 KiB
[startup+22.5012 s]
/proc/loadavg: 8.29 7.63 7.31 9/207 14753
/proc/meminfo: memFree=30718508/32770624 swapFree=67108860/67108860
[pid=14724] ppid=14721 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14724/stat : 14724 (xcsp3-exec) S 14721 14724 14680 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 114870155 9740288 346 33554432000 4194304 5098028 140731435007760 140731435005864 140026603446908 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20385792 140731435013220 140731435013431 140731435013431 140731435016171 0
/proc/14724/statm: 2378 346 289 221 0 87 0
[pid=14726] ppid=14724 vsize=26538700 memory=868364 CPUtime=170.14 cores=0-7
/proc/14726/stat : 14726 (java) R 14724 14724 14680 0 -1 4202496 67999 0 0 0 16919 95 0 0 20 0 17 0 114870156 27175628800 217091 33554432000 4194304 4196468 140726023442720 140726023425264 140261571607952 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
/proc/14726/statm: 6634675 217091 3298 1 0 6621909 0
[pid=14726/tid=14728] ppid=14724 vsize=26538700 memory=7594587674001172330 CPUtime=0.21 cores=0-7
/proc/14726/task/14728/stat : 14728 (java) S 14724 14724 14680 0 -1 1077944384 479 0 0 0 15 6 0 0 20 0 17 0 114870157 27175628800 217091 33554432000 4194304 4196468 140726023442720 140261554149776 140261586601685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14729] ppid=14724 vsize=26538700 memory=5931329019418531433 CPUtime=0.21 cores=0-7
/proc/14726/task/14729/stat : 14729 (java) R 14724 14724 14680 0 -1 1077944384 211 0 0 0 15 6 0 0 20 0 17 0 114870157 27175628800 217118 33554432000 4194304 4196468 140726023442720 140261143480592 140261586601685 256 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14730] ppid=14724 vsize=26538700 memory=7649399388560110641 CPUtime=0.2 cores=0-7
/proc/14726/task/14730/stat : 14730 (java) R 14724 14724 14680 0 -1 1077944384 208 0 0 0 15 5 0 0 20 0 17 0 114870157 27175628800 217118 33554432000 4194304 4196468 140726023442720 140261142428304 140261586601685 256 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14731] ppid=14724 vsize=26538700 memory=0 CPUtime=0.21 cores=0-7
/proc/14726/task/14731/stat : 14731 (java) R 14724 14724 14680 0 -1 4202560 332 0 0 0 15 6 0 0 20 0 14 0 114870157 27175628800 217118 33554432000 4194304 4196468 140726023442720 140261141375504 140261586601685 256 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38060032 140726023451794 140726023451971 140726023451971 140726023454671 0
[pid=14726/tid=14732] ppid=0 vsize=0 memory=2209 CPUtime=0.2 cores=0-7
/proc/14726/task/14732/stat : 14732 (java) X 0 -1 -1 0 -1 4228172 1654 0 0 0 14 6 0 0 20 0 0 0 114870157 0 0 0 0 0 0 0 0 0 4 0 0 18446744073709551615 0 0 -1 0 0 0 1 0 0 0 0 0 0 0 0 0 0
[pid=14726/tid=14738] ppid=14724 vsize=0 memory=280753556779144 CPUtime=0 cores=0-7
/proc/14726/task/14738/stat : 14738 (java) R 14724 14724 14680 0 -1 4203588 75 0 0 0 0 0 0 0 20 0 2 0 114870159 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 170.14 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 869748 KiB
Child status: 0
Real time (s): 22.5139
CPU time (s): 170.166
CPU user time (s): 169.194
CPU system time (s): 0.971846
CPU usage (%): 755.824
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 870356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 169.194
system time used= 0.971846
maximum resident set size= 869076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68547
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5379
involuntary context switches= 2844
# summary of solver processes directly reported to runsolver:
# pid: 14724
# total CPU time (s): 170.166
# total CPU user time (s): 169.194
# total CPU system time (s): 0.971846
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.21554 second user time and 0.315105 second system time
The end
Begin job on node112 at 2017-08-15 19:09:25
IDJOB=4271163
IDBENCH=138768
IDSOLVER=2662
FILE ID=node112/4271163-1502817824
RUNJOBID= node112-1502816965-14707
PBS_JOBID= 20629826
Free space on /tmp= 61824 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-4271163-1502817824/watcher-4271163-1502817824 -o /tmp/evaluation-result-4271163-1502817824/solver-4271163-1502817824 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502816965-14707 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1661637115 HOME/instance-4271163-1502817824.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 1854ece61a5fdd3da80103fde6339040
RANDOM SEED=1661637115
node112.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.24
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.24
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.24
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.24
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: 31574696 kB
MemAvailable: 31980552 kB
Buffers: 203240 kB
Cached: 484244 kB
SwapCached: 0 kB
Active: 460804 kB
Inactive: 278952 kB
Active(anon): 3704 kB
Inactive(anon): 76444 kB
Active(file): 457100 kB
Inactive(file): 202508 kB
Unevictable: 6276 kB
Mlocked: 6276 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7804 kB
Writeback: 0 kB
AnonPages: 58244 kB
Mapped: 45928 kB
Shmem: 25224 kB
Slab: 150508 kB
SReclaimable: 124168 kB
SUnreclaim: 26340 kB
KernelStack: 3104 kB
PageTables: 5240 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323008 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61816 MiB
End job on node112 at 2017-08-15 19:09:48