0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270745-1502654131.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4270745-1502654131.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
2.21/0.80 c solve instance...
31.37/4.53 o 1319
81.37/10.84 o 1313
336.32/42.90 o 1312
755.85/95.81 o 1303
2184.63/277.85 o 1302
2596.59/331.39 o 1301
2877.02/367.24 o 1300
19718.36/2520.09 s SATISFIABLE
19718.36/2520.09 v <instantiation>
19718.36/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>
19718.36/2520.09 v <values>0 83 84 180 235 266 354 435 444 588 638 668 765 858 954 93 114 186 270 394 562 682 748 802 885 981 1049 1087 1125 1224 2 57 138 207 286 376 441 502 538 598 680 770 933 987 1124 1 102 259 324 422 431 513 634 733 772 775 846 956 1007 1205 0 95 246 344 492 600 658 675 680 920 1054 1078 1129 1231 1270 22 56 104 175 177 212 340 443 594 738 849 947 1043 1128 1276 50 103 177 281 289 312 328 412 657 812 874 964 1120 1219 1263 163 374 454 515 603 644 650 769 854 912 1001 1011 1095 1194 1232 10 130 276 346 426 455 481 617 623 657 775 879 1037 1082 1299 85 192 316 416 496 589 659 693 707 761 794 892 896 948 1052 2 42 50 86 92 93 144 191 279 369 522 570 1023 1068 1173 91 192 275 337 436 497 507 597 638 737 834 906 996 1030 1245 85 304 536 622 666 736 812 858 897 1026 1056 1087 1188 1227 1232 1 21 88 119 178 223 286 306 377 491 597 667 680 686 871 59 180 251 317 451 530 580 622 640 657 770 885 985 1138 1229 1018 1300 1204 1276 1297 1299 1300 1300 1300 1128 1184 1265 1255 946 1232 </values>
19718.36/2520.09 v </instantiation>
19718.36/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 (15360 MiB free)
memory of node 1: 16384 MiB (15480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270745-1502654131/watcher-4270745-1502654131 -o /tmp/evaluation-result-4270745-1502654131/solver-4270745-1502654131 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502650746-22527 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1935818523 HOME/instance-4270745-1502654131.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22899, runsolver pid=22896
[startup+0.100137 s]*
/proc/loadavg: 8.57 8.73 8.63 2/200 22920
/proc/meminfo: memFree=31564548/32770624 swapFree=67108860/67108860
[pid=22899] ppid=22896 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22899/stat : 22899 (xcsp3-exec) S 22896 22899 22500 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98500828 9740288 346 33554432000 4194304 5098028 140730481841936 140730481840040 139943862403708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34140160 140730481849444 140730481849655 140730481849655 140730481852395 0
/proc/22899/statm: 2378 346 289 221 0 87 0
[pid=22901] ppid=22899 vsize=25999808 memory=28184 CPUtime=0.12 cores=0-7
/proc/22901/stat : 22901 (java) S 22899 22899 22500 0 -1 1077944320 5385 0 0 0 10 2 0 0 20 0 20 0 98500829 26623803392 7046 33554432000 4194304 4196468 140729311723248 140729311705792 140307653193463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
/proc/22901/statm: 6499952 7046 2882 1 0 6488269 0
[pid=22901/tid=22902] ppid=22899 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/22901/task/22902/stat : 22902 (java) R 22899 22899 22500 0 -1 4202560 3394 0 0 0 8 1 0 0 20 0 20 0 98500829 26623803392 7046 33554432000 4194304 4196468 140729311723248 140307657428000 140307653214810 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22903] ppid=22899 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/22901/task/22903/stat : 22903 (java) S 22899 22899 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98500830 26623803392 7046 33554432000 4194304 4196468 140729311723248 140307605813776 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22904] ppid=22899 vsize=25999808 memory=140024565003904 CPUtime=0 cores=0-7
/proc/22901/task/22904/stat : 22904 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26623803392 7046 33554432000 4194304 4196468 140729311723248 140307604761232 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22905] ppid=22899 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22905/stat : 22905 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26623803392 7046 33554432000 4194304 4196468 140729311723248 140307603708176 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22906] ppid=22899 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22906/stat : 22906 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26623803392 7046 33554432000 4194304 4196468 140729311723248 140307602655632 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22907] ppid=22899 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22907/stat : 22907 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26623803392 7046 33554432000 4194304 4196468 140729311723248 140307601603600 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22908] ppid=22899 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22901/task/22908/stat : 22908 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26623803392 7046 33554432000 4194304 4196468 140729311723248 140307600551056 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22909] ppid=22899 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22909/stat : 22909 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26623803392 7046 33554432000 4194304 4196468 140729311723248 140307599498000 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22910] ppid=22899 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22910/stat : 22910 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26623803392 7046 33554432000 4194304 4196468 140729311723248 140307598445456 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22911] ppid=22899 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22911/stat : 22911 (java) S 22899 22899 22500 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 98500831 26623803392 7046 33554432000 4194304 4196468 140729311723248 140306395330800 140307653204610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22912] ppid=22899 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22912/stat : 22912 (java) S 22899 22899 22500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98500832 26623803392 7046 33554432000 4194304 4196468 140729311723248 140306394277024 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22913] ppid=22899 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22913/stat : 22913 (java) S 22899 22899 22500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98500832 26623803392 7046 33554432000 4194304 4196468 140729311723248 140306393223920 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22914] ppid=22899 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22914/stat : 22914 (java) S 22899 22899 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98500834 26623803392 7046 33554432000 4194304 4196468 140729311723248 140306392172496 140307653212059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22915] ppid=22899 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22915/stat : 22915 (java) S 22899 22899 22500 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 20 0 98500834 26623803392 7046 33554432000 4194304 4196468 140729311723248 140306391120624 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22916] ppid=22899 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22916/stat : 22916 (java) S 22899 22899 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98500834 26623803392 7046 33554432000 4194304 4196468 140729311723248 140306390068080 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22917] ppid=22899 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22917/stat : 22917 (java) S 22899 22899 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98500834 26623803392 7046 33554432000 4194304 4196468 140729311723248 140306389015024 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22918] ppid=22899 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/22901/task/22918/stat : 22918 (java) S 22899 22899 22500 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 20 0 98500834 26623803392 7046 33554432000 4194304 4196468 140729311723248 140306387962480 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22919] ppid=22899 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22919/stat : 22919 (java) S 22899 22899 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98500835 26623803392 7046 33554432000 4194304 4196468 140729311723248 140306386909664 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22920] ppid=22899 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22901/task/22920/stat : 22920 (java) S 22899 22899 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98500835 26623803392 7046 33554432000 4194304 4196468 140729311723248 140306385857200 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 29568 KiB
[startup+0.210106 s]*
/proc/loadavg: 8.57 8.73 8.63 2/200 22920
/proc/meminfo: memFree=31551988/32770624 swapFree=67108860/67108860
[pid=22899] ppid=22896 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22899/stat : 22899 (xcsp3-exec) S 22896 22899 22500 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98500828 9740288 346 33554432000 4194304 5098028 140730481841936 140730481840040 139943862403708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34140160 140730481849444 140730481849655 140730481849655 140730481852395 0
/proc/22899/statm: 2378 346 289 221 0 87 0
[pid=22901] ppid=22899 vsize=26004064 memory=40532 CPUtime=0.33 cores=0-7
/proc/22901/stat : 22901 (java) S 22899 22899 22500 0 -1 1077944320 8240 0 0 0 30 3 0 0 20 0 20 0 98500829 26628161536 10133 33554432000 4194304 4196468 140729311723248 140729311705792 140307653193463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
/proc/22901/statm: 6501016 10133 3035 1 0 6488269 0
[pid=22901/tid=22902] ppid=22899 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22901/task/22902/stat : 22902 (java) R 22899 22899 22500 0 -1 4202560 5310 0 0 0 18 1 0 0 20 0 20 0 98500829 26628161536 10133 33554432000 4194304 4196468 140729311723248 140307657415504 140307653214810 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22903] ppid=22899 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/22901/task/22903/stat : 22903 (java) S 22899 22899 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 10133 33554432000 4194304 4196468 140729311723248 140307605813776 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22904] ppid=22899 vsize=26004064 memory=3617150865489065632 CPUtime=0 cores=0-7
/proc/22901/task/22904/stat : 22904 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 10133 33554432000 4194304 4196468 140729311723248 140307604761232 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22905] ppid=22899 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22901/task/22905/stat : 22905 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 10133 33554432000 4194304 4196468 140729311723248 140307603708176 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22906] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22906/stat : 22906 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 10133 33554432000 4194304 4196468 140729311723248 140307602655632 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22907] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22907/stat : 22907 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 10133 33554432000 4194304 4196468 140729311723248 140307601603600 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22908] ppid=22899 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22901/task/22908/stat : 22908 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 10133 33554432000 4194304 4196468 140729311723248 140307600551056 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22909] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22909/stat : 22909 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 10133 33554432000 4194304 4196468 140729311723248 140307599498000 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22910] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22910/stat : 22910 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 10133 33554432000 4194304 4196468 140729311723248 140307598445456 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22911] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22911/stat : 22911 (java) S 22899 22899 22500 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 98500831 26628161536 10133 33554432000 4194304 4196468 140729311723248 140306395330800 140307653204610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22912] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22912/stat : 22912 (java) S 22899 22899 22500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98500832 26628161536 10133 33554432000 4194304 4196468 140729311723248 140306394277024 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22913] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22913/stat : 22913 (java) S 22899 22899 22500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98500832 26628161536 10133 33554432000 4194304 4196468 140729311723248 140306393223920 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22914] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22914/stat : 22914 (java) S 22899 22899 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98500834 26628161536 10133 33554432000 4194304 4196468 140729311723248 140306392172496 140307653212059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22915] ppid=22899 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22901/task/22915/stat : 22915 (java) S 22899 22899 22500 0 -1 1077944384 659 0 0 0 1 0 0 0 20 0 20 0 98500834 26628161536 10133 33554432000 4194304 4196468 140729311723248 140306391120624 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22916] ppid=22899 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22901/task/22916/stat : 22916 (java) S 22899 22899 22500 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 20 0 98500834 26628161536 10133 33554432000 4194304 4196468 140729311723248 140306390068080 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22917] ppid=22899 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/22901/task/22917/stat : 22917 (java) S 22899 22899 22500 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 98500834 26628161536 10133 33554432000 4194304 4196468 140729311723248 140306389015024 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22918] ppid=22899 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/22901/task/22918/stat : 22918 (java) R 22899 22899 22500 0 -1 4202560 767 0 0 0 7 0 0 0 20 0 20 0 98500834 26628161536 10133 33554432000 4194304 4196468 140729311723248 140306387962480 140307653214810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22919] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22919/stat : 22919 (java) S 22899 22899 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98500835 26628161536 10133 33554432000 4194304 4196468 140729311723248 140306386909664 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22920] ppid=22899 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22901/task/22920/stat : 22920 (java) S 22899 22899 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98500835 26628161536 10133 33554432000 4194304 4196468 140729311723248 140306385857200 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 41916 KiB
[startup+0.309536 s]*
/proc/loadavg: 8.57 8.73 8.63 3/200 22920
/proc/meminfo: memFree=31547956/32770624 swapFree=67108860/67108860
[pid=22899] ppid=22896 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22899/stat : 22899 (xcsp3-exec) S 22896 22899 22500 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98500828 9740288 346 33554432000 4194304 5098028 140730481841936 140730481840040 139943862403708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34140160 140730481849444 140730481849655 140730481849655 140730481852395 0
/proc/22899/statm: 2378 346 289 221 0 87 0
[pid=22901] ppid=22899 vsize=26004064 memory=47740 CPUtime=0.5 cores=0-7
/proc/22901/stat : 22901 (java) S 22899 22899 22500 0 -1 1077944320 9111 0 0 0 46 4 0 0 20 0 20 0 98500829 26628161536 11935 33554432000 4194304 4196468 140729311723248 140729311705792 140307653193463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
/proc/22901/statm: 6501016 11935 3107 1 0 6488269 0
[pid=22901/tid=22902] ppid=22899 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22901/task/22902/stat : 22902 (java) R 22899 22899 22500 0 -1 4202560 6001 0 0 0 27 2 0 0 20 0 20 0 98500829 26628161536 11935 33554432000 4194304 4196468 140729311723248 140307657419360 140307653215389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22903] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22903/stat : 22903 (java) S 22899 22899 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 11935 33554432000 4194304 4196468 140729311723248 140307605813776 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22904] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22904/stat : 22904 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 11935 33554432000 4194304 4196468 140729311723248 140307604761232 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22905] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22905/stat : 22905 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 11935 33554432000 4194304 4196468 140729311723248 140307603708176 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22906] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22906/stat : 22906 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 11935 33554432000 4194304 4196468 140729311723248 140307602655632 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22907] ppid=22899 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22901/task/22907/stat : 22907 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 11935 33554432000 4194304 4196468 140729311723248 140307601603600 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22908] ppid=22899 vsize=26004064 memory=140024456770479 CPUtime=0 cores=0-7
/proc/22901/task/22908/stat : 22908 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 11935 33554432000 4194304 4196468 140729311723248 140307600551056 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22909] ppid=22899 vsize=26004064 memory=140024456772784 CPUtime=0 cores=0-7
/proc/22901/task/22909/stat : 22909 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 11935 33554432000 4194304 4196468 140729311723248 140307599498000 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22910] ppid=22899 vsize=26004064 memory=140024456775088 CPUtime=0 cores=0-7
/proc/22901/task/22910/stat : 22910 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26628161536 11935 33554432000 4194304 4196468 140729311723248 140307598445456 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22911] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22911/stat : 22911 (java) S 22899 22899 22500 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 98500831 26628161536 11935 33554432000 4194304 4196468 140729311723248 140306395330800 140307653204610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22912] ppid=22899 vsize=26004064 memory=280048913557136 CPUtime=0 cores=0-7
/proc/22901/task/22912/stat : 22912 (java) S 22899 22899 22500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98500832 26628161536 11935 33554432000 4194304 4196468 140729311723248 140306394277024 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22913] ppid=22899 vsize=26004064 memory=280048913564048 CPUtime=0 cores=0-7
/proc/22901/task/22913/stat : 22913 (java) S 22899 22899 22500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98500832 26628161536 11935 33554432000 4194304 4196468 140729311723248 140306393223920 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22914] ppid=22899 vsize=26004064 memory=280048913505200 CPUtime=0 cores=0-7
/proc/22901/task/22914/stat : 22914 (java) S 22899 22899 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98500834 26628161536 11935 33554432000 4194304 4196468 140729311723248 140306392172496 140307653212059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22915] ppid=22899 vsize=26004064 memory=280048913577872 CPUtime=0.02 cores=0-7
/proc/22901/task/22915/stat : 22915 (java) S 22899 22899 22500 0 -1 1077944384 662 0 0 0 2 0 0 0 20 0 20 0 98500834 26628161536 11935 33554432000 4194304 4196468 140729311723248 140306391120624 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22916] ppid=22899 vsize=26004064 memory=280048913584784 CPUtime=0.02 cores=0-7
/proc/22901/task/22916/stat : 22916 (java) S 22899 22899 22500 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 20 0 98500834 26628161536 11935 33554432000 4194304 4196468 140729311723248 140306390068080 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22917] ppid=22899 vsize=26004064 memory=280048913582480 CPUtime=0.01 cores=0-7
/proc/22901/task/22917/stat : 22917 (java) S 22899 22899 22500 0 -1 1077944384 107 0 0 0 1 0 0 0 20 0 20 0 98500834 26628161536 11935 33554432000 4194304 4196468 140729311723248 140306389015024 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22918] ppid=22899 vsize=26004064 memory=280048913598640 CPUtime=0.12 cores=0-7
/proc/22901/task/22918/stat : 22918 (java) R 22899 22899 22500 0 -1 4202560 865 0 0 0 12 0 0 0 20 0 20 0 98500834 26628161536 11935 33554432000 4194304 4196468 140729311723248 140306387958432 140307646290299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22919] ppid=22899 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22919/stat : 22919 (java) S 22899 22899 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98500835 26628161536 11935 33554432000 4194304 4196468 140729311723248 140306386909664 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22920] ppid=22899 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22901/task/22920/stat : 22920 (java) S 22899 22899 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98500835 26628161536 11935 33554432000 4194304 4196468 140729311723248 140306385857200 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 49124 KiB
[startup+0.700906 s]
/proc/loadavg: 8.57 8.73 8.63 4/200 22920
/proc/meminfo: memFree=31534104/32770624 swapFree=67108860/67108860
[pid=22899] ppid=22896 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22899/stat : 22899 (xcsp3-exec) S 22896 22899 22500 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98500828 9740288 346 33554432000 4194304 5098028 140730481841936 140730481840040 139943862403708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34140160 140730481849444 140730481849655 140730481849655 140730481852395 0
/proc/22899/statm: 2378 346 289 221 0 87 0
[pid=22901] ppid=22899 vsize=26006188 memory=96784 CPUtime=1.77 cores=0-7
/proc/22901/stat : 22901 (java) S 22899 22899 22500 0 -1 1077944320 14275 0 0 0 170 7 0 0 20 0 20 0 98500829 26630336512 24196 33554432000 4194304 4196468 140729311723248 140729311705792 140307653193463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
/proc/22901/statm: 6501547 24196 3205 1 0 6488781 0
[pid=22901/tid=22902] ppid=22899 vsize=26006188 memory=280048913956528 CPUtime=0.67 cores=0-7
/proc/22901/task/22902/stat : 22902 (java) R 22899 22899 22500 0 -1 4202560 6781 0 0 0 64 3 0 0 20 0 20 0 98500829 26630336512 24196 33554432000 4194304 4196468 140729311723248 140307657429728 140307637723235 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22903] ppid=22899 vsize=26006188 memory=140024456979312 CPUtime=0 cores=0-7
/proc/22901/task/22903/stat : 22903 (java) S 22899 22899 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98500830 26630336512 24196 33554432000 4194304 4196468 140729311723248 140307605813776 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22904] ppid=22899 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22904/stat : 22904 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26630336512 24196 33554432000 4194304 4196468 140729311723248 140307604761232 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22905] ppid=22899 vsize=26006188 memory=10928 CPUtime=0 cores=0-7
/proc/22901/task/22905/stat : 22905 (java) S 22899 22899 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98500830 26630336512 24196 33554432000 4194304 4196468 140729311723248 140307603708176 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
################
# More data... #
################
/proc/meminfo: memFree=31223732/32770624 swapFree=67108860/67108860
[pid=22899] ppid=22896 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22899/stat : 22899 (xcsp3-exec) S 22896 22899 22500 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98500828 9740288 346 33554432000 4194304 5098028 140730481841936 140730481840040 139943862403708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34140160 140730481849444 140730481849655 140730481849655 140730481852395 0
/proc/22899/statm: 2378 346 289 221 0 87 0
[pid=22901] ppid=22899 vsize=26538700 memory=370428 CPUtime=19581.6 cores=0-7
/proc/22901/stat : 22901 (java) S 22899 22899 22500 0 -1 1077944320 655547 0 0 0 1954871 3288 0 0 20 0 28 0 98500829 27175628800 92607 33554432000 4194304 4196468 140729311723248 140729311705792 140307653193463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
/proc/22901/statm: 6634675 92607 3303 1 0 6621909 0
[pid=22901/tid=22902] ppid=22899 vsize=26538700 memory=370428 CPUtime=0.8 cores=0-7
/proc/22901/task/22902/stat : 22902 (java) S 22899 22899 22500 0 -1 1077944384 7803 0 0 0 76 4 0 0 20 0 28 0 98500829 27175628800 92607 33554432000 4194304 4196468 140729311723248 140307657434240 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22903] ppid=22899 vsize=26538700 memory=1384 CPUtime=4.51 cores=0-7
/proc/22901/task/22903/stat : 22903 (java) S 22899 22899 22500 0 -1 1077944384 24153 0 0 0 424 27 0 0 20 0 28 0 98500830 27175628800 92607 33554432000 4194304 4196468 140729311723248 140307605813776 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22904] ppid=22899 vsize=26538700 memory=370428 CPUtime=4.54 cores=0-7
/proc/22901/task/22904/stat : 22904 (java) S 22899 22899 22500 0 -1 1077944384 31897 0 0 0 425 29 0 0 20 0 28 0 98500830 27175628800 92607 33554432000 4194304 4196468 140729311723248 140307604761232 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22905] ppid=22899 vsize=26538700 memory=0 CPUtime=4.49 cores=0-7
/proc/22901/task/22905/stat : 22905 (java) S 22899 22899 22500 0 -1 1077944384 27473 0 0 0 423 26 0 0 20 0 28 0 98500830 27175628800 92607 33554432000 4194304 4196468 140729311723248 140307603708176 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22906] ppid=22899 vsize=26538700 memory=1384 CPUtime=4.5 cores=0-7
/proc/22901/task/22906/stat : 22906 (java) S 22899 22899 22500 0 -1 1077944384 27379 0 0 0 421 29 0 0 20 0 28 0 98500830 27175628800 92607 33554432000 4194304 4196468 140729311723248 140307602655632 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22907] ppid=22899 vsize=26538700 memory=1384 CPUtime=4.49 cores=0-7
/proc/22901/task/22907/stat : 22907 (java) S 22899 22899 22500 0 -1 1077944384 23466 0 0 0 420 29 0 0 20 0 28 0 98500830 27175628800 92607 33554432000 4194304 4196468 140729311723248 140307601603600 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22908] ppid=22899 vsize=26538700 memory=370428 CPUtime=4.53 cores=0-7
/proc/22901/task/22908/stat : 22908 (java) S 22899 22899 22500 0 -1 1077944384 26087 0 0 0 425 28 0 0 20 0 28 0 98500830 27175628800 92607 33554432000 4194304 4196468 140729311723248 140307600551056 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22909] ppid=22899 vsize=26538700 memory=0 CPUtime=4.53 cores=0-7
/proc/22901/task/22909/stat : 22909 (java) S 22899 22899 22500 0 -1 1077944384 29080 0 0 0 425 28 0 0 20 0 28 0 98500830 27175628800 92607 33554432000 4194304 4196468 140729311723248 140307599498000 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22910] ppid=22899 vsize=26538700 memory=0 CPUtime=4.55 cores=0-7
/proc/22901/task/22910/stat : 22910 (java) S 22899 22899 22500 0 -1 1077944384 27009 0 0 0 422 33 0 0 20 0 28 0 98500830 27175628800 92607 33554432000 4194304 4196468 140729311723248 140307598445456 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22911] ppid=22899 vsize=26538700 memory=6081644439596585552 CPUtime=46.68 cores=0-7
/proc/22901/task/22911/stat : 22911 (java) S 22899 22899 22500 0 -1 1077944384 46781 0 0 0 1840 2828 0 0 20 0 28 0 98500831 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306395330800 140307653204610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22912] ppid=22899 vsize=26538700 memory=370428 CPUtime=0 cores=0-7
/proc/22901/task/22912/stat : 22912 (java) S 22899 22899 22500 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 98500832 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306394277088 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22913] ppid=22899 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/22901/task/22913/stat : 22913 (java) S 22899 22899 22500 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 98500832 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306393223936 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22914] ppid=22899 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/22901/task/22914/stat : 22914 (java) S 22899 22899 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 98500834 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306392172496 140307653212059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22915] ppid=22899 vsize=26538700 memory=0 CPUtime=2.7 cores=0-7
/proc/22901/task/22915/stat : 22915 (java) S 22899 22899 22500 0 -1 1077944384 20315 0 0 0 265 5 0 0 20 0 28 0 98500834 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306391120624 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22916] ppid=22899 vsize=26538700 memory=1384 CPUtime=2.56 cores=0-7
/proc/22901/task/22916/stat : 22916 (java) S 22899 22899 22500 0 -1 1077944384 21810 0 0 0 251 5 0 0 20 0 28 0 98500834 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306390068080 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22917] ppid=22899 vsize=26538700 memory=370428 CPUtime=3.14 cores=0-7
/proc/22901/task/22917/stat : 22917 (java) S 22899 22899 22500 0 -1 1077944384 22759 0 0 0 307 7 0 0 20 0 28 0 98500834 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306389015024 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22918] ppid=22899 vsize=26538700 memory=640 CPUtime=0.88 cores=0-7
/proc/22901/task/22918/stat : 22918 (java) S 22899 22899 22500 0 -1 1077944384 19403 0 0 0 83 5 0 0 20 0 28 0 98500834 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306387962480 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22919] ppid=22899 vsize=26538700 memory=952 CPUtime=0 cores=0-7
/proc/22901/task/22919/stat : 22919 (java) S 22899 22899 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 98500835 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306386909664 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22920] ppid=22899 vsize=26538700 memory=1236 CPUtime=0.68 cores=0-7
/proc/22901/task/22920/stat : 22920 (java) S 22899 22899 22500 0 -1 1077944384 5312 0 0 0 31 37 0 0 20 0 28 0 98500835 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306385857200 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22977] ppid=22899 vsize=26538700 memory=370428 CPUtime=2078.67 cores=0-7
/proc/22901/task/22977/stat : 22977 (java) R 22899 22899 22500 0 -1 4202560 35058 0 0 0 207846 21 0 0 20 0 28 0 98537553 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306307496184 140307277826376 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22978] ppid=22899 vsize=26538700 memory=1384 CPUtime=2072.95 cores=0-7
/proc/22901/task/22978/stat : 22978 (java) R 22899 22899 22500 0 -1 4202560 25413 0 0 0 207271 24 0 0 20 0 28 0 98537553 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306306445272 140307278161828 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22979] ppid=22899 vsize=26538700 memory=370428 CPUtime=2074.48 cores=0-7
/proc/22901/task/22979/stat : 22979 (java) R 22899 22899 22500 0 -1 4202560 30393 0 0 0 207424 24 0 0 20 0 28 0 98537553 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306305395552 140307270544142 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22980] ppid=22899 vsize=26538700 memory=1384 CPUtime=2071.67 cores=0-7
/proc/22901/task/22980/stat : 22980 (java) R 22899 22899 22500 0 -1 4202560 33216 0 0 0 207140 27 0 0 20 0 28 0 98537553 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306382135544 140307278897007 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22981] ppid=22899 vsize=26538700 memory=370428 CPUtime=2107.39 cores=0-7
/proc/22901/task/22981/stat : 22981 (java) R 22899 22899 22500 0 -1 4202560 30383 0 0 0 210674 65 0 0 20 0 28 0 98537553 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306308550496 140307280413549 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22982] ppid=22899 vsize=26538700 memory=4052 CPUtime=2074.13 cores=0-7
/proc/22901/task/22982/stat : 22982 (java) R 22899 22899 22500 0 -1 4202560 19815 0 0 0 207395 18 0 0 20 0 28 0 98537553 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306309603184 140307278161820 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22983] ppid=22899 vsize=26538700 memory=4132 CPUtime=2073.59 cores=0-7
/proc/22901/task/22983/stat : 22983 (java) R 22899 22899 22500 0 -1 4202560 26473 0 0 0 207338 21 0 0 20 0 28 0 98537553 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306303287384 140307278161980 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22984] ppid=22899 vsize=26538700 memory=28440 CPUtime=2073.99 cores=0-7
/proc/22901/task/22984/stat : 22984 (java) R 22899 22899 22500 0 -1 4202560 28339 0 0 0 207375 24 0 0 20 0 28 0 98537554 27175628800 92607 33554432000 4194304 4196468 140729311723248 140306304339296 140307278161775 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
Current children cumulated CPU time: 19581.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 371812 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 7.40 7.69 7.94 9/208 23038
/proc/meminfo: memFree=31229068/32770624 swapFree=67108860/67108860
[pid=22899] ppid=22896 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22899/stat : 22899 (xcsp3-exec) S 22896 22899 22500 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 98500828 9740288 346 33554432000 4194304 5098028 140730481841936 140730481840040 139943862403708 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34140160 140730481849444 140730481849655 140730481849655 140730481852395 0
/proc/22899/statm: 2378 346 289 221 0 87 0
[pid=22901] ppid=22899 vsize=26538700 memory=364872 CPUtime=19718.4 cores=0-7
/proc/22901/stat : 22901 (java) S 22899 22899 22500 0 -1 1077944320 657670 0 0 0 1968508 3328 0 0 20 0 28 0 98500829 27175628800 91218 33554432000 4194304 4196468 140729311723248 140729311705792 140307653193463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
/proc/22901/statm: 6634675 91218 3303 1 0 6621909 0
[pid=22901/tid=22902] ppid=22899 vsize=26538700 memory=6791534058613427641 CPUtime=0.8 cores=0-7
/proc/22901/task/22902/stat : 22902 (java) S 22899 22899 22500 0 -1 1077944384 7803 0 0 0 76 4 0 0 20 0 28 0 98500829 27175628800 91218 33554432000 4194304 4196468 140729311723248 140307657434240 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22903] ppid=22899 vsize=26538700 memory=4126316290023845779 CPUtime=4.63 cores=0-7
/proc/22901/task/22903/stat : 22903 (java) S 22899 22899 22500 0 -1 1077944384 24153 0 0 0 436 27 0 0 20 0 28 0 98500830 27175628800 91218 33554432000 4194304 4196468 140729311723248 140307605813776 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22904] ppid=22899 vsize=26538700 memory=1692 CPUtime=4.67 cores=0-7
/proc/22901/task/22904/stat : 22904 (java) S 22899 22899 22500 0 -1 1077944384 31906 0 0 0 438 29 0 0 20 0 28 0 98500830 27175628800 91218 33554432000 4194304 4196468 140729311723248 140307604761232 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22905] ppid=22899 vsize=26538700 memory=916 CPUtime=4.63 cores=0-7
/proc/22901/task/22905/stat : 22905 (java) S 22899 22899 22500 0 -1 1077944384 27475 0 0 0 437 26 0 0 20 0 28 0 98500830 27175628800 91218 33554432000 4194304 4196468 140729311723248 140307603708176 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22906] ppid=22899 vsize=26538700 memory=4188 CPUtime=4.64 cores=0-7
/proc/22901/task/22906/stat : 22906 (java) S 22899 22899 22500 0 -1 1077944384 27387 0 0 0 435 29 0 0 20 0 28 0 98500830 27175628800 91218 33554432000 4194304 4196468 140729311723248 140307602655632 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22907] ppid=22899 vsize=26538700 memory=836 CPUtime=4.63 cores=0-7
/proc/22901/task/22907/stat : 22907 (java) S 22899 22899 22500 0 -1 1077944384 23472 0 0 0 433 30 0 0 20 0 28 0 98500830 27175628800 91218 33554432000 4194304 4196468 140729311723248 140307601603600 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22908] ppid=22899 vsize=26538700 memory=1692 CPUtime=4.68 cores=0-7
/proc/22901/task/22908/stat : 22908 (java) S 22899 22899 22500 0 -1 1077944384 26100 0 0 0 439 29 0 0 20 0 28 0 98500830 27175628800 91218 33554432000 4194304 4196468 140729311723248 140307600551056 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22909] ppid=22899 vsize=26538700 memory=916 CPUtime=4.67 cores=0-7
/proc/22901/task/22909/stat : 22909 (java) S 22899 22899 22500 0 -1 1077944384 29081 0 0 0 439 28 0 0 20 0 28 0 98500830 27175628800 91218 33554432000 4194304 4196468 140729311723248 140307599498000 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22910] ppid=22899 vsize=26538700 memory=4188 CPUtime=4.65 cores=0-7
/proc/22901/task/22910/stat : 22910 (java) S 22899 22899 22500 0 -1 1077944384 27237 0 0 0 432 33 0 0 20 0 28 0 98500830 27175628800 91218 33554432000 4194304 4196468 140729311723248 140307598445456 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22911] ppid=22899 vsize=26538700 memory=4108 CPUtime=47.32 cores=0-7
/proc/22901/task/22911/stat : 22911 (java) S 22899 22899 22500 0 -1 1077944384 48551 0 0 0 1865 2867 0 0 20 0 28 0 98500831 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306395330800 140307653204610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22912] ppid=22899 vsize=26538700 memory=1156 CPUtime=0 cores=0-7
/proc/22901/task/22912/stat : 22912 (java) S 22899 22899 22500 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 98500832 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306394277088 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22913] ppid=22899 vsize=26538700 memory=3716 CPUtime=0 cores=0-7
/proc/22901/task/22913/stat : 22913 (java) S 22899 22899 22500 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 98500832 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306393223936 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22914] ppid=22899 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/22901/task/22914/stat : 22914 (java) S 22899 22899 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 98500834 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306392172496 140307653212059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22915] ppid=22899 vsize=26538700 memory=370428 CPUtime=2.7 cores=0-7
/proc/22901/task/22915/stat : 22915 (java) S 22899 22899 22500 0 -1 1077944384 20315 0 0 0 265 5 0 0 20 0 28 0 98500834 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306391120624 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22916] ppid=22899 vsize=26538700 memory=6791534058613427641 CPUtime=2.56 cores=0-7
/proc/22901/task/22916/stat : 22916 (java) S 22899 22899 22500 0 -1 1077944384 21810 0 0 0 251 5 0 0 20 0 28 0 98500834 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306390068080 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22917] ppid=22899 vsize=26538700 memory=1788 CPUtime=3.14 cores=0-7
/proc/22901/task/22917/stat : 22917 (java) S 22899 22899 22500 0 -1 1077944384 22759 0 0 0 307 7 0 0 20 0 28 0 98500834 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306389015024 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22918] ppid=22899 vsize=26538700 memory=640 CPUtime=0.88 cores=0-7
/proc/22901/task/22918/stat : 22918 (java) S 22899 22899 22500 0 -1 1077944384 19403 0 0 0 83 5 0 0 20 0 28 0 98500834 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306387962480 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22919] ppid=22899 vsize=26538700 memory=952 CPUtime=0 cores=0-7
/proc/22901/task/22919/stat : 22919 (java) S 22899 22899 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 98500835 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306386909664 140307653203669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22920] ppid=22899 vsize=26538700 memory=1236 CPUtime=0.68 cores=0-7
/proc/22901/task/22920/stat : 22920 (java) S 22899 22899 22500 0 -1 1077944384 5314 0 0 0 31 37 0 0 20 0 28 0 98500835 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306385857200 140307653204610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22977] ppid=22899 vsize=26538700 memory=4384 CPUtime=2095.55 cores=0-7
/proc/22901/task/22977/stat : 22977 (java) R 22899 22899 22500 0 -1 4202560 35065 0 0 0 209534 21 0 0 20 0 28 0 98537553 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306307496792 140307278161246 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22978] ppid=22899 vsize=26538700 memory=932 CPUtime=2089.72 cores=0-7
/proc/22901/task/22978/stat : 22978 (java) R 22899 22899 22500 0 -1 4202560 25421 0 0 0 208948 24 0 0 20 0 28 0 98537553 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306306444656 140307276051636 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22979] ppid=22899 vsize=26538700 memory=1576 CPUtime=2091.33 cores=0-7
/proc/22901/task/22979/stat : 22979 (java) R 22899 22899 22500 0 -1 4202560 30400 0 0 0 209109 24 0 0 20 0 28 0 98537553 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306305392760 140307277139339 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22980] ppid=22899 vsize=26538700 memory=2240 CPUtime=2088.48 cores=0-7
/proc/22901/task/22980/stat : 22980 (java) R 22899 22899 22500 0 -1 4202560 33221 0 0 0 208821 27 0 0 20 0 28 0 98537553 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306382134944 140307277682630 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22981] ppid=22899 vsize=26538700 memory=4128 CPUtime=2124.65 cores=0-7
/proc/22901/task/22981/stat : 22981 (java) R 22899 22899 22500 0 -1 4202560 30420 0 0 0 212400 65 0 0 20 0 28 0 98537553 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306308550496 140307280413576 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22982] ppid=22899 vsize=26538700 memory=2200 CPUtime=2091 cores=0-7
/proc/22901/task/22982/stat : 22982 (java) R 22899 22899 22500 0 -1 4202560 19821 0 0 0 209082 18 0 0 20 0 28 0 98537553 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306309606224 140307278161851 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22983] ppid=22899 vsize=26538700 memory=6508 CPUtime=2090.45 cores=0-7
/proc/22901/task/22983/stat : 22983 (java) R 22899 22899 22500 0 -1 4202560 26479 0 0 0 209024 21 0 0 20 0 28 0 98537553 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306303286776 140307276250095 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
[pid=22901/tid=22984] ppid=22899 vsize=26538700 memory=1384 CPUtime=2090.8 cores=0-7
/proc/22901/task/22984/stat : 22984 (java) R 22899 22899 22500 0 -1 4202560 28347 0 0 0 209056 24 0 0 20 0 28 0 98537554 27175628800 91218 33554432000 4194304 4196468 140729311723248 140306304339288 140307278161851 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 10199040 140729311728786 140729311728963 140729311728963 140729311731663 0
Current children cumulated CPU time: 19718.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 366256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 22899 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00096 s, system=0.00096 s
[startup+2520.14 s]
# the end of solver process 22901 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19685.9 s, system=33.3017 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
[startup+2520.13 s]*
/proc/loadavg: 7.40 7.69 7.94 3/207 23040
/proc/meminfo: memFree=31229328/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.00192 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2520.14
CPU time (s): 19719.2
CPU user time (s): 19685.9
CPU system time (s): 33.3017
CPU usage (%): 782.465
Max. virtual memory (cumulated for all children) (KiB): 26549980
Max. memory (cumulated for all children) (KiB): 521636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19685.9
system time used= 33.3017
maximum resident set size= 543340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 658356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 331818
involuntary context switches= 211137
# summary of solver processes directly reported to runsolver:
# pid: 22899,22901
# total CPU time (s): 19719.2
# total CPU user time (s): 19685.9
# total CPU system time (s): 33.3017
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.2712 second user time and 24.3272 second system time
The end
Begin job on node115 at 2017-08-13 21:41:13
IDJOB=4270745
IDBENCH=115729
IDSOLVER=2662
FILE ID=node115/4270745-1502654131
RUNJOBID= node115-1502650746-22527
PBS_JOBID= 20628947
Free space on /tmp= 61812 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-015-15-7.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-4270745-1502654131/watcher-4270745-1502654131 -o /tmp/evaluation-result-4270745-1502654131/solver-4270745-1502654131 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502650746-22527 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1935818523 HOME/instance-4270745-1502654131.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= fe547a27c953c30f0dd43f8aa0b4ac9f
RANDOM SEED=1935818523
node115.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31581584 kB
MemAvailable: 31982956 kB
Buffers: 135340 kB
Cached: 552092 kB
SwapCached: 0 kB
Active: 527884 kB
Inactive: 215956 kB
Active(anon): 4920 kB
Inactive(anon): 79404 kB
Active(file): 522964 kB
Inactive(file): 136552 kB
Unevictable: 6220 kB
Mlocked: 6220 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7964 kB
Writeback: 0 kB
AnonPages: 61556 kB
Mapped: 43136 kB
Shmem: 25224 kB
Slab: 141524 kB
SReclaimable: 115380 kB
SUnreclaim: 26144 kB
KernelStack: 3216 kB
PageTables: 5420 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61804 MiB
End job on node115 at 2017-08-13 22:23:13