0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281544-1503175595.xml" -tl '2016s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4281544-1503175595.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
2.20/0.80 c solve instance...
169.95/22.01 o 1330
268.98/34.52 o 1329
532.07/68.80 o 1328
584.39/75.47 o 1326
630.21/82.62 o 1324
868.42/112.73 o 1323
1514.88/195.28 o 1322
1962.23/252.08 s SATISFIABLE
1962.23/252.08 v <instantiation>
1962.23/252.08 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] s[4][14] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] s[5][12] s[5][13] s[5][14] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[6][12] s[6][13] s[6][14] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[7][12] s[7][13] s[7][14] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11] s[8][12] s[8][13] s[8][14] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] s[9][10] s[9][11] s[9][12] s[9][13] s[9][14] s[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[10][5] s[10][6] s[10][7] s[10][8] s[10][9] s[10][10] s[10][11] s[10][12] s[10][13] s[10][14] s[11][0] s[11][1] s[11][2] s[11][3] s[11][4] s[11][5] s[11][6] s[11][7] s[11][8] s[11][9] s[11][10] s[11][11] s[11][12] s[11][13] s[11][14] s[12][0] s[12][1] s[12][2] s[12][3] s[12][4] s[12][5] s[12][6] s[12][7] s[12][8] s[12][9] s[12][10] s[12][11] s[12][12] s[12][13] s[12][14] s[13][0] s[13][1] s[13][2] s[13][3] s[13][4] s[13][5] s[13][6] s[13][7] s[13][8] s[13][9] s[13][10] s[13][11] s[13][12] s[13][13] s[13][14] s[14][0] s[14][1] s[14][2] s[14][3] s[14][4] s[14][5] s[14][6] s[14][7] s[14][8] s[14][9] s[14][10] s[14][11] s[14][12] s[14][13] s[14][14] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] e[10] e[11] e[12] e[13] e[14] </list>
1962.23/252.08 v <values>271 352 448 510 630 745 821 844 910 975 991 1062 1115 1199 1298 61 66 160 262 321 397 421 469 504 565 610 704 747 857 1143 175 275 337 356 455 516 595 657 694 748 820 919 975 1001 1224 57 100 118 184 192 267 284 372 453 556 644 837 930 1144 1181 1 69 140 158 246 337 374 447 473 560 1033 1102 1154 1180 1248 40 116 128 192 266 286 321 427 477 704 750 864 897 938 1081 1 117 322 435 539 621 695 748 873 930 1012 1138 1154 1246 1287 16 76 172 262 272 302 341 379 434 453 759 850 1086 1220 1270 13 56 69 118 169 177 259 307 327 351 407 472 633 697 760 144 173 274 325 393 411 479 539 648 679 709 970 1065 1144 1269 76 132 215 312 362 390 394 654 722 743 810 980 1076 1234 1274 573 657 703 727 752 838 857 923 979 1001 1051 1065 1139 1216 1247 0 24 110 141 226 545 619 837 930 944 957 1025 1115 1183 1215 28 248 344 397 459 516 536 639 917 992 1004 1087 1090 1180 1312 5 99 118 172 214 321 354 492 563 909 1036 1090 1177 1194 1254 1322 1214 1320 1278 1312 1140 1320 1317 820 1320 1322 1322 1305 1318 1266 </values>
1962.23/252.08 v </instantiation>
1962.23/252.08 c Unexpected resolution interruption!
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 (11453 MiB free)
memory of node 1: 16384 MiB (11427 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281544-1503175595/watcher-4281544-1503175595 -o /tmp/evaluation-result-4281544-1503175595/solver-4281544-1503175595 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503165003-13785 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 150870397 HOME/instance-4281544-1503175595.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=14854, runsolver pid=14851
[startup+0.100125 s]*
/proc/loadavg: 8.36 8.28 8.22 2/200 14875
/proc/meminfo: memFree=23414736/32770624 swapFree=67108860/67108860
[pid=14854] ppid=14851 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14854/stat : 14854 (xcsp3-exec) S 14851 14854 13758 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150630925 9740288 346 33554432000 4194304 5098028 140727213016000 140727213014104 139851332997756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20738048 140727213024363 140727213024572 140727213024572 140727213027307 0
/proc/14854/statm: 2378 346 289 221 0 87 0
[pid=14856] ppid=14854 vsize=25999808 memory=26124 CPUtime=0.12 cores=0-7
/proc/14856/stat : 14856 (java) S 14854 14854 13758 0 -1 1077944320 5480 0 0 0 10 2 0 0 20 0 20 0 150630925 26623803392 6531 33554432000 4194304 4196468 140731711459424 140731711441968 140109304479479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
/proc/14856/statm: 6499952 6531 2845 1 0 6488269 0
[pid=14856/tid=14857] ppid=14854 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/14856/task/14857/stat : 14857 (java) R 14854 14854 13758 0 -1 4202560 3489 0 0 0 7 1 0 0 20 0 20 0 150630925 26623803392 6531 33554432000 4194304 4196468 140731711459424 140109308706080 140109288559966 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14858] ppid=14854 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14856/task/14858/stat : 14858 (java) S 14854 14854 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150630926 26623803392 6531 33554432000 4194304 4196468 140731711459424 140109227060368 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14859] ppid=14854 vsize=25999808 memory=140461738014336 CPUtime=0 cores=0-7
/proc/14856/task/14859/stat : 14859 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630926 26623803392 6531 33554432000 4194304 4196468 140731711459424 140109226007568 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14860] ppid=14854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14860/stat : 14860 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630926 26623803392 6531 33554432000 4194304 4196468 140731711459424 140109224954768 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14861] ppid=14854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14861/stat : 14861 (java) S 14854 14854 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150630926 26623803392 6531 33554432000 4194304 4196468 140731711459424 140109223901968 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14862] ppid=14854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14862/stat : 14862 (java) S 14854 14854 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150630926 26623803392 6531 33554432000 4194304 4196468 140731711459424 140109222849168 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14863] ppid=14854 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14856/task/14863/stat : 14863 (java) S 14854 14854 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150630926 26623803392 6531 33554432000 4194304 4196468 140731711459424 140109221796368 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14864] ppid=14854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14864/stat : 14864 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630926 26623803392 6531 33554432000 4194304 4196468 140731711459424 140109220743568 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14865] ppid=14854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14865/stat : 14865 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630926 26623803392 6531 33554432000 4194304 4196468 140731711459424 140109219690768 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14866] ppid=14854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14866/stat : 14866 (java) S 14854 14854 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150630928 26623803392 6531 33554432000 4194304 4196468 140731711459424 140108566129520 140109304490626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14867] ppid=14854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14867/stat : 14867 (java) S 14854 14854 13758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150630928 26623803392 6531 33554432000 4194304 4196468 140731711459424 140108565075488 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14868] ppid=14854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14868/stat : 14868 (java) S 14854 14854 13758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150630928 26623803392 6531 33554432000 4194304 4196468 140731711459424 140108564022640 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14869] ppid=14854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14869/stat : 14869 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630931 26623803392 6531 33554432000 4194304 4196468 140731711459424 140108562970960 140109304498075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14870] ppid=14854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14870/stat : 14870 (java) S 14854 14854 13758 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 150630931 26623803392 6531 33554432000 4194304 4196468 140731711459424 140108561918320 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14871] ppid=14854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14871/stat : 14871 (java) S 14854 14854 13758 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 150630931 26623803392 6531 33554432000 4194304 4196468 140731711459424 140108560865520 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14872] ppid=14854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14872/stat : 14872 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630931 26623803392 6531 33554432000 4194304 4196468 140731711459424 140108559812720 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14873] ppid=14854 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/14856/task/14873/stat : 14873 (java) R 14854 14854 13758 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 150630931 26623803392 6531 33554432000 4194304 4196468 140731711459424 140108558759920 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14874] ppid=14854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14874/stat : 14874 (java) S 14854 14854 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150630931 26623803392 6531 33554432000 4194304 4196468 140731711459424 140108557708384 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14875] ppid=14854 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14856/task/14875/stat : 14875 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630931 26623803392 6531 33554432000 4194304 4196468 140731711459424 140108556655664 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27508 KiB
[startup+0.21018 s]*
/proc/loadavg: 8.36 8.28 8.22 2/200 14875
/proc/meminfo: memFree=23402952/32770624 swapFree=67108860/67108860
[pid=14854] ppid=14851 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14854/stat : 14854 (xcsp3-exec) S 14851 14854 13758 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150630925 9740288 346 33554432000 4194304 5098028 140727213016000 140727213014104 139851332997756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20738048 140727213024363 140727213024572 140727213024572 140727213027307 0
/proc/14854/statm: 2378 346 289 221 0 87 0
[pid=14856] ppid=14854 vsize=26004064 memory=39108 CPUtime=0.33 cores=0-7
/proc/14856/stat : 14856 (java) S 14854 14854 13758 0 -1 1077944320 8358 0 0 0 30 3 0 0 20 0 20 0 150630925 26628161536 9777 33554432000 4194304 4196468 140731711459424 140731711441968 140109304479479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
/proc/14856/statm: 6501016 9777 3061 1 0 6488269 0
[pid=14856/tid=14857] ppid=14854 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14856/task/14857/stat : 14857 (java) R 14854 14854 13758 0 -1 4202560 5400 0 0 0 17 2 0 0 20 0 20 0 150630925 26628161536 9777 33554432000 4194304 4196468 140731711459424 140109308701488 140109297157493 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14858] ppid=14854 vsize=26004064 memory=339 CPUtime=0 cores=0-7
/proc/14856/task/14858/stat : 14858 (java) S 14854 14854 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 9777 33554432000 4194304 4196468 140731711459424 140109227060368 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14859] ppid=14854 vsize=26004064 memory=140461738733749 CPUtime=0 cores=0-7
/proc/14856/task/14859/stat : 14859 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 9777 33554432000 4194304 4196468 140731711459424 140109226007568 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14860] ppid=14854 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14856/task/14860/stat : 14860 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 9777 33554432000 4194304 4196468 140731711459424 140109224954768 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14861] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14861/stat : 14861 (java) S 14854 14854 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 9777 33554432000 4194304 4196468 140731711459424 140109223901968 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14862] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14862/stat : 14862 (java) S 14854 14854 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 9777 33554432000 4194304 4196468 140731711459424 140109222849168 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14863] ppid=14854 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14856/task/14863/stat : 14863 (java) S 14854 14854 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 9777 33554432000 4194304 4196468 140731711459424 140109221796368 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14864] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14864/stat : 14864 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 9777 33554432000 4194304 4196468 140731711459424 140109220743568 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14865] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14865/stat : 14865 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 9777 33554432000 4194304 4196468 140731711459424 140109219690768 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14866] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14866/stat : 14866 (java) S 14854 14854 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150630928 26628161536 9777 33554432000 4194304 4196468 140731711459424 140108566129520 140109304490626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14867] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14867/stat : 14867 (java) S 14854 14854 13758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150630928 26628161536 9777 33554432000 4194304 4196468 140731711459424 140108565075488 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14868] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14868/stat : 14868 (java) S 14854 14854 13758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150630928 26628161536 9777 33554432000 4194304 4196468 140731711459424 140108564022640 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14869] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14869/stat : 14869 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630931 26628161536 9777 33554432000 4194304 4196468 140731711459424 140108562970960 140109304498075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14870] ppid=14854 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14856/task/14870/stat : 14870 (java) S 14854 14854 13758 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 20 0 150630931 26628161536 9777 33554432000 4194304 4196468 140731711459424 140108561918320 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14871] ppid=14854 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14856/task/14871/stat : 14871 (java) S 14854 14854 13758 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 20 0 150630931 26628161536 9777 33554432000 4194304 4196468 140731711459424 140108560865520 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14872] ppid=14854 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/14856/task/14872/stat : 14872 (java) S 14854 14854 13758 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 150630931 26628161536 9777 33554432000 4194304 4196468 140731711459424 140108559812720 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14873] ppid=14854 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/14856/task/14873/stat : 14873 (java) R 14854 14854 13758 0 -1 4202560 742 0 0 0 7 0 0 0 20 0 20 0 150630931 26628161536 9777 33554432000 4194304 4196468 140731711459424 140108558759920 140109283780400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14874] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14874/stat : 14874 (java) S 14854 14854 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150630931 26628161536 9777 33554432000 4194304 4196468 140731711459424 140108557708384 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14875] ppid=14854 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14856/task/14875/stat : 14875 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630931 26628161536 9777 33554432000 4194304 4196468 140731711459424 140108556655664 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40492 KiB
[startup+0.309697 s]*
/proc/loadavg: 8.36 8.28 8.22 3/200 14875
/proc/meminfo: memFree=23398548/32770624 swapFree=67108860/67108860
[pid=14854] ppid=14851 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14854/stat : 14854 (xcsp3-exec) S 14851 14854 13758 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150630925 9740288 346 33554432000 4194304 5098028 140727213016000 140727213014104 139851332997756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20738048 140727213024363 140727213024572 140727213024572 140727213027307 0
/proc/14854/statm: 2378 346 289 221 0 87 0
[pid=14856] ppid=14854 vsize=26004064 memory=46332 CPUtime=0.49 cores=0-7
/proc/14856/stat : 14856 (java) S 14854 14854 13758 0 -1 1077944320 9240 0 0 0 45 4 0 0 20 0 20 0 150630925 26628161536 11583 33554432000 4194304 4196468 140731711459424 140731711441968 140109304479479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
/proc/14856/statm: 6501016 11583 3105 1 0 6488269 0
[pid=14856/tid=14857] ppid=14854 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/14856/task/14857/stat : 14857 (java) R 14854 14854 13758 0 -1 4202560 6093 0 0 0 26 2 0 0 20 0 20 0 150630925 26628161536 11583 33554432000 4194304 4196468 140731711459424 140109308718816 140109304501405 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14858] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14858/stat : 14858 (java) S 14854 14854 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 11583 33554432000 4194304 4196468 140731711459424 140109227060368 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14859] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14859/stat : 14859 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 11583 33554432000 4194304 4196468 140731711459424 140109226007568 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14860] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14860/stat : 14860 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 11583 33554432000 4194304 4196468 140731711459424 140109224954768 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14861] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14861/stat : 14861 (java) S 14854 14854 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 11583 33554432000 4194304 4196468 140731711459424 140109223901968 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14862] ppid=14854 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/14856/task/14862/stat : 14862 (java) S 14854 14854 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 11583 33554432000 4194304 4196468 140731711459424 140109222849168 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14863] ppid=14854 vsize=26004064 memory=140461603910575 CPUtime=0 cores=0-7
/proc/14856/task/14863/stat : 14863 (java) S 14854 14854 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 11583 33554432000 4194304 4196468 140731711459424 140109221796368 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14864] ppid=14854 vsize=26004064 memory=140461603912880 CPUtime=0 cores=0-7
/proc/14856/task/14864/stat : 14864 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 11583 33554432000 4194304 4196468 140731711459424 140109220743568 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14865] ppid=14854 vsize=26004064 memory=140461603915184 CPUtime=0 cores=0-7
/proc/14856/task/14865/stat : 14865 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630926 26628161536 11583 33554432000 4194304 4196468 140731711459424 140109219690768 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14866] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14866/stat : 14866 (java) S 14854 14854 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150630928 26628161536 11583 33554432000 4194304 4196468 140731711459424 140108566129520 140109304490626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14867] ppid=14854 vsize=26004064 memory=280923207837328 CPUtime=0 cores=0-7
/proc/14856/task/14867/stat : 14867 (java) S 14854 14854 13758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150630928 26628161536 11583 33554432000 4194304 4196468 140731711459424 140108565075488 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14868] ppid=14854 vsize=26004064 memory=280923207844240 CPUtime=0 cores=0-7
/proc/14856/task/14868/stat : 14868 (java) S 14854 14854 13758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150630928 26628161536 11583 33554432000 4194304 4196468 140731711459424 140108564022640 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14869] ppid=14854 vsize=26004064 memory=280923207785520 CPUtime=0 cores=0-7
/proc/14856/task/14869/stat : 14869 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630931 26628161536 11583 33554432000 4194304 4196468 140731711459424 140108562970960 140109304498075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14870] ppid=14854 vsize=26004064 memory=280923207858064 CPUtime=0.01 cores=0-7
/proc/14856/task/14870/stat : 14870 (java) S 14854 14854 13758 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 20 0 150630931 26628161536 11583 33554432000 4194304 4196468 140731711459424 140108561918320 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14871] ppid=14854 vsize=26004064 memory=280923207864976 CPUtime=0.02 cores=0-7
/proc/14856/task/14871/stat : 14871 (java) R 14854 14854 13758 0 -1 4202560 465 0 0 0 2 0 0 0 20 0 20 0 150630931 26628161536 11583 33554432000 4194304 4196468 140731711459424 140108560855904 140109285172743 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14872] ppid=14854 vsize=26004064 memory=280923207862672 CPUtime=0.01 cores=0-7
/proc/14856/task/14872/stat : 14872 (java) S 14854 14854 13758 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 150630931 26628161536 11583 33554432000 4194304 4196468 140731711459424 140108559812720 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14873] ppid=14854 vsize=26004064 memory=280923207878832 CPUtime=0.12 cores=0-7
/proc/14856/task/14873/stat : 14873 (java) R 14854 14854 13758 0 -1 4202560 869 0 0 0 12 0 0 0 20 0 20 0 150630931 26628161536 11583 33554432000 4194304 4196468 140731711459424 140108558756856 140109304491414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14874] ppid=14854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14874/stat : 14874 (java) S 14854 14854 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150630931 26628161536 11583 33554432000 4194304 4196468 140731711459424 140108557708384 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14875] ppid=14854 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14856/task/14875/stat : 14875 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630931 26628161536 11583 33554432000 4194304 4196468 140731711459424 140108556655664 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47716 KiB
[startup+0.700994 s]
/proc/loadavg: 8.36 8.28 8.22 3/200 14875
/proc/meminfo: memFree=23384788/32770624 swapFree=67108860/67108860
[pid=14854] ppid=14851 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14854/stat : 14854 (xcsp3-exec) S 14851 14854 13758 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150630925 9740288 346 33554432000 4194304 5098028 140727213016000 140727213014104 139851332997756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20738048 140727213024363 140727213024572 140727213024572 140727213027307 0
/proc/14854/statm: 2378 346 289 221 0 87 0
[pid=14856] ppid=14854 vsize=26006188 memory=93008 CPUtime=1.75 cores=0-7
/proc/14856/stat : 14856 (java) S 14854 14854 13758 0 -1 1077944320 13949 0 0 0 168 7 0 0 20 0 20 0 150630925 26630336512 23252 33554432000 4194304 4196468 140731711459424 140731711441968 140109304479479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
/proc/14856/statm: 6501547 23252 3203 1 0 6488781 0
[pid=14856/tid=14857] ppid=14854 vsize=26006188 memory=280923208236720 CPUtime=0.67 cores=0-7
/proc/14856/task/14857/stat : 14857 (java) R 14854 14854 13758 0 -1 4202560 6889 0 0 0 63 4 0 0 20 0 20 0 150630925 26630336512 23252 33554432000 4194304 4196468 140731711459424 140109308713888 140108900201280 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14858] ppid=14854 vsize=26006188 memory=140461604119408 CPUtime=0 cores=0-7
/proc/14856/task/14858/stat : 14858 (java) S 14854 14854 13758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150630926 26630336512 23252 33554432000 4194304 4196468 140731711459424 140109227060368 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14859] ppid=14854 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14859/stat : 14859 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630926 26630336512 23252 33554432000 4194304 4196468 140731711459424 140109226007568 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14860] ppid=14854 vsize=26006188 memory=1428 CPUtime=0 cores=0-7
/proc/14856/task/14860/stat : 14860 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150630926 26630336512 23252 33554432000 4194304 4196468 140731711459424 140109224954768 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
################
# More data... #
################
[pid=14856/tid=14931] ppid=14854 vsize=26538700 memory=0 CPUtime=48.47 cores=0-7
/proc/14856/task/14931/stat : 14931 (java) R 14854 14854 13758 0 -1 4202560 556 0 0 0 4847 0 0 0 20 0 28 0 150642198 27175628800 55995 33554432000 4194304 4196468 140731711459424 140108548645024 140108904250936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
Current children cumulated CPU time: 1259.64 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 225364 KiB
[startup+222.301 s]
/proc/loadavg: 8.00 8.10 8.15 9/207 14939
/proc/meminfo: memFree=23176484/32770624 swapFree=67108860/67108860
[pid=14854] ppid=14851 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14854/stat : 14854 (xcsp3-exec) S 14851 14854 13758 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150630925 9740288 346 33554432000 4194304 5098028 140727213016000 140727213014104 139851332997756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20738048 140727213024363 140727213024572 140727213024572 140727213027307 0
/proc/14854/statm: 2378 346 289 221 0 87 0
[pid=14856] ppid=14854 vsize=26538700 memory=267164 CPUtime=1728.14 cores=0-7
/proc/14856/stat : 14856 (java) S 14854 14854 13758 0 -1 1077944320 187810 0 0 0 172664 150 0 0 20 0 28 0 150630925 27175628800 66791 33554432000 4194304 4196468 140731711459424 140731711441968 140109304479479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
/proc/14856/statm: 6634675 66791 3295 1 0 6621909 0
[pid=14856/tid=14857] ppid=14854 vsize=26538700 memory=259212 CPUtime=0.79 cores=0-7
/proc/14856/task/14857/stat : 14857 (java) S 14854 14854 13758 0 -1 1077944384 7842 0 0 0 75 4 0 0 20 0 28 0 150630925 27175628800 66791 33554432000 4194304 4196468 140731711459424 140109308720256 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14858] ppid=14854 vsize=26538700 memory=259212 CPUtime=0.49 cores=0-7
/proc/14856/task/14858/stat : 14858 (java) S 14854 14854 13758 0 -1 1077944384 6427 0 0 0 43 6 0 0 20 0 28 0 150630926 27175628800 66791 33554432000 4194304 4196468 140731711459424 140109227060368 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14859] ppid=14854 vsize=26538700 memory=261260 CPUtime=0.48 cores=0-7
/proc/14856/task/14859/stat : 14859 (java) S 14854 14854 13758 0 -1 1077944384 5212 0 0 0 43 5 0 0 20 0 28 0 150630926 27175628800 66791 33554432000 4194304 4196468 140731711459424 140109226007568 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14860] ppid=14854 vsize=26538700 memory=261400 CPUtime=0.48 cores=0-7
/proc/14856/task/14860/stat : 14860 (java) S 14854 14854 13758 0 -1 1077944384 2791 0 0 0 43 5 0 0 20 0 28 0 150630926 27175628800 66791 33554432000 4194304 4196468 140731711459424 140109224954768 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14861] ppid=14854 vsize=26538700 memory=1384 CPUtime=0.48 cores=0-7
/proc/14856/task/14861/stat : 14861 (java) S 14854 14854 13758 0 -1 1077944384 5481 0 0 0 43 5 0 0 20 0 28 0 150630926 27175628800 66791 33554432000 4194304 4196468 140731711459424 140109223901968 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14862] ppid=14854 vsize=26538700 memory=1384 CPUtime=0.47 cores=0-7
/proc/14856/task/14862/stat : 14862 (java) S 14854 14854 13758 0 -1 1077944384 3177 0 0 0 42 5 0 0 20 0 28 0 150630926 27175628800 66791 33554432000 4194304 4196468 140731711459424 140109222849168 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14863] ppid=14854 vsize=26538700 memory=267164 CPUtime=0.48 cores=0-7
/proc/14856/task/14863/stat : 14863 (java) S 14854 14854 13758 0 -1 1077944384 2629 0 0 0 43 5 0 0 20 0 28 0 150630926 27175628800 66791 33554432000 4194304 4196468 140731711459424 140109221796368 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14864] ppid=14854 vsize=26538700 memory=1384 CPUtime=0.5 cores=0-7
/proc/14856/task/14864/stat : 14864 (java) S 14854 14854 13758 0 -1 1077944384 3501 0 0 0 45 5 0 0 20 0 28 0 150630926 27175628800 66791 33554432000 4194304 4196468 140731711459424 140109220743568 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14865] ppid=14854 vsize=26538700 memory=0 CPUtime=0.48 cores=0-7
/proc/14856/task/14865/stat : 14865 (java) S 14854 14854 13758 0 -1 1077944384 4728 0 0 0 43 5 0 0 20 0 28 0 150630926 27175628800 66791 33554432000 4194304 4196468 140731711459424 140109219690768 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14866] ppid=14854 vsize=26538700 memory=8747226831578988619 CPUtime=1.16 cores=0-7
/proc/14856/task/14866/stat : 14866 (java) S 14854 14854 13758 0 -1 1077944384 11962 0 0 0 61 55 0 0 20 0 28 0 150630928 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108566129520 140109304490626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14867] ppid=14854 vsize=26538700 memory=280923210557664 CPUtime=0 cores=0-7
/proc/14856/task/14867/stat : 14867 (java) S 14854 14854 13758 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 150630928 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108565075552 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14868] ppid=14854 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14856/task/14868/stat : 14868 (java) S 14854 14854 13758 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 150630928 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108564022656 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14869] ppid=14854 vsize=26538700 memory=1196 CPUtime=0 cores=0-7
/proc/14856/task/14869/stat : 14869 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150630931 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108562970960 140109304498075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14870] ppid=14854 vsize=26538700 memory=10688 CPUtime=3.19 cores=0-7
/proc/14856/task/14870/stat : 14870 (java) S 14854 14854 13758 0 -1 1077944384 27263 0 0 0 314 5 0 0 20 0 28 0 150630931 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108561918320 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14871] ppid=14854 vsize=26538700 memory=12136 CPUtime=3.14 cores=0-7
/proc/14856/task/14871/stat : 14871 (java) S 14854 14854 13758 0 -1 1077944384 23334 0 0 0 309 5 0 0 20 0 28 0 150630931 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108560865520 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14872] ppid=14854 vsize=26538700 memory=1708 CPUtime=3.39 cores=0-7
/proc/14856/task/14872/stat : 14872 (java) S 14854 14854 13758 0 -1 1077944384 21029 0 0 0 335 4 0 0 20 0 28 0 150630931 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108559812720 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14873] ppid=14854 vsize=26538700 memory=1384 CPUtime=0.89 cores=0-7
/proc/14856/task/14873/stat : 14873 (java) S 14854 14854 13758 0 -1 1077944384 14641 0 0 0 87 2 0 0 20 0 28 0 150630931 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108558759920 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14874] ppid=14854 vsize=26538700 memory=254368 CPUtime=0 cores=0-7
/proc/14856/task/14874/stat : 14874 (java) S 14854 14854 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150630931 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108557708384 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14875] ppid=14854 vsize=26538700 memory=1384 CPUtime=0.06 cores=0-7
/proc/14856/task/14875/stat : 14875 (java) S 14854 14854 13758 0 -1 1077944384 1807 0 0 0 2 4 0 0 20 0 28 0 150630931 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108556655664 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14932] ppid=14854 vsize=26538700 memory=1384 CPUtime=26.5 cores=0-7
/proc/14856/task/14932/stat : 14932 (java) R 14854 14854 13758 0 -1 4202560 811 0 0 0 2650 0 0 0 20 0 28 0 150650453 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108476959800 140108904505468 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14933] ppid=14854 vsize=26538700 memory=265628 CPUtime=26.51 cores=0-7
/proc/14856/task/14933/stat : 14933 (java) R 14854 14854 13758 0 -1 4202560 703 0 0 0 2651 0 0 0 20 0 28 0 150650453 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108547592232 140108904505356 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14934] ppid=14854 vsize=26538700 memory=1384 CPUtime=26.4 cores=0-7
/proc/14856/task/14934/stat : 14934 (java) R 14854 14854 13758 0 -1 4202560 795 0 0 0 2640 0 0 0 20 0 28 0 150650453 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108546539296 140108896742289 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14935] ppid=14854 vsize=26538700 memory=265116 CPUtime=26.55 cores=0-7
/proc/14856/task/14935/stat : 14935 (java) R 14854 14854 13758 0 -1 4202560 1638 0 0 0 2654 1 0 0 20 0 28 0 150650453 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108548647536 140108898456940 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14936] ppid=14854 vsize=26538700 memory=4420 CPUtime=26.59 cores=0-7
/proc/14856/task/14936/stat : 14936 (java) R 14854 14854 13758 0 -1 4202560 577 0 0 0 2659 0 0 0 20 0 28 0 150650453 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108545486320 140108898456940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14937] ppid=14854 vsize=26538700 memory=6628 CPUtime=26.6 cores=0-7
/proc/14856/task/14937/stat : 14937 (java) R 14854 14854 13758 0 -1 4202560 514 0 0 0 2660 0 0 0 20 0 28 0 150650453 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108474854952 140108904405746 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14938] ppid=14854 vsize=26538700 memory=1728 CPUtime=26.6 cores=0-7
/proc/14856/task/14938/stat : 14938 (java) R 14854 14854 13758 0 -1 4202560 991 0 0 0 2660 0 0 0 20 0 28 0 150650453 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108475908024 140108903978112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14939] ppid=14854 vsize=26538700 memory=12136 CPUtime=26.41 cores=0-7
/proc/14856/task/14939/stat : 14939 (java) R 14854 14854 13758 0 -1 4202560 727 0 0 0 2641 0 0 0 20 0 28 0 150650453 27175628800 66791 33554432000 4194304 4196468 140731711459424 140108473803072 140108904505480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
Current children cumulated CPU time: 1728.14 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 268548 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 8.07 8.10 8.15 9/207 14939
/proc/meminfo: memFree=23153528/32770624 swapFree=67108860/67108860
[pid=14854] ppid=14851 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14854/stat : 14854 (xcsp3-exec) S 14851 14854 13758 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150630925 9740288 346 33554432000 4194304 5098028 140727213016000 140727213014104 139851332997756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20738048 140727213024363 140727213024572 140727213024572 140727213027307 0
/proc/14854/statm: 2378 346 289 221 0 87 0
[pid=14856] ppid=14854 vsize=26538700 memory=287612 CPUtime=1962.23 cores=0-7
/proc/14856/stat : 14856 (java) S 14854 14854 13758 0 -1 1077944320 204535 0 0 0 196045 178 0 0 20 0 28 0 150630925 27175628800 71903 33554432000 4194304 4196468 140731711459424 140731711441968 140109304479479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
/proc/14856/statm: 6634675 71903 3295 1 0 6621909 0
[pid=14856/tid=14857] ppid=14854 vsize=26538700 memory=6791534058613427641 CPUtime=0.79 cores=0-7
/proc/14856/task/14857/stat : 14857 (java) S 14854 14854 13758 0 -1 1077944384 7842 0 0 0 75 4 0 0 20 0 28 0 150630925 27175628800 71903 33554432000 4194304 4196468 140731711459424 140109308720256 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14858] ppid=14854 vsize=26538700 memory=4872558044660077418 CPUtime=0.57 cores=0-7
/proc/14856/task/14858/stat : 14858 (java) S 14854 14854 13758 0 -1 1077944384 7214 0 0 0 51 6 0 0 20 0 28 0 150630926 27175628800 71903 33554432000 4194304 4196468 140731711459424 140109227060368 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14859] ppid=14854 vsize=26538700 memory=15880 CPUtime=0.57 cores=0-7
/proc/14856/task/14859/stat : 14859 (java) S 14854 14854 13758 0 -1 1077944384 5654 0 0 0 51 6 0 0 20 0 28 0 150630926 27175628800 71903 33554432000 4194304 4196468 140731711459424 140109226007568 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14860] ppid=14854 vsize=26538700 memory=22952 CPUtime=0.56 cores=0-7
/proc/14856/task/14860/stat : 14860 (java) S 14854 14854 13758 0 -1 1077944384 3632 0 0 0 50 6 0 0 20 0 28 0 150630926 27175628800 71903 33554432000 4194304 4196468 140731711459424 140109224954768 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14861] ppid=14854 vsize=26538700 memory=16432 CPUtime=0.57 cores=0-7
/proc/14856/task/14861/stat : 14861 (java) S 14854 14854 13758 0 -1 1077944384 6005 0 0 0 51 6 0 0 20 0 28 0 150630926 27175628800 71903 33554432000 4194304 4196468 140731711459424 140109223901968 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14862] ppid=14854 vsize=26538700 memory=4040 CPUtime=0.55 cores=0-7
/proc/14856/task/14862/stat : 14862 (java) S 14854 14854 13758 0 -1 1077944384 3621 0 0 0 49 6 0 0 20 0 28 0 150630926 27175628800 71903 33554432000 4194304 4196468 140731711459424 140109222849168 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14863] ppid=14854 vsize=26538700 memory=1792 CPUtime=0.56 cores=0-7
/proc/14856/task/14863/stat : 14863 (java) S 14854 14854 13758 0 -1 1077944384 3772 0 0 0 51 5 0 0 20 0 28 0 150630926 27175628800 71903 33554432000 4194304 4196468 140731711459424 140109221796368 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14864] ppid=14854 vsize=26538700 memory=640 CPUtime=0.58 cores=0-7
/proc/14856/task/14864/stat : 14864 (java) S 14854 14854 13758 0 -1 1077944384 4468 0 0 0 52 6 0 0 20 0 28 0 150630926 27175628800 71903 33554432000 4194304 4196468 140731711459424 140109220743568 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14865] ppid=14854 vsize=26538700 memory=960 CPUtime=0.57 cores=0-7
/proc/14856/task/14865/stat : 14865 (java) S 14854 14854 13758 0 -1 1077944384 6221 0 0 0 51 6 0 0 20 0 28 0 150630926 27175628800 71903 33554432000 4194304 4196468 140731711459424 140109219690768 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14866] ppid=14854 vsize=26538700 memory=1232 CPUtime=1.51 cores=0-7
/proc/14856/task/14866/stat : 14866 (java) S 14854 14854 13758 0 -1 1077944384 14332 0 0 0 78 73 0 0 20 0 28 0 150630928 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108566129520 140109304490626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14867] ppid=14854 vsize=26538700 memory=2428 CPUtime=0 cores=0-7
/proc/14856/task/14867/stat : 14867 (java) S 14854 14854 13758 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 150630928 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108565075552 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14868] ppid=14854 vsize=26538700 memory=1576 CPUtime=0 cores=0-7
/proc/14856/task/14868/stat : 14868 (java) S 14854 14854 13758 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 150630928 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108564022656 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14869] ppid=14854 vsize=26538700 memory=928 CPUtime=0 cores=0-7
/proc/14856/task/14869/stat : 14869 (java) S 14854 14854 13758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150630931 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108562970960 140109304498075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14870] ppid=14854 vsize=26538700 memory=6791534058613427641 CPUtime=3.19 cores=0-7
/proc/14856/task/14870/stat : 14870 (java) S 14854 14854 13758 0 -1 1077944384 27273 0 0 0 314 5 0 0 20 0 28 0 150630931 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108561918320 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14871] ppid=14854 vsize=26538700 memory=4128 CPUtime=3.14 cores=0-7
/proc/14856/task/14871/stat : 14871 (java) S 14854 14854 13758 0 -1 1077944384 23344 0 0 0 309 5 0 0 20 0 28 0 150630931 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108560865520 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14872] ppid=14854 vsize=26538700 memory=2200 CPUtime=3.39 cores=0-7
/proc/14856/task/14872/stat : 14872 (java) S 14854 14854 13758 0 -1 1077944384 21044 0 0 0 335 4 0 0 20 0 28 0 150630931 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108559812720 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14873] ppid=14854 vsize=26538700 memory=7540 CPUtime=0.89 cores=0-7
/proc/14856/task/14873/stat : 14873 (java) S 14854 14854 13758 0 -1 1077944384 14651 0 0 0 87 2 0 0 20 0 28 0 150630931 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108558759920 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14874] ppid=14854 vsize=26538700 memory=840 CPUtime=0 cores=0-7
/proc/14856/task/14874/stat : 14874 (java) S 14854 14854 13758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150630931 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108557708384 140109304489685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14875] ppid=14854 vsize=26538700 memory=1696 CPUtime=0.06 cores=0-7
/proc/14856/task/14875/stat : 14875 (java) S 14854 14854 13758 0 -1 1077944384 1971 0 0 0 2 4 0 0 20 0 28 0 150630931 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108556655664 140109304490626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14932] ppid=14854 vsize=26538700 memory=916 CPUtime=55.59 cores=0-7
/proc/14856/task/14932/stat : 14932 (java) R 14854 14854 13758 0 -1 4202560 1785 0 0 0 5558 1 0 0 20 0 28 0 150650453 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108476959800 140108904505286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14933] ppid=14854 vsize=26538700 memory=4408 CPUtime=55.61 cores=0-7
/proc/14856/task/14933/stat : 14933 (java) R 14854 14854 13758 0 -1 4202560 1290 0 0 0 5560 1 0 0 20 0 28 0 150650453 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108547592232 140108904250847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14934] ppid=14854 vsize=26538700 memory=4100 CPUtime=55.45 cores=0-7
/proc/14856/task/14934/stat : 14934 (java) R 14854 14854 13758 0 -1 4202560 1756 0 0 0 5545 0 0 0 20 0 28 0 150650453 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108546539432 140108904505487 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14935] ppid=14854 vsize=26538700 memory=1156 CPUtime=55.88 cores=0-7
/proc/14856/task/14935/stat : 14935 (java) R 14854 14854 13758 0 -1 4202560 2872 0 0 0 5587 1 0 0 20 0 28 0 150650453 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108548644352 140108898456951 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14936] ppid=14854 vsize=26538700 memory=1384 CPUtime=55.8 cores=0-7
/proc/14856/task/14936/stat : 14936 (java) R 14854 14854 13758 0 -1 4202560 1405 0 0 0 5579 1 0 0 20 0 28 0 150650453 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108545486456 140108898456975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14937] ppid=14854 vsize=26538700 memory=283512 CPUtime=55.65 cores=0-7
/proc/14856/task/14937/stat : 14937 (java) R 14854 14854 13758 0 -1 4202560 1326 0 0 0 5565 0 0 0 20 0 28 0 150650453 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108474854952 140108904505331 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14938] ppid=14854 vsize=26538700 memory=7540 CPUtime=55.79 cores=0-7
/proc/14856/task/14938/stat : 14938 (java) R 14854 14854 13758 0 -1 4202560 2215 0 0 0 5578 1 0 0 20 0 28 0 150650453 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108475908312 140108905657341 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
[pid=14856/tid=14939] ppid=14854 vsize=26538700 memory=840 CPUtime=55.47 cores=0-7
/proc/14856/task/14939/stat : 14939 (java) R 14854 14854 13758 0 -1 4202560 1612 0 0 0 5547 0 0 0 20 0 28 0 150650453 27175628800 71903 33554432000 4194304 4196468 140731711459424 140108473805776 140108904505254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140731711464600 140731711464776 140731711464776 140731711467471 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 288996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.042 s]
# the end of solver process 14854 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001921 s
[startup+252.111 s]
# the end of solver process 14856 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1961.08 s, system=1.80606 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 252.111
CPU time (s): 1962.89
CPU user time (s): 1961.08
CPU system time (s): 1.80606
CPU usage (%): 778.583
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 288996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1961.08
system time used= 1.80606
maximum resident set size= 288020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45103
involuntary context switches= 23406
# summary of solver processes directly reported to runsolver:
# pid: 14854,14856
# total CPU time (s): 1962.89
# total CPU user time (s): 1961.08
# total CPU system time (s): 1.80606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.45742 second user time and 2.6934 second system time
The end
Begin job on node105 at 2017-08-19 22:32:15
IDJOB=4281544
IDBENCH=115757
IDSOLVER=2676
FILE ID=node105/4281544-1503175595
RUNJOBID= node105-1503165003-13785
PBS_JOBID= 20630832
Free space on /tmp= 61848 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-4.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-4281544-1503175595/watcher-4281544-1503175595 -o /tmp/evaluation-result-4281544-1503175595/solver-4281544-1503175595 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503165003-13785 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 150870397 HOME/instance-4281544-1503175595.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 428eef4dc0068476798a4d67b3fd28ef
RANDOM SEED=150870397
node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.17
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.17
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.17
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.17
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 23430128 kB
MemAvailable: 31971996 kB
Buffers: 236240 kB
Cached: 8596156 kB
SwapCached: 0 kB
Active: 1038760 kB
Inactive: 7848020 kB
Active(anon): 3068 kB
Inactive(anon): 87428 kB
Active(file): 1035692 kB
Inactive(file): 7760592 kB
Unevictable: 7324 kB
Mlocked: 7324 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7812 kB
Writeback: 0 kB
AnonPages: 61540 kB
Mapped: 51424 kB
Shmem: 33420 kB
Slab: 149636 kB
SReclaimable: 122840 kB
SUnreclaim: 26796 kB
KernelStack: 3200 kB
PageTables: 5072 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 332868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 61840 MiB
End job on node105 at 2017-08-19 22:36:27