0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406638-1569352943.xml" -tl '20160s' -p 8
0.10/0.19 c Choco e747e1e
0.10/0.19 c [HOME/instance-4406638-1569352943.xml, -tl, 20160s, -p, 8]
0.31/0.23 c 8 solvers in parallel
0.31/0.30 c parse instance...
1.69/0.76 c solve instance...
2.99/0.95 s SATISFIABLE
2.99/0.95 v <instantiation>
2.99/0.95 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] </list>
2.99/0.95 v <values>0 25 37 51 39 27 2 40 41 42 17 5 6 7 8 9 10 48 21 20 19 18 4 3 30 16 43 31 32 33 34 22 23 11 49 24 38 13 1 15 29 28 14 26 12 50 36 35 47 46 45 44 0 38 6 23 22 11 12 13 14 15 16 33 44 37 42 39 25 10 21 20 19 18 31 32 35 1 43 5 41 40 24 27 28 29 30 47 46 2 36 4 7 8 9 26 51 50 49 48 17 34 45 3 </values>
2.99/0.95 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 (13522 MiB free)
memory of node 1: 16384 MiB (14290 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406638-1569352943/watcher-4406638-1569352943 -o /var/tmp/evaluation-result-4406638-1569352943/solver-4406638-1569352943 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569349736-24472 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 369651285 HOME/instance-4406638-1569352943.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=26147, runsolver pid=26144
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 8.70 8.23 8.15 4/212 26168
/proc/meminfo: memFree=28464912/32770624 swapFree=67023956/67108860
[pid=26147] ppid=26144 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26147/stat : 26147 (xcsp3-exec) S 26144 26147 24445 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511566768 115843072 362 33554432000 4194304 5098028 140728281796160 140728281794264 140417553031804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18616320 140728281801554 140728281801813 140728281801813 140728281804742 0
/proc/26147/statm: 28282 362 304 221 0 87 0
[pid=26149] ppid=26147 vsize=28227396 memory=29312 CPUtime=0.1 cores=0-7
/proc/26149/stat : 26149 (java) S 26147 26147 24445 0 -1 1077944320 5763 0 0 0 9 1 0 0 20 0 20 0 511566769 28904853504 7328 33554432000 4194304 4196468 140726232518208 140726232500752 140130516831991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
/proc/26149/statm: 7056849 7328 3104 1 0 7019032 0
[pid=26149/tid=26150] ppid=26147 vsize=28227396 memory=4134930498285298233 CPUtime=0.07 cores=0-7
/proc/26149/task/26150/stat : 26150 (java) R 26147 26147 24445 0 -1 4202560 3790 0 0 0 7 0 0 0 20 0 20 0 511566769 28904853504 7328 33554432000 4194304 4196468 140726232518208 140130521054736 140130516853917 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26151] ppid=26147 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/26149/task/26151/stat : 26151 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 7328 33554432000 4194304 4196468 140726232518208 140130436684304 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26152] ppid=26147 vsize=28227396 memory=139680837670528 CPUtime=0 cores=0-7
/proc/26149/task/26152/stat : 26152 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 7328 33554432000 4194304 4196468 140726232518208 140130435631760 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26153] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26153/stat : 26153 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 7328 33554432000 4194304 4196468 140726232518208 140130434578704 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26154] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26154/stat : 26154 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 7328 33554432000 4194304 4196468 140726232518208 140130433526160 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26155] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26155/stat : 26155 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 7328 33554432000 4194304 4196468 140726232518208 140130432474128 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26156] ppid=26147 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26149/task/26156/stat : 26156 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 7328 33554432000 4194304 4196468 140726232518208 140130431421584 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26157] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26157/stat : 26157 (java) S 26147 26147 24445 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 7328 33554432000 4194304 4196468 140726232518208 140130430368528 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26158] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26158/stat : 26158 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 7328 33554432000 4194304 4196468 140726232518208 140130429315984 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26159] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26159/stat : 26159 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566771 28904853504 7328 33554432000 4194304 4196468 140726232518208 140129968703728 140130516843138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26160] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26160/stat : 26160 (java) S 26147 26147 24445 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511566772 28904853504 7328 33554432000 4194304 4196468 140726232518208 140129967649952 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26161] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26161/stat : 26161 (java) S 26147 26147 24445 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511566772 28904853504 7328 33554432000 4194304 4196468 140726232518208 140129966596848 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26162] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26162/stat : 26162 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566774 28904853504 7328 33554432000 4194304 4196468 140726232518208 140129965545424 140130516850587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26163] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26163/stat : 26163 (java) S 26147 26147 24445 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 511566776 28904853504 7328 33554432000 4194304 4196468 140726232518208 140129964493552 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26164] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26164/stat : 26164 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566776 28904853504 7328 33554432000 4194304 4196468 140726232518208 140129963441008 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26165] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26165/stat : 26165 (java) S 26147 26147 24445 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511566776 28904853504 7328 33554432000 4194304 4196468 140726232518208 140129962387952 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26166] ppid=26147 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/26149/task/26166/stat : 26166 (java) S 26147 26147 24445 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 511566776 28904853504 7328 33554432000 4194304 4196468 140726232518208 140129961335408 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26167] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26167/stat : 26167 (java) S 26147 26147 24445 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511566776 28904853504 7328 33554432000 4194304 4196468 140726232518208 140129960282592 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26168] ppid=26147 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26149/task/26168/stat : 26168 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566776 28904853504 7328 33554432000 4194304 4196468 140726232518208 140129959230128 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30760 KiB
[startup+0.210202 s]*
/proc/loadavg: 8.70 8.23 8.15 2/212 26168
/proc/meminfo: memFree=28451496/32770624 swapFree=67023956/67108860
[pid=26147] ppid=26144 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26147/stat : 26147 (xcsp3-exec) S 26144 26147 24445 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511566768 115843072 362 33554432000 4194304 5098028 140728281796160 140728281794264 140417553031804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18616320 140728281801554 140728281801813 140728281801813 140728281804742 0
/proc/26147/statm: 28282 362 304 221 0 87 0
[pid=26149] ppid=26147 vsize=28227396 memory=41140 CPUtime=0.31 cores=0-7
/proc/26149/stat : 26149 (java) S 26147 26147 24445 0 -1 1077944320 9454 0 0 0 28 3 0 0 20 0 20 0 511566769 28904853504 10285 33554432000 4194304 4196468 140726232518208 140726232500752 140130516831991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
/proc/26149/statm: 7056849 10285 3314 1 0 7019032 0
[pid=26149/tid=26150] ppid=26147 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/26149/task/26150/stat : 26150 (java) R 26147 26147 24445 0 -1 4202560 6618 0 0 0 17 2 0 0 20 0 20 0 511566769 28904853504 10285 33554432000 4194304 4196468 140726232518208 140130521063120 140130509510005 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26151] ppid=26147 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/26149/task/26151/stat : 26151 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 10285 33554432000 4194304 4196468 140726232518208 140130436684304 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26152] ppid=26147 vsize=28227396 memory=139680837694646 CPUtime=0 cores=0-7
/proc/26149/task/26152/stat : 26152 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 10285 33554432000 4194304 4196468 140726232518208 140130435631760 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26153] ppid=26147 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26149/task/26153/stat : 26153 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 10285 33554432000 4194304 4196468 140726232518208 140130434578704 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26154] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26154/stat : 26154 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 10285 33554432000 4194304 4196468 140726232518208 140130433526160 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26155] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26155/stat : 26155 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 10285 33554432000 4194304 4196468 140726232518208 140130432474128 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26156] ppid=26147 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26149/task/26156/stat : 26156 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 10285 33554432000 4194304 4196468 140726232518208 140130431421584 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26157] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26157/stat : 26157 (java) S 26147 26147 24445 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 10285 33554432000 4194304 4196468 140726232518208 140130430368528 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26158] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26158/stat : 26158 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566770 28904853504 10285 33554432000 4194304 4196468 140726232518208 140130429315984 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26159] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26159/stat : 26159 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566771 28904853504 10285 33554432000 4194304 4196468 140726232518208 140129968703728 140130516843138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26160] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26160/stat : 26160 (java) S 26147 26147 24445 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511566772 28904853504 10285 33554432000 4194304 4196468 140726232518208 140129967649952 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26161] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26161/stat : 26161 (java) S 26147 26147 24445 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511566772 28904853504 10285 33554432000 4194304 4196468 140726232518208 140129966596848 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26162] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26162/stat : 26162 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566774 28904853504 10285 33554432000 4194304 4196468 140726232518208 140129965545424 140130516850587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26163] ppid=26147 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/26149/task/26163/stat : 26163 (java) S 26147 26147 24445 0 -1 1077944384 543 0 0 0 1 0 0 0 20 0 20 0 511566776 28904853504 10285 33554432000 4194304 4196468 140726232518208 140129964493552 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26164] ppid=26147 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/26149/task/26164/stat : 26164 (java) S 26147 26147 24445 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 511566776 28904853504 10285 33554432000 4194304 4196468 140726232518208 140129963441008 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26165] ppid=26147 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26149/task/26165/stat : 26165 (java) S 26147 26147 24445 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 511566776 28904853504 10285 33554432000 4194304 4196468 140726232518208 140129962387952 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26166] ppid=26147 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/26149/task/26166/stat : 26166 (java) S 26147 26147 24445 0 -1 1077944384 748 0 0 0 7 0 0 0 20 0 20 0 511566776 28904853504 10285 33554432000 4194304 4196468 140726232518208 140129961335408 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26167] ppid=26147 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26167/stat : 26167 (java) S 26147 26147 24445 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511566776 28904853504 10285 33554432000 4194304 4196468 140726232518208 140129960282592 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26168] ppid=26147 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26149/task/26168/stat : 26168 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566776 28904853504 10285 33554432000 4194304 4196468 140726232518208 140129959230128 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42588 KiB
[startup+0.309591 s]*
/proc/loadavg: 8.08 8.11 8.11 2/212 26168
/proc/meminfo: memFree=28446768/32770624 swapFree=67023956/67108860
[pid=26147] ppid=26144 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26147/stat : 26147 (xcsp3-exec) S 26144 26147 24445 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511566768 115843072 362 33554432000 4194304 5098028 140728281796160 140728281794264 140417553031804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18616320 140728281801554 140728281801813 140728281801813 140728281804742 0
/proc/26147/statm: 28282 362 304 221 0 87 0
[pid=26149] ppid=26147 vsize=28231652 memory=46956 CPUtime=0.49 cores=0-7
/proc/26149/stat : 26149 (java) S 26147 26147 24445 0 -1 1077944320 10612 0 0 0 45 4 0 0 20 0 20 0 511566769 28909211648 11739 33554432000 4194304 4196468 140726232518208 140726232500752 140130516831991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
/proc/26149/statm: 7057913 11739 3347 1 0 7019032 0
[pid=26149/tid=26150] ppid=26147 vsize=28231652 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/26149/task/26150/stat : 26150 (java) R 26147 26147 24445 0 -1 4202560 7678 0 0 0 26 2 0 0 20 0 20 0 511566769 28909211648 11739 33554432000 4194304 4196468 140726232518208 140130521065648 140130500875621 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26151] ppid=26147 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26151/stat : 26151 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28909211648 11739 33554432000 4194304 4196468 140726232518208 140130436684304 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26152] ppid=26147 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26152/stat : 26152 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28909211648 11739 33554432000 4194304 4196468 140726232518208 140130435631760 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26153] ppid=26147 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26153/stat : 26153 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28909211648 11739 33554432000 4194304 4196468 140726232518208 140130434578704 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26154] ppid=26147 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26154/stat : 26154 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566770 28909211648 11739 33554432000 4194304 4196468 140726232518208 140130433526160 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26155] ppid=26147 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/26149/task/26155/stat : 26155 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566770 28909211648 11739 33554432000 4194304 4196468 140726232518208 140130432474128 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26156] ppid=26147 vsize=28231652 memory=139680725169071 CPUtime=0 cores=0-7
/proc/26149/task/26156/stat : 26156 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28909211648 11739 33554432000 4194304 4196468 140726232518208 140130431421584 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26157] ppid=26147 vsize=28231652 memory=139680725171376 CPUtime=0 cores=0-7
/proc/26149/task/26157/stat : 26157 (java) S 26147 26147 24445 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511566770 28909211648 11739 33554432000 4194304 4196468 140726232518208 140130430368528 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26158] ppid=26147 vsize=28231652 memory=139680725173680 CPUtime=0 cores=0-7
/proc/26149/task/26158/stat : 26158 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566770 28909211648 11739 33554432000 4194304 4196468 140726232518208 140130429315984 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26159] ppid=26147 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26159/stat : 26159 (java) S 26147 26147 24445 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511566771 28909211648 11739 33554432000 4194304 4196468 140726232518208 140129968703728 140130516843138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26160] ppid=26147 vsize=28231652 memory=279361450354320 CPUtime=0 cores=0-7
/proc/26149/task/26160/stat : 26160 (java) S 26147 26147 24445 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511566772 28909211648 11739 33554432000 4194304 4196468 140726232518208 140129967649952 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26161] ppid=26147 vsize=28231652 memory=279361450361232 CPUtime=0 cores=0-7
/proc/26149/task/26161/stat : 26161 (java) S 26147 26147 24445 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511566772 28909211648 11739 33554432000 4194304 4196468 140726232518208 140129966596848 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26162] ppid=26147 vsize=28231652 memory=279361450302512 CPUtime=0 cores=0-7
/proc/26149/task/26162/stat : 26162 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566774 28909211648 11739 33554432000 4194304 4196468 140726232518208 140129965545424 140130516850587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26163] ppid=26147 vsize=28231652 memory=279361450375056 CPUtime=0.02 cores=0-7
/proc/26149/task/26163/stat : 26163 (java) R 26147 26147 24445 0 -1 1077944384 552 0 0 0 2 0 0 0 20 0 20 0 511566776 28909211648 11739 33554432000 4194304 4196468 140726232518208 140129964493552 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26164] ppid=26147 vsize=28231652 memory=279361450381968 CPUtime=0.02 cores=0-7
/proc/26149/task/26164/stat : 26164 (java) S 26147 26147 24445 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 20 0 511566776 28909211648 11739 33554432000 4194304 4196468 140726232518208 140129963441008 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26165] ppid=26147 vsize=28231652 memory=279361450379664 CPUtime=0.01 cores=0-7
/proc/26149/task/26165/stat : 26165 (java) S 26147 26147 24445 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 20 0 511566776 28909211648 11739 33554432000 4194304 4196468 140726232518208 140129962387952 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26166] ppid=26147 vsize=28231652 memory=279361450395824 CPUtime=0.12 cores=0-7
/proc/26149/task/26166/stat : 26166 (java) R 26147 26147 24445 0 -1 4202560 827 0 0 0 12 0 0 0 20 0 20 0 511566776 28909211648 11739 33554432000 4194304 4196468 140726232518208 140129961332944 140130500912478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26167] ppid=26147 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26167/stat : 26167 (java) S 26147 26147 24445 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511566776 28909211648 11739 33554432000 4194304 4196468 140726232518208 140129960282592 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26168] ppid=26147 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/26149/task/26168/stat : 26168 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566776 28909211648 11739 33554432000 4194304 4196468 140726232518208 140129959230128 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48404 KiB
[startup+0.700907 s]
/proc/loadavg: 8.08 8.11 8.11 4/212 26168
/proc/meminfo: memFree=28426516/32770624 swapFree=67023956/67108860
[pid=26147] ppid=26144 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26147/stat : 26147 (xcsp3-exec) S 26144 26147 24445 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511566768 115843072 362 33554432000 4194304 5098028 140728281796160 140728281794264 140417553031804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18616320 140728281801554 140728281801813 140728281801813 140728281804742 0
/proc/26147/statm: 28282 362 304 221 0 87 0
[pid=26149] ppid=26147 vsize=28233776 memory=89416 CPUtime=1.69 cores=0-7
/proc/26149/stat : 26149 (java) S 26147 26147 24445 0 -1 1077944320 15575 0 0 0 162 7 0 0 20 0 20 0 511566769 28911386624 22354 33554432000 4194304 4196468 140726232518208 140726232500752 140130516831991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
/proc/26149/statm: 7058444 22354 3459 1 0 7019544 0
[pid=26149/tid=26150] ppid=26147 vsize=28233776 memory=279361450753712 CPUtime=0.66 cores=0-7
/proc/26149/task/26150/stat : 26150 (java) R 26147 26147 24445 0 -1 4202560 9267 0 0 0 62 4 0 0 20 0 20 0 511566769 28911386624 22354 33554432000 4194304 4196468 140726232518208 140130521069568 140130516853917 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26151] ppid=26147 vsize=28233776 memory=139680725377904 CPUtime=0 cores=0-7
/proc/26149/task/26151/stat : 26151 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28911386624 22354 33554432000 4194304 4196468 140726232518208 140130436684304 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26152] ppid=26147 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26152/stat : 26152 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28911386624 22354 33554432000 4194304 4196468 140726232518208 140130435631760 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26153] ppid=26147 vsize=28233776 memory=1076 CPUtime=0 cores=0-7
/proc/26149/task/26153/stat : 26153 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28911386624 22354 33554432000 4194304 4196468 140726232518208 140130434578704 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26154] ppid=26147 vsize=28233776 memory=3124 CPUtime=0 cores=0-7
/proc/26149/task/26154/stat : 26154 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566770 28911386624 22354 33554432000 4194304 4196468 140726232518208 140130433526160 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26155] ppid=26147 vsize=28233776 memory=1244 CPUtime=0 cores=0-7
/proc/26149/task/26155/stat : 26155 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566770 28911386624 22354 33554432000 4194304 4196468 140726232518208 140130432474128 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26156] ppid=26147 vsize=28233776 memory=14064 CPUtime=0 cores=0-7
/proc/26149/task/26156/stat : 26156 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511566770 28911386624 22354 33554432000 4194304 4196468 140726232518208 140130431421584 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26157] ppid=26147 vsize=28233776 memory=23252 CPUtime=0 cores=0-7
/proc/26149/task/26157/stat : 26157 (java) S 26147 26147 24445 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511566770 28911386624 22354 33554432000 4194304 4196468 140726232518208 140130430368528 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26158] ppid=26147 vsize=28233776 memory=2256 CPUtime=0 cores=0-7
/proc/26149/task/26158/stat : 26158 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566770 28911386624 22354 33554432000 4194304 4196468 140726232518208 140130429315984 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26159] ppid=26147 vsize=28233776 memory=12328 CPUtime=0 cores=0-7
/proc/26149/task/26159/stat : 26159 (java) S 26147 26147 24445 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511566771 28911386624 22354 33554432000 4194304 4196468 140726232518208 140129968703728 140130516843138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26160] ppid=26147 vsize=28233776 memory=500 CPUtime=0 cores=0-7
/proc/26149/task/26160/stat : 26160 (java) S 26147 26147 24445 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511566772 28911386624 22354 33554432000 4194304 4196468 140726232518208 140129967649952 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26161] ppid=26147 vsize=28233776 memory=1584 CPUtime=0 cores=0-7
/proc/26149/task/26161/stat : 26161 (java) S 26147 26147 24445 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511566772 28911386624 22354 33554432000 4194304 4196468 140726232518208 140129966596848 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26162] ppid=26147 vsize=28233776 memory=1740 CPUtime=0 cores=0-7
/proc/26149/task/26162/stat : 26162 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566774 28911386624 22354 33554432000 4194304 4196468 140726232518208 140129965545424 140130516850587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26163] ppid=26147 vsize=28233776 memory=0 CPUtime=0.22 cores=0-7
/proc/26149/task/26163/stat : 26163 (java) R 26147 26147 24445 0 -1 4202560 1401 0 0 0 21 1 0 0 20 0 20 0 511566776 28911386624 22354 33554432000 4194304 4196468 140726232518208 140129964479432 140130498375714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26164] ppid=26147 vsize=28233776 memory=7712 CPUtime=0.16 cores=0-7
/proc/26149/task/26164/stat : 26164 (java) R 26147 26147 24445 0 -1 4202560 774 0 0 0 16 0 0 0 20 0 20 0 511566776 28911386624 22354 33554432000 4194304 4196468 140726232518208 140129963430816 140130497532288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26165] ppid=26147 vsize=28233776 memory=1760 CPUtime=0.22 cores=0-7
/proc/26149/task/26165/stat : 26165 (java) R 26147 26147 24445 0 -1 4202560 854 0 0 0 22 0 0 0 20 0 20 0 511566776 28911386624 22354 33554432000 4194304 4196468 140726232518208 140129962380976 140130500346028 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26166] ppid=26147 vsize=28233776 memory=1172 CPUtime=0.4 cores=0-7
/proc/26149/task/26166/stat : 26166 (java) R 26147 26147 24445 0 -1 4202560 1978 0 0 0 39 1 0 0 20 0 20 0 511566776 28911386624 22354 33554432000 4194304 4196468 140726232518208 140129961335408 140130500912478 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26167] ppid=26147 vsize=28233776 memory=6308 CPUtime=0 cores=0-7
/proc/26149/task/26167/stat : 26167 (java) S 26147 26147 24445 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511566776 28911386624 22354 33554432000 4194304 4196468 140726232518208 140129960282592 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26168] ppid=26147 vsize=28233776 memory=828 CPUtime=0 cores=0-7
/proc/26149/task/26168/stat : 26168 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511566776 28911386624 22354 33554432000 4194304 4196468 140726232518208 140129959230128 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 90864 KiB
[startup+0.973925 s]
# the end of solver process 26147 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.33505 s, system=0.101664 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801069 s]
/proc/loadavg: 8.08 8.11 8.11 4/212 26168
/proc/meminfo: memFree=28426516/32770624 swapFree=67023956/67108860
[pid=26147] ppid=26144 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26147/stat : 26147 (xcsp3-exec) S 26144 26147 24445 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511566768 115843072 362 33554432000 4194304 5098028 140728281796160 140728281794264 140417553031804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18616320 140728281801554 140728281801813 140728281801813 140728281804742 0
/proc/26147/statm: 28282 362 304 221 0 87 0
[pid=26149] ppid=26147 vsize=28766288 memory=121980 CPUtime=2.22 cores=0-7
/proc/26149/stat : 26149 (java) S 26147 26147 24445 0 -1 1077944320 16818 0 0 0 214 8 0 0 20 0 28 0 511566769 29456678912 30495 33554432000 4194304 4196468 140726232518208 140726232500752 140130516831991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
/proc/26149/statm: 7191572 30495 3462 1 0 7152672 0
[pid=26149/tid=26150] ppid=26147 vsize=28766288 memory=7440060183353512016 CPUtime=0.73 cores=0-7
/proc/26149/task/26150/stat : 26150 (java) S 26147 26147 24445 0 -1 1077944384 9383 0 0 0 69 4 0 0 20 0 28 0 511566769 29456678912 30495 33554432000 4194304 4196468 140726232518208 140130521072768 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26151] ppid=26147 vsize=28766288 memory=4638778398332698733 CPUtime=0 cores=0-7
/proc/26149/task/26151/stat : 26151 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511566770 29456678912 30495 33554432000 4194304 4196468 140726232518208 140130436684304 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26152] ppid=26147 vsize=28766288 memory=4638778398332960864 CPUtime=0 cores=0-7
/proc/26149/task/26152/stat : 26152 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511566770 29456678912 30495 33554432000 4194304 4196468 140726232518208 140130435631760 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26153] ppid=26147 vsize=28766288 memory=-8820188211957838939 CPUtime=0 cores=0-7
/proc/26149/task/26153/stat : 26153 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511566770 29456678912 30495 33554432000 4194304 4196468 140726232518208 140130434578704 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26154] ppid=26147 vsize=28766288 memory=-9106937485548952949 CPUtime=0 cores=0-7
/proc/26149/task/26154/stat : 26154 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511566770 29456678912 30495 33554432000 4194304 4196468 140726232518208 140130433526160 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26155] ppid=26147 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26155/stat : 26155 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511566770 29456678912 30495 33554432000 4194304 4196468 140726232518208 140130432474128 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26156] ppid=26147 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26156/stat : 26156 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511566770 29456678912 30495 33554432000 4194304 4196468 140726232518208 140130431421584 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26157] ppid=26147 vsize=28766288 memory=279361450217024 CPUtime=0 cores=0-7
/proc/26149/task/26157/stat : 26157 (java) S 26147 26147 24445 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511566770 29456678912 30495 33554432000 4194304 4196468 140726232518208 140130430368528 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26158] ppid=26147 vsize=28766288 memory=-9178283013952593501 CPUtime=0 cores=0-7
/proc/26149/task/26158/stat : 26158 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511566770 29456678912 30495 33554432000 4194304 4196468 140726232518208 140130429315984 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26159] ppid=26147 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26159/stat : 26159 (java) S 26147 26147 24445 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 511566771 29456678912 30495 33554432000 4194304 4196468 140726232518208 140129968703728 140130516843138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26160] ppid=26147 vsize=28766288 memory=1480 CPUtime=0 cores=0-7
/proc/26149/task/26160/stat : 26160 (java) S 26147 26147 24445 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511566772 29456678912 30495 33554432000 4194304 4196468 140726232518208 140129967649952 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26161] ppid=26147 vsize=28766288 memory=3880 CPUtime=0 cores=0-7
/proc/26149/task/26161/stat : 26161 (java) S 26147 26147 24445 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 511566772 29456678912 30495 33554432000 4194304 4196468 140726232518208 140129966596848 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26162] ppid=26147 vsize=28766288 memory=7712 CPUtime=0 cores=0-7
/proc/26149/task/26162/stat : 26162 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511566774 29456678912 30495 33554432000 4194304 4196468 140726232518208 140129965545424 140130516850587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26163] ppid=26147 vsize=28766288 memory=1760 CPUtime=0.32 cores=0-7
/proc/26149/task/26163/stat : 26163 (java) R 26147 26147 24445 0 -1 4202560 1521 0 0 0 31 1 0 0 20 0 28 0 511566776 29456678912 30495 33554432000 4194304 4196468 140726232518208 140129964474304 140130501955931 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26164] ppid=26147 vsize=28766288 memory=1172 CPUtime=0.23 cores=0-7
/proc/26149/task/26164/stat : 26164 (java) R 26147 26147 24445 0 -1 1077944384 826 0 0 0 23 0 0 0 20 0 28 0 511566776 29456678912 30495 33554432000 4194304 4196468 140726232518208 140129963441008 140130516843138 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26165] ppid=26147 vsize=28766288 memory=6308 CPUtime=0.31 cores=0-7
/proc/26149/task/26165/stat : 26165 (java) R 26147 26147 24445 0 -1 4202560 1115 0 0 0 31 0 0 0 20 0 28 0 511566776 29456678912 30495 33554432000 4194304 4196468 140726232518208 140129962374160 140130501942018 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26166] ppid=26147 vsize=28766288 memory=828 CPUtime=0.48 cores=0-7
/proc/26149/task/26166/stat : 26166 (java) S 26147 26147 24445 0 -1 1077944384 2383 0 0 0 47 1 0 0 20 0 28 0 511566776 29456678912 30495 33554432000 4194304 4196468 140726232518208 140129961335408 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26167] ppid=26147 vsize=28766288 memory=736 CPUtime=0 cores=0-7
/proc/26149/task/26167/stat : 26167 (java) S 26147 26147 24445 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511566776 29456678912 30495 33554432000 4194304 4196468 140726232518208 140129960282592 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26168] ppid=26147 vsize=28766288 memory=1608 CPUtime=0 cores=0-7
/proc/26149/task/26168/stat : 26168 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511566776 29456678912 30495 33554432000 4194304 4196468 140726232518208 140129959230128 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
Current children cumulated CPU time: 2.22 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 123428 KiB
[startup+0.901184 s]
/proc/loadavg: 8.08 8.11 8.11 4/212 26168
/proc/meminfo: memFree=28426516/32770624 swapFree=67023956/67108860
[pid=26147] ppid=26144 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26147/stat : 26147 (xcsp3-exec) S 26144 26147 24445 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511566768 115843072 362 33554432000 4194304 5098028 140728281796160 140728281794264 140417553031804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18616320 140728281801554 140728281801813 140728281801813 140728281804742 0
/proc/26147/statm: 28282 362 304 221 0 87 0
[pid=26149] ppid=26147 vsize=28766288 memory=122936 CPUtime=2.99 cores=0-7
/proc/26149/stat : 26149 (java) S 26147 26147 24445 0 -1 1077944320 17038 0 0 0 290 9 0 0 20 0 28 0 511566769 29456678912 30734 33554432000 4194304 4196468 140726232518208 140726232500752 140130516831991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
/proc/26149/statm: 7191572 30734 3462 1 0 7152672 0
[pid=26149/tid=26150] ppid=26147 vsize=28768336 memory=1172 CPUtime=0.73 cores=0-7
/proc/26149/task/26150/stat : 26150 (java) S 26147 26147 24445 0 -1 1077944384 9383 0 0 0 69 4 0 0 20 0 28 0 511566769 29458776064 30734 33554432000 4194304 4196468 140726232518208 140130521072768 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26151] ppid=26147 vsize=28768336 memory=6308 CPUtime=0 cores=0-7
/proc/26149/task/26151/stat : 26151 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511566770 29458776064 30734 33554432000 4194304 4196468 140726232518208 140130436684304 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26152] ppid=26147 vsize=28768336 memory=828 CPUtime=0 cores=0-7
/proc/26149/task/26152/stat : 26152 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511566770 29458776064 30734 33554432000 4194304 4196468 140726232518208 140130435631760 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26153] ppid=26147 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/26149/task/26153/stat : 26153 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511566770 29458776064 30734 33554432000 4194304 4196468 140726232518208 140130434578704 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26154] ppid=26147 vsize=28768336 memory=89416 CPUtime=0 cores=0-7
/proc/26149/task/26154/stat : 26154 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511566770 29458776064 30734 33554432000 4194304 4196468 140726232518208 140130433526160 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26155] ppid=26147 vsize=28768336 memory=279361450753712 CPUtime=0 cores=0-7
/proc/26149/task/26155/stat : 26155 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511566770 29458776064 30734 33554432000 4194304 4196468 140726232518208 140130432474128 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26156] ppid=26147 vsize=28768336 memory=139680725377904 CPUtime=0 cores=0-7
/proc/26149/task/26156/stat : 26156 (java) S 26147 26147 24445 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511566770 29458776064 30734 33554432000 4194304 4196468 140726232518208 140130431421584 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26157] ppid=26147 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26157/stat : 26157 (java) S 26147 26147 24445 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511566770 29458776064 30734 33554432000 4194304 4196468 140726232518208 140130430368528 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26158] ppid=26147 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/26149/task/26158/stat : 26158 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511566770 29458776064 30734 33554432000 4194304 4196468 140726232518208 140130429315984 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26159] ppid=26147 vsize=28768336 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/26149/task/26159/stat : 26159 (java) S 26147 26147 24445 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 511566771 29458776064 30734 33554432000 4194304 4196468 140726232518208 140129968703728 140130516843138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26160] ppid=26147 vsize=28768336 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/26149/task/26160/stat : 26160 (java) S 26147 26147 24445 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511566772 29458776064 30734 33554432000 4194304 4196468 140726232518208 140129967649952 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26161] ppid=26147 vsize=28768336 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/26149/task/26161/stat : 26161 (java) S 26147 26147 24445 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 511566772 29458776064 30734 33554432000 4194304 4196468 140726232518208 140129966596848 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26162] ppid=26147 vsize=28768336 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/26149/task/26162/stat : 26162 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511566774 29458776064 30734 33554432000 4194304 4196468 140726232518208 140129965545424 140130516850587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26163] ppid=26147 vsize=28768336 memory=6944656592455360604 CPUtime=0.37 cores=0-7
/proc/26149/task/26163/stat : 26163 (java) R 26147 26147 24445 0 -1 1077944384 1539 0 0 0 36 1 0 0 20 0 28 0 511566776 29458776064 30734 33554432000 4194304 4196468 140726232518208 140129964480400 140130516842197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26164] ppid=26147 vsize=28768336 memory=6944656592455359580 CPUtime=0.26 cores=0-7
/proc/26149/task/26164/stat : 26164 (java) R 26147 26147 24445 0 -1 4202560 835 0 0 0 26 0 0 0 20 0 28 0 511566776 29458776064 30734 33554432000 4194304 4196468 140726232518208 140129963441008 140130516843926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26165] ppid=26147 vsize=28768336 memory=6656426216303648864 CPUtime=0.36 cores=0-7
/proc/26149/task/26165/stat : 26165 (java) R 26147 26147 24445 0 -1 4202560 1241 0 0 0 36 0 0 0 20 0 28 0 511566776 29458776064 30734 33554432000 4194304 4196468 140726232518208 140129962376976 140130501220848 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26166] ppid=26147 vsize=28768336 memory=8026650869813564775 CPUtime=0.49 cores=0-7
/proc/26149/task/26166/stat : 26166 (java) R 26147 26147 24445 0 -1 4202560 2412 0 0 0 48 1 0 0 20 0 28 0 511566776 29458776064 30734 33554432000 4194304 4196468 140726232518208 140129961335408 140130509928827 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26167] ppid=26147 vsize=28768336 memory=29416420280 CPUtime=0 cores=0-7
/proc/26149/task/26167/stat : 26167 (java) S 26147 26147 24445 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511566776 29458776064 30734 33554432000 4194304 4196468 140726232518208 140129960282592 140130516842197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
[pid=26149/tid=26168] ppid=26147 vsize=28768336 memory=1076 CPUtime=0 cores=0-7
/proc/26149/task/26168/stat : 26168 (java) S 26147 26147 24445 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511566776 29458776064 30734 33554432000 4194304 4196468 140726232518208 140129959230128 140130516843138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37384192 140726232523734 140726232523910 140726232523910 140726232526799 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 124384 KiB
Child status: 0
Real time (s): 0.974003
CPU time (s): 3.43672
CPU user time (s): 3.33505
CPU system time (s): 0.101664
CPU usage (%): 352.844
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 124384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.33505
system time used= 0.101664
maximum resident set size= 127288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17938
page faults= 0
swaps= 0
block input operations= 8
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3040
involuntary context switches= 69
# summary of solver processes directly reported to runsolver:
# pid: 26147
# total CPU time (s): 3.43672
# total CPU user time (s): 3.33505
# total CPU system time (s): 0.101664
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023618 second user time and 0.050198 second system time
The end
Begin job on node150 at 2019-09-24 21:21:42
IDJOB=4406638
IDBENCH=134478
IDSOLVER=2871
FILE ID=node150/4406638-1569352943
RUNJOBID= node150-1569349736-24472
PBS_JOBID= 21705091
Free space on /var/tmp= 13480 MiB
SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s13/Blackhole-13-3-04.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-4406638-1569352943/watcher-4406638-1569352943 -o /var/tmp/evaluation-result-4406638-1569352943/solver-4406638-1569352943 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569349736-24472 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 369651285 HOME/instance-4406638-1569352943.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 5cc270e62cab521987b2b853f5e11200
RANDOM SEED=369651285
node150.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.79
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.79
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.79
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.79
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: 28479056 kB
MemAvailable: 31815824 kB
Buffers: 106944 kB
Cached: 3338684 kB
SwapCached: 8096 kB
Active: 3364428 kB
Inactive: 117192 kB
Active(anon): 4900 kB
Inactive(anon): 82648 kB
Active(file): 3359528 kB
Inactive(file): 34544 kB
Unevictable: 109060 kB
Mlocked: 109060 kB
SwapTotal: 67108860 kB
SwapFree: 67023956 kB
Dirty: 26276 kB
Writeback: 0 kB
AnonPages: 173504 kB
Mapped: 55080 kB
Shmem: 42776 kB
Slab: 400000 kB
SReclaimable: 371156 kB
SUnreclaim: 28844 kB
KernelStack: 3888 kB
PageTables: 5232 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 515084 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 104448 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 99712 kB
DirectMap2M: 33445888 kB
Free space on /var/tmp at the end= 13456 MiB
End job on node150 at 2019-09-24 21:21:43