0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270744-1502656652.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4270744-1502656652.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
2.19/0.81 c solve instance...
174.69/22.69 o 1330
502.57/63.95 o 1328
503.38/64.08 o 1327
503.38/64.10 o 1326
623.35/79.21 o 1322
1064.26/134.90 o 1321
1064.26/134.96 o 1320
1066.59/135.29 o 1319
1067.39/135.32 o 1318
2322.33/294.15 o 1317
2472.40/313.66 o 1316
3053.53/391.94 o 1315
3364.55/431.52 o 1314
3412.09/437.60 o 1313
3645.58/469.42 o 1312
8118.05/1047.32 o 1307
19508.92/2520.10 s SATISFIABLE
19508.92/2520.10 v <instantiation>
19508.92/2520.10 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>
19508.92/2520.10 v <values>0 40 136 195 290 366 441 487 552 749 765 836 917 1002 1101 0 136 224 357 450 518 531 569 604 661 698 791 829 897 991 210 297 343 357 518 548 687 749 786 940 1010 1107 1158 1160 1211 0 19 34 76 84 193 208 284 319 412 524 617 813 894 1167 44 112 207 397 465 556 593 724 795 897 1030 1081 1146 1167 1197 0 14 15 84 156 162 193 323 373 456 765 851 884 917 1220 114 135 388 574 644 724 795 842 938 994 1072 1125 1135 1227 1264 0 29 114 297 309 371 441 496 544 560 644 741 994 1200 1246 0 37 161 210 233 291 373 430 479 488 548 916 999 1092 1160 40 41 114 161 207 217 280 366 450 476 487 884 1125 1200 1249 14 36 85 118 120 144 226 663 731 752 813 882 1015 1216 1255 307 388 444 465 560 646 665 814 938 960 1010 1021 1123 1200 1228 41 62 162 233 465 487 510 595 734 752 765 880 940 985 1062 62 224 319 371 580 613 625 698 829 904 916 999 1002 1092 1152 114 208 226 280 322 456 531 613 666 960 1058 1098 1149 1150 1227 1125 1062 1307 1264 1261 1279 1297 1293 1220 1300 1303 1303 1152 1158 1239 </values>
19508.92/2520.10 v </instantiation>
19508.92/2520.10 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-4270744-1502656652/watcher-4270744-1502656652 -o /tmp/evaluation-result-4270744-1502656652/solver-4270744-1502656652 -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 2103471227 HOME/instance-4270744-1502656652.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=23105, runsolver pid=23102
[startup+0.100163 s]*
/proc/loadavg: 7.40 7.69 7.94 2/200 23126
/proc/meminfo: memFree=31565168/32770624 swapFree=67108860/67108860
[pid=23105] ppid=23102 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/23105/stat : 23105 (xcsp3-exec) S 23102 23105 22500 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 98752996 9740288 345 33554432000 4194304 5098028 140723384049392 140723384047496 140262251180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28823552 140723384050788 140723384050999 140723384050999 140723384053739 0
/proc/23105/statm: 2378 345 289 221 0 87 0
[pid=23107] ppid=23105 vsize=25999808 memory=26944 CPUtime=0.12 cores=0-7
/proc/23107/stat : 23107 (java) S 23105 23105 22500 0 -1 1077944320 5615 0 0 0 11 1 0 0 20 0 20 0 98752996 26623803392 6736 33554432000 4194304 4196468 140721788478752 140721788461296 139890006896375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
/proc/23107/statm: 6499952 6736 2883 1 0 6488269 0
[pid=23107/tid=23108] ppid=23105 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/23107/task/23108/stat : 23108 (java) R 23105 23105 22500 0 -1 4202560 3614 0 0 0 8 0 0 0 20 0 20 0 98752997 26623803392 6736 33554432000 4194304 4196468 140721788478752 139890011128624 139890006908310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23109] ppid=23105 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/23107/task/23109/stat : 23109 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26623803392 6736 33554432000 4194304 4196468 140721788478752 139889972177680 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23110] ppid=23105 vsize=25999808 memory=139669894137472 CPUtime=0 cores=0-7
/proc/23107/task/23110/stat : 23110 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26623803392 6736 33554432000 4194304 4196468 140721788478752 139889563978640 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23111] ppid=23105 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23111/stat : 23111 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26623803392 6736 33554432000 4194304 4196468 140721788478752 139889562926096 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23112] ppid=23105 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23112/stat : 23112 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26623803392 6736 33554432000 4194304 4196468 140721788478752 139889561873552 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23113] ppid=23105 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23113/stat : 23113 (java) S 23105 23105 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98752997 26623803392 6736 33554432000 4194304 4196468 140721788478752 139889560819984 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23114] ppid=23105 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23107/task/23114/stat : 23114 (java) S 23105 23105 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98752997 26623803392 6736 33554432000 4194304 4196468 140721788478752 139889559767440 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23115] ppid=23105 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23115/stat : 23115 (java) S 23105 23105 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98752997 26623803392 6736 33554432000 4194304 4196468 140721788478752 139889558714896 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23116] ppid=23105 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23116/stat : 23116 (java) S 23105 23105 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98752997 26623803392 6736 33554432000 4194304 4196468 140721788478752 139889557662352 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23117] ppid=23105 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23117/stat : 23117 (java) S 23105 23105 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98752999 26623803392 6736 33554432000 4194304 4196468 140721788478752 139888211991024 139890006907522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23118] ppid=23105 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23118/stat : 23118 (java) S 23105 23105 22500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98752999 26623803392 6736 33554432000 4194304 4196468 140721788478752 139888210937248 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23119] ppid=23105 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23119/stat : 23119 (java) S 23105 23105 22500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98752999 26623803392 6736 33554432000 4194304 4196468 140721788478752 139888209884656 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23120] ppid=23105 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23120/stat : 23120 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98753002 26623803392 6736 33554432000 4194304 4196468 140721788478752 139888208833232 139890006914971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23121] ppid=23105 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23121/stat : 23121 (java) S 23105 23105 22500 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 20 0 98753002 26623803392 6736 33554432000 4194304 4196468 140721788478752 139888207779824 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23122] ppid=23105 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23122/stat : 23122 (java) S 23105 23105 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98753002 26623803392 6736 33554432000 4194304 4196468 140721788478752 139888206727280 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23123] ppid=23105 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23123/stat : 23123 (java) S 23105 23105 22500 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 20 0 98753002 26623803392 6736 33554432000 4194304 4196468 140721788478752 139888205674736 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23124] ppid=23105 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/23107/task/23124/stat : 23124 (java) S 23105 23105 22500 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 20 0 98753002 26623803392 6736 33554432000 4194304 4196468 140721788478752 139888204622192 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23125] ppid=23105 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23125/stat : 23125 (java) S 23105 23105 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98753002 26623803392 6736 33554432000 4194304 4196468 140721788478752 139888203569888 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23126] ppid=23105 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23107/task/23126/stat : 23126 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98753002 26623803392 6736 33554432000 4194304 4196468 140721788478752 139888202517424 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28324 KiB
[startup+0.210324 s]*
/proc/loadavg: 7.40 7.69 7.94 2/200 23126
/proc/meminfo: memFree=31554076/32770624 swapFree=67108860/67108860
[pid=23105] ppid=23102 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/23105/stat : 23105 (xcsp3-exec) S 23102 23105 22500 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 98752996 9740288 345 33554432000 4194304 5098028 140723384049392 140723384047496 140262251180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28823552 140723384050788 140723384050999 140723384050999 140723384053739 0
/proc/23105/statm: 2378 345 289 221 0 87 0
[pid=23107] ppid=23105 vsize=26004064 memory=39076 CPUtime=0.33 cores=0-7
/proc/23107/stat : 23107 (java) S 23105 23105 22500 0 -1 1077944320 8348 0 0 0 31 2 0 0 20 0 20 0 98752996 26628161536 9769 33554432000 4194304 4196468 140721788478752 140721788461296 139890006896375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
/proc/23107/statm: 6501016 9769 3033 1 0 6488269 0
[pid=23107/tid=23108] ppid=23105 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23107/task/23108/stat : 23108 (java) R 23105 23105 22500 0 -1 4202560 5452 0 0 0 19 1 0 0 20 0 20 0 98752997 26628161536 9769 33554432000 4194304 4196468 140721788478752 139890011133216 139889990976862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23109] ppid=23105 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/23107/task/23109/stat : 23109 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 9769 33554432000 4194304 4196468 140721788478752 139889972177680 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23110] ppid=23105 vsize=26004064 memory=139669894559688 CPUtime=0 cores=0-7
/proc/23107/task/23110/stat : 23110 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 9769 33554432000 4194304 4196468 140721788478752 139889563978640 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23111] ppid=23105 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23107/task/23111/stat : 23111 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 9769 33554432000 4194304 4196468 140721788478752 139889562926096 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23112] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23112/stat : 23112 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 9769 33554432000 4194304 4196468 140721788478752 139889561873552 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23113] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23113/stat : 23113 (java) S 23105 23105 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 9769 33554432000 4194304 4196468 140721788478752 139889560819984 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23114] ppid=23105 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23107/task/23114/stat : 23114 (java) S 23105 23105 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 9769 33554432000 4194304 4196468 140721788478752 139889559767440 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23115] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23115/stat : 23115 (java) S 23105 23105 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 9769 33554432000 4194304 4196468 140721788478752 139889558714896 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23116] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23116/stat : 23116 (java) S 23105 23105 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 9769 33554432000 4194304 4196468 140721788478752 139889557662352 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23117] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23117/stat : 23117 (java) S 23105 23105 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98752999 26628161536 9769 33554432000 4194304 4196468 140721788478752 139888211991024 139890006907522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23118] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23118/stat : 23118 (java) S 23105 23105 22500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98752999 26628161536 9769 33554432000 4194304 4196468 140721788478752 139888210937248 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23119] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23119/stat : 23119 (java) S 23105 23105 22500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98752999 26628161536 9769 33554432000 4194304 4196468 140721788478752 139888209884656 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23120] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23120/stat : 23120 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98753002 26628161536 9769 33554432000 4194304 4196468 140721788478752 139888208833232 139890006914971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23121] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23121/stat : 23121 (java) S 23105 23105 22500 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 98753002 26628161536 9769 33554432000 4194304 4196468 140721788478752 139888207779824 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23122] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23122/stat : 23122 (java) S 23105 23105 22500 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 98753002 26628161536 9769 33554432000 4194304 4196468 140721788478752 139888206727280 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23123] ppid=23105 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/23107/task/23123/stat : 23123 (java) S 23105 23105 22500 0 -1 1077944384 539 0 0 0 2 0 0 0 20 0 20 0 98753002 26628161536 9769 33554432000 4194304 4196468 140721788478752 139888205674736 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23124] ppid=23105 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/23107/task/23124/stat : 23124 (java) R 23105 23105 22500 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 20 0 98753002 26628161536 9769 33554432000 4194304 4196468 140721788478752 139888204622192 139889999133502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23125] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23125/stat : 23125 (java) S 23105 23105 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98753002 26628161536 9769 33554432000 4194304 4196468 140721788478752 139888203569888 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23126] ppid=23105 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23107/task/23126/stat : 23126 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98753002 26628161536 9769 33554432000 4194304 4196468 140721788478752 139888202517424 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40456 KiB
[startup+0.31005 s]*
/proc/loadavg: 7.40 7.69 7.94 3/200 23126
/proc/meminfo: memFree=31550220/32770624 swapFree=67108860/67108860
[pid=23105] ppid=23102 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/23105/stat : 23105 (xcsp3-exec) S 23102 23105 22500 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 98752996 9740288 345 33554432000 4194304 5098028 140723384049392 140723384047496 140262251180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28823552 140723384050788 140723384050999 140723384050999 140723384053739 0
/proc/23105/statm: 2378 345 289 221 0 87 0
[pid=23107] ppid=23105 vsize=26004064 memory=45752 CPUtime=0.51 cores=0-7
/proc/23107/stat : 23107 (java) S 23105 23105 22500 0 -1 1077944320 9198 0 0 0 48 3 0 0 20 0 20 0 98752996 26628161536 11438 33554432000 4194304 4196468 140721788478752 140721788461296 139890006896375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
/proc/23107/statm: 6501016 11438 3059 1 0 6488269 0
[pid=23107/tid=23108] ppid=23105 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23107/task/23108/stat : 23108 (java) R 23105 23105 22500 0 -1 4202560 6139 0 0 0 28 1 0 0 20 0 20 0 98752997 26628161536 11438 33554432000 4194304 4196468 140721788478752 139890011125088 139890006918301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23109] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23109/stat : 23109 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 11438 33554432000 4194304 4196468 140721788478752 139889972177680 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23110] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23110/stat : 23110 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 11438 33554432000 4194304 4196468 140721788478752 139889563978640 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23111] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23111/stat : 23111 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 11438 33554432000 4194304 4196468 140721788478752 139889562926096 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23112] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23112/stat : 23112 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 11438 33554432000 4194304 4196468 140721788478752 139889561873552 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23113] ppid=23105 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/23107/task/23113/stat : 23113 (java) S 23105 23105 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 11438 33554432000 4194304 4196468 140721788478752 139889560819984 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23114] ppid=23105 vsize=26004064 memory=139669786424239 CPUtime=0 cores=0-7
/proc/23107/task/23114/stat : 23114 (java) S 23105 23105 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 11438 33554432000 4194304 4196468 140721788478752 139889559767440 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23115] ppid=23105 vsize=26004064 memory=139669786426544 CPUtime=0 cores=0-7
/proc/23107/task/23115/stat : 23115 (java) S 23105 23105 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 11438 33554432000 4194304 4196468 140721788478752 139889558714896 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23116] ppid=23105 vsize=26004064 memory=139669786428848 CPUtime=0 cores=0-7
/proc/23107/task/23116/stat : 23116 (java) S 23105 23105 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98752997 26628161536 11438 33554432000 4194304 4196468 140721788478752 139889557662352 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23117] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23117/stat : 23117 (java) S 23105 23105 22500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 98752999 26628161536 11438 33554432000 4194304 4196468 140721788478752 139888211991024 139890006907522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23118] ppid=23105 vsize=26004064 memory=279339572864656 CPUtime=0 cores=0-7
/proc/23107/task/23118/stat : 23118 (java) S 23105 23105 22500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 98752999 26628161536 11438 33554432000 4194304 4196468 140721788478752 139888210937248 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23119] ppid=23105 vsize=26004064 memory=279339572871568 CPUtime=0 cores=0-7
/proc/23107/task/23119/stat : 23119 (java) S 23105 23105 22500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 98752999 26628161536 11438 33554432000 4194304 4196468 140721788478752 139888209884656 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23120] ppid=23105 vsize=26004064 memory=279339572812720 CPUtime=0 cores=0-7
/proc/23107/task/23120/stat : 23120 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98753002 26628161536 11438 33554432000 4194304 4196468 140721788478752 139888208833232 139890006914971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23121] ppid=23105 vsize=26004064 memory=279339572885392 CPUtime=0.01 cores=0-7
/proc/23107/task/23121/stat : 23121 (java) S 23105 23105 22500 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 98753002 26628161536 11438 33554432000 4194304 4196468 140721788478752 139888207779824 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23122] ppid=23105 vsize=26004064 memory=279339572892304 CPUtime=0.01 cores=0-7
/proc/23107/task/23122/stat : 23122 (java) S 23105 23105 22500 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 98753002 26628161536 11438 33554432000 4194304 4196468 140721788478752 139888206727280 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23123] ppid=23105 vsize=26004064 memory=279339572890000 CPUtime=0.04 cores=0-7
/proc/23107/task/23123/stat : 23123 (java) S 23105 23105 22500 0 -1 1077944384 610 0 0 0 4 0 0 0 20 0 20 0 98753002 26628161536 11438 33554432000 4194304 4196468 140721788478752 139888205674736 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23124] ppid=23105 vsize=26004064 memory=279339572906160 CPUtime=0.12 cores=0-7
/proc/23107/task/23124/stat : 23124 (java) R 23105 23105 22500 0 -1 4202560 826 0 0 0 12 0 0 0 20 0 20 0 98753002 26628161536 11438 33554432000 4194304 4196468 140721788478752 139888204618560 139890006908310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23125] ppid=23105 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23125/stat : 23125 (java) S 23105 23105 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 98753002 26628161536 11438 33554432000 4194304 4196468 140721788478752 139888203569888 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23126] ppid=23105 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23107/task/23126/stat : 23126 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98753002 26628161536 11438 33554432000 4194304 4196468 140721788478752 139888202517424 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47132 KiB
[startup+0.700946 s]
/proc/loadavg: 7.40 7.69 7.94 4/200 23126
/proc/meminfo: memFree=31535764/32770624 swapFree=67108860/67108860
[pid=23105] ppid=23102 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/23105/stat : 23105 (xcsp3-exec) S 23102 23105 22500 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 98752996 9740288 345 33554432000 4194304 5098028 140723384049392 140723384047496 140262251180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28823552 140723384050788 140723384050999 140723384050999 140723384053739 0
/proc/23105/statm: 2378 345 289 221 0 87 0
[pid=23107] ppid=23105 vsize=26006188 memory=93852 CPUtime=1.76 cores=0-7
/proc/23107/stat : 23107 (java) S 23105 23105 22500 0 -1 1077944320 14646 0 0 0 171 5 0 0 20 0 20 0 98752996 26630336512 23463 33554432000 4194304 4196468 140721788478752 140721788461296 139890006896375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
/proc/23107/statm: 6501547 23463 3206 1 0 6488781 0
[pid=23107/tid=23108] ppid=23105 vsize=26006188 memory=279339573264048 CPUtime=0.67 cores=0-7
/proc/23107/task/23108/stat : 23108 (java) R 23105 23105 22500 0 -1 4202560 6914 0 0 0 65 2 0 0 20 0 20 0 98752997 26630336512 23463 33554432000 4194304 4196468 140721788478752 139890011133680 139889647557324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23109] ppid=23105 vsize=26006188 memory=139669786633072 CPUtime=0 cores=0-7
/proc/23107/task/23109/stat : 23109 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26630336512 23463 33554432000 4194304 4196468 140721788478752 139889972177680 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23110] ppid=23105 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/23107/task/23110/stat : 23110 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26630336512 23463 33554432000 4194304 4196468 140721788478752 139889563978640 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23111] ppid=23105 vsize=26006188 memory=10928 CPUtime=0 cores=0-7
/proc/23107/task/23111/stat : 23111 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 98752997 26630336512 23463 33554432000 4194304 4196468 140721788478752 139889562926096 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
################
# More data... #
################
[pid=23107/tid=23278] ppid=23105 vsize=26538700 memory=366864 CPUtime=1335.35 cores=0-7
/proc/23107/task/23278/stat : 23278 (java) R 23105 23105 22500 0 -1 4202560 16096 0 0 0 133516 19 0 0 20 0 28 0 98857729 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888194506488 139889650502223 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
Current children cumulated CPU time: 18913.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 368244 KiB
[startup+2502.3 s]
/proc/loadavg: 7.63 7.63 7.81 9/208 23318
/proc/meminfo: memFree=31227444/32770624 swapFree=67108860/67108860
[pid=23105] ppid=23102 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/23105/stat : 23105 (xcsp3-exec) S 23102 23105 22500 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 98752996 9740288 345 33554432000 4194304 5098028 140723384049392 140723384047496 140262251180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28823552 140723384050788 140723384050999 140723384050999 140723384053739 0
/proc/23105/statm: 2378 345 289 221 0 87 0
[pid=23107] ppid=23105 vsize=26538700 memory=366864 CPUtime=19372.9 cores=0-7
/proc/23107/stat : 23107 (java) S 23105 23105 22500 0 -1 1077944320 633754 0 0 0 1932561 4731 0 0 20 0 28 0 98752996 27175628800 91716 33554432000 4194304 4196468 140721788478752 140721788461296 139890006896375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
/proc/23107/statm: 6634675 91716 3304 1 0 6621909 0
[pid=23107/tid=23108] ppid=23105 vsize=26538700 memory=366864 CPUtime=0.81 cores=0-7
/proc/23107/task/23108/stat : 23108 (java) S 23105 23105 22500 0 -1 1077944384 8520 0 0 0 78 3 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139890011137152 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23109] ppid=23105 vsize=26538700 memory=366864 CPUtime=5.22 cores=0-7
/proc/23107/task/23109/stat : 23109 (java) S 23105 23105 22500 0 -1 1077944384 25656 0 0 0 486 36 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889972177680 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23110] ppid=23105 vsize=26538700 memory=366864 CPUtime=5.19 cores=0-7
/proc/23107/task/23110/stat : 23110 (java) S 23105 23105 22500 0 -1 1077944384 23414 0 0 0 488 31 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889563978640 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23111] ppid=23105 vsize=26538700 memory=366864 CPUtime=5.23 cores=0-7
/proc/23107/task/23111/stat : 23111 (java) S 23105 23105 22500 0 -1 1077944384 24963 0 0 0 492 31 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889562926096 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23112] ppid=23105 vsize=26538700 memory=366864 CPUtime=5.16 cores=0-7
/proc/23107/task/23112/stat : 23112 (java) S 23105 23105 22500 0 -1 1077944384 26669 0 0 0 485 31 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889561873552 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23113] ppid=23105 vsize=26538700 memory=1380 CPUtime=5.18 cores=0-7
/proc/23107/task/23113/stat : 23113 (java) S 23105 23105 22500 0 -1 1077944384 25688 0 0 0 486 32 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889560819984 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23114] ppid=23105 vsize=26538700 memory=198547748205714 CPUtime=5.18 cores=0-7
/proc/23107/task/23114/stat : 23114 (java) S 23105 23105 22500 0 -1 1077944384 24636 0 0 0 490 28 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889559767440 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23115] ppid=23105 vsize=26538700 memory=366864 CPUtime=5.18 cores=0-7
/proc/23107/task/23115/stat : 23115 (java) S 23105 23105 22500 0 -1 1077944384 24940 0 0 0 485 33 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889558714896 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23116] ppid=23105 vsize=26538700 memory=1380 CPUtime=5.22 cores=0-7
/proc/23107/task/23116/stat : 23116 (java) S 23105 23105 22500 0 -1 1077944384 26153 0 0 0 490 32 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889557662352 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23117] ppid=23105 vsize=26538700 memory=1380 CPUtime=68.53 cores=0-7
/proc/23107/task/23117/stat : 23117 (java) S 23105 23105 22500 0 -1 1077944384 73206 0 0 0 2584 4269 0 0 20 0 28 0 98752999 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888211991024 139890006907522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23118] ppid=23105 vsize=26538700 memory=366864 CPUtime=0 cores=0-7
/proc/23107/task/23118/stat : 23118 (java) S 23105 23105 22500 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 98752999 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888210937312 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23119] ppid=23105 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/23107/task/23119/stat : 23119 (java) S 23105 23105 22500 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 98752999 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888209884672 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23120] ppid=23105 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/23107/task/23120/stat : 23120 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 98753002 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888208833232 139890006914971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23121] ppid=23105 vsize=26538700 memory=4132 CPUtime=3.67 cores=0-7
/proc/23107/task/23121/stat : 23121 (java) S 23105 23105 22500 0 -1 1077944384 23194 0 0 0 362 5 0 0 20 0 28 0 98753002 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888207779824 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23122] ppid=23105 vsize=26538700 memory=1380 CPUtime=3.15 cores=0-7
/proc/23107/task/23122/stat : 23122 (java) S 23105 23105 22500 0 -1 1077944384 21843 0 0 0 311 4 0 0 20 0 28 0 98753002 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888206727280 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23123] ppid=23105 vsize=26538700 memory=1380 CPUtime=3.39 cores=0-7
/proc/23107/task/23123/stat : 23123 (java) S 23105 23105 22500 0 -1 1077944384 19631 0 0 0 333 6 0 0 20 0 28 0 98753002 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888205674736 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23124] ppid=23105 vsize=26538700 memory=1380 CPUtime=0.92 cores=0-7
/proc/23107/task/23124/stat : 23124 (java) S 23105 23105 22500 0 -1 1077944384 21872 0 0 0 88 4 0 0 20 0 28 0 98753002 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888204622192 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23125] ppid=23105 vsize=26538700 memory=366864 CPUtime=0 cores=0-7
/proc/23107/task/23125/stat : 23125 (java) S 23105 23105 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 98753002 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888203569888 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23126] ppid=23105 vsize=26538700 memory=1380 CPUtime=0.65 cores=0-7
/proc/23107/task/23126/stat : 23126 (java) S 23105 23105 22500 0 -1 1077944384 5076 0 0 0 21 44 0 0 20 0 28 0 98753002 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888202517424 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23271] ppid=23105 vsize=26538700 memory=366864 CPUtime=1392.85 cores=0-7
/proc/23107/task/23271/stat : 23271 (java) R 23105 23105 22500 0 -1 4202560 16472 0 0 0 139266 19 0 0 20 0 28 0 98857728 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888193453592 139889653328618 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23272] ppid=23105 vsize=26538700 memory=366864 CPUtime=1391.16 cores=0-7
/proc/23107/task/23272/stat : 23272 (java) R 23105 23105 22500 0 -1 4202560 19853 0 0 0 139103 13 0 0 20 0 28 0 98857728 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888192401712 139889651243312 0 4 0 16800975 0 0 0 -1 6 0 0 12 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23273] ppid=23105 vsize=26538700 memory=1380 CPUtime=1393.79 cores=0-7
/proc/23107/task/23273/stat : 23273 (java) R 23105 23105 22500 0 -1 4202560 22310 0 0 0 139362 17 0 0 20 0 28 0 98857728 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888191351120 139889650980044 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23274] ppid=23105 vsize=26538700 memory=6791534058613427641 CPUtime=1392.79 cores=0-7
/proc/23107/task/23274/stat : 23274 (java) R 23105 23105 22500 0 -1 4202560 18136 0 0 0 139258 21 0 0 20 0 28 0 98857728 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888190295760 139889651846078 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23275] ppid=23105 vsize=26538700 memory=4616 CPUtime=1391.25 cores=0-7
/proc/23107/task/23275/stat : 23275 (java) R 23105 23105 22500 0 -1 4202560 19500 0 0 0 139109 16 0 0 20 0 28 0 98857728 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888187141360 139889651847091 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23276] ppid=23105 vsize=26538700 memory=366864 CPUtime=1432.77 cores=0-7
/proc/23107/task/23276/stat : 23276 (java) R 23105 23105 22500 0 -1 4202560 15436 0 0 0 143252 25 0 0 20 0 28 0 98857728 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888189242992 139889644544695 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23277] ppid=23105 vsize=26538700 memory=516 CPUtime=1392.37 cores=0-7
/proc/23107/task/23277/stat : 23277 (java) R 23105 23105 22500 0 -1 4202560 11588 0 0 0 139221 16 0 0 20 0 28 0 98857729 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888188190776 139889651846868 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23278] ppid=23105 vsize=26538700 memory=1380 CPUtime=1391.75 cores=0-7
/proc/23107/task/23278/stat : 23278 (java) R 23105 23105 22500 0 -1 4202560 16446 0 0 0 139155 20 0 0 20 0 28 0 98857729 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888194506808 139889650906081 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
Current children cumulated CPU time: 19372.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 368244 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 7.39 7.56 7.78 9/208 23318
/proc/meminfo: memFree=31227112/32770624 swapFree=67108860/67108860
[pid=23105] ppid=23102 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/23105/stat : 23105 (xcsp3-exec) S 23102 23105 22500 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 98752996 9740288 345 33554432000 4194304 5098028 140723384049392 140723384047496 140262251180668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28823552 140723384050788 140723384050999 140723384050999 140723384053739 0
/proc/23105/statm: 2378 345 289 221 0 87 0
[pid=23107] ppid=23105 vsize=26538700 memory=366864 CPUtime=19508.9 cores=0-7
/proc/23107/stat : 23107 (java) S 23105 23105 22500 0 -1 1077944320 635898 0 0 0 1946107 4785 0 0 20 0 28 0 98752996 27175628800 91716 33554432000 4194304 4196468 140721788478752 140721788461296 139890006896375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
/proc/23107/statm: 6634675 91716 3304 1 0 6621909 0
[pid=23107/tid=23108] ppid=23105 vsize=26538700 memory=6791534058613427641 CPUtime=0.81 cores=0-7
/proc/23107/task/23108/stat : 23108 (java) S 23105 23105 22500 0 -1 1077944384 8520 0 0 0 78 3 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139890011137152 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23109] ppid=23105 vsize=26538700 memory=4126316290023845779 CPUtime=5.25 cores=0-7
/proc/23107/task/23109/stat : 23109 (java) S 23105 23105 22500 0 -1 1077944384 25672 0 0 0 489 36 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889972177680 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23110] ppid=23105 vsize=26538700 memory=836 CPUtime=5.23 cores=0-7
/proc/23107/task/23110/stat : 23110 (java) S 23105 23105 22500 0 -1 1077944384 23470 0 0 0 492 31 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889563978640 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23111] ppid=23105 vsize=26538700 memory=1692 CPUtime=5.28 cores=0-7
/proc/23107/task/23111/stat : 23111 (java) S 23105 23105 22500 0 -1 1077944384 25000 0 0 0 496 32 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889562926096 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23112] ppid=23105 vsize=26538700 memory=916 CPUtime=5.2 cores=0-7
/proc/23107/task/23112/stat : 23112 (java) S 23105 23105 22500 0 -1 1077944384 26746 0 0 0 489 31 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889561873552 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23113] ppid=23105 vsize=26538700 memory=4132 CPUtime=5.21 cores=0-7
/proc/23107/task/23113/stat : 23113 (java) S 23105 23105 22500 0 -1 1077944384 26019 0 0 0 489 32 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889560819984 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23114] ppid=23105 vsize=26538700 memory=6791534058613427641 CPUtime=5.21 cores=0-7
/proc/23107/task/23114/stat : 23114 (java) S 23105 23105 22500 0 -1 1077944384 24662 0 0 0 493 28 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889559767440 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23115] ppid=23105 vsize=26538700 memory=4384 CPUtime=5.21 cores=0-7
/proc/23107/task/23115/stat : 23115 (java) S 23105 23105 22500 0 -1 1077944384 25015 0 0 0 488 33 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889558714896 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23116] ppid=23105 vsize=26538700 memory=932 CPUtime=5.25 cores=0-7
/proc/23107/task/23116/stat : 23116 (java) S 23105 23105 22500 0 -1 1077944384 26251 0 0 0 493 32 0 0 20 0 28 0 98752997 27175628800 91716 33554432000 4194304 4196468 140721788478752 139889557662352 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23117] ppid=23105 vsize=26538700 memory=1576 CPUtime=69.31 cores=0-7
/proc/23107/task/23117/stat : 23117 (java) S 23105 23105 22500 0 -1 1077944384 73597 0 0 0 2612 4319 0 0 20 0 28 0 98752999 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888211991024 139890006907522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23118] ppid=23105 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/23107/task/23118/stat : 23118 (java) S 23105 23105 22500 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 98752999 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888210937312 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23119] ppid=23105 vsize=26538700 memory=4128 CPUtime=0 cores=0-7
/proc/23107/task/23119/stat : 23119 (java) S 23105 23105 22500 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 98752999 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888209884672 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23120] ppid=23105 vsize=26538700 memory=2200 CPUtime=0 cores=0-7
/proc/23107/task/23120/stat : 23120 (java) S 23105 23105 22500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 98753002 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888208833232 139890006914971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23121] ppid=23105 vsize=26538700 memory=6508 CPUtime=3.67 cores=0-7
/proc/23107/task/23121/stat : 23121 (java) S 23105 23105 22500 0 -1 1077944384 23196 0 0 0 362 5 0 0 20 0 28 0 98753002 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888207779824 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23122] ppid=23105 vsize=26538700 memory=836 CPUtime=3.15 cores=0-7
/proc/23107/task/23122/stat : 23122 (java) S 23105 23105 22500 0 -1 1077944384 21845 0 0 0 311 4 0 0 20 0 28 0 98753002 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888206727280 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23123] ppid=23105 vsize=26538700 memory=1692 CPUtime=3.39 cores=0-7
/proc/23107/task/23123/stat : 23123 (java) S 23105 23105 22500 0 -1 1077944384 19633 0 0 0 333 6 0 0 20 0 28 0 98753002 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888205674736 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23124] ppid=23105 vsize=26538700 memory=3472328296227679313 CPUtime=0.92 cores=0-7
/proc/23107/task/23124/stat : 23124 (java) S 23105 23105 22500 0 -1 1077944384 21874 0 0 0 88 4 0 0 20 0 28 0 98753002 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888204622192 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23125] ppid=23105 vsize=26538700 memory=-5645398933277033679 CPUtime=0 cores=0-7
/proc/23107/task/23125/stat : 23125 (java) S 23105 23105 22500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 98753002 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888203569888 139890006906581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23126] ppid=23105 vsize=26538700 memory=-7374316317644315291 CPUtime=0.65 cores=0-7
/proc/23107/task/23126/stat : 23126 (java) S 23105 23105 22500 0 -1 1077944384 5100 0 0 0 21 44 0 0 20 0 28 0 98753002 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888202517424 139890006907522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23271] ppid=23105 vsize=26538700 memory=56 CPUtime=1409.7 cores=0-7
/proc/23107/task/23271/stat : 23271 (java) R 23105 23105 22500 0 -1 4202560 16614 0 0 0 140950 20 0 0 20 0 28 0 98857728 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888193453272 139889651844865 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23272] ppid=23105 vsize=26538700 memory=-6154842325909786713 CPUtime=1408.01 cores=0-7
/proc/23107/task/23272/stat : 23272 (java) R 23105 23105 22500 0 -1 4202560 19986 0 0 0 140788 13 0 0 20 0 28 0 98857728 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888192402152 139889650906236 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23273] ppid=23105 vsize=26538700 memory=7145360659970758309 CPUtime=1410.64 cores=0-7
/proc/23107/task/23273/stat : 23273 (java) R 23105 23105 22500 0 -1 4202560 22524 0 0 0 141046 18 0 0 20 0 28 0 98857728 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888191348280 139889653325337 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23274] ppid=23105 vsize=26538700 memory=-5572198946909413983 CPUtime=1409.53 cores=0-7
/proc/23107/task/23274/stat : 23274 (java) R 23105 23105 22500 0 -1 4202560 18233 0 0 0 140932 21 0 0 20 0 28 0 98857728 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888190295736 139889649641237 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23275] ppid=23105 vsize=26538700 memory=-6226649038124242273 CPUtime=1408.05 cores=0-7
/proc/23107/task/23275/stat : 23275 (java) R 23105 23105 22500 0 -1 4202560 19619 0 0 0 140788 17 0 0 20 0 28 0 98857728 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888187141296 139889648760835 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23276] ppid=23105 vsize=26538700 memory=-6803086799399446618 CPUtime=1450.17 cores=0-7
/proc/23107/task/23276/stat : 23276 (java) R 23105 23105 22500 0 -1 4202560 15533 0 0 0 144992 25 0 0 20 0 28 0 98857728 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888189242992 139889644544667 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23277] ppid=23105 vsize=26538700 memory=-7837572623253464166 CPUtime=1409.09 cores=0-7
/proc/23107/task/23277/stat : 23277 (java) R 23105 23105 22500 0 -1 4202560 11664 0 0 0 140892 17 0 0 20 0 28 0 98857729 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888188190936 139889651847072 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
[pid=23107/tid=23278] ppid=23105 vsize=26538700 memory=-7229522505840875623 CPUtime=1408.49 cores=0-7
/proc/23107/task/23278/stat : 23278 (java) R 23105 23105 22500 0 -1 4202560 16573 0 0 0 140829 20 0 0 20 0 28 0 98857729 27175628800 91716 33554432000 4194304 4196468 140721788478752 139888194509720 139889650060461 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 21749760 140721788486802 140721788486979 140721788486979 140721788489679 0
Current children cumulated CPU time: 19508.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 368244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 23105 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001945 s
[startup+2520.12 s]
# the end of solver process 23107 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19461.6 s, system=47.8848 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): 19509.5
CPU user time (s): 19461.6
CPU system time (s): 47.8848
CPU usage (%): 774.15
Max. virtual memory (cumulated for all children) (KiB): 26550276
Max. memory (cumulated for all children) (KiB): 535160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19461.6
system time used= 47.8848
maximum resident set size= 533952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 636771
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 367746
involuntary context switches= 210703
# summary of solver processes directly reported to runsolver:
# pid: 23105,23107
# total CPU time (s): 19509.5
# total CPU user time (s): 19461.6
# total CPU system time (s): 47.8848
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.9456 second user time and 23.3618 second system time
The end
Begin job on node115 at 2017-08-13 22:23:14
IDJOB=4270744
IDBENCH=115757
IDSOLVER=2662
FILE ID=node115/4270744-1502656652
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-4.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270744-1502656652/watcher-4270744-1502656652 -o /tmp/evaluation-result-4270744-1502656652/solver-4270744-1502656652 -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 2103471227 HOME/instance-4270744-1502656652.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 428eef4dc0068476798a4d67b3fd28ef
RANDOM SEED=2103471227
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: 31581096 kB
MemAvailable: 31983444 kB
Buffers: 136364 kB
Cached: 551988 kB
SwapCached: 0 kB
Active: 527184 kB
Inactive: 217036 kB
Active(anon): 4344 kB
Inactive(anon): 79404 kB
Active(file): 522840 kB
Inactive(file): 137632 kB
Unevictable: 6220 kB
Mlocked: 6220 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7760 kB
Writeback: 0 kB
AnonPages: 61788 kB
Mapped: 43940 kB
Shmem: 25224 kB
Slab: 141128 kB
SReclaimable: 115420 kB
SUnreclaim: 25708 kB
KernelStack: 3280 kB
PageTables: 4776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323320 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 23:05:14