0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270743-1502656002.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4270743-1502656002.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
2.15/0.81 c solve instance...
53.42/7.37 o 1315
207.36/26.76 o 1312
384.30/49.10 o 1298
529.86/67.44 o 1294
2872.41/362.90 o 1293
3842.76/491.13 o 1292
19780.13/2520.09 s SATISFIABLE
19780.13/2520.09 v <instantiation>
19780.13/2520.09 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>
19780.13/2520.09 v <values>8 83 259 351 415 497 503 541 606 663 734 822 906 1085 1204 67 185 236 283 298 415 492 544 660 687 838 869 899 916 1010 4 96 162 257 312 361 485 564 661 686 719 764 837 975 1195 22 75 168 251 281 385 440 467 496 604 668 760 833 930 944 141 177 226 236 387 471 589 617 690 735 866 927 974 1061 1257 17 100 144 150 164 306 414 454 533 597 639 701 796 867 938 111 150 229 260 353 379 452 466 498 540 591 789 1073 1176 1221 41 80 160 257 379 616 690 769 811 1037 1089 1114 1170 1177 1253 0 70 195 304 351 440 770 871 929 974 1016 1110 1132 1193 1252 55 123 267 485 565 622 682 821 873 979 1056 1074 1097 1194 1268 333 400 562 646 713 760 767 819 842 925 960 1097 1104 1160 1252 17 109 172 252 300 304 456 630 746 891 919 998 1007 1031 1055 36 163 309 376 422 544 580 647 667 766 780 837 901 959 1272 0 10 283 419 505 566 630 709 809 904 981 989 1032 1141 1216 66 139 151 165 247 251 298 392 491 546 619 732 1000 1109 1210 1292 1032 1216 1019 1269 1010 1285 1280 1268 1291 1290 1097 1289 1280 1285 </values>
19780.13/2520.09 v </instantiation>
19780.13/2520.09 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 (13348 MiB free)
memory of node 1: 16384 MiB (13844 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270743-1502656002/watcher-4270743-1502656002 -o /tmp/evaluation-result-4270743-1502656002/solver-4270743-1502656002 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502650100-15528 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2041655766 HOME/instance-4270743-1502656002.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16073, runsolver pid=16070
Current StackSize limit: 8192 KiB
[startup+0.101331 s]*
/proc/loadavg: 8.18 8.22 8.27 3/200 16094
/proc/meminfo: memFree=27831296/32770624 swapFree=67108860/67108860
[pid=16073] ppid=16070 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16073/stat : 16073 (xcsp3-exec) S 16070 16073 15501 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98681098 9740288 346 33554432000 4194304 5098028 140727838926240 140727838924344 139660163035772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33464320 140727838930020 140727838930231 140727838930231 140727838932971 0
/proc/16073/statm: 2378 346 289 221 0 87 0
[pid=16075] ppid=16073 vsize=25999808 memory=26456 CPUtime=0.12 cores=0-7
/proc/16075/stat : 16075 (java) S 16073 16073 15501 0 -1 1077944320 5512 0 0 0 11 1 0 0 20 0 20 0 98681098 26623803392 6614 33554432000 4194304 4196468 140734941820736 140734941803280 140007587823351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
/proc/16075/statm: 6499952 6614 2851 1 0 6488269 0
[pid=16075/tid=16076] ppid=16073 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16075/task/16076/stat : 16076 (java) R 16073 16073 15501 0 -1 4202560 3521 0 0 0 8 1 0 0 20 0 20 0 98681098 26623803392 6679 33554432000 4194304 4196468 140734941820736 140007592055872 140007587835286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16077] ppid=16073 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16075/task/16077/stat : 16077 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26623803392 6679 33554432000 4194304 4196468 140734941820736 140007546583824 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16078] ppid=16073 vsize=25999808 memory=139787541431936 CPUtime=0 cores=0-7
/proc/16075/task/16078/stat : 16078 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26623803392 6679 33554432000 4194304 4196468 140734941820736 140007145229200 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16079] ppid=16073 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16079/stat : 16079 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26623803392 6679 33554432000 4194304 4196468 140734941820736 140007144176656 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16080] ppid=16073 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16080/stat : 16080 (java) S 16073 16073 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98681099 26623803392 6679 33554432000 4194304 4196468 140734941820736 140007143124112 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16081] ppid=16073 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16081/stat : 16081 (java) S 16073 16073 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98681099 26623803392 6679 33554432000 4194304 4196468 140734941820736 140007142070544 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16082] ppid=16073 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16075/task/16082/stat : 16082 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26623803392 6679 33554432000 4194304 4196468 140734941820736 140007141018000 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16083] ppid=16073 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16083/stat : 16083 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26623803392 6679 33554432000 4194304 4196468 140734941820736 140007139965456 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16084] ppid=16073 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16084/stat : 16084 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26623803392 6679 33554432000 4194304 4196468 140734941820736 140007138912912 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16085] ppid=16073 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16085/stat : 16085 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681100 26623803392 6679 33554432000 4194304 4196468 140734941820736 140005994363376 140007587834498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16086] ppid=16073 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16086/stat : 16086 (java) S 16073 16073 15501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98681101 26623803392 6679 33554432000 4194304 4196468 140734941820736 140005993309600 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16087] ppid=16073 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16087/stat : 16087 (java) S 16073 16073 15501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98681101 26623803392 6679 33554432000 4194304 4196468 140734941820736 140005992257008 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16088] ppid=16073 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16088/stat : 16088 (java) S 16073 16073 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98681103 26623803392 6679 33554432000 4194304 4196468 140734941820736 140005991205584 140007587841947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16089] ppid=16073 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16089/stat : 16089 (java) S 16073 16073 15501 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 98681103 26623803392 6679 33554432000 4194304 4196468 140734941820736 140005990152176 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16090] ppid=16073 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16090/stat : 16090 (java) S 16073 16073 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98681103 26623803392 6679 33554432000 4194304 4196468 140734941820736 140005989099632 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16091] ppid=16073 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16091/stat : 16091 (java) S 16073 16073 15501 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 98681103 26623803392 6679 33554432000 4194304 4196468 140734941820736 140005988047088 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16092] ppid=16073 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/16075/task/16092/stat : 16092 (java) R 16073 16073 15501 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 20 0 98681104 26623803392 6679 33554432000 4194304 4196468 140734941820736 140005986994544 140007569060912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16093] ppid=16073 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16093/stat : 16093 (java) S 16073 16073 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98681104 26623803392 6679 33554432000 4194304 4196468 140734941820736 140005985942240 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16094] ppid=16073 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16075/task/16094/stat : 16094 (java) S 16073 16073 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98681104 26623803392 6679 33554432000 4194304 4196468 140734941820736 140005984889776 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27840 KiB
[startup+0.210535 s]*
/proc/loadavg: 8.18 8.22 8.27 2/200 16094
/proc/meminfo: memFree=27819256/32770624 swapFree=67108860/67108860
[pid=16073] ppid=16070 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16073/stat : 16073 (xcsp3-exec) S 16070 16073 15501 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98681098 9740288 346 33554432000 4194304 5098028 140727838926240 140727838924344 139660163035772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33464320 140727838930020 140727838930231 140727838930231 140727838932971 0
/proc/16073/statm: 2378 346 289 221 0 87 0
[pid=16075] ppid=16073 vsize=26004064 memory=39208 CPUtime=0.33 cores=0-7
/proc/16075/stat : 16075 (java) S 16073 16073 15501 0 -1 1077944320 8375 0 0 0 30 3 0 0 20 0 20 0 98681098 26628161536 9802 33554432000 4194304 4196468 140734941820736 140734941803280 140007587823351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
/proc/16075/statm: 6501016 9802 3067 1 0 6488269 0
[pid=16075/tid=16076] ppid=16073 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16075/task/16076/stat : 16076 (java) R 16073 16073 15501 0 -1 4202560 5423 0 0 0 18 2 0 0 20 0 20 0 98681098 26628161536 9802 33554432000 4194304 4196468 140734941820736 140007592043568 140007587845277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16077] ppid=16073 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/16075/task/16077/stat : 16077 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 9802 33554432000 4194304 4196468 140734941820736 140007546583824 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16078] ppid=16073 vsize=26004064 memory=288370163693143680 CPUtime=0 cores=0-7
/proc/16075/task/16078/stat : 16078 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 9802 33554432000 4194304 4196468 140734941820736 140007145229200 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16079] ppid=16073 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16075/task/16079/stat : 16079 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 9802 33554432000 4194304 4196468 140734941820736 140007144176656 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16080] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16080/stat : 16080 (java) S 16073 16073 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 9802 33554432000 4194304 4196468 140734941820736 140007143124112 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16081] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16081/stat : 16081 (java) S 16073 16073 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 9802 33554432000 4194304 4196468 140734941820736 140007142070544 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16082] ppid=16073 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16075/task/16082/stat : 16082 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 9802 33554432000 4194304 4196468 140734941820736 140007141018000 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16083] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16083/stat : 16083 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 9802 33554432000 4194304 4196468 140734941820736 140007139965456 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16084] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16084/stat : 16084 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 9802 33554432000 4194304 4196468 140734941820736 140007138912912 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16085] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16085/stat : 16085 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681100 26628161536 9802 33554432000 4194304 4196468 140734941820736 140005994363376 140007587834498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16086] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16086/stat : 16086 (java) S 16073 16073 15501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98681101 26628161536 9802 33554432000 4194304 4196468 140734941820736 140005993309600 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16087] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16087/stat : 16087 (java) S 16073 16073 15501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98681101 26628161536 9802 33554432000 4194304 4196468 140734941820736 140005992257008 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16088] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16088/stat : 16088 (java) S 16073 16073 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98681103 26628161536 9802 33554432000 4194304 4196468 140734941820736 140005991205584 140007587841947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16089] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16089/stat : 16089 (java) R 16073 16073 15501 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 98681103 26628161536 9802 33554432000 4194304 4196468 140734941820736 140005990152176 140007587834498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16090] ppid=16073 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/16075/task/16090/stat : 16090 (java) S 16073 16073 15501 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 20 0 98681103 26628161536 9802 33554432000 4194304 4196468 140734941820736 140005989099632 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16091] ppid=16073 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/16075/task/16091/stat : 16091 (java) S 16073 16073 15501 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 20 0 98681103 26628161536 9802 33554432000 4194304 4196468 140734941820736 140005988047088 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16092] ppid=16073 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/16075/task/16092/stat : 16092 (java) R 16073 16073 15501 0 -1 4202560 755 0 0 0 7 0 0 0 20 0 20 0 98681104 26628161536 9802 33554432000 4194304 4196468 140734941820736 140005986994544 140007587835286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16093] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16093/stat : 16093 (java) S 16073 16073 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98681104 26628161536 9802 33554432000 4194304 4196468 140734941820736 140005985942240 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16094] ppid=16073 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16075/task/16094/stat : 16094 (java) S 16073 16073 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98681104 26628161536 9802 33554432000 4194304 4196468 140734941820736 140005984889776 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40592 KiB
[startup+0.310413 s]*
/proc/loadavg: 8.18 8.22 8.27 4/200 16094
/proc/meminfo: memFree=27814868/32770624 swapFree=67108860/67108860
[pid=16073] ppid=16070 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16073/stat : 16073 (xcsp3-exec) S 16070 16073 15501 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98681098 9740288 346 33554432000 4194304 5098028 140727838926240 140727838924344 139660163035772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33464320 140727838930020 140727838930231 140727838930231 140727838932971 0
/proc/16073/statm: 2378 346 289 221 0 87 0
[pid=16075] ppid=16073 vsize=26004064 memory=45620 CPUtime=0.5 cores=0-7
/proc/16075/stat : 16075 (java) S 16073 16073 15501 0 -1 1077944320 9175 0 0 0 47 3 0 0 20 0 20 0 98681098 26628161536 11405 33554432000 4194304 4196468 140734941820736 140734941803280 140007587823351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
/proc/16075/statm: 6501016 11405 3083 1 0 6488269 0
[pid=16075/tid=16076] ppid=16073 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16075/task/16076/stat : 16076 (java) R 16073 16073 15501 0 -1 4202560 6107 0 0 0 27 2 0 0 20 0 20 0 98681098 26628161536 11405 33554432000 4194304 4196468 140734941820736 140007592047744 140007568468268 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16077] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16077/stat : 16077 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 11405 33554432000 4194304 4196468 140734941820736 140007546583824 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16078] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16078/stat : 16078 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 11405 33554432000 4194304 4196468 140734941820736 140007145229200 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16079] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16079/stat : 16079 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 11405 33554432000 4194304 4196468 140734941820736 140007144176656 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16080] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16080/stat : 16080 (java) S 16073 16073 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 11405 33554432000 4194304 4196468 140734941820736 140007143124112 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16081] ppid=16073 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/16075/task/16081/stat : 16081 (java) S 16073 16073 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 11405 33554432000 4194304 4196468 140734941820736 140007142070544 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16082] ppid=16073 vsize=26004064 memory=139787428262831 CPUtime=0 cores=0-7
/proc/16075/task/16082/stat : 16082 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 11405 33554432000 4194304 4196468 140734941820736 140007141018000 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16083] ppid=16073 vsize=26004064 memory=139787428265136 CPUtime=0 cores=0-7
/proc/16075/task/16083/stat : 16083 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 11405 33554432000 4194304 4196468 140734941820736 140007139965456 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16084] ppid=16073 vsize=26004064 memory=139787428267440 CPUtime=0 cores=0-7
/proc/16075/task/16084/stat : 16084 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26628161536 11405 33554432000 4194304 4196468 140734941820736 140007138912912 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16085] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16085/stat : 16085 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681100 26628161536 11405 33554432000 4194304 4196468 140734941820736 140005994363376 140007587834498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16086] ppid=16073 vsize=26004064 memory=279574856541840 CPUtime=0 cores=0-7
/proc/16075/task/16086/stat : 16086 (java) S 16073 16073 15501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98681101 26628161536 11405 33554432000 4194304 4196468 140734941820736 140005993309600 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16087] ppid=16073 vsize=26004064 memory=279574856548752 CPUtime=0 cores=0-7
/proc/16075/task/16087/stat : 16087 (java) S 16073 16073 15501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98681101 26628161536 11405 33554432000 4194304 4196468 140734941820736 140005992257008 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16088] ppid=16073 vsize=26004064 memory=279574856490032 CPUtime=0 cores=0-7
/proc/16075/task/16088/stat : 16088 (java) S 16073 16073 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98681103 26628161536 11405 33554432000 4194304 4196468 140734941820736 140005991205584 140007587841947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16089] ppid=16073 vsize=26004064 memory=279574856562576 CPUtime=0.01 cores=0-7
/proc/16075/task/16089/stat : 16089 (java) S 16073 16073 15501 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 98681103 26628161536 11405 33554432000 4194304 4196468 140734941820736 140005990152176 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16090] ppid=16073 vsize=26004064 memory=279574856569488 CPUtime=0.02 cores=0-7
/proc/16075/task/16090/stat : 16090 (java) S 16073 16073 15501 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 20 0 98681103 26628161536 11405 33554432000 4194304 4196468 140734941820736 140005989099632 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16091] ppid=16073 vsize=26004064 memory=279574856567184 CPUtime=0.02 cores=0-7
/proc/16075/task/16091/stat : 16091 (java) S 16073 16073 15501 0 -1 1077944384 289 0 0 0 2 0 0 0 20 0 20 0 98681103 26628161536 11405 33554432000 4194304 4196468 140734941820736 140005988047088 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16092] ppid=16073 vsize=26004064 memory=279574856583344 CPUtime=0.12 cores=0-7
/proc/16075/task/16092/stat : 16092 (java) R 16073 16073 15501 0 -1 4202560 848 0 0 0 12 0 0 0 20 0 20 0 98681104 26628161536 11405 33554432000 4194304 4196468 140734941820736 140005986990912 140007566408175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16093] ppid=16073 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16093/stat : 16093 (java) S 16073 16073 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98681104 26628161536 11405 33554432000 4194304 4196468 140734941820736 140005985942240 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16094] ppid=16073 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16075/task/16094/stat : 16094 (java) S 16073 16073 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98681104 26628161536 11405 33554432000 4194304 4196468 140734941820736 140005984889776 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47004 KiB
[startup+0.700968 s]
/proc/loadavg: 8.18 8.22 8.27 2/200 16094
/proc/meminfo: memFree=27799668/32770624 swapFree=67108860/67108860
[pid=16073] ppid=16070 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16073/stat : 16073 (xcsp3-exec) S 16070 16073 15501 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98681098 9740288 346 33554432000 4194304 5098028 140727838926240 140727838924344 139660163035772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33464320 140727838930020 140727838930231 140727838930231 140727838932971 0
/proc/16073/statm: 2378 346 289 221 0 87 0
[pid=16075] ppid=16073 vsize=26006188 memory=93772 CPUtime=1.7 cores=0-7
/proc/16075/stat : 16075 (java) S 16073 16073 15501 0 -1 1077944320 14041 0 0 0 164 6 0 0 20 0 20 0 98681098 26630336512 23443 33554432000 4194304 4196468 140734941820736 140734941803280 140007587823351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
/proc/16075/statm: 6501547 23443 3206 1 0 6488781 0
[pid=16075/tid=16076] ppid=16073 vsize=26006188 memory=279574856941232 CPUtime=0.67 cores=0-7
/proc/16075/task/16076/stat : 16076 (java) R 16073 16073 15501 0 -1 4202560 6887 0 0 0 64 3 0 0 20 0 20 0 98681098 26630336512 23443 33554432000 4194304 4196468 140734941820736 140007592058240 140007587835286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16077] ppid=16073 vsize=26006188 memory=139787428471664 CPUtime=0 cores=0-7
/proc/16075/task/16077/stat : 16077 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26630336512 23443 33554432000 4194304 4196468 140734941820736 140007546583824 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16078] ppid=16073 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/16075/task/16078/stat : 16078 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26630336512 23443 33554432000 4194304 4196468 140734941820736 140007145229200 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16079] ppid=16073 vsize=26006188 memory=8612 CPUtime=0 cores=0-7
/proc/16075/task/16079/stat : 16079 (java) S 16073 16073 15501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98681099 26630336512 23443 33554432000 4194304 4196468 140734941820736 140007144176656 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
################
# More data... #
################
[pid=16075/tid=16157] ppid=16073 vsize=26538700 memory=1384 CPUtime=1905.92 cores=0-7
/proc/16075/task/16157/stat : 16157 (java) R 16073 16073 15501 0 -1 4202560 19443 0 0 0 190571 21 0 0 20 0 28 0 98730211 27175628800 90343 33554432000 4194304 4196468 140734941820736 140005974773448 140007224603751 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
Current children cumulated CPU time: 19174.2 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 362756 KiB
[startup+2502.3 s]
/proc/loadavg: 8.23 8.30 8.21 9/208 16182
/proc/meminfo: memFree=27494904/32770624 swapFree=67108860/67108860
[pid=16073] ppid=16070 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16073/stat : 16073 (xcsp3-exec) S 16070 16073 15501 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98681098 9740288 346 33554432000 4194304 5098028 140727838926240 140727838924344 139660163035772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33464320 140727838930020 140727838930231 140727838930231 140727838932971 0
/proc/16073/statm: 2378 346 289 221 0 87 0
[pid=16075] ppid=16073 vsize=26538700 memory=361452 CPUtime=19641.9 cores=0-7
/proc/16075/stat : 16075 (java) S 16073 16073 15501 0 -1 1077944320 571626 0 0 0 1961558 2632 0 0 20 0 28 0 98681098 27175628800 90363 33554432000 4194304 4196468 140734941820736 140734941803280 140007587823351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
/proc/16075/statm: 6634675 90363 3307 1 0 6621909 0
[pid=16075/tid=16076] ppid=16073 vsize=26538700 memory=361452 CPUtime=0.79 cores=0-7
/proc/16075/task/16076/stat : 16076 (java) S 16073 16073 15501 0 -1 1077944384 7738 0 0 0 76 3 0 0 20 0 28 0 98681098 27175628800 90363 33554432000 4194304 4196468 140734941820736 140007592064128 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16077] ppid=16073 vsize=26538700 memory=361432 CPUtime=4.18 cores=0-7
/proc/16075/task/16077/stat : 16077 (java) S 16073 16073 15501 0 -1 1077944384 20839 0 0 0 391 27 0 0 20 0 28 0 98681099 27175628800 90363 33554432000 4194304 4196468 140734941820736 140007546583824 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16078] ppid=16073 vsize=26538700 memory=361424 CPUtime=4.14 cores=0-7
/proc/16075/task/16078/stat : 16078 (java) S 16073 16073 15501 0 -1 1077944384 22953 0 0 0 387 27 0 0 20 0 28 0 98681099 27175628800 90363 33554432000 4194304 4196468 140734941820736 140007145229200 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16079] ppid=16073 vsize=26538700 memory=13331578489482 CPUtime=4.11 cores=0-7
/proc/16075/task/16079/stat : 16079 (java) S 16073 16073 15501 0 -1 1077944384 23694 0 0 0 388 23 0 0 20 0 28 0 98681099 27175628800 90363 33554432000 4194304 4196468 140734941820736 140007144176656 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16080] ppid=16073 vsize=26538700 memory=-7812736537705029536 CPUtime=4.16 cores=0-7
/proc/16075/task/16080/stat : 16080 (java) S 16073 16073 15501 0 -1 1077944384 27267 0 0 0 392 24 0 0 20 0 28 0 98681099 27175628800 90363 33554432000 4194304 4196468 140734941820736 140007143124112 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16081] ppid=16073 vsize=26538700 memory=28824 CPUtime=4.12 cores=0-7
/proc/16075/task/16081/stat : 16081 (java) S 16073 16073 15501 0 -1 1077944384 24037 0 0 0 386 26 0 0 20 0 28 0 98681099 27175628800 90363 33554432000 4194304 4196468 140734941820736 140007142070544 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16082] ppid=16073 vsize=26538700 memory=1296 CPUtime=4.17 cores=0-7
/proc/16075/task/16082/stat : 16082 (java) S 16073 16073 15501 0 -1 1077944384 26675 0 0 0 393 24 0 0 20 0 28 0 98681099 27175628800 90363 33554432000 4194304 4196468 140734941820736 140007141018000 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16083] ppid=16073 vsize=26538700 memory=361432 CPUtime=4.14 cores=0-7
/proc/16075/task/16083/stat : 16083 (java) S 16073 16073 15501 0 -1 1077944384 20721 0 0 0 389 25 0 0 20 0 28 0 98681099 27175628800 90363 33554432000 4194304 4196468 140734941820736 140007139965456 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16084] ppid=16073 vsize=26538700 memory=1384 CPUtime=4.12 cores=0-7
/proc/16075/task/16084/stat : 16084 (java) S 16073 16073 15501 0 -1 1077944384 23844 0 0 0 387 25 0 0 20 0 28 0 98681099 27175628800 90363 33554432000 4194304 4196468 140734941820736 140007138912912 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16085] ppid=16073 vsize=26538700 memory=0 CPUtime=36.39 cores=0-7
/proc/16075/task/16085/stat : 16085 (java) S 16073 16073 15501 0 -1 1077944384 67343 0 0 0 1433 2206 0 0 20 0 28 0 98681100 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005994363376 140007587834498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16086] ppid=16073 vsize=26538700 memory=6085037541455719522 CPUtime=0 cores=0-7
/proc/16075/task/16086/stat : 16086 (java) S 16073 16073 15501 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 98681101 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005993309664 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16087] ppid=16073 vsize=26538700 memory=1732 CPUtime=0 cores=0-7
/proc/16075/task/16087/stat : 16087 (java) S 16073 16073 15501 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 98681101 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005992257024 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16088] ppid=16073 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/16075/task/16088/stat : 16088 (java) S 16073 16073 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 98681103 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005991205584 140007587841947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16089] ppid=16073 vsize=26538700 memory=361424 CPUtime=3.02 cores=0-7
/proc/16075/task/16089/stat : 16089 (java) S 16073 16073 15501 0 -1 1077944384 18906 0 0 0 298 4 0 0 20 0 28 0 98681103 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005990152176 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16090] ppid=16073 vsize=26538700 memory=2244 CPUtime=3.28 cores=0-7
/proc/16075/task/16090/stat : 16090 (java) S 16073 16073 15501 0 -1 1077944384 23195 0 0 0 322 6 0 0 20 0 28 0 98681103 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005989099632 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16091] ppid=16073 vsize=26538700 memory=1384 CPUtime=3.1 cores=0-7
/proc/16075/task/16091/stat : 16091 (java) S 16073 16073 15501 0 -1 1077944384 19836 0 0 0 305 5 0 0 20 0 28 0 98681103 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005988047088 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16092] ppid=16073 vsize=26538700 memory=1384 CPUtime=0.91 cores=0-7
/proc/16075/task/16092/stat : 16092 (java) S 16073 16073 15501 0 -1 1077944384 19234 0 0 0 87 4 0 0 20 0 28 0 98681104 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005986994544 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16093] ppid=16073 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/16075/task/16093/stat : 16093 (java) S 16073 16073 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 98681104 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005985942240 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16094] ppid=16073 vsize=26538700 memory=361452 CPUtime=0.61 cores=0-7
/proc/16075/task/16094/stat : 16094 (java) S 16073 16073 15501 0 -1 1077944384 5063 0 0 0 37 24 0 0 20 0 28 0 98681104 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005984889776 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16150] ppid=16073 vsize=26538700 memory=1240 CPUtime=1963.96 cores=0-7
/proc/16075/task/16150/stat : 16150 (java) R 16073 16073 15501 0 -1 4202560 19516 0 0 0 196374 22 0 0 20 0 28 0 98730211 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005971614616 140007233202720 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16151] ppid=16073 vsize=26538700 memory=1384 CPUtime=1964.75 cores=0-7
/proc/16075/task/16151/stat : 16151 (java) R 16073 16073 15501 0 -1 4202560 14366 0 0 0 196456 19 0 0 20 0 28 0 98730211 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005969510400 140007231465248 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16152] ppid=16073 vsize=26538700 memory=361440 CPUtime=1966.28 cores=0-7
/proc/16075/task/16152/stat : 16152 (java) R 16073 16073 15501 0 -1 4202560 26320 0 0 0 196603 25 0 0 20 0 28 0 98730211 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005975825480 140007230828257 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16153] ppid=16073 vsize=26538700 memory=4144 CPUtime=1962.5 cores=0-7
/proc/16075/task/16153/stat : 16153 (java) R 16073 16073 15501 0 -1 4202560 23685 0 0 0 196225 25 0 0 20 0 28 0 98730211 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005973720456 140007232724763 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16154] ppid=16073 vsize=26538700 memory=1384 CPUtime=1987.4 cores=0-7
/proc/16075/task/16154/stat : 16154 (java) R 16073 16073 15501 0 -1 4202560 23221 0 0 0 198680 60 0 0 20 0 28 0 98730211 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005976878688 140007234868656 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16155] ppid=16073 vsize=26538700 memory=1384 CPUtime=1963.72 cores=0-7
/proc/16075/task/16155/stat : 16155 (java) R 16073 16073 15501 0 -1 4202560 13437 0 0 0 196353 19 0 0 20 0 28 0 98730211 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005972671040 140007231463714 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16156] ppid=16073 vsize=26538700 memory=361432 CPUtime=1964.79 cores=0-7
/proc/16075/task/16156/stat : 16156 (java) R 16073 16073 15501 0 -1 4202560 14620 0 0 0 196460 19 0 0 20 0 28 0 98730211 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005970562592 140007232411832 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16157] ppid=16073 vsize=26538700 memory=361440 CPUtime=1963.81 cores=0-7
/proc/16075/task/16157/stat : 16157 (java) R 16073 16073 15501 0 -1 4202560 20042 0 0 0 196359 22 0 0 20 0 28 0 98730211 27175628800 90363 33554432000 4194304 4196468 140734941820736 140005974773296 140007224605424 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
Current children cumulated CPU time: 19641.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 362836 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 7.74 8.18 8.18 9/208 16182
/proc/meminfo: memFree=27495668/32770624 swapFree=67108860/67108860
[pid=16073] ppid=16070 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/16073/stat : 16073 (xcsp3-exec) S 16070 16073 15501 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98681098 9740288 346 33554432000 4194304 5098028 140727838926240 140727838924344 139660163035772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33464320 140727838930020 140727838930231 140727838930231 140727838932971 0
/proc/16073/statm: 2378 346 289 221 0 87 0
[pid=16075] ppid=16073 vsize=26538700 memory=361464 CPUtime=19780.1 cores=0-7
/proc/16075/stat : 16075 (java) S 16073 16073 15501 0 -1 1077944320 572049 0 0 0 1975348 2665 0 0 20 0 28 0 98681098 27175628800 90366 33554432000 4194304 4196468 140734941820736 140734941803280 140007587823351 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
/proc/16075/statm: 6634675 90366 3307 1 0 6621909 0
[pid=16075/tid=16076] ppid=16073 vsize=26538700 memory=6791534058613427641 CPUtime=0.79 cores=0-7
/proc/16075/task/16076/stat : 16076 (java) S 16073 16073 15501 0 -1 1077944384 7738 0 0 0 76 3 0 0 20 0 28 0 98681098 27175628800 90366 33554432000 4194304 4196468 140734941820736 140007592064128 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16077] ppid=16073 vsize=26538700 memory=4872558044660077418 CPUtime=4.2 cores=0-7
/proc/16075/task/16077/stat : 16077 (java) S 16073 16073 15501 0 -1 1077944384 20848 0 0 0 393 27 0 0 20 0 28 0 98681099 27175628800 90366 33554432000 4194304 4196468 140734941820736 140007546583824 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16078] ppid=16073 vsize=26538700 memory=4620 CPUtime=4.16 cores=0-7
/proc/16075/task/16078/stat : 16078 (java) S 16073 16073 15501 0 -1 1077944384 22968 0 0 0 389 27 0 0 20 0 28 0 98681099 27175628800 90366 33554432000 4194304 4196468 140734941820736 140007145229200 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16079] ppid=16073 vsize=26538700 memory=1196 CPUtime=4.14 cores=0-7
/proc/16075/task/16079/stat : 16079 (java) S 16073 16073 15501 0 -1 1077944384 23711 0 0 0 390 24 0 0 20 0 28 0 98681099 27175628800 90366 33554432000 4194304 4196468 140734941820736 140007144176656 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16080] ppid=16073 vsize=26538700 memory=15872 CPUtime=4.18 cores=0-7
/proc/16075/task/16080/stat : 16080 (java) S 16073 16073 15501 0 -1 1077944384 27351 0 0 0 394 24 0 0 20 0 28 0 98681099 27175628800 90366 33554432000 4194304 4196468 140734941820736 140007143124112 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16081] ppid=16073 vsize=26538700 memory=1732 CPUtime=4.14 cores=0-7
/proc/16075/task/16081/stat : 16081 (java) S 16073 16073 15501 0 -1 1077944384 24062 0 0 0 388 26 0 0 20 0 28 0 98681099 27175628800 90366 33554432000 4194304 4196468 140734941820736 140007142070544 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16082] ppid=16073 vsize=26538700 memory=1224 CPUtime=4.19 cores=0-7
/proc/16075/task/16082/stat : 16082 (java) S 16073 16073 15501 0 -1 1077944384 26682 0 0 0 395 24 0 0 20 0 28 0 98681099 27175628800 90366 33554432000 4194304 4196468 140734941820736 140007141018000 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16083] ppid=16073 vsize=26538700 memory=12032 CPUtime=4.16 cores=0-7
/proc/16075/task/16083/stat : 16083 (java) S 16073 16073 15501 0 -1 1077944384 20736 0 0 0 391 25 0 0 20 0 28 0 98681099 27175628800 90366 33554432000 4194304 4196468 140734941820736 140007139965456 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16084] ppid=16073 vsize=26538700 memory=5792 CPUtime=4.14 cores=0-7
/proc/16075/task/16084/stat : 16084 (java) S 16073 16073 15501 0 -1 1077944384 23852 0 0 0 389 25 0 0 20 0 28 0 98681099 27175628800 90366 33554432000 4194304 4196468 140734941820736 140007138912912 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16085] ppid=16073 vsize=26538700 memory=796 CPUtime=36.86 cores=0-7
/proc/16075/task/16085/stat : 16085 (java) S 16073 16073 15501 0 -1 1077944384 67479 0 0 0 1449 2237 0 0 20 0 28 0 98681100 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005994363376 140007587834498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16086] ppid=16073 vsize=26538700 memory=1436 CPUtime=0 cores=0-7
/proc/16075/task/16086/stat : 16086 (java) S 16073 16073 15501 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 98681101 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005993309664 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16087] ppid=16073 vsize=26538700 memory=1012 CPUtime=0 cores=0-7
/proc/16075/task/16087/stat : 16087 (java) S 16073 16073 15501 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 98681101 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005992257024 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16088] ppid=16073 vsize=26538700 memory=1712 CPUtime=0 cores=0-7
/proc/16075/task/16088/stat : 16088 (java) S 16073 16073 15501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 98681103 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005991205584 140007587841947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16089] ppid=16073 vsize=26538700 memory=1952 CPUtime=3.02 cores=0-7
/proc/16075/task/16089/stat : 16089 (java) S 16073 16073 15501 0 -1 1077944384 18908 0 0 0 298 4 0 0 20 0 28 0 98681103 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005990152176 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16090] ppid=16073 vsize=26538700 memory=1384 CPUtime=3.28 cores=0-7
/proc/16075/task/16090/stat : 16090 (java) S 16073 16073 15501 0 -1 1077944384 23197 0 0 0 322 6 0 0 20 0 28 0 98681103 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005989099632 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16091] ppid=16073 vsize=26538700 memory=361456 CPUtime=3.1 cores=0-7
/proc/16075/task/16091/stat : 16091 (java) S 16073 16073 15501 0 -1 1077944384 19838 0 0 0 305 5 0 0 20 0 28 0 98681103 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005988047088 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16092] ppid=16073 vsize=26538700 memory=1712 CPUtime=0.91 cores=0-7
/proc/16075/task/16092/stat : 16092 (java) S 16073 16073 15501 0 -1 1077944384 19236 0 0 0 87 4 0 0 20 0 28 0 98681104 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005986994544 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16093] ppid=16073 vsize=26538700 memory=1952 CPUtime=0 cores=0-7
/proc/16075/task/16093/stat : 16093 (java) S 16073 16073 15501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 98681104 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005985942240 140007587833557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16094] ppid=16073 vsize=26538700 memory=8612 CPUtime=0.61 cores=0-7
/proc/16075/task/16094/stat : 16094 (java) S 16073 16073 15501 0 -1 1077944384 5067 0 0 0 37 24 0 0 20 0 28 0 98681104 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005984889776 140007587834498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16150] ppid=16073 vsize=26538700 memory=4620 CPUtime=1981.04 cores=0-7
/proc/16075/task/16150/stat : 16150 (java) R 16073 16073 15501 0 -1 4202560 19525 0 0 0 198082 22 0 0 20 0 28 0 98730211 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005971614424 140007232555046 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16151] ppid=16073 vsize=26538700 memory=1196 CPUtime=1981.92 cores=0-7
/proc/16075/task/16151/stat : 16151 (java) R 16073 16073 15501 0 -1 4202560 14375 0 0 0 198173 19 0 0 20 0 28 0 98730211 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005969510496 140007233202770 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16152] ppid=16073 vsize=26538700 memory=15872 CPUtime=1983.46 cores=0-7
/proc/16075/task/16152/stat : 16152 (java) R 16073 16073 15501 0 -1 4202560 26335 0 0 0 198321 25 0 0 20 0 28 0 98730211 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005975825768 140007232560080 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16153] ppid=16073 vsize=26538700 memory=1384 CPUtime=1979.69 cores=0-7
/proc/16075/task/16153/stat : 16153 (java) R 16073 16073 15501 0 -1 4202560 23701 0 0 0 197944 25 0 0 20 0 28 0 98730211 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005973720456 140007233202975 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16154] ppid=16073 vsize=26538700 memory=361452 CPUtime=2004.97 cores=0-7
/proc/16075/task/16154/stat : 16154 (java) R 16073 16073 15501 0 -1 4202560 23221 0 0 0 200437 60 0 0 20 0 28 0 98730211 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005976878576 140007234868669 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16155] ppid=16073 vsize=26538700 memory=3475196944520002096 CPUtime=1980.79 cores=0-7
/proc/16075/task/16155/stat : 16155 (java) R 16073 16073 15501 0 -1 4202560 13448 0 0 0 198060 19 0 0 20 0 28 0 98730211 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005972667928 140007231469282 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16156] ppid=16073 vsize=26538700 memory=6940162888583688714 CPUtime=1981.97 cores=0-7
/proc/16075/task/16156/stat : 16156 (java) R 16073 16073 15501 0 -1 4202560 14630 0 0 0 198178 19 0 0 20 0 28 0 98730211 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005970565728 140007233202825 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
[pid=16075/tid=16157] ppid=16073 vsize=26538700 memory=6940162870444961834 CPUtime=1980.94 cores=0-7
/proc/16075/task/16157/stat : 16157 (java) R 16073 16073 15501 0 -1 4202560 20067 0 0 0 198072 22 0 0 20 0 28 0 98730211 27175628800 90366 33554432000 4194304 4196468 140734941820736 140005974773432 140007233202706 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 21569536 140734941828242 140734941828419 140734941828419 140734941831119 0
Current children cumulated CPU time: 19780.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 362848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 16073 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000964 s, system=0.000964 s
[startup+2520.12 s]
# the end of solver process 16075 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19754.3 s, system=26.6663 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): 2520.12
CPU time (s): 19780.9
CPU user time (s): 19754.3
CPU system time (s): 26.6663
CPU usage (%): 784.921
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 512516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19754.3
system time used= 26.6663
maximum resident set size= 535896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 572844
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 294134
involuntary context switches= 205635
# summary of solver processes directly reported to runsolver:
# pid: 16073,16075
# total CPU time (s): 19780.9
# total CPU user time (s): 19754.3
# total CPU system time (s): 26.6663
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.9029 second user time and 20.8478 second system time
The end
Begin job on node149 at 2017-08-13 22:12:24
IDJOB=4270743
IDBENCH=115735
IDSOLVER=2662
FILE ID=node149/4270743-1502656002
RUNJOBID= node149-1502650100-15528
PBS_JOBID= 20628944
Free space on /tmp= 61936 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-2.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-4270743-1502656002/watcher-4270743-1502656002 -o /tmp/evaluation-result-4270743-1502656002/solver-4270743-1502656002 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502650100-15528 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2041655766 HOME/instance-4270743-1502656002.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 42633f1d08cbe99acfb79d5a930fb228
RANDOM SEED=2041655766
node149.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.43
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.43
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.43
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.43
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: 27846764 kB
MemAvailable: 31973368 kB
Buffers: 277112 kB
Cached: 4122500 kB
SwapCached: 0 kB
Active: 1128620 kB
Inactive: 3325244 kB
Active(anon): 57184 kB
Inactive(anon): 24944 kB
Active(file): 1071436 kB
Inactive(file): 3300300 kB
Unevictable: 6360 kB
Mlocked: 6360 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7788 kB
Writeback: 0 kB
AnonPages: 60432 kB
Mapped: 43940 kB
Shmem: 25224 kB
Slab: 168004 kB
SReclaimable: 141404 kB
SUnreclaim: 26600 kB
KernelStack: 3232 kB
PageTables: 4560 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 97664 kB
DirectMap2M: 33447936 kB
Free space on /tmp at the end= 61928 MiB
End job on node149 at 2017-08-13 22:54:24