0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270599-1502759226.xml" -tl '20160s' -p 8 -x 0
0.11/0.15 c [HOME/instance-4270599-1502759226.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.32/0.27 c parse instance...
0.73/0.44 c solve instance...
0.73/0.46 o 325
0.73/0.46 o 414
0.73/0.47 o 453
0.73/0.47 o 474
0.73/0.47 o 478
0.73/0.48 o 551
0.73/0.48 o 612
0.73/0.49 o 634
0.73/0.51 o 640
1.16/0.52 o 652
1.16/0.52 o 674
1.16/0.52 o 677
1.16/0.53 o 679
1.16/0.54 o 703
1.16/0.55 o 726
1.16/0.56 o 733
1.16/0.61 o 734
1.88/0.62 o 746
1.88/0.65 o 749
1.88/0.66 o 750
1.88/0.67 o 756
1.88/0.67 o 761
1.88/0.68 o 787
2.50/0.73 o 797
2.50/0.74 o 801
3.27/0.86 o 804
3.27/0.87 o 870
4.05/0.91 o 877
4.05/0.92 o 904
4.05/0.92 o 950
4.05/0.93 o 963
151.97/24.62 o 968
188.74/30.35 o 974
262.45/42.13 o 976
390.35/61.30 o 977
447.38/70.04 o 978
509.59/79.13 o 985
540.70/83.91 o 992
675.44/104.09 s OPTIMUM FOUND
675.44/104.09 v <instantiation>
675.44/104.09 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] </list>
675.44/104.09 v <values>0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 </values>
675.44/104.09 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 (15329 MiB free)
memory of node 1: 16384 MiB (15465 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270599-1502759226/watcher-4270599-1502759226 -o /tmp/evaluation-result-4270599-1502759226/solver-4270599-1502759226 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502750312-19049 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1198710600 HOME/instance-4270599-1502759226.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20267, runsolver pid=20264
[startup+0.100137 s]*
/proc/loadavg: 6.93 8.35 8.67 3/201 20288
/proc/meminfo: memFree=31519320/32770624 swapFree=67108860/67108860
[pid=20267] ppid=20264 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20267/stat : 20267 (xcsp3-exec) S 20264 20267 19022 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109010299 9740288 346 33554432000 4194304 5098028 140726571573728 140726571571832 139636513034876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26177536 140726571582564 140726571582775 140726571582775 140726571585515 0
/proc/20267/statm: 2378 346 289 221 0 87 0
[pid=20269] ppid=20267 vsize=25999808 memory=26456 CPUtime=0.11 cores=0-7
/proc/20269/stat : 20269 (java) S 20267 20267 19022 0 -1 1077944320 5436 0 0 0 10 1 0 0 20 0 20 0 109010299 26623803392 6614 33554432000 4194304 4196468 140735674239264 140735674221808 140331227479799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
/proc/20269/statm: 6499952 6614 2886 1 0 6488269 0
[pid=20269/tid=20270] ppid=20267 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/20269/task/20270/stat : 20270 (java) R 20267 20267 19022 0 -1 4202560 3451 0 0 0 8 0 0 0 20 0 20 0 109010300 26623803392 6614 33554432000 4194304 4196468 140735674239264 140331231695952 140331209128878 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20271] ppid=20267 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20269/task/20271/stat : 20271 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010301 26623803392 6614 33554432000 4194304 4196468 140735674239264 140331150060048 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20272] ppid=20267 vsize=25999808 memory=139772640593536 CPUtime=0 cores=0-7
/proc/20269/task/20272/stat : 20272 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010301 26623803392 6614 33554432000 4194304 4196468 140735674239264 140331149007504 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20273] ppid=20267 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20273/stat : 20273 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010301 26623803392 6614 33554432000 4194304 4196468 140735674239264 140331147954448 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20274] ppid=20267 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20274/stat : 20274 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010301 26623803392 6614 33554432000 4194304 4196468 140735674239264 140331146901904 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20275] ppid=20267 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20275/stat : 20275 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010301 26623803392 6614 33554432000 4194304 4196468 140735674239264 140331145849872 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20276] ppid=20267 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20269/task/20276/stat : 20276 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010301 26623803392 6614 33554432000 4194304 4196468 140735674239264 140330780351632 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20277] ppid=20267 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20277/stat : 20277 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010301 26623803392 6614 33554432000 4194304 4196468 140735674239264 140330779298576 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20278] ppid=20267 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20278/stat : 20278 (java) S 20267 20267 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109010301 26623803392 6614 33554432000 4194304 4196468 140735674239264 140330778246032 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20279] ppid=20267 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20279/stat : 20279 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010302 26623803392 6614 33554432000 4194304 4196468 140735674239264 140329969649904 140331227490946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20280] ppid=20267 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20280/stat : 20280 (java) S 20267 20267 19022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109010302 26623803392 6614 33554432000 4194304 4196468 140735674239264 140329968596128 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20281] ppid=20267 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20281/stat : 20281 (java) S 20267 20267 19022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109010303 26623803392 6614 33554432000 4194304 4196468 140735674239264 140329967543024 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20282] ppid=20267 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20282/stat : 20282 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010305 26623803392 6614 33554432000 4194304 4196468 140735674239264 140329966491600 140331227498395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20283] ppid=20267 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20283/stat : 20283 (java) S 20267 20267 19022 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 109010305 26623803392 6614 33554432000 4194304 4196468 140735674239264 140329965439728 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20284] ppid=20267 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20284/stat : 20284 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010305 26623803392 6614 33554432000 4194304 4196468 140735674239264 140329964387184 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20285] ppid=20267 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20285/stat : 20285 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010305 26623803392 6614 33554432000 4194304 4196468 140735674239264 140329963334128 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20286] ppid=20267 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/20269/task/20286/stat : 20286 (java) R 20267 20267 19022 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 109010305 26623803392 6614 33554432000 4194304 4196468 140735674239264 140329962281584 140331227491734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20287] ppid=20267 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20287/stat : 20287 (java) S 20267 20267 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109010306 26623803392 6614 33554432000 4194304 4196468 140735674239264 140329961228768 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20288] ppid=20267 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20269/task/20288/stat : 20288 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010306 26623803392 6614 33554432000 4194304 4196468 140735674239264 140329960176304 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27840 KiB
[startup+0.210139 s]*
/proc/loadavg: 6.93 8.35 8.67 2/201 20288
/proc/meminfo: memFree=31509692/32770624 swapFree=67108860/67108860
[pid=20267] ppid=20264 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20267/stat : 20267 (xcsp3-exec) S 20264 20267 19022 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109010299 9740288 346 33554432000 4194304 5098028 140726571573728 140726571571832 139636513034876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26177536 140726571582564 140726571582775 140726571582775 140726571585515 0
/proc/20267/statm: 2378 346 289 221 0 87 0
[pid=20269] ppid=20267 vsize=26004064 memory=39108 CPUtime=0.32 cores=0-7
/proc/20269/stat : 20269 (java) S 20267 20267 19022 0 -1 1077944320 8330 0 0 0 31 1 0 0 20 0 20 0 109010299 26628161536 9777 33554432000 4194304 4196468 140735674239264 140735674221808 140331227479799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
/proc/20269/statm: 6501016 9777 3058 1 0 6488269 0
[pid=20269/tid=20270] ppid=20267 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20269/task/20270/stat : 20270 (java) R 20267 20267 19022 0 -1 4202560 5384 0 0 0 18 1 0 0 20 0 20 0 109010300 26628161536 9777 33554432000 4194304 4196468 140735674239264 140331231700792 140331227501725 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20271] ppid=20267 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/20269/task/20271/stat : 20271 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 9777 33554432000 4194304 4196468 140735674239264 140331150060048 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20272] ppid=20267 vsize=26004064 memory=288370148792305280 CPUtime=0 cores=0-7
/proc/20269/task/20272/stat : 20272 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 9777 33554432000 4194304 4196468 140735674239264 140331149007504 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20273] ppid=20267 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20269/task/20273/stat : 20273 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 9777 33554432000 4194304 4196468 140735674239264 140331147954448 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20274] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20274/stat : 20274 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 9777 33554432000 4194304 4196468 140735674239264 140331146901904 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20275] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20275/stat : 20275 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 9777 33554432000 4194304 4196468 140735674239264 140331145849872 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20276] ppid=20267 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20269/task/20276/stat : 20276 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 9777 33554432000 4194304 4196468 140735674239264 140330780351632 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20277] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20277/stat : 20277 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 9777 33554432000 4194304 4196468 140735674239264 140330779298576 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20278] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20278/stat : 20278 (java) S 20267 20267 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 9777 33554432000 4194304 4196468 140735674239264 140330778246032 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20279] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20279/stat : 20279 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010302 26628161536 9777 33554432000 4194304 4196468 140735674239264 140329969649904 140331227490946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20280] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20280/stat : 20280 (java) S 20267 20267 19022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109010302 26628161536 9777 33554432000 4194304 4196468 140735674239264 140329968596128 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20281] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20281/stat : 20281 (java) S 20267 20267 19022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109010303 26628161536 9777 33554432000 4194304 4196468 140735674239264 140329967543024 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20282] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20282/stat : 20282 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010305 26628161536 9777 33554432000 4194304 4196468 140735674239264 140329966491600 140331227498395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20283] ppid=20267 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20269/task/20283/stat : 20283 (java) S 20267 20267 19022 0 -1 1077944384 619 0 0 0 1 0 0 0 20 0 20 0 109010305 26628161536 9777 33554432000 4194304 4196468 140735674239264 140329965439728 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20284] ppid=20267 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20269/task/20284/stat : 20284 (java) S 20267 20267 19022 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 20 0 109010305 26628161536 9777 33554432000 4194304 4196468 140735674239264 140329964387184 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20285] ppid=20267 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/20269/task/20285/stat : 20285 (java) S 20267 20267 19022 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 20 0 109010305 26628161536 9777 33554432000 4194304 4196468 140735674239264 140329963334128 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20286] ppid=20267 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/20269/task/20286/stat : 20286 (java) S 20267 20267 19022 0 -1 1077944384 765 0 0 0 7 0 0 0 20 0 20 0 109010305 26628161536 9777 33554432000 4194304 4196468 140735674239264 140329962281584 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20287] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20287/stat : 20287 (java) S 20267 20267 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109010306 26628161536 9777 33554432000 4194304 4196468 140735674239264 140329961228768 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20288] ppid=20267 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20269/task/20288/stat : 20288 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010306 26628161536 9777 33554432000 4194304 4196468 140735674239264 140329960176304 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40492 KiB
[startup+0.309563 s]*
/proc/loadavg: 6.93 8.35 8.67 2/201 20288
/proc/meminfo: memFree=31500448/32770624 swapFree=67108860/67108860
[pid=20267] ppid=20264 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20267/stat : 20267 (xcsp3-exec) S 20264 20267 19022 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109010299 9740288 346 33554432000 4194304 5098028 140726571573728 140726571571832 139636513034876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26177536 140726571582564 140726571582775 140726571582775 140726571585515 0
/proc/20267/statm: 2378 346 289 221 0 87 0
[pid=20269] ppid=20267 vsize=26004064 memory=46056 CPUtime=0.48 cores=0-7
/proc/20269/stat : 20269 (java) S 20267 20267 19022 0 -1 1077944320 9208 0 0 0 46 2 0 0 20 0 20 0 109010299 26628161536 11514 33554432000 4194304 4196468 140735674239264 140735674221808 140331227479799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
/proc/20269/statm: 6501016 11514 3086 1 0 6488269 0
[pid=20269/tid=20270] ppid=20267 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/20269/task/20270/stat : 20270 (java) R 20267 20267 19022 0 -1 4202560 6138 0 0 0 27 1 0 0 20 0 20 0 109010300 26628161536 11514 33554432000 4194304 4196468 140735674239264 140331231711200 140331211560286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20271] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20271/stat : 20271 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 11514 33554432000 4194304 4196468 140735674239264 140331150060048 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20272] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20272/stat : 20272 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 11514 33554432000 4194304 4196468 140735674239264 140331149007504 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20273] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20273/stat : 20273 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 11514 33554432000 4194304 4196468 140735674239264 140331147954448 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20274] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20274/stat : 20274 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 11514 33554432000 4194304 4196468 140735674239264 140331146901904 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20275] ppid=20267 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/20269/task/20275/stat : 20275 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 11514 33554432000 4194304 4196468 140735674239264 140331145849872 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20276] ppid=20267 vsize=26004064 memory=139772530095023 CPUtime=0 cores=0-7
/proc/20269/task/20276/stat : 20276 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 11514 33554432000 4194304 4196468 140735674239264 140330780351632 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20277] ppid=20267 vsize=26004064 memory=139772530097328 CPUtime=0 cores=0-7
/proc/20269/task/20277/stat : 20277 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 11514 33554432000 4194304 4196468 140735674239264 140330779298576 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20278] ppid=20267 vsize=26004064 memory=139772530099632 CPUtime=0 cores=0-7
/proc/20269/task/20278/stat : 20278 (java) S 20267 20267 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109010301 26628161536 11514 33554432000 4194304 4196468 140735674239264 140330778246032 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20279] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20279/stat : 20279 (java) S 20267 20267 19022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109010302 26628161536 11514 33554432000 4194304 4196468 140735674239264 140329969649904 140331227490946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20280] ppid=20267 vsize=26004064 memory=279545060206224 CPUtime=0 cores=0-7
/proc/20269/task/20280/stat : 20280 (java) S 20267 20267 19022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109010302 26628161536 11514 33554432000 4194304 4196468 140735674239264 140329968596128 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20281] ppid=20267 vsize=26004064 memory=279545060213136 CPUtime=0 cores=0-7
/proc/20269/task/20281/stat : 20281 (java) S 20267 20267 19022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109010303 26628161536 11514 33554432000 4194304 4196468 140735674239264 140329967543024 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20282] ppid=20267 vsize=26004064 memory=279545060154288 CPUtime=0 cores=0-7
/proc/20269/task/20282/stat : 20282 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010305 26628161536 11514 33554432000 4194304 4196468 140735674239264 140329966491600 140331227498395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20283] ppid=20267 vsize=26004064 memory=279545060226960 CPUtime=0.01 cores=0-7
/proc/20269/task/20283/stat : 20283 (java) S 20267 20267 19022 0 -1 1077944384 627 0 0 0 1 0 0 0 20 0 20 0 109010305 26628161536 11514 33554432000 4194304 4196468 140735674239264 140329965439728 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20284] ppid=20267 vsize=26004064 memory=279545060233872 CPUtime=0.02 cores=0-7
/proc/20269/task/20284/stat : 20284 (java) S 20267 20267 19022 0 -1 1077944384 132 0 0 0 2 0 0 0 20 0 20 0 109010305 26628161536 11514 33554432000 4194304 4196468 140735674239264 140329964387184 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20285] ppid=20267 vsize=26004064 memory=279545060231568 CPUtime=0.02 cores=0-7
/proc/20269/task/20285/stat : 20285 (java) S 20267 20267 19022 0 -1 1077944384 170 0 0 0 2 0 0 0 20 0 20 0 109010305 26628161536 11514 33554432000 4194304 4196468 140735674239264 140329963334128 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20286] ppid=20267 vsize=26004064 memory=279545060247728 CPUtime=0.11 cores=0-7
/proc/20269/task/20286/stat : 20286 (java) S 20267 20267 19022 0 -1 1077944384 835 0 0 0 11 0 0 0 20 0 20 0 109010305 26628161536 11514 33554432000 4194304 4196468 140735674239264 140329962281584 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20287] ppid=20267 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20287/stat : 20287 (java) S 20267 20267 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109010306 26628161536 11514 33554432000 4194304 4196468 140735674239264 140329961228768 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20288] ppid=20267 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20269/task/20288/stat : 20288 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109010306 26628161536 11514 33554432000 4194304 4196468 140735674239264 140329960176304 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47440 KiB
[startup+0.701488 s]
/proc/loadavg: 6.93 8.35 8.67 6/209 20360
/proc/meminfo: memFree=31382956/32770624 swapFree=67108860/67108860
[pid=20267] ppid=20264 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20267/stat : 20267 (xcsp3-exec) S 20264 20267 19022 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109010299 9740288 346 33554432000 4194304 5098028 140726571573728 140726571571832 139636513034876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26177536 140726571582564 140726571582775 140726571582775 140726571585515 0
/proc/20267/statm: 2378 346 289 221 0 87 0
[pid=20269] ppid=20267 vsize=26605264 memory=194024 CPUtime=2.5 cores=0-7
/proc/20269/stat : 20269 (java) S 20267 20267 19022 0 -1 1077944320 18403 0 0 0 240 10 0 0 20 0 28 0 109010299 27243790336 48506 33554432000 4194304 4196468 140735674239264 140735674221808 140331227479799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
/proc/20269/statm: 6651316 48506 3225 1 0 6638550 0
[pid=20269/tid=20270] ppid=20267 vsize=26605264 memory=0 CPUtime=0.43 cores=0-7
/proc/20269/task/20270/stat : 20270 (java) S 20267 20267 19022 0 -1 1077944384 6699 0 0 0 41 2 0 0 20 0 28 0 109010300 27243790336 48506 33554432000 4194304 4196468 140735674239264 140331231720576 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20271] ppid=20267 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20271/stat : 20271 (java) S 20267 20267 19022 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 109010301 27243790336 48506 33554432000 4194304 4196468 140735674239264 140331150060048 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20272] ppid=20267 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20272/stat : 20272 (java) S 20267 20267 19022 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 109010301 27243790336 48506 33554432000 4194304 4196468 140735674239264 140331149007504 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20273] ppid=20267 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20273/stat : 20273 (java) S 20267 20267 19022 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 109010301 27243790336 48506 33554432000 4194304 4196468 140735674239264 140331147954448 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
################
# More data... #
################
[pid=20269/tid=20286] ppid=20267 vsize=26605264 memory=1296 CPUtime=0.45 cores=0-7
/proc/20269/task/20286/stat : 20286 (java) S 20267 20267 19022 0 -1 1077944384 5051 0 0 0 44 1 0 0 20 0 28 0 109010305 27243790336 98726 33554432000 4194304 4196468 140735674239264 140329962281584 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20287] ppid=20267 vsize=26605264 memory=2408 CPUtime=0 cores=0-7
/proc/20269/task/20287/stat : 20287 (java) S 20267 20267 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109010306 27243790336 98726 33554432000 4194304 4196468 140735674239264 140329961228768 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20288] ppid=20267 vsize=26605264 memory=1384 CPUtime=0.01 cores=0-7
/proc/20269/task/20288/stat : 20288 (java) S 20267 20267 19022 0 -1 1077944384 1442 0 0 0 0 1 0 0 20 0 28 0 109010306 27243790336 98726 33554432000 4194304 4196468 140735674239264 140329960176304 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20592] ppid=20267 vsize=26605264 memory=6791534058613427641 CPUtime=15.93 cores=0-7
/proc/20269/task/20592/stat : 20592 (java) R 20267 20267 19022 0 -1 4202560 371 0 0 0 1534 59 0 0 20 0 28 0 109018691 27243790336 98726 33554432000 4194304 4196468 140735674239264 140329944800240 140331212689750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20593] ppid=20267 vsize=26605264 memory=30980 CPUtime=15.82 cores=0-7
/proc/20269/task/20593/stat : 20593 (java) S 20267 20267 19022 0 -1 1077944384 287 0 0 0 1525 57 0 0 20 0 28 0 109018691 27243790336 98726 33554432000 4194304 4196468 140735674239264 140329951116976 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20594] ppid=20267 vsize=26605264 memory=1296 CPUtime=16.03 cores=0-7
/proc/20269/task/20594/stat : 20594 (java) S 20267 20267 19022 0 -1 1077944384 452 0 0 0 1547 56 0 0 20 0 28 0 109018691 27243790336 98726 33554432000 4194304 4196468 140735674239264 140329952169776 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20595] ppid=20267 vsize=26605264 memory=2408 CPUtime=15.98 cores=0-7
/proc/20269/task/20595/stat : 20595 (java) R 20267 20267 19022 0 -1 4202560 546 0 0 0 1544 54 0 0 20 0 28 0 109018691 27243790336 98726 33554432000 4194304 4196468 140735674239264 140329945854384 140330828447550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20596] ppid=20267 vsize=26605264 memory=1728 CPUtime=16.1 cores=0-7
/proc/20269/task/20596/stat : 20596 (java) R 20267 20267 19022 0 -1 4202560 544 0 0 0 1556 54 0 0 20 0 28 0 109018691 27243790336 98726 33554432000 4194304 4196468 140735674239264 140329943749168 140330829199292 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20597] ppid=20267 vsize=26605264 memory=1720 CPUtime=17.16 cores=0-7
/proc/20269/task/20597/stat : 20597 (java) R 20267 20267 19022 0 -1 4202560 2243 0 0 0 1685 31 0 0 20 0 28 0 109018691 27243790336 98726 33554432000 4194304 4196468 140735674239264 140329950064816 140330830157145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20598] ppid=20267 vsize=26605264 memory=388672 CPUtime=15.94 cores=0-7
/proc/20269/task/20598/stat : 20598 (java) R 20267 20267 19022 0 -1 4202560 355 0 0 0 1538 56 0 0 20 0 28 0 109018691 27243790336 98726 33554432000 4194304 4196468 140735674239264 140329946906928 140330829551760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20599] ppid=20267 vsize=26605264 memory=1008 CPUtime=15.7 cores=0-7
/proc/20269/task/20599/stat : 20599 (java) R 20267 20267 19022 0 -1 1077944384 309 0 0 0 1506 64 0 0 20 0 28 0 109018691 27243790336 98726 33554432000 4194304 4196468 140735674239264 140329949011888 140331227490005 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
Current children cumulated CPU time: 670.11 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 396288 KiB
[startup+103.601 s]
/proc/loadavg: 6.30 7.70 8.40 7/209 20599
/proc/meminfo: memFree=31153304/32770624 swapFree=67108860/67108860
[pid=20267] ppid=20264 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20267/stat : 20267 (xcsp3-exec) S 20264 20267 19022 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109010299 9740288 346 33554432000 4194304 5098028 140726571573728 140726571571832 139636513034876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26177536 140726571582564 140726571582775 140726571582775 140726571585515 0
/proc/20267/statm: 2378 346 289 221 0 87 0
[pid=20269] ppid=20267 vsize=26605264 memory=394388 CPUtime=672.74 cores=0-7
/proc/20269/stat : 20269 (java) S 20267 20267 19022 0 -1 1077944320 76368 0 0 0 64735 2539 0 0 20 0 28 0 109010299 27243790336 98597 33554432000 4194304 4196468 140735674239264 140735674221808 140331227479799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
/proc/20269/statm: 6651316 98597 3262 1 0 6638550 0
[pid=20269/tid=20270] ppid=20267 vsize=26605264 memory=2408 CPUtime=0.44 cores=0-7
/proc/20269/task/20270/stat : 20270 (java) S 20267 20267 19022 0 -1 1077944384 7607 0 0 0 42 2 0 0 20 0 28 0 109010300 27243790336 98597 33554432000 4194304 4196468 140735674239264 140331231720576 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20271] ppid=20267 vsize=26605264 memory=1728 CPUtime=0.25 cores=0-7
/proc/20269/task/20271/stat : 20271 (java) S 20267 20267 19022 0 -1 1077944384 1761 0 0 0 21 4 0 0 20 0 28 0 109010301 27243790336 98597 33554432000 4194304 4196468 140735674239264 140331150060048 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20272] ppid=20267 vsize=26605264 memory=1720 CPUtime=0.24 cores=0-7
/proc/20269/task/20272/stat : 20272 (java) S 20267 20267 19022 0 -1 1077944384 2192 0 0 0 20 4 0 0 20 0 28 0 109010301 27243790336 98597 33554432000 4194304 4196468 140735674239264 140331149007504 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20273] ppid=20267 vsize=26605264 memory=1008 CPUtime=0.24 cores=0-7
/proc/20269/task/20273/stat : 20273 (java) S 20267 20267 19022 0 -1 1077944384 1768 0 0 0 19 5 0 0 20 0 28 0 109010301 27243790336 98597 33554432000 4194304 4196468 140735674239264 140331147954448 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20274] ppid=20267 vsize=26605264 memory=1928 CPUtime=0.24 cores=0-7
/proc/20269/task/20274/stat : 20274 (java) S 20267 20267 19022 0 -1 1077944384 1796 0 0 0 20 4 0 0 20 0 28 0 109010301 27243790336 98597 33554432000 4194304 4196468 140735674239264 140331146901904 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20275] ppid=20267 vsize=26605264 memory=1200 CPUtime=0.24 cores=0-7
/proc/20269/task/20275/stat : 20275 (java) S 20267 20267 19022 0 -1 1077944384 1816 0 0 0 20 4 0 0 20 0 28 0 109010301 27243790336 98597 33554432000 4194304 4196468 140735674239264 140331145849872 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20276] ppid=20267 vsize=26605264 memory=8568 CPUtime=0.25 cores=0-7
/proc/20269/task/20276/stat : 20276 (java) S 20267 20267 19022 0 -1 1077944384 1648 0 0 0 21 4 0 0 20 0 28 0 109010301 27243790336 98597 33554432000 4194304 4196468 140735674239264 140330780351632 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20277] ppid=20267 vsize=26605264 memory=5664 CPUtime=0.24 cores=0-7
/proc/20269/task/20277/stat : 20277 (java) S 20267 20267 19022 0 -1 1077944384 1088 0 0 0 20 4 0 0 20 0 28 0 109010301 27243790336 98597 33554432000 4194304 4196468 140735674239264 140330779298576 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20278] ppid=20267 vsize=26605264 memory=4616 CPUtime=0.24 cores=0-7
/proc/20269/task/20278/stat : 20278 (java) S 20267 20267 19022 0 -1 1077944384 1151 0 0 0 20 4 0 0 20 0 28 0 109010301 27243790336 98597 33554432000 4194304 4196468 140735674239264 140330778246032 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20279] ppid=20267 vsize=26605264 memory=1228 CPUtime=0.15 cores=0-7
/proc/20269/task/20279/stat : 20279 (java) S 20267 20267 19022 0 -1 1077944384 5345 0 0 0 13 2 0 0 20 0 28 0 109010302 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329969649904 140331227490946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20280] ppid=20267 vsize=26605264 memory=10928 CPUtime=0 cores=0-7
/proc/20269/task/20280/stat : 20280 (java) S 20267 20267 19022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 109010302 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329968596192 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20281] ppid=20267 vsize=26605264 memory=796 CPUtime=0 cores=0-7
/proc/20269/task/20281/stat : 20281 (java) S 20267 20267 19022 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 109010303 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329967543040 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20282] ppid=20267 vsize=26605264 memory=1424 CPUtime=0 cores=0-7
/proc/20269/task/20282/stat : 20282 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109010305 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329966491600 140331227498395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20283] ppid=20267 vsize=26605264 memory=15872 CPUtime=0.82 cores=0-7
/proc/20269/task/20283/stat : 20283 (java) S 20267 20267 19022 0 -1 1077944384 5243 0 0 0 82 0 0 0 20 0 28 0 109010305 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329965439728 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20284] ppid=20267 vsize=26605264 memory=4052 CPUtime=0.93 cores=0-7
/proc/20269/task/20284/stat : 20284 (java) S 20267 20267 19022 0 -1 1077944384 6707 0 0 0 92 1 0 0 20 0 28 0 109010305 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329964387184 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20285] ppid=20267 vsize=26605264 memory=18332 CPUtime=0.93 cores=0-7
/proc/20269/task/20285/stat : 20285 (java) S 20267 20267 19022 0 -1 1077944384 5834 0 0 0 92 1 0 0 20 0 28 0 109010305 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329963334128 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20286] ppid=20267 vsize=26605264 memory=18444 CPUtime=0.45 cores=0-7
/proc/20269/task/20286/stat : 20286 (java) S 20267 20267 19022 0 -1 1077944384 5051 0 0 0 44 1 0 0 20 0 28 0 109010305 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329962281584 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20287] ppid=20267 vsize=26605264 memory=1788 CPUtime=0 cores=0-7
/proc/20269/task/20287/stat : 20287 (java) S 20267 20267 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109010306 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329961228768 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20288] ppid=20267 vsize=26605264 memory=640 CPUtime=0.01 cores=0-7
/proc/20269/task/20288/stat : 20288 (java) S 20267 20267 19022 0 -1 1077944384 1442 0 0 0 0 1 0 0 20 0 28 0 109010306 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329960176304 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20592] ppid=20267 vsize=26605264 memory=952 CPUtime=16.26 cores=0-7
/proc/20269/task/20592/stat : 20592 (java) R 20267 20267 19022 0 -1 4202560 372 0 0 0 1566 60 0 0 20 0 28 0 109018691 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329944800240 140331208886016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20593] ppid=20267 vsize=26605264 memory=836 CPUtime=16.13 cores=0-7
/proc/20269/task/20593/stat : 20593 (java) R 20267 20267 19022 0 -1 4202560 287 0 0 0 1556 57 0 0 20 0 28 0 109018691 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329951116976 140331211819968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20594] ppid=20267 vsize=26605264 memory=1692 CPUtime=16.37 cores=0-7
/proc/20269/task/20594/stat : 20594 (java) S 20267 20267 19022 0 -1 1077944384 452 0 0 0 1580 57 0 0 20 0 28 0 109018691 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329952169776 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20595] ppid=20267 vsize=26605264 memory=916 CPUtime=16.31 cores=0-7
/proc/20269/task/20595/stat : 20595 (java) R 20267 20267 19022 0 -1 1077944384 546 0 0 0 1576 55 0 0 20 0 28 0 109018691 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329945854384 140331227490005 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20596] ppid=20267 vsize=26605264 memory=5756 CPUtime=16.41 cores=0-7
/proc/20269/task/20596/stat : 20596 (java) S 20267 20267 19022 0 -1 1077944384 545 0 0 0 1587 54 0 0 20 0 28 0 109018691 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329943749168 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20597] ppid=20267 vsize=26605264 memory=4104 CPUtime=17.51 cores=0-7
/proc/20269/task/20597/stat : 20597 (java) S 20267 20267 19022 0 -1 1077944384 2243 0 0 0 1719 32 0 0 20 0 28 0 109018691 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329950064720 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20598] ppid=20267 vsize=26605264 memory=1152 CPUtime=16.26 cores=0-7
/proc/20269/task/20598/stat : 20598 (java) R 20267 20267 19022 0 -1 4202560 356 0 0 0 1569 57 0 0 20 0 28 0 109018691 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329946906928 140330829199353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20599] ppid=20267 vsize=26605264 memory=3624 CPUtime=16.03 cores=0-7
/proc/20269/task/20599/stat : 20599 (java) R 20267 20267 19022 0 -1 4202560 309 0 0 0 1537 66 0 0 20 0 28 0 109018691 27243790336 98597 33554432000 4194304 4196468 140735674239264 140329949011888 140330829199327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
Current children cumulated CPU time: 672.74 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 395772 KiB
[startup+104.001 s]*
/proc/loadavg: 6.30 7.70 8.40 8/209 20599
/proc/meminfo: memFree=31153056/32770624 swapFree=67108860/67108860
[pid=20267] ppid=20264 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20267/stat : 20267 (xcsp3-exec) S 20264 20267 19022 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 109010299 9740288 346 33554432000 4194304 5098028 140726571573728 140726571571832 139636513034876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26177536 140726571582564 140726571582775 140726571582775 140726571585515 0
/proc/20267/statm: 2378 346 289 221 0 87 0
[pid=20269] ppid=20267 vsize=26605264 memory=394428 CPUtime=675.44 cores=0-7
/proc/20269/stat : 20269 (java) S 20267 20267 19022 0 -1 1077944320 77086 0 0 0 64996 2548 0 0 20 0 28 0 109010299 27243790336 98607 33554432000 4194304 4196468 140735674239264 140735674221808 140331227479799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
/proc/20269/statm: 6651316 98607 3262 1 0 6638550 0
[pid=20269/tid=20270] ppid=20267 vsize=26605264 memory=6791534058613427641 CPUtime=0.44 cores=0-7
/proc/20269/task/20270/stat : 20270 (java) S 20267 20267 19022 0 -1 1077944384 7607 0 0 0 42 2 0 0 20 0 28 0 109010300 27243790336 98607 33554432000 4194304 4196468 140735674239264 140331231720576 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20271] ppid=20267 vsize=26605264 memory=4872558044660077418 CPUtime=0.25 cores=0-7
/proc/20269/task/20271/stat : 20271 (java) S 20267 20267 19022 0 -1 1077944384 1850 0 0 0 21 4 0 0 20 0 28 0 109010301 27243790336 98607 33554432000 4194304 4196468 140735674239264 140331150060048 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20272] ppid=20267 vsize=26605264 memory=4052 CPUtime=0.24 cores=0-7
/proc/20269/task/20272/stat : 20272 (java) S 20267 20267 19022 0 -1 1077944384 2204 0 0 0 20 4 0 0 20 0 28 0 109010301 27243790336 98607 33554432000 4194304 4196468 140735674239264 140331149007504 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20273] ppid=20267 vsize=26605264 memory=1200 CPUtime=0.25 cores=0-7
/proc/20269/task/20273/stat : 20273 (java) S 20267 20267 19022 0 -1 1077944384 1778 0 0 0 20 5 0 0 20 0 28 0 109010301 27243790336 98607 33554432000 4194304 4196468 140735674239264 140331147954448 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20274] ppid=20267 vsize=26605264 memory=8568 CPUtime=0.24 cores=0-7
/proc/20269/task/20274/stat : 20274 (java) S 20267 20267 19022 0 -1 1077944384 1802 0 0 0 20 4 0 0 20 0 28 0 109010301 27243790336 98607 33554432000 4194304 4196468 140735674239264 140331146901904 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20275] ppid=20267 vsize=26605264 memory=5664 CPUtime=0.25 cores=0-7
/proc/20269/task/20275/stat : 20275 (java) S 20267 20267 19022 0 -1 1077944384 1841 0 0 0 21 4 0 0 20 0 28 0 109010301 27243790336 98607 33554432000 4194304 4196468 140735674239264 140331145849872 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20276] ppid=20267 vsize=26605264 memory=4616 CPUtime=0.26 cores=0-7
/proc/20269/task/20276/stat : 20276 (java) S 20267 20267 19022 0 -1 1077944384 1650 0 0 0 22 4 0 0 20 0 28 0 109010301 27243790336 98607 33554432000 4194304 4196468 140735674239264 140330780351632 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20277] ppid=20267 vsize=26605264 memory=1228 CPUtime=0.25 cores=0-7
/proc/20269/task/20277/stat : 20277 (java) S 20267 20267 19022 0 -1 1077944384 1119 0 0 0 21 4 0 0 20 0 28 0 109010301 27243790336 98607 33554432000 4194304 4196468 140735674239264 140330779298576 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20278] ppid=20267 vsize=26605264 memory=1008 CPUtime=0.24 cores=0-7
/proc/20269/task/20278/stat : 20278 (java) S 20267 20267 19022 0 -1 1077944384 1159 0 0 0 20 4 0 0 20 0 28 0 109010301 27243790336 98607 33554432000 4194304 4196468 140735674239264 140330778246032 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20279] ppid=20267 vsize=26605264 memory=1928 CPUtime=0.15 cores=0-7
/proc/20269/task/20279/stat : 20279 (java) S 20267 20267 19022 0 -1 1077944384 5579 0 0 0 13 2 0 0 20 0 28 0 109010302 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329969649904 140331227490946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20280] ppid=20267 vsize=26605264 memory=1200 CPUtime=0 cores=0-7
/proc/20269/task/20280/stat : 20280 (java) S 20267 20267 19022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 109010302 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329968596192 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20281] ppid=20267 vsize=26605264 memory=8568 CPUtime=0 cores=0-7
/proc/20269/task/20281/stat : 20281 (java) S 20267 20267 19022 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 109010303 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329967543040 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20282] ppid=20267 vsize=26605264 memory=5664 CPUtime=0 cores=0-7
/proc/20269/task/20282/stat : 20282 (java) S 20267 20267 19022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109010305 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329966491600 140331227498395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20283] ppid=20267 vsize=26605264 memory=4616 CPUtime=0.82 cores=0-7
/proc/20269/task/20283/stat : 20283 (java) S 20267 20267 19022 0 -1 1077944384 5243 0 0 0 82 0 0 0 20 0 28 0 109010305 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329965439728 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20284] ppid=20267 vsize=26605264 memory=1228 CPUtime=0.93 cores=0-7
/proc/20269/task/20284/stat : 20284 (java) S 20267 20267 19022 0 -1 1077944384 6707 0 0 0 92 1 0 0 20 0 28 0 109010305 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329964387184 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20285] ppid=20267 vsize=26605264 memory=10928 CPUtime=0.93 cores=0-7
/proc/20269/task/20285/stat : 20285 (java) S 20267 20267 19022 0 -1 1077944384 5834 0 0 0 92 1 0 0 20 0 28 0 109010305 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329963334128 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20286] ppid=20267 vsize=26605264 memory=796 CPUtime=0.45 cores=0-7
/proc/20269/task/20286/stat : 20286 (java) S 20267 20267 19022 0 -1 1077944384 5051 0 0 0 44 1 0 0 20 0 28 0 109010305 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329962281584 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20287] ppid=20267 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/20269/task/20287/stat : 20287 (java) S 20267 20267 19022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109010306 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329961228768 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20288] ppid=20267 vsize=26605264 memory=324 CPUtime=0.01 cores=0-7
/proc/20269/task/20288/stat : 20288 (java) S 20267 20267 19022 0 -1 1077944384 1447 0 0 0 0 1 0 0 20 0 28 0 109010306 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329960176304 140331227490946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20592] ppid=20267 vsize=26605264 memory=321 CPUtime=16.59 cores=0-7
/proc/20269/task/20592/stat : 20592 (java) S 20267 20267 19022 0 -1 1077944384 407 0 0 0 1598 61 0 0 20 0 28 0 109018691 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329944800240 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20593] ppid=20267 vsize=26605264 memory=320 CPUtime=16.47 cores=0-7
/proc/20269/task/20593/stat : 20593 (java) R 20267 20267 19022 0 -1 4202560 319 0 0 0 1588 59 0 0 20 0 28 0 109018691 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329951116976 140331227501146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20594] ppid=20267 vsize=26605264 memory=333 CPUtime=16.69 cores=0-7
/proc/20269/task/20594/stat : 20594 (java) R 20267 20267 19022 0 -1 4202560 495 0 0 0 1611 58 0 0 20 0 28 0 109018691 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329952169776 140331227501146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20595] ppid=20267 vsize=26605264 memory=331 CPUtime=16.65 cores=0-7
/proc/20269/task/20595/stat : 20595 (java) R 20267 20267 19022 0 -1 4202560 566 0 0 0 1609 56 0 0 20 0 28 0 109018691 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329945854384 140331227491734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20596] ppid=20267 vsize=26605264 memory=311 CPUtime=16.74 cores=0-7
/proc/20269/task/20596/stat : 20596 (java) S 20267 20267 19022 0 -1 1077944384 583 0 0 0 1619 55 0 0 20 0 28 0 109018691 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329943749168 140331227490005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20597] ppid=20267 vsize=26605264 memory=45 CPUtime=17.88 cores=0-7
/proc/20269/task/20597/stat : 20597 (java) R 20267 20267 19022 0 -1 4202560 2320 0 0 0 1755 33 0 0 20 0 28 0 109018691 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329950064816 140330830803472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20598] ppid=20267 vsize=26605264 memory=0 CPUtime=16.58 cores=0-7
/proc/20269/task/20598/stat : 20598 (java) R 20267 20267 19022 0 -1 1077944384 381 0 0 0 1599 59 0 0 20 0 28 0 109018691 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329946906928 140331227490005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
[pid=20269/tid=20599] ppid=20267 vsize=26605264 memory=1 CPUtime=16.37 cores=0-7
/proc/20269/task/20599/stat : 20599 (java) R 20267 20267 19022 0 -1 4202560 335 0 0 0 1570 67 0 0 20 0 28 0 109018691 27243790336 98607 33554432000 4194304 4196468 140735674239264 140329949011888 140331208886098 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19636224 140735674242194 140735674242371 140735674242371 140735674245071 0
Current children cumulated CPU time: 675.44 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 395812 KiB
Child status: 0
Real time (s): 104.11
CPU time (s): 676.011
CPU user time (s): 650.493
CPU system time (s): 25.518
CPU usage (%): 649.324
Max. virtual memory (cumulated for all children) (KiB): 26614776
Max. memory (cumulated for all children) (KiB): 396288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 650.493
system time used= 25.518
maximum resident set size= 394904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10459366
involuntary context switches= 848
# summary of solver processes directly reported to runsolver:
# pid: 20267
# total CPU time (s): 676.011
# total CPU user time (s): 650.493
# total CPU system time (s): 25.518
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.822677 second user time and 1.22401 second system time
The end
Begin job on node115 at 2017-08-15 02:52:47
IDJOB=4270599
IDBENCH=133454
IDSOLVER=2662
FILE ID=node115/4270599-1502759226
RUNJOBID= node115-1502750312-19049
PBS_JOBID= 20629075
Free space on /tmp= 61812 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-17.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270599-1502759226/watcher-4270599-1502759226 -o /tmp/evaluation-result-4270599-1502759226/solver-4270599-1502759226 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502750312-19049 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1198710600 HOME/instance-4270599-1502759226.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 072cba4c7f6c08974f35ec38dd54383a
RANDOM SEED=1198710600
node115.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.69
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.69
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.69
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.69
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: 31533564 kB
MemAvailable: 31979472 kB
Buffers: 172840 kB
Cached: 558316 kB
SwapCached: 0 kB
Active: 543900 kB
Inactive: 244716 kB
Active(anon): 5640 kB
Inactive(anon): 79440 kB
Active(file): 538260 kB
Inactive(file): 165276 kB
Unevictable: 6168 kB
Mlocked: 6168 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7884 kB
Writeback: 0 kB
AnonPages: 62972 kB
Mapped: 45220 kB
Shmem: 25224 kB
Slab: 142556 kB
SReclaimable: 116412 kB
SUnreclaim: 26144 kB
KernelStack: 3248 kB
PageTables: 4988 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 325228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61804 MiB
End job on node115 at 2017-08-15 02:54:31