0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406662-1569359040.xml" -tl '20160s' -p 8
0.13/0.18 c Choco e747e1e
0.13/0.18 c [HOME/instance-4406662-1569359040.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
14.68/4.77 c solve instance...
903.15/117.12 s SATISFIABLE
903.15/117.12 v <instantiation>
903.15/117.12 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>
903.15/117.12 v <values>138 107 99 17 55 47 18 135 28 88 25 130 35 81 64 42 118 70 131 79 112 0 83 52 61 102 2 84 76 51 141 34 36 6 26 9 92 73 121 74 33 38 94 97 19 31 57 137 91 143 27 45 77 123 67 3 37 104 140 103 10 46 120 125 136 134 129 122 4 142 16 145 12 53 93 106 72 148 86 95 11 71 8 100 89 144 124 128 90 58 29 44 14 65 115 50 21 49 68 15 139 1 20 60 75 13 62 133 43 127 59 22 41 80 98 147 111 116 119 5 126 109 85 32 66 69 39 87 96 56 117 114 24 54 23 113 7 40 48 63 101 82 149 132 78 30 110 105 146 108 </values>
903.15/117.12 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 (12394 MiB free)
memory of node 1: 16384 MiB (12740 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406662-1569359040/watcher-4406662-1569359040 -o /var/tmp/evaluation-result-4406662-1569359040/solver-4406662-1569359040 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569356229-8831 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1001212897 HOME/instance-4406662-1569359040.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
solver pid=9695, runsolver pid=9692
Current StackSize limit: 8192 KiB
[startup+0.100129 s]*
/proc/loadavg: 1.29 4.94 6.96 3/213 9716
/proc/meminfo: memFree=25720312/32770624 swapFree=66966884/67108860
[pid=9695] ppid=9692 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9695/stat : 9695 (xcsp3-exec) S 9692 9695 8804 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511840450 115843072 362 33554432000 4194304 5098028 140731956625136 140731956623240 139721622594172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11669504 140731956626257 140731956626517 140731956626517 140731956629446 0
/proc/9695/statm: 28282 362 304 221 0 87 0
[pid=9697] ppid=9695 vsize=28227396 memory=29848 CPUtime=0.13 cores=0-7
/proc/9697/stat : 9697 (java) S 9695 9695 8804 0 -1 1077944320 5938 0 0 0 12 1 0 0 20 0 20 0 511840451 28904853504 7462 33554432000 4194304 4196468 140725627189232 140725627171776 139751415901943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
/proc/9697/statm: 7056849 7462 3121 1 0 7019032 0
[pid=9697/tid=9698] ppid=9695 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/9697/task/9698/stat : 9698 (java) R 9695 9695 8804 0 -1 4202560 3853 0 0 0 9 0 0 0 20 0 20 0 511840451 28904853504 7462 33554432000 4194304 4196468 140725627189232 139751420134192 139751396546610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9699] ppid=9695 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9697/task/9699/stat : 9699 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 7462 33554432000 4194304 4196468 140725627189232 139751335754768 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9700] ppid=9695 vsize=28227396 memory=140501034641024 CPUtime=0 cores=0-7
/proc/9697/task/9700/stat : 9700 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 7462 33554432000 4194304 4196468 140725627189232 139751334702224 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9701] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9701/stat : 9701 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 7462 33554432000 4194304 4196468 140725627189232 139751333649168 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9702] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9702/stat : 9702 (java) S 9695 9695 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 7462 33554432000 4194304 4196468 140725627189232 139751332596624 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9703] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9703/stat : 9703 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 7462 33554432000 4194304 4196468 140725627189232 139751331543568 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9704] ppid=9695 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9697/task/9704/stat : 9704 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 7462 33554432000 4194304 4196468 140725627189232 139751330491024 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9705] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9705/stat : 9705 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 7462 33554432000 4194304 4196468 140725627189232 139751329437968 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9706] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9706/stat : 9706 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 7462 33554432000 4194304 4196468 140725627189232 139751328385424 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9707] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9707/stat : 9707 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840453 28904853504 7462 33554432000 4194304 4196468 140725627189232 139750081444592 139751415913090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9708] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9708/stat : 9708 (java) S 9695 9695 8804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511840454 28904853504 7462 33554432000 4194304 4196468 140725627189232 139750080390816 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9709] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9709/stat : 9709 (java) S 9695 9695 8804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511840454 28904853504 7462 33554432000 4194304 4196468 140725627189232 139750079337712 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9710] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9710/stat : 9710 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511840456 28904853504 7462 33554432000 4194304 4196468 140725627189232 139750078286288 139751415920539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9711] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9711/stat : 9711 (java) S 9695 9695 8804 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 511840456 28904853504 7462 33554432000 4194304 4196468 140725627189232 139750077233392 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9712] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9712/stat : 9712 (java) S 9695 9695 8804 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511840456 28904853504 7462 33554432000 4194304 4196468 140725627189232 139750076180848 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9713] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9713/stat : 9713 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511840457 28904853504 7462 33554432000 4194304 4196468 140725627189232 139750075127792 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9714] ppid=9695 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/9697/task/9714/stat : 9714 (java) S 9695 9695 8804 0 -1 1077944384 342 0 0 0 2 0 0 0 20 0 20 0 511840457 28904853504 7462 33554432000 4194304 4196468 140725627189232 139750074075248 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9715] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9715/stat : 9715 (java) S 9695 9695 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511840457 28904853504 7462 33554432000 4194304 4196468 140725627189232 139750073023456 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9716] ppid=9695 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9697/task/9716/stat : 9716 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511840457 28904853504 7462 33554432000 4194304 4196468 140725627189232 139750071970992 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31296 KiB
[startup+0.210834 s]*
/proc/loadavg: 1.29 4.94 6.96 2/213 9716
/proc/meminfo: memFree=25708260/32770624 swapFree=66966884/67108860
[pid=9695] ppid=9692 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9695/stat : 9695 (xcsp3-exec) S 9692 9695 8804 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511840450 115843072 362 33554432000 4194304 5098028 140731956625136 140731956623240 139721622594172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11669504 140731956626257 140731956626517 140731956626517 140731956629446 0
/proc/9695/statm: 28282 362 304 221 0 87 0
[pid=9697] ppid=9695 vsize=28227396 memory=41236 CPUtime=0.34 cores=0-7
/proc/9697/stat : 9697 (java) S 9695 9695 8804 0 -1 1077944320 9520 0 0 0 32 2 0 0 20 0 20 0 511840451 28904853504 10309 33554432000 4194304 4196468 140725627189232 140725627171776 139751415901943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
/proc/9697/statm: 7056849 10309 3304 1 0 7019032 0
[pid=9697/tid=9698] ppid=9695 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9697/task/9698/stat : 9698 (java) R 9695 9695 8804 0 -1 4202560 6677 0 0 0 18 1 0 0 20 0 20 0 511840451 28904853504 10309 33554432000 4194304 4196468 140725627189232 139751420135984 139751383498496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9699] ppid=9695 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/9697/task/9699/stat : 9699 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 10309 33554432000 4194304 4196468 140725627189232 139751335754768 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9700] ppid=9695 vsize=28227396 memory=140501034650625 CPUtime=0 cores=0-7
/proc/9697/task/9700/stat : 9700 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 10309 33554432000 4194304 4196468 140725627189232 139751334702224 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9701] ppid=9695 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9697/task/9701/stat : 9701 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 10309 33554432000 4194304 4196468 140725627189232 139751333649168 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9702] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9702/stat : 9702 (java) S 9695 9695 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 10309 33554432000 4194304 4196468 140725627189232 139751332596624 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9703] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9703/stat : 9703 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 10309 33554432000 4194304 4196468 140725627189232 139751331543568 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9704] ppid=9695 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9697/task/9704/stat : 9704 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 10309 33554432000 4194304 4196468 140725627189232 139751330491024 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9705] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9705/stat : 9705 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 10309 33554432000 4194304 4196468 140725627189232 139751329437968 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9706] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9706/stat : 9706 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28904853504 10309 33554432000 4194304 4196468 140725627189232 139751328385424 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9707] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9707/stat : 9707 (java) S 9695 9695 8804 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511840453 28904853504 10309 33554432000 4194304 4196468 140725627189232 139750081444592 139751415913090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9708] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9708/stat : 9708 (java) S 9695 9695 8804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511840454 28904853504 10309 33554432000 4194304 4196468 140725627189232 139750080390816 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9709] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9709/stat : 9709 (java) S 9695 9695 8804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511840454 28904853504 10309 33554432000 4194304 4196468 140725627189232 139750079337712 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9710] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9710/stat : 9710 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511840456 28904853504 10309 33554432000 4194304 4196468 140725627189232 139750078286288 139751415920539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9711] ppid=9695 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9697/task/9711/stat : 9711 (java) S 9695 9695 8804 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 20 0 511840456 28904853504 10309 33554432000 4194304 4196468 140725627189232 139750077233392 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9712] ppid=9695 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9697/task/9712/stat : 9712 (java) S 9695 9695 8804 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 20 0 511840456 28904853504 10309 33554432000 4194304 4196468 140725627189232 139750076180848 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9713] ppid=9695 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/9697/task/9713/stat : 9713 (java) S 9695 9695 8804 0 -1 1077944384 228 0 0 0 1 0 0 0 20 0 20 0 511840457 28904853504 10309 33554432000 4194304 4196468 140725627189232 139750075127792 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9714] ppid=9695 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/9697/task/9714/stat : 9714 (java) R 9695 9695 8804 0 -1 4202560 745 0 0 0 8 0 0 0 20 0 20 0 511840457 28904853504 10309 33554432000 4194304 4196468 140725627189232 139750074075248 139751400147119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9715] ppid=9695 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9715/stat : 9715 (java) S 9695 9695 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511840457 28904853504 10309 33554432000 4194304 4196468 140725627189232 139750073023456 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9716] ppid=9695 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9697/task/9716/stat : 9716 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511840457 28904853504 10309 33554432000 4194304 4196468 140725627189232 139750071970992 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42684 KiB
[startup+0.31061 s]*
/proc/loadavg: 1.29 4.94 6.96 5/213 9716
/proc/meminfo: memFree=25701428/32770624 swapFree=66966884/67108860
[pid=9695] ppid=9692 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9695/stat : 9695 (xcsp3-exec) S 9692 9695 8804 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511840450 115843072 362 33554432000 4194304 5098028 140731956625136 140731956623240 139721622594172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11669504 140731956626257 140731956626517 140731956626517 140731956629446 0
/proc/9695/statm: 28282 362 304 221 0 87 0
[pid=9697] ppid=9695 vsize=28231652 memory=49952 CPUtime=0.53 cores=0-7
/proc/9697/stat : 9697 (java) S 9695 9695 8804 0 -1 1077944320 10833 0 0 0 50 3 0 0 20 0 20 0 511840451 28909211648 12488 33554432000 4194304 4196468 140725627189232 140725627171776 139751415901943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
/proc/9697/statm: 7057913 12488 3339 1 0 7019032 0
[pid=9697/tid=9698] ppid=9695 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/9697/task/9698/stat : 9698 (java) R 9695 9695 8804 0 -1 4202560 7805 0 0 0 28 2 0 0 20 0 20 0 511840451 28909211648 12516 33554432000 4194304 4196468 140725627189232 139751420129712 139751415923869 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9699] ppid=9695 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9699/stat : 9699 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511840452 28909211648 12516 33554432000 4194304 4196468 140725627189232 139751335754768 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9700] ppid=9695 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9700/stat : 9700 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28909211648 12516 33554432000 4194304 4196468 140725627189232 139751334702224 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9701] ppid=9695 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9701/stat : 9701 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28909211648 12516 33554432000 4194304 4196468 140725627189232 139751333649168 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9702] ppid=9695 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9702/stat : 9702 (java) S 9695 9695 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511840452 28909211648 12516 33554432000 4194304 4196468 140725627189232 139751332596624 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9703] ppid=9695 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9703/stat : 9703 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28909211648 12516 33554432000 4194304 4196468 140725627189232 139751331543568 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9704] ppid=9695 vsize=28231652 memory=140500929702575 CPUtime=0 cores=0-7
/proc/9697/task/9704/stat : 9704 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511840452 28909211648 12516 33554432000 4194304 4196468 140725627189232 139751330491024 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9705] ppid=9695 vsize=28231652 memory=140500929704880 CPUtime=0 cores=0-7
/proc/9697/task/9705/stat : 9705 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28909211648 12516 33554432000 4194304 4196468 140725627189232 139751329437968 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9706] ppid=9695 vsize=28231652 memory=140500929707184 CPUtime=0 cores=0-7
/proc/9697/task/9706/stat : 9706 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28909211648 12516 33554432000 4194304 4196468 140725627189232 139751328385424 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9707] ppid=9695 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9707/stat : 9707 (java) S 9695 9695 8804 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511840453 28909211648 12516 33554432000 4194304 4196468 140725627189232 139750081444592 139751415913090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9708] ppid=9695 vsize=28231652 memory=281001859428240 CPUtime=0 cores=0-7
/proc/9697/task/9708/stat : 9708 (java) S 9695 9695 8804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511840454 28909211648 12516 33554432000 4194304 4196468 140725627189232 139750080390816 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9709] ppid=9695 vsize=28231652 memory=281001859425936 CPUtime=0 cores=0-7
/proc/9697/task/9709/stat : 9709 (java) S 9695 9695 8804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511840454 28909211648 12516 33554432000 4194304 4196468 140725627189232 139750079337712 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9710] ppid=9695 vsize=28231652 memory=281001859432848 CPUtime=0 cores=0-7
/proc/9697/task/9710/stat : 9710 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511840456 28909211648 12516 33554432000 4194304 4196468 140725627189232 139750078286288 139751415920539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9711] ppid=9695 vsize=28231652 memory=281001859374096 CPUtime=0.01 cores=0-7
/proc/9697/task/9711/stat : 9711 (java) S 9695 9695 8804 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 511840456 28909211648 12516 33554432000 4194304 4196468 140725627189232 139750077233392 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9712] ppid=9695 vsize=28231652 memory=281001859446672 CPUtime=0.03 cores=0-7
/proc/9697/task/9712/stat : 9712 (java) R 9695 9695 8804 0 -1 4202560 304 0 0 0 3 0 0 0 20 0 20 0 511840456 28909211648 12516 33554432000 4194304 4196468 140725627189232 139750076180848 139751395148672 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9713] ppid=9695 vsize=28231652 memory=281001859453584 CPUtime=0.03 cores=0-7
/proc/9697/task/9713/stat : 9713 (java) S 9695 9695 8804 0 -1 1077944384 238 0 0 0 3 0 0 0 20 0 20 0 511840457 28909211648 12516 33554432000 4194304 4196468 140725627189232 139750075127792 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9714] ppid=9695 vsize=28231652 memory=281001859451280 CPUtime=0.12 cores=0-7
/proc/9697/task/9714/stat : 9714 (java) S 9695 9695 8804 0 -1 1077944384 825 0 0 0 12 0 0 0 20 0 20 0 511840457 28909211648 12516 33554432000 4194304 4196468 140725627189232 139750074075248 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9715] ppid=9695 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9715/stat : 9715 (java) S 9695 9695 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511840457 28909211648 12516 33554432000 4194304 4196468 140725627189232 139750073023456 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9716] ppid=9695 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9697/task/9716/stat : 9716 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511840457 28909211648 12516 33554432000 4194304 4196468 140725627189232 139750071970992 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51400 KiB
[startup+0.70101 s]
/proc/loadavg: 1.29 4.94 6.96 4/213 9716
/proc/meminfo: memFree=25680276/32770624 swapFree=66966884/67108860
[pid=9695] ppid=9692 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9695/stat : 9695 (xcsp3-exec) S 9692 9695 8804 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511840450 115843072 362 33554432000 4194304 5098028 140731956625136 140731956623240 139721622594172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11669504 140731956626257 140731956626517 140731956626517 140731956629446 0
/proc/9695/statm: 28282 362 304 221 0 87 0
[pid=9697] ppid=9695 vsize=28233776 memory=126360 CPUtime=1.93 cores=0-7
/proc/9697/stat : 9697 (java) S 9695 9695 8804 0 -1 1077944320 15178 0 0 0 188 5 0 0 20 0 20 0 511840451 28911386624 31590 33554432000 4194304 4196468 140725627189232 140725627171776 139751415901943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
/proc/9697/statm: 7058444 31590 3449 1 0 7019544 0
[pid=9697/tid=9698] ppid=9695 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/9697/task/9698/stat : 9698 (java) S 9695 9695 8804 0 -1 1077944384 8400 0 0 0 65 3 0 0 20 0 20 0 511840451 28911386624 31590 33554432000 4194304 4196468 140725627189232 139751420134928 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9699] ppid=9695 vsize=28233776 memory=140500929913712 CPUtime=0 cores=0-7
/proc/9697/task/9699/stat : 9699 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511840452 28911386624 31590 33554432000 4194304 4196468 140725627189232 139751335754768 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9700] ppid=9695 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9697/task/9700/stat : 9700 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28911386624 31590 33554432000 4194304 4196468 140725627189232 139751334702224 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9701] ppid=9695 vsize=28233776 memory=8136 CPUtime=0 cores=0-7
/proc/9697/task/9701/stat : 9701 (java) S 9695 9695 8804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511840452 28911386624 31590 33554432000 4194304 4196468 140725627189232 139751333649168 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
################
# More data... #
################
[pid=9697/tid=9714] ppid=9695 vsize=28768336 memory=7308613654555028076 CPUtime=1.05 cores=0-7
/proc/9697/task/9714/stat : 9714 (java) S 9695 9695 8804 0 -1 1077944384 15047 0 0 0 101 4 0 0 20 0 28 0 511840457 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750074075248 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9715] ppid=9695 vsize=28768336 memory=5937550151184377192 CPUtime=0 cores=0-7
/proc/9697/task/9715/stat : 9715 (java) S 9695 9695 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511840457 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750073023456 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9716] ppid=9695 vsize=28768336 memory=164 CPUtime=0.05 cores=0-7
/proc/9697/task/9716/stat : 9716 (java) S 9695 9695 8804 0 -1 1077944384 2042 0 0 0 1 4 0 0 20 0 28 0 511840457 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750071970992 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9717] ppid=9695 vsize=28768336 memory=6944652177228980320 CPUtime=108.3 cores=0-7
/proc/9697/task/9717/stat : 9717 (java) R 9695 9695 8804 0 -1 4202560 2196 0 0 0 10826 4 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750062750664 139751015827020 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9718] ppid=9695 vsize=28768336 memory=6655300316396806240 CPUtime=108.94 cores=0-7
/proc/9697/task/9718/stat : 9718 (java) R 9695 9695 8804 0 -1 4202560 2088 0 0 0 10891 3 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750061699120 139751015010903 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9719] ppid=9695 vsize=28768336 memory=6944656592455097440 CPUtime=108.87 cores=0-7
/proc/9697/task/9719/stat : 9719 (java) R 9695 9695 8804 0 -1 4202560 5858 0 0 0 10874 13 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750060646264 139751015877266 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9720] ppid=9695 vsize=28768336 memory=6944656592455359580 CPUtime=108.46 cores=0-7
/proc/9697/task/9720/stat : 9720 (java) R 9695 9695 8804 0 -1 4202560 13622 0 0 0 10827 19 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750059594584 139751012841601 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9721] ppid=9695 vsize=28768336 memory=6944652177228980320 CPUtime=109.34 cores=0-7
/proc/9697/task/9721/stat : 9721 (java) R 9695 9695 8804 0 -1 4202560 1506 0 0 0 10932 2 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750058540648 139751015879023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9722] ppid=9695 vsize=28768336 memory=6656426216303648864 CPUtime=109.09 cores=0-7
/proc/9697/task/9722/stat : 9722 (java) R 9695 9695 8804 0 -1 4202560 2359 0 0 0 10906 3 0 0 20 0 28 0 511840938 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750057488168 139751015010760 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9723] ppid=9695 vsize=28768336 memory=7309451478019696235 CPUtime=108.52 cores=0-7
/proc/9697/task/9723/stat : 9723 (java) R 9695 9695 8804 0 -1 4202560 2728 0 0 0 10845 7 0 0 20 0 28 0 511840938 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750056436088 139751015973244 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9724] ppid=9695 vsize=28768336 memory=8112282956445269571 CPUtime=108.77 cores=0-7
/proc/9697/task/9724/stat : 9724 (java) R 9695 9695 8804 0 -1 4202560 2922 0 0 0 10857 20 0 0 20 0 28 0 511840938 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750055383544 139751015880485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
Current children cumulated CPU time: 900.79 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2907588 KiB
[startup+117.002 s]*
/proc/loadavg: 6.87 5.79 7.03 9/220 9732
/proc/meminfo: memFree=22840576/32770624 swapFree=66966884/67108860
[pid=9695] ppid=9692 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9695/stat : 9695 (xcsp3-exec) S 9692 9695 8804 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511840450 115843072 362 33554432000 4194304 5098028 140731956625136 140731956623240 139721622594172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11669504 140731956626257 140731956626517 140731956626517 140731956629446 0
/proc/9695/statm: 28282 362 304 221 0 87 0
[pid=9697] ppid=9695 vsize=28768336 memory=2906140 CPUtime=902.45 cores=0-7
/proc/9697/stat : 9697 (java) S 9695 9695 8804 0 -1 1077944320 150404 0 0 0 89915 330 0 0 20 0 28 0 511840451 29458776064 726535 33554432000 4194304 4196468 140725627189232 140725627171776 139751415901943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
/proc/9697/statm: 7192084 726535 3555 1 0 7153184 0
[pid=9697/tid=9698] ppid=9695 vsize=28768336 memory=1398722017469774279 CPUtime=4.38 cores=0-7
/proc/9697/task/9698/stat : 9698 (java) S 9695 9695 8804 0 -1 1077944384 11885 0 0 0 420 18 0 0 20 0 28 0 511840451 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751420142720 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9699] ppid=9695 vsize=28768336 memory=3054919852846549552 CPUtime=1.17 cores=0-7
/proc/9697/task/9699/stat : 9699 (java) S 9695 9695 8804 0 -1 1077944384 897 0 0 0 90 27 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751335754768 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9700] ppid=9695 vsize=28768336 memory=0 CPUtime=1.17 cores=0-7
/proc/9697/task/9700/stat : 9700 (java) S 9695 9695 8804 0 -1 1077944384 1116 0 0 0 93 24 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751334702224 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9701] ppid=9695 vsize=28768336 memory=7595434456799930472 CPUtime=1.17 cores=0-7
/proc/9697/task/9701/stat : 9701 (java) S 9695 9695 8804 0 -1 1077944384 1071 0 0 0 91 26 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751333649168 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9702] ppid=9695 vsize=28768336 memory=4126316290023845779 CPUtime=1.17 cores=0-7
/proc/9697/task/9702/stat : 9702 (java) S 9695 9695 8804 0 -1 1077944384 1699 0 0 0 90 27 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751332596624 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9703] ppid=9695 vsize=28768336 memory=288230617509003574 CPUtime=1.18 cores=0-7
/proc/9697/task/9703/stat : 9703 (java) S 9695 9695 8804 0 -1 1077944384 936 0 0 0 91 27 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751331543568 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9704] ppid=9695 vsize=28768336 memory=15815620889413968 CPUtime=1.18 cores=0-7
/proc/9697/task/9704/stat : 9704 (java) S 9695 9695 8804 0 -1 1077944384 1062 0 0 0 93 25 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751330491024 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9705] ppid=9695 vsize=28768336 memory=6944656575208382560 CPUtime=1.17 cores=0-7
/proc/9697/task/9705/stat : 9705 (java) S 9695 9695 8804 0 -1 1077944384 791 0 0 0 92 25 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751329437968 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9706] ppid=9695 vsize=28768336 memory=6656426216303648864 CPUtime=1.15 cores=0-7
/proc/9697/task/9706/stat : 9706 (java) S 9695 9695 8804 0 -1 1077944384 1005 0 0 0 89 26 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751328385424 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9707] ppid=9695 vsize=28768336 memory=6944656592455359580 CPUtime=0.97 cores=0-7
/proc/9697/task/9707/stat : 9707 (java) S 9695 9695 8804 0 -1 1077944384 6265 0 0 0 95 2 0 0 20 0 28 0 511840453 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750081444592 139751415913090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9708] ppid=9695 vsize=28768336 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/9697/task/9708/stat : 9708 (java) S 9695 9695 8804 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 511840454 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750080390880 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9709] ppid=9695 vsize=28768336 memory=7307180995233934697 CPUtime=0 cores=0-7
/proc/9697/task/9709/stat : 9709 (java) S 9695 9695 8804 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 28 0 511840454 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750079337728 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9710] ppid=9695 vsize=28768336 memory=7307180995233934697 CPUtime=0 cores=0-7
/proc/9697/task/9710/stat : 9710 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511840456 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750078286288 139751415920539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9711] ppid=9695 vsize=28768336 memory=281001861641184 CPUtime=4.8 cores=0-7
/proc/9697/task/9711/stat : 9711 (java) S 9695 9695 8804 0 -1 1077944384 28220 0 0 0 474 6 0 0 20 0 28 0 511840456 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750077233392 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9712] ppid=9695 vsize=28768336 memory=-7384449411272654997 CPUtime=4.77 cores=0-7
/proc/9697/task/9712/stat : 9712 (java) S 9695 9695 8804 0 -1 1077944384 20963 0 0 0 472 5 0 0 20 0 28 0 511840456 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750076180848 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9713] ppid=9695 vsize=28768336 memory=6720696446780680603 CPUtime=4.87 cores=0-7
/proc/9697/task/9713/stat : 9713 (java) S 9695 9695 8804 0 -1 1077944384 22723 0 0 0 482 5 0 0 20 0 28 0 511840457 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750075127792 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9714] ppid=9695 vsize=28768336 memory=5938678241524540776 CPUtime=1.05 cores=0-7
/proc/9697/task/9714/stat : 9714 (java) S 9695 9695 8804 0 -1 1077944384 15047 0 0 0 101 4 0 0 20 0 28 0 511840457 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750074075248 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9715] ppid=9695 vsize=28768336 memory=5938678241524540776 CPUtime=0 cores=0-7
/proc/9697/task/9715/stat : 9715 (java) S 9695 9695 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511840457 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750073023456 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9716] ppid=9695 vsize=28768336 memory=3612 CPUtime=0.05 cores=0-7
/proc/9697/task/9716/stat : 9716 (java) S 9695 9695 8804 0 -1 1077944384 2042 0 0 0 1 4 0 0 20 0 28 0 511840457 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750071970992 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9717] ppid=9695 vsize=28768336 memory=64196 CPUtime=108.5 cores=0-7
/proc/9697/task/9717/stat : 9717 (java) R 9695 9695 8804 0 -1 4202560 2196 0 0 0 10846 4 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750062750664 139751015836042 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9718] ppid=9695 vsize=28768336 memory=988 CPUtime=109.15 cores=0-7
/proc/9697/task/9718/stat : 9718 (java) R 9695 9695 8804 0 -1 4202560 2088 0 0 0 10912 3 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750061699120 139751016523656 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9719] ppid=9695 vsize=28768336 memory=2020 CPUtime=109.08 cores=0-7
/proc/9697/task/9719/stat : 9719 (java) R 9695 9695 8804 0 -1 4202560 5858 0 0 0 10895 13 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750060646264 139751015269640 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9720] ppid=9695 vsize=28768336 memory=8996 CPUtime=108.67 cores=0-7
/proc/9697/task/9720/stat : 9720 (java) R 9695 9695 8804 0 -1 4202560 13622 0 0 0 10848 19 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750059594584 139751012841606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9721] ppid=9695 vsize=28768336 memory=170983434 CPUtime=109.55 cores=0-7
/proc/9697/task/9721/stat : 9721 (java) R 9695 9695 8804 0 -1 4202560 1506 0 0 0 10953 2 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750058540648 139751015269738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9722] ppid=9695 vsize=28768336 memory=301793952414302242 CPUtime=109.3 cores=0-7
/proc/9697/task/9722/stat : 9722 (java) R 9695 9695 8804 0 -1 4202560 2359 0 0 0 10927 3 0 0 20 0 28 0 511840938 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750057488168 139751015269733 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9723] ppid=9695 vsize=28768336 memory=288291060701868088 CPUtime=108.73 cores=0-7
/proc/9697/task/9723/stat : 9723 (java) R 9695 9695 8804 0 -1 4202560 2728 0 0 0 10866 7 0 0 20 0 28 0 511840938 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750056436088 139751015826993 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9724] ppid=9695 vsize=28768336 memory=-9110635228796802480 CPUtime=108.98 cores=0-7
/proc/9697/task/9724/stat : 9724 (java) R 9695 9695 8804 0 -1 4202560 2922 0 0 0 10878 20 0 0 20 0 28 0 511840938 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750055383544 139751016302245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
Current children cumulated CPU time: 902.45 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2907588 KiB
[startup+117.111 s]
/proc/loadavg: 6.87 5.79 7.03 9/220 9732
/proc/meminfo: memFree=22840576/32770624 swapFree=66966884/67108860
[pid=9695] ppid=9692 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9695/stat : 9695 (xcsp3-exec) S 9692 9695 8804 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511840450 115843072 362 33554432000 4194304 5098028 140731956625136 140731956623240 139721622594172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11669504 140731956626257 140731956626517 140731956626517 140731956629446 0
/proc/9695/statm: 28282 362 304 221 0 87 0
[pid=9697] ppid=9695 vsize=28768336 memory=2906140 CPUtime=903.15 cores=0-7
/proc/9697/stat : 9697 (java) S 9695 9695 8804 0 -1 1077944320 150435 0 0 0 89985 330 0 0 20 0 28 0 511840451 29458776064 726535 33554432000 4194304 4196468 140725627189232 140725627171776 139751415901943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
/proc/9697/statm: 7192084 726535 3555 1 0 7153184 0
[pid=9697/tid=9698] ppid=9695 vsize=28768336 memory=2906140 CPUtime=4.38 cores=0-7
/proc/9697/task/9698/stat : 9698 (java) S 9695 9695 8804 0 -1 1077944384 11885 0 0 0 420 18 0 0 20 0 28 0 511840451 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751420142720 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9699] ppid=9695 vsize=28768336 memory=2906140 CPUtime=1.17 cores=0-7
/proc/9697/task/9699/stat : 9699 (java) S 9695 9695 8804 0 -1 1077944384 897 0 0 0 90 27 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751335754768 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9700] ppid=9695 vsize=28768336 memory=1448 CPUtime=1.17 cores=0-7
/proc/9697/task/9700/stat : 9700 (java) S 9695 9695 8804 0 -1 1077944384 1116 0 0 0 93 24 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751334702224 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9701] ppid=9695 vsize=28768336 memory=0 CPUtime=1.17 cores=0-7
/proc/9697/task/9701/stat : 9701 (java) S 9695 9695 8804 0 -1 1077944384 1071 0 0 0 91 26 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751333649168 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9702] ppid=9695 vsize=28768336 memory=-6237260533277354362 CPUtime=1.17 cores=0-7
/proc/9697/task/9702/stat : 9702 (java) S 9695 9695 8804 0 -1 1077944384 1699 0 0 0 90 27 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751332596624 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9703] ppid=9695 vsize=28768336 memory=1196 CPUtime=1.18 cores=0-7
/proc/9697/task/9703/stat : 9703 (java) S 9695 9695 8804 0 -1 1077944384 936 0 0 0 91 27 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751331543568 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9704] ppid=9695 vsize=28768336 memory=1044 CPUtime=1.18 cores=0-7
/proc/9697/task/9704/stat : 9704 (java) S 9695 9695 8804 0 -1 1077944384 1062 0 0 0 93 25 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751330491024 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9705] ppid=9695 vsize=28768336 memory=1448 CPUtime=1.17 cores=0-7
/proc/9697/task/9705/stat : 9705 (java) S 9695 9695 8804 0 -1 1077944384 791 0 0 0 92 25 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751329437968 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9706] ppid=9695 vsize=28768336 memory=1448 CPUtime=1.15 cores=0-7
/proc/9697/task/9706/stat : 9706 (java) S 9695 9695 8804 0 -1 1077944384 1005 0 0 0 89 26 0 0 20 0 28 0 511840452 29458776064 726535 33554432000 4194304 4196468 140725627189232 139751328385424 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9707] ppid=9695 vsize=28768336 memory=2906140 CPUtime=0.97 cores=0-7
/proc/9697/task/9707/stat : 9707 (java) S 9695 9695 8804 0 -1 1077944384 6265 0 0 0 95 2 0 0 20 0 28 0 511840453 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750081444592 139751415913090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9708] ppid=9695 vsize=28768336 memory=3508 CPUtime=0 cores=0-7
/proc/9697/task/9708/stat : 9708 (java) S 9695 9695 8804 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 511840454 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750080390880 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9709] ppid=9695 vsize=28768336 memory=1708 CPUtime=0 cores=0-7
/proc/9697/task/9709/stat : 9709 (java) S 9695 9695 8804 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 28 0 511840454 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750079337728 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9710] ppid=9695 vsize=28768336 memory=8996 CPUtime=0 cores=0-7
/proc/9697/task/9710/stat : 9710 (java) S 9695 9695 8804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511840456 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750078286288 139751415920539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9711] ppid=9695 vsize=28768336 memory=6944656575208382560 CPUtime=4.8 cores=0-7
/proc/9697/task/9711/stat : 9711 (java) S 9695 9695 8804 0 -1 1077944384 28220 0 0 0 474 6 0 0 20 0 28 0 511840456 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750077233392 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9712] ppid=9695 vsize=28768336 memory=1448 CPUtime=4.77 cores=0-7
/proc/9697/task/9712/stat : 9712 (java) S 9695 9695 8804 0 -1 1077944384 20963 0 0 0 472 5 0 0 20 0 28 0 511840456 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750076180848 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9713] ppid=9695 vsize=28768336 memory=2906140 CPUtime=4.87 cores=0-7
/proc/9697/task/9713/stat : 9713 (java) S 9695 9695 8804 0 -1 1077944384 22723 0 0 0 482 5 0 0 20 0 28 0 511840457 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750075127792 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9714] ppid=9695 vsize=28768336 memory=288292181687678657 CPUtime=1.05 cores=0-7
/proc/9697/task/9714/stat : 9714 (java) S 9695 9695 8804 0 -1 1077944384 15047 0 0 0 101 4 0 0 20 0 28 0 511840457 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750074075248 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9715] ppid=9695 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/9697/task/9715/stat : 9715 (java) S 9695 9695 8804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511840457 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750073023456 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9716] ppid=9695 vsize=28768336 memory=1448 CPUtime=0.05 cores=0-7
/proc/9697/task/9716/stat : 9716 (java) S 9695 9695 8804 0 -1 1077944384 2042 0 0 0 1 4 0 0 20 0 28 0 511840457 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750071970992 139751415913090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9717] ppid=9695 vsize=28768336 memory=1448 CPUtime=108.6 cores=0-7
/proc/9697/task/9717/stat : 9717 (java) R 9695 9695 8804 0 -1 4202560 2197 0 0 0 10856 4 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750062750664 139751015827020 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9718] ppid=9695 vsize=28768336 memory=1448 CPUtime=109.23 cores=0-7
/proc/9697/task/9718/stat : 9718 (java) S 9695 9695 8804 0 -1 1077944384 2090 0 0 0 10920 3 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750061704528 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9719] ppid=9695 vsize=28768336 memory=2906140 CPUtime=109.16 cores=0-7
/proc/9697/task/9719/stat : 9719 (java) S 9695 9695 8804 0 -1 1077944384 5858 0 0 0 10903 13 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750060651472 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9720] ppid=9695 vsize=28768336 memory=2906140 CPUtime=108.75 cores=0-7
/proc/9697/task/9720/stat : 9720 (java) S 9695 9695 8804 0 -1 1077944384 13642 0 0 0 10856 19 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750059598928 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9721] ppid=9695 vsize=28768336 memory=2906140 CPUtime=109.65 cores=0-7
/proc/9697/task/9721/stat : 9721 (java) R 9695 9695 8804 0 -1 4202560 1506 0 0 0 10963 2 0 0 20 0 28 0 511840937 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750058540648 139751016108259 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9722] ppid=9695 vsize=28768336 memory=1448 CPUtime=109.38 cores=0-7
/proc/9697/task/9722/stat : 9722 (java) S 9695 9695 8804 0 -1 1077944384 2362 0 0 0 10935 3 0 0 20 0 28 0 511840938 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750057493328 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9723] ppid=9695 vsize=28768336 memory=2906140 CPUtime=108.82 cores=0-7
/proc/9697/task/9723/stat : 9723 (java) S 9695 9695 8804 0 -1 1077944384 2733 0 0 0 10875 7 0 0 20 0 28 0 511840938 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750056441296 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
[pid=9697/tid=9724] ppid=9695 vsize=28768336 memory=776 CPUtime=109.06 cores=0-7
/proc/9697/task/9724/stat : 9724 (java) S 9695 9695 8804 0 -1 1077944384 2922 0 0 0 10886 20 0 0 20 0 28 0 511840938 29458776064 726535 33554432000 4194304 4196468 140725627189232 139750055388752 139751415912149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12247040 140725627196374 140725627196550 140725627196550 140725627199439 0
Current children cumulated CPU time: 903.15 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2907588 KiB
Child status: 0
Real time (s): 117.16
CPU time (s): 903.206
CPU user time (s): 899.877
CPU system time (s): 3.32975
CPU usage (%): 770.914
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 2907588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 899.877
system time used= 3.32975
maximum resident set size= 2906228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9311
involuntary context switches= 11432
# summary of solver processes directly reported to runsolver:
# pid: 9695
# total CPU time (s): 903.206
# total CPU user time (s): 899.877
# total CPU system time (s): 3.32975
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.96702 second user time and 1.50449 second system time
The end
Begin job on node145 at 2019-09-24 23:03:18
IDJOB=4406662
IDBENCH=138789
IDSOLVER=2871
FILE ID=node145/4406662-1569359040
RUNJOBID= node145-1569356229-8831
PBS_JOBID= 21705102
Free space on /var/tmp= 13512 MiB
SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Queens/Queens-m1-s1/Queens-0150-m1.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406662-1569359040/watcher-4406662-1569359040 -o /var/tmp/evaluation-result-4406662-1569359040/solver-4406662-1569359040 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569356229-8831 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1001212897 HOME/instance-4406662-1569359040.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 87bfaaaf5fd3b270ee1dec703898481f
RANDOM SEED=1001212897
node145.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.59
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.59
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.59
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.59
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: 25738520 kB
MemAvailable: 31811116 kB
Buffers: 157684 kB
Cached: 6066616 kB
SwapCached: 32452 kB
Active: 3047616 kB
Inactive: 3214300 kB
Active(anon): 4812 kB
Inactive(anon): 89852 kB
Active(file): 3042804 kB
Inactive(file): 3124448 kB
Unevictable: 108772 kB
Mlocked: 108772 kB
SwapTotal: 67108860 kB
SwapFree: 66966884 kB
Dirty: 26636 kB
Writeback: 0 kB
AnonPages: 123952 kB
Mapped: 57360 kB
Shmem: 48852 kB
Slab: 362736 kB
SReclaimable: 333804 kB
SUnreclaim: 28932 kB
KernelStack: 3744 kB
PageTables: 6092 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 515332 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 77824 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 /var/tmp at the end= 13484 MiB
End job on node145 at 2019-09-24 23:05:15