0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280557-1503109193.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4280557-1503109193.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
2.15/0.85 c solve instance...
6733.91/854.81 o 1476
19406.99/2520.09 s SATISFIABLE
19406.99/2520.09 v <instantiation>
19406.99/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] s[15][0] s[15][1] s[15][2] s[15][3] s[15][4] s[15][5] s[15][6] s[15][7] s[15][8] s[15][9] s[15][10] s[15][11] s[15][12] s[15][13] s[15][14] s[16][0] s[16][1] s[16][2] s[16][3] s[16][4] s[16][5] s[16][6] s[16][7] s[16][8] s[16][9] s[16][10] s[16][11] s[16][12] s[16][13] s[16][14] s[17][0] s[17][1] s[17][2] s[17][3] s[17][4] s[17][5] s[17][6] s[17][7] s[17][8] s[17][9] s[17][10] s[17][11] s[17][12] s[17][13] s[17][14] s[18][0] s[18][1] s[18][2] s[18][3] s[18][4] s[18][5] s[18][6] s[18][7] s[18][8] s[18][9] s[18][10] s[18][11] s[18][12] s[18][13] s[18][14] s[19][0] s[19][1] s[19][2] s[19][3] s[19][4] s[19][5] s[19][6] s[19][7] s[19][8] s[19][9] s[19][10] s[19][11] s[19][12] s[19][13] s[19][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] e[15] e[16] e[17] e[18] e[19] </list>
19406.99/2520.09 v <values>403 534 608 659 835 843 864 928 938 1025 1030 1089 1097 1250 1279 277 364 537 627 733 748 781 920 988 1085 1137 1206 1257 1272 1292 231 315 413 440 538 679 727 747 787 829 862 1009 1217 1243 1341 0 60 142 160 207 243 317 329 369 476 578 630 720 998 1314 142 232 266 283 320 438 766 864 1051 1121 1227 1238 1251 1277 1369 118 174 370 460 574 669 710 717 784 861 932 1006 1138 1241 1389 6 42 114 171 287 461 534 623 658 664 835 908 957 1048 1091 97 343 403 441 552 819 928 1026 1118 1202 1270 1271 1357 1390 1456 155 173 185 206 336 399 507 646 702 769 845 906 944 1015 1449 1 83 173 264 435 571 717 798 857 929 1018 1060 1274 1344 1438 95 214 294 316 463 559 638 744 1020 1120 1191 1256 1272 1360 1423 20 41 129 285 351 455 477 547 818 938 1147 1257 1340 1409 1446 13 112 156 205 259 317 325 366 512 547 557 632 650 723 1423 84 153 479 628 676 721 774 805 902 960 1062 1188 1303 1360 1387 52 150 195 298 348 380 785 819 900 971 1025 1046 1093 1115 1158 0 70 412 568 771 832 886 902 928 945 989 1087 1176 1243 1322 2 22 98 206 337 497 630 903 924 1060 1107 1170 1246 1289 1398 63 171 279 416 521 562 700 834 965 1032 1088 1194 1204 1288 1389 41 81 157 204 225 308 405 440 485 576 726 904 996 1281 1363 4 41 165 225 287 408 539 789 865 934 1013 1091 1176 1265 1431 1360 1374 1396 1403 1456 1444 1183 1476 1474 1476 1476 1472 1468 1473 1251 1363 1421 1463 1409 1473 </values>
19406.99/2520.09 v </instantiation>
19406.99/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 (12704 MiB free)
memory of node 1: 16384 MiB (13864 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280557-1503109193/watcher-4280557-1503109193 -o /tmp/evaluation-result-4280557-1503109193/solver-4280557-1503109193 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503100768-21489 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1594633994 HOME/instance-4280557-1503109193.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=22212, runsolver pid=22209
[startup+0.100135 s]*
/proc/loadavg: 7.44 7.91 8.12 2/200 22233
/proc/meminfo: memFree=27193956/32770624 swapFree=67108860/67108860
[pid=22212] ppid=22209 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22212/stat : 22212 (xcsp3-exec) S 22209 22212 21462 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144006860 9740288 346 33554432000 4194304 5098028 140721537302672 140721537300776 140632647823996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22749184 140721537311844 140721537312055 140721537312055 140721537314795 0
/proc/22212/statm: 2378 346 289 221 0 87 0
[pid=22214] ppid=22212 vsize=25999808 memory=26212 CPUtime=0.12 cores=0-7
/proc/22214/stat : 22214 (java) S 22212 22212 21462 0 -1 1077944320 5496 0 0 0 11 1 0 0 20 0 20 0 144006860 26623803392 6553 33554432000 4194304 4196468 140737045018080 140737045000624 140470730444535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
/proc/22214/statm: 6499952 6553 2847 1 0 6488269 0
[pid=22214/tid=22215] ppid=22212 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/22214/task/22215/stat : 22215 (java) R 22212 22212 21462 0 -1 4202560 3500 0 0 0 8 0 0 0 20 0 20 0 144006861 26623803392 6553 33554432000 4194304 4196468 140737045018080 140470734677808 140470730456470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22216] ppid=22212 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22214/task/22216/stat : 22216 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006862 26623803392 6553 33554432000 4194304 4196468 140737045018080 140470683064720 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22217] ppid=22212 vsize=25999808 memory=140369022740096 CPUtime=0 cores=0-7
/proc/22214/task/22217/stat : 22217 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006862 26623803392 6553 33554432000 4194304 4196468 140737045018080 140470682011920 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22218] ppid=22212 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22218/stat : 22218 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006862 26623803392 6553 33554432000 4194304 4196468 140737045018080 140470680959632 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22219] ppid=22212 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22219/stat : 22219 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006862 26623803392 6553 33554432000 4194304 4196468 140737045018080 140470679906832 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22220] ppid=22212 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22220/stat : 22220 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006862 26623803392 6553 33554432000 4194304 4196468 140737045018080 140470678854544 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22221] ppid=22212 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22214/task/22221/stat : 22221 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006862 26623803392 6553 33554432000 4194304 4196468 140737045018080 140470677801744 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22222] ppid=22212 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22222/stat : 22222 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006862 26623803392 6553 33554432000 4194304 4196468 140737045018080 140470676749456 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22223] ppid=22212 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22223/stat : 22223 (java) S 22212 22212 21462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144006862 26623803392 6553 33554432000 4194304 4196468 140737045018080 140470675696656 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22224] ppid=22212 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22224/stat : 22224 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006863 26623803392 6553 33554432000 4194304 4196468 140737045018080 140469002033264 140470730455682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22225] ppid=22212 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22225/stat : 22225 (java) S 22212 22212 21462 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144006864 26623803392 6553 33554432000 4194304 4196468 140737045018080 140469000979232 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22226] ppid=22212 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22226/stat : 22226 (java) S 22212 22212 21462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144006864 26623803392 6553 33554432000 4194304 4196468 140737045018080 140468999926896 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22227] ppid=22212 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22227/stat : 22227 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006866 26623803392 6553 33554432000 4194304 4196468 140737045018080 140468998875216 140470730463131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22228] ppid=22212 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22228/stat : 22228 (java) S 22212 22212 21462 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 144006866 26623803392 6553 33554432000 4194304 4196468 140737045018080 140468997823088 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22229] ppid=22212 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22229/stat : 22229 (java) S 22212 22212 21462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144006866 26623803392 6553 33554432000 4194304 4196468 140737045018080 140468996770288 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22230] ppid=22212 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22230/stat : 22230 (java) S 22212 22212 21462 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 144006866 26623803392 6553 33554432000 4194304 4196468 140737045018080 140468995718000 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22231] ppid=22212 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/22214/task/22231/stat : 22231 (java) R 22212 22212 21462 0 -1 4202560 243 0 0 0 1 0 0 0 20 0 20 0 144006866 26623803392 6553 33554432000 4194304 4196468 140737045018080 140468994665200 140470709149451 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22232] ppid=22212 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22232/stat : 22232 (java) S 22212 22212 21462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144006867 26623803392 6553 33554432000 4194304 4196468 140737045018080 140468993612128 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22233] ppid=22212 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22214/task/22233/stat : 22233 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006867 26623803392 6553 33554432000 4194304 4196468 140737045018080 140468992559408 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27596 KiB
[startup+0.210344 s]*
/proc/loadavg: 7.44 7.91 8.12 3/200 22233
/proc/meminfo: memFree=27182036/32770624 swapFree=67108860/67108860
[pid=22212] ppid=22209 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22212/stat : 22212 (xcsp3-exec) S 22209 22212 21462 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144006860 9740288 346 33554432000 4194304 5098028 140721537302672 140721537300776 140632647823996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22749184 140721537311844 140721537312055 140721537312055 140721537314795 0
/proc/22212/statm: 2378 346 289 221 0 87 0
[pid=22214] ppid=22212 vsize=26004064 memory=38900 CPUtime=0.33 cores=0-7
/proc/22214/stat : 22214 (java) S 22212 22212 21462 0 -1 1077944320 8330 0 0 0 31 2 0 0 20 0 20 0 144006860 26628161536 9725 33554432000 4194304 4196468 140737045018080 140737045000624 140470730444535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
/proc/22214/statm: 6501016 9725 3026 1 0 6488269 0
[pid=22214/tid=22215] ppid=22212 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22214/task/22215/stat : 22215 (java) R 22212 22212 21462 0 -1 4202560 5406 0 0 0 18 1 0 0 20 0 20 0 144006861 26628161536 9725 33554432000 4194304 4196468 140737045018080 140470734665360 140470730466461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22216] ppid=22212 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/22214/task/22216/stat : 22216 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 9725 33554432000 4194304 4196468 140737045018080 140470683064720 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22217] ppid=22212 vsize=26004064 memory=140369023394380 CPUtime=0 cores=0-7
/proc/22214/task/22217/stat : 22217 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 9725 33554432000 4194304 4196468 140737045018080 140470682011920 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22218] ppid=22212 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22214/task/22218/stat : 22218 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 9725 33554432000 4194304 4196468 140737045018080 140470680959632 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22219] ppid=22212 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22219/stat : 22219 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 9725 33554432000 4194304 4196468 140737045018080 140470679906832 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22220] ppid=22212 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22220/stat : 22220 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 9725 33554432000 4194304 4196468 140737045018080 140470678854544 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22221] ppid=22212 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22214/task/22221/stat : 22221 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 9725 33554432000 4194304 4196468 140737045018080 140470677801744 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22222] ppid=22212 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22222/stat : 22222 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 9725 33554432000 4194304 4196468 140737045018080 140470676749456 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22223] ppid=22212 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22223/stat : 22223 (java) S 22212 22212 21462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 9725 33554432000 4194304 4196468 140737045018080 140470675696656 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22224] ppid=22212 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22224/stat : 22224 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006863 26628161536 9725 33554432000 4194304 4196468 140737045018080 140469002033264 140470730455682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22225] ppid=22212 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22225/stat : 22225 (java) S 22212 22212 21462 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144006864 26628161536 9725 33554432000 4194304 4196468 140737045018080 140469000979232 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22226] ppid=22212 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22226/stat : 22226 (java) S 22212 22212 21462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144006864 26628161536 9725 33554432000 4194304 4196468 140737045018080 140468999926896 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22227] ppid=22212 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22227/stat : 22227 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006866 26628161536 9725 33554432000 4194304 4196468 140737045018080 140468998875216 140470730463131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22228] ppid=22212 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22214/task/22228/stat : 22228 (java) S 22212 22212 21462 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 20 0 144006866 26628161536 9725 33554432000 4194304 4196468 140737045018080 140468997823088 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22229] ppid=22212 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/22214/task/22229/stat : 22229 (java) R 22212 22212 21462 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 20 0 144006866 26628161536 9725 33554432000 4194304 4196468 140737045018080 140468996770288 140470730455682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22230] ppid=22212 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/22214/task/22230/stat : 22230 (java) R 22212 22212 21462 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 20 0 144006866 26628161536 9725 33554432000 4194304 4196468 140737045018080 140468995718000 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22231] ppid=22212 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/22214/task/22231/stat : 22231 (java) S 22212 22212 21462 0 -1 1077944384 725 0 0 0 7 0 0 0 20 0 20 0 144006866 26628161536 9725 33554432000 4194304 4196468 140737045018080 140468994665200 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22232] ppid=22212 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22232/stat : 22232 (java) S 22212 22212 21462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144006867 26628161536 9725 33554432000 4194304 4196468 140737045018080 140468993612128 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22233] ppid=22212 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22214/task/22233/stat : 22233 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006867 26628161536 9725 33554432000 4194304 4196468 140737045018080 140468992559408 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40284 KiB
[startup+0.310333 s]*
/proc/loadavg: 7.44 7.91 8.12 3/200 22233
/proc/meminfo: memFree=27178004/32770624 swapFree=67108860/67108860
[pid=22212] ppid=22209 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22212/stat : 22212 (xcsp3-exec) S 22209 22212 21462 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144006860 9740288 346 33554432000 4194304 5098028 140721537302672 140721537300776 140632647823996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22749184 140721537311844 140721537312055 140721537312055 140721537314795 0
/proc/22212/statm: 2378 346 289 221 0 87 0
[pid=22214] ppid=22212 vsize=26004064 memory=45556 CPUtime=0.49 cores=0-7
/proc/22214/stat : 22214 (java) S 22212 22212 21462 0 -1 1077944320 9125 0 0 0 47 2 0 0 20 0 20 0 144006860 26628161536 11389 33554432000 4194304 4196468 140737045018080 140737045000624 140470730444535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
/proc/22214/statm: 6501016 11389 3042 1 0 6488269 0
[pid=22214/tid=22215] ppid=22212 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22214/task/22215/stat : 22215 (java) R 22212 22212 21462 0 -1 4202560 6081 0 0 0 27 2 0 0 20 0 20 0 144006861 26628161536 11389 33554432000 4194304 4196468 140737045018080 140470734683872 140470714525022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22216] ppid=22212 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22216/stat : 22216 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 11389 33554432000 4194304 4196468 140737045018080 140470683064720 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22217] ppid=22212 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22217/stat : 22217 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 11389 33554432000 4194304 4196468 140737045018080 140470682011920 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22218] ppid=22212 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22218/stat : 22218 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 11389 33554432000 4194304 4196468 140737045018080 140470680959632 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22219] ppid=22212 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22214/task/22219/stat : 22219 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 11389 33554432000 4194304 4196468 140737045018080 140470679906832 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22220] ppid=22212 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22214/task/22220/stat : 22220 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 11389 33554432000 4194304 4196468 140737045018080 140470678854544 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22221] ppid=22212 vsize=26004064 memory=140368926571695 CPUtime=0 cores=0-7
/proc/22214/task/22221/stat : 22221 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 11389 33554432000 4194304 4196468 140737045018080 140470677801744 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22222] ppid=22212 vsize=26004064 memory=3472464267107743200 CPUtime=0 cores=0-7
/proc/22214/task/22222/stat : 22222 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 11389 33554432000 4194304 4196468 140737045018080 140470676749456 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22223] ppid=22212 vsize=26004064 memory=140368926576304 CPUtime=0 cores=0-7
/proc/22214/task/22223/stat : 22223 (java) S 22212 22212 21462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144006862 26628161536 11389 33554432000 4194304 4196468 140737045018080 140470675696656 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22224] ppid=22212 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22224/stat : 22224 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006863 26628161536 11389 33554432000 4194304 4196468 140737045018080 140469002033264 140470730455682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22225] ppid=22212 vsize=26004064 memory=280737853161872 CPUtime=0 cores=0-7
/proc/22214/task/22225/stat : 22225 (java) S 22212 22212 21462 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144006864 26628161536 11389 33554432000 4194304 4196468 140737045018080 140469000979232 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22226] ppid=22212 vsize=26004064 memory=280737853103024 CPUtime=0 cores=0-7
/proc/22214/task/22226/stat : 22226 (java) S 22212 22212 21462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144006864 26628161536 11389 33554432000 4194304 4196468 140737045018080 140468999926896 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22227] ppid=22212 vsize=26004064 memory=280737853175696 CPUtime=0 cores=0-7
/proc/22214/task/22227/stat : 22227 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006866 26628161536 11389 33554432000 4194304 4196468 140737045018080 140468998875216 140470730463131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22228] ppid=22212 vsize=26004064 memory=280737853182608 CPUtime=0.02 cores=0-7
/proc/22214/task/22228/stat : 22228 (java) S 22212 22212 21462 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 20 0 144006866 26628161536 11389 33554432000 4194304 4196468 140737045018080 140468997823088 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22229] ppid=22212 vsize=26004064 memory=280737853180304 CPUtime=0.03 cores=0-7
/proc/22214/task/22229/stat : 22229 (java) S 22212 22212 21462 0 -1 1077944384 376 0 0 0 3 0 0 0 20 0 20 0 144006866 26628161536 11389 33554432000 4194304 4196468 140737045018080 140468996770288 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22230] ppid=22212 vsize=26004064 memory=280737853196432 CPUtime=0.01 cores=0-7
/proc/22214/task/22230/stat : 22230 (java) S 22212 22212 21462 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 20 0 144006866 26628161536 11389 33554432000 4194304 4196468 140737045018080 140468995718000 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22231] ppid=22212 vsize=26004064 memory=280737853194128 CPUtime=0.12 cores=0-7
/proc/22214/task/22231/stat : 22231 (java) R 22212 22212 21462 0 -1 4202560 832 0 0 0 12 0 0 0 20 0 20 0 144006866 26628161536 11389 33554432000 4194304 4196468 140737045018080 140468994661152 140470715924812 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22232] ppid=22212 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22232/stat : 22232 (java) S 22212 22212 21462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144006867 26628161536 11389 33554432000 4194304 4196468 140737045018080 140468993612128 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22233] ppid=22212 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22214/task/22233/stat : 22233 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006867 26628161536 11389 33554432000 4194304 4196468 140737045018080 140468992559408 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46940 KiB
[startup+0.70104 s]
/proc/loadavg: 7.44 7.91 8.12 3/200 22233
/proc/meminfo: memFree=27163052/32770624 swapFree=67108860/67108860
[pid=22212] ppid=22209 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22212/stat : 22212 (xcsp3-exec) S 22209 22212 21462 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144006860 9740288 346 33554432000 4194304 5098028 140721537302672 140721537300776 140632647823996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22749184 140721537311844 140721537312055 140721537312055 140721537314795 0
/proc/22212/statm: 2378 346 289 221 0 87 0
[pid=22214] ppid=22212 vsize=26006188 memory=89384 CPUtime=1.71 cores=0-7
/proc/22214/stat : 22214 (java) S 22212 22212 21462 0 -1 1077944320 13580 0 0 0 166 5 0 0 20 0 20 0 144006860 26630336512 22346 33554432000 4194304 4196468 140737045018080 140737045000624 140470730444535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
/proc/22214/statm: 6501547 22346 3204 1 0 6488781 0
[pid=22214/tid=22215] ppid=22212 vsize=26006188 memory=0 CPUtime=0.67 cores=0-7
/proc/22214/task/22215/stat : 22215 (java) R 22212 22212 21462 0 -1 4202560 6903 0 0 0 64 3 0 0 20 0 20 0 144006861 26630336512 22346 33554432000 4194304 4196468 140737045018080 140470734677648 140470349200404 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22216] ppid=22212 vsize=26006188 memory=140368926782832 CPUtime=0 cores=0-7
/proc/22214/task/22216/stat : 22216 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006862 26630336512 22346 33554432000 4194304 4196468 140737045018080 140470683064720 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22217] ppid=22212 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22217/stat : 22217 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144006862 26630336512 22346 33554432000 4194304 4196468 140737045018080 140470682011920 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22218] ppid=22212 vsize=26006188 memory=11108 CPUtime=0 cores=0-7
/proc/22214/task/22218/stat : 22218 (java) S 22212 22212 21462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144006862 26630336512 22346 33554432000 4194304 4196468 140737045018080 140470680959632 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
################
# More data... #
################
[pid=22214/tid=22253] ppid=22212 vsize=26538700 memory=349036 CPUtime=1539.1 cores=0-7
/proc/22214/task/22253/stat : 22253 (java) R 22212 22212 21462 0 -1 4202560 27796 0 0 0 153886 24 0 0 20 0 28 0 144092342 27175628800 87058 33554432000 4194304 4196468 140737045018080 140468987141496 140470353756136 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22254] ppid=22212 vsize=26538700 memory=4052 CPUtime=1536.57 cores=0-7
/proc/22214/task/22254/stat : 22254 (java) R 22212 22212 21462 0 -1 4202560 17670 0 0 0 153636 21 0 0 20 0 28 0 144092342 27175628800 87058 33554432000 4194304 4196468 140737045018080 140468242328464 140470353756534 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
Current children cumulated CPU time: 19276 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 349616 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 7.98 7.78 7.83 9/207 22283
/proc/meminfo: memFree=26877036/32770624 swapFree=67108860/67108860
[pid=22212] ppid=22209 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22212/stat : 22212 (xcsp3-exec) S 22209 22212 21462 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 144006860 9740288 346 33554432000 4194304 5098028 140721537302672 140721537300776 140632647823996 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22749184 140721537311844 140721537312055 140721537312055 140721537314795 0
/proc/22212/statm: 2378 346 289 221 0 87 0
[pid=22214] ppid=22212 vsize=26538700 memory=348108 CPUtime=19407 cores=0-7
/proc/22214/stat : 22214 (java) S 22212 22212 21462 0 -1 1077944320 593070 0 0 0 1933361 7338 0 0 20 0 28 0 144006860 27175628800 87027 33554432000 4194304 4196468 140737045018080 140737045000624 140470730444535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
/proc/22214/statm: 6634675 87027 3311 1 0 6621909 0
[pid=22214/tid=22215] ppid=22212 vsize=26538700 memory=1398720917958146503 CPUtime=0.83 cores=0-7
/proc/22214/task/22215/stat : 22215 (java) S 22212 22212 21462 0 -1 1077944384 7100 0 0 0 80 3 0 0 20 0 28 0 144006861 27175628800 87027 33554432000 4194304 4196468 140737045018080 140470734685312 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22216] ppid=22212 vsize=26538700 memory=4872558044660077418 CPUtime=5.44 cores=0-7
/proc/22214/task/22216/stat : 22216 (java) S 22212 22212 21462 0 -1 1077944384 22761 0 0 0 513 31 0 0 20 0 28 0 144006862 27175628800 87027 33554432000 4194304 4196468 140737045018080 140470683064720 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22217] ppid=22212 vsize=26538700 memory=1928 CPUtime=5.52 cores=0-7
/proc/22214/task/22217/stat : 22217 (java) S 22212 22212 21462 0 -1 1077944384 23817 0 0 0 521 31 0 0 20 0 28 0 144006862 27175628800 87027 33554432000 4194304 4196468 140737045018080 140470682011920 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22218] ppid=22212 vsize=26538700 memory=1200 CPUtime=5.46 cores=0-7
/proc/22214/task/22218/stat : 22218 (java) S 22212 22212 21462 0 -1 1077944384 23656 0 0 0 513 33 0 0 20 0 28 0 144006862 27175628800 87027 33554432000 4194304 4196468 140737045018080 140470680959632 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22219] ppid=22212 vsize=26538700 memory=8656 CPUtime=5.46 cores=0-7
/proc/22214/task/22219/stat : 22219 (java) S 22212 22212 21462 0 -1 1077944384 20062 0 0 0 515 31 0 0 20 0 28 0 144006862 27175628800 87027 33554432000 4194304 4196468 140737045018080 140470679906832 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22220] ppid=22212 vsize=26538700 memory=1384 CPUtime=5.52 cores=0-7
/proc/22214/task/22220/stat : 22220 (java) S 22212 22212 21462 0 -1 1077944384 25105 0 0 0 521 31 0 0 20 0 28 0 144006862 27175628800 87027 33554432000 4194304 4196468 140737045018080 140470678854544 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22221] ppid=22212 vsize=26538700 memory=348108 CPUtime=5.49 cores=0-7
/proc/22214/task/22221/stat : 22221 (java) S 22212 22212 21462 0 -1 1077944384 22054 0 0 0 517 32 0 0 20 0 28 0 144006862 27175628800 87027 33554432000 4194304 4196468 140737045018080 140470677801744 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22222] ppid=22212 vsize=26538700 memory=2200 CPUtime=5.47 cores=0-7
/proc/22214/task/22222/stat : 22222 (java) S 22212 22212 21462 0 -1 1077944384 26856 0 0 0 515 32 0 0 20 0 28 0 144006862 27175628800 87027 33554432000 4194304 4196468 140737045018080 140470676749456 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22223] ppid=22212 vsize=26538700 memory=7284 CPUtime=5.5 cores=0-7
/proc/22214/task/22223/stat : 22223 (java) S 22212 22212 21462 0 -1 1077944384 26095 0 0 0 519 31 0 0 20 0 28 0 144006862 27175628800 87027 33554432000 4194304 4196468 140737045018080 140470675696656 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22224] ppid=22212 vsize=26538700 memory=836 CPUtime=104.7 cores=0-7
/proc/22214/task/22224/stat : 22224 (java) S 22212 22212 21462 0 -1 1077944384 58347 0 0 0 3585 6885 0 0 20 0 28 0 144006863 27175628800 87027 33554432000 4194304 4196468 140737045018080 140469002033264 140470730455682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22225] ppid=22212 vsize=26538700 memory=1692 CPUtime=0 cores=0-7
/proc/22214/task/22225/stat : 22225 (java) S 22212 22212 21462 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 144006864 27175628800 87027 33554432000 4194304 4196468 140737045018080 140469000979296 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22226] ppid=22212 vsize=26538700 memory=916 CPUtime=0 cores=0-7
/proc/22214/task/22226/stat : 22226 (java) S 22212 22212 21462 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 144006864 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468999926912 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22227] ppid=22212 vsize=26538700 memory=4116 CPUtime=0 cores=0-7
/proc/22214/task/22227/stat : 22227 (java) S 22212 22212 21462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144006866 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468998875216 140470730463131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22228] ppid=22212 vsize=26538700 memory=1152 CPUtime=3.3 cores=0-7
/proc/22214/task/22228/stat : 22228 (java) S 22212 22212 21462 0 -1 1077944384 20815 0 0 0 323 7 0 0 20 0 28 0 144006866 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468997823088 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22229] ppid=22212 vsize=26538700 memory=3840 CPUtime=3.2 cores=0-7
/proc/22214/task/22229/stat : 22229 (java) S 22212 22212 21462 0 -1 1077944384 22789 0 0 0 315 5 0 0 20 0 28 0 144006866 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468996770288 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22230] ppid=22212 vsize=26538700 memory=1384 CPUtime=2.95 cores=0-7
/proc/22214/task/22230/stat : 22230 (java) S 22212 22212 21462 0 -1 1077944384 21349 0 0 0 289 6 0 0 20 0 28 0 144006866 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468995718000 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22231] ppid=22212 vsize=26538700 memory=1384 CPUtime=0.96 cores=0-7
/proc/22214/task/22231/stat : 22231 (java) S 22212 22212 21462 0 -1 1077944384 15466 0 0 0 92 4 0 0 20 0 28 0 144006866 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468994665200 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22232] ppid=22212 vsize=26538700 memory=348108 CPUtime=0 cores=0-7
/proc/22214/task/22232/stat : 22232 (java) S 22212 22212 21462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144006867 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468993612128 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22233] ppid=22212 vsize=26538700 memory=15876 CPUtime=0.66 cores=0-7
/proc/22214/task/22233/stat : 22233 (java) S 22212 22212 21462 0 -1 1077944384 3540 0 0 0 44 22 0 0 20 0 28 0 144006867 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468992559408 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22247] ppid=22212 vsize=26538700 memory=4052 CPUtime=1554.81 cores=0-7
/proc/22214/task/22247/stat : 22247 (java) R 22212 22212 21462 0 -1 4202560 26137 0 0 0 155456 25 0 0 20 0 28 0 144092341 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468241271528 140470353756318 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22248] ppid=22212 vsize=26538700 memory=23196 CPUtime=1554.93 cores=0-7
/proc/22214/task/22248/stat : 22248 (java) R 22212 22212 21462 0 -1 4202560 28604 0 0 0 155472 21 0 0 20 0 28 0 144092342 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468239169872 140470353422191 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22249] ppid=22212 vsize=26538700 memory=18444 CPUtime=1554.89 cores=0-7
/proc/22214/task/22249/stat : 22249 (java) R 22212 22212 21462 0 -1 4202560 24783 0 0 0 155466 23 0 0 20 0 28 0 144092342 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468245483496 140470352371998 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22250] ppid=22212 vsize=26538700 memory=1788 CPUtime=1629.55 cores=0-7
/proc/22214/task/22250/stat : 22250 (java) R 22212 22212 21462 0 -1 4202560 28212 0 0 0 162937 18 0 0 20 0 28 0 144092342 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468243377888 140470355739613 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22251] ppid=22212 vsize=26538700 memory=640 CPUtime=1587.62 cores=0-7
/proc/22214/task/22251/stat : 22251 (java) R 22212 22212 21462 0 -1 4202560 13132 0 0 0 158741 21 0 0 20 0 28 0 144092342 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468240220368 140470355739695 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22252] ppid=22212 vsize=26538700 memory=952 CPUtime=1555.18 cores=0-7
/proc/22214/task/22252/stat : 22252 (java) R 22212 22212 21462 0 -1 4202560 26292 0 0 0 155496 22 0 0 20 0 28 0 144092342 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468244430608 140470353756542 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22253] ppid=22212 vsize=26538700 memory=1236 CPUtime=1554.96 cores=0-7
/proc/22214/task/22253/stat : 22253 (java) R 22212 22212 21462 0 -1 4202560 27961 0 0 0 155472 24 0 0 20 0 28 0 144092342 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468987141216 140470353756683 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22254] ppid=22212 vsize=26538700 memory=4384 CPUtime=1552.47 cores=0-7
/proc/22214/task/22254/stat : 22254 (java) R 22212 22212 21462 0 -1 4202560 17766 0 0 0 155226 21 0 0 20 0 28 0 144092342 27175628800 87027 33554432000 4194304 4196468 140737045018080 140468242324704 140470353756509 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
Current children cumulated CPU time: 19407 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 349492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 22212 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001917 s
[startup+2520.15 s]
# the end of solver process 22214 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19334.4 s, system=73.4159 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.98 7.78 7.83 3/206 22285
/proc/meminfo: memFree=26877020/32770624 swapFree=67108860/67108860
[pid=22214] ppid=22209 vsize=26671828 memory=348300 CPUtime=19407.8 cores=0-7
/proc/22214/stat : 22214 (java) S 22209 22212 21462 0 -1 1077944320 593328 0 0 0 1933442 7340 0 0 20 0 28 0 144006860 27311951872 87075 33554432000 4194304 4196468 140737045018080 140737045000624 140470730444535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
/proc/22214/statm: 6667957 87075 3311 1 0 6655191 0
[pid=22214/tid=22215] ppid=22209 vsize=26671828 memory=1398720917958146503 CPUtime=0.83 cores=0-7
/proc/22214/task/22215/stat : 22215 (java) S 22209 22212 21462 0 -1 1077944384 7100 0 0 0 80 3 0 0 20 0 28 0 144006861 27311951872 87075 33554432000 4194304 4196468 140737045018080 140470734685312 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22216] ppid=22209 vsize=26671828 memory=4872558044660077418 CPUtime=5.44 cores=0-7
/proc/22214/task/22216/stat : 22216 (java) S 22209 22212 21462 0 -1 1077944384 22761 0 0 0 513 31 0 0 20 0 28 0 144006862 27311951872 87075 33554432000 4194304 4196468 140737045018080 140470683064720 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22217] ppid=22209 vsize=26671828 memory=4128 CPUtime=5.52 cores=0-7
/proc/22214/task/22217/stat : 22217 (java) S 22209 22212 21462 0 -1 1077944384 23817 0 0 0 521 31 0 0 20 0 28 0 144006862 27311951872 87075 33554432000 4194304 4196468 140737045018080 140470682011920 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22218] ppid=22209 vsize=26671828 memory=304556123141439514 CPUtime=5.46 cores=0-7
/proc/22214/task/22218/stat : 22218 (java) S 22209 22212 21462 0 -1 1077944384 23656 0 0 0 513 33 0 0 20 0 28 0 144006862 27311951872 87075 33554432000 4194304 4196468 140737045018080 140470680959632 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22219] ppid=22209 vsize=26671828 memory=288230596050944315 CPUtime=5.46 cores=0-7
/proc/22214/task/22219/stat : 22219 (java) S 22209 22212 21462 0 -1 1077944384 20062 0 0 0 515 31 0 0 20 0 28 0 144006862 27311951872 87075 33554432000 4194304 4196468 140737045018080 140470679906832 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22220] ppid=22209 vsize=26671828 memory=13569292880842197 CPUtime=5.52 cores=0-7
/proc/22214/task/22220/stat : 22220 (java) S 22209 22212 21462 0 -1 1077944384 25105 0 0 0 521 31 0 0 20 0 28 0 144006862 27311951872 87075 33554432000 4194304 4196468 140737045018080 140470678854544 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22221] ppid=22209 vsize=26671828 memory=4128 CPUtime=5.49 cores=0-7
/proc/22214/task/22221/stat : 22221 (java) S 22209 22212 21462 0 -1 1077944384 22054 0 0 0 517 32 0 0 20 0 28 0 144006862 27311951872 87075 33554432000 4194304 4196468 140737045018080 140470677801744 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22222] ppid=22209 vsize=26671828 memory=2200 CPUtime=5.47 cores=0-7
/proc/22214/task/22222/stat : 22222 (java) S 22209 22212 21462 0 -1 1077944384 26856 0 0 0 515 32 0 0 20 0 28 0 144006862 27311951872 87075 33554432000 4194304 4196468 140737045018080 140470676749456 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22223] ppid=22209 vsize=26671828 memory=7284 CPUtime=5.5 cores=0-7
/proc/22214/task/22223/stat : 22223 (java) S 22209 22212 21462 0 -1 1077944384 26095 0 0 0 519 31 0 0 20 0 28 0 144006862 27311951872 87075 33554432000 4194304 4196468 140737045018080 140470675696656 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22224] ppid=22209 vsize=26671828 memory=836 CPUtime=104.73 cores=0-7
/proc/22214/task/22224/stat : 22224 (java) R 22209 22212 21462 0 -1 4202560 58347 0 0 0 3586 6887 0 0 20 0 28 0 144006863 27311951872 87075 33554432000 4194304 4196468 140737045018080 140469002033264 140470723072743 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22225] ppid=22209 vsize=26671828 memory=1692 CPUtime=0 cores=0-7
/proc/22214/task/22225/stat : 22225 (java) S 22209 22212 21462 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 144006864 27311951872 87075 33554432000 4194304 4196468 140737045018080 140469000979296 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22226] ppid=22209 vsize=26671828 memory=916 CPUtime=0 cores=0-7
/proc/22214/task/22226/stat : 22226 (java) S 22209 22212 21462 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 144006864 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468999926912 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22227] ppid=22209 vsize=26671828 memory=4116 CPUtime=0 cores=0-7
/proc/22214/task/22227/stat : 22227 (java) S 22209 22212 21462 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 28 0 144006866 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468998874864 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22228] ppid=22209 vsize=26671828 memory=1152 CPUtime=3.3 cores=0-7
/proc/22214/task/22228/stat : 22228 (java) S 22209 22212 21462 0 -1 1077944384 20815 0 0 0 323 7 0 0 20 0 28 0 144006866 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468997823088 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22229] ppid=22209 vsize=26671828 memory=3840 CPUtime=3.2 cores=0-7
/proc/22214/task/22229/stat : 22229 (java) S 22209 22212 21462 0 -1 1077944384 22789 0 0 0 315 5 0 0 20 0 28 0 144006866 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468996770288 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22230] ppid=22209 vsize=26671828 memory=1384 CPUtime=2.95 cores=0-7
/proc/22214/task/22230/stat : 22230 (java) S 22209 22212 21462 0 -1 1077944384 21349 0 0 0 289 6 0 0 20 0 28 0 144006866 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468995718000 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22231] ppid=22209 vsize=26671828 memory=348372 CPUtime=0.96 cores=0-7
/proc/22214/task/22231/stat : 22231 (java) S 22209 22212 21462 0 -1 1077944384 15466 0 0 0 92 4 0 0 20 0 28 0 144006866 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468994665200 140470730455682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22232] ppid=22209 vsize=26671828 memory=0 CPUtime=0 cores=0-7
/proc/22214/task/22232/stat : 22232 (java) S 22209 22212 21462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144006867 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468993612128 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22247] ppid=22209 vsize=26671828 memory=4629771062077588875 CPUtime=1554.9 cores=0-7
/proc/22214/task/22247/stat : 22247 (java) S 22209 22212 21462 0 -1 1077944384 26137 0 0 0 155465 25 0 0 20 0 28 0 144092341 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468241271552 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22248] ppid=22209 vsize=26671828 memory=-8961168018402230209 CPUtime=1555.03 cores=0-7
/proc/22214/task/22248/stat : 22248 (java) S 22209 22212 21462 0 -1 1077944384 28604 0 0 0 155482 21 0 0 20 0 28 0 144092342 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468239166944 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22249] ppid=22209 vsize=26671828 memory=-8253362762722141311 CPUtime=1554.98 cores=0-7
/proc/22214/task/22249/stat : 22249 (java) S 22209 22212 21462 0 -1 1077944384 24783 0 0 0 155475 23 0 0 20 0 28 0 144092342 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468245483360 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22250] ppid=22209 vsize=26671828 memory=7100839861465685612 CPUtime=1629.68 cores=0-7
/proc/22214/task/22250/stat : 22250 (java) R 22209 22212 21462 0 -1 4202560 28212 0 0 0 162950 18 0 0 20 0 28 0 144092342 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468243377888 140470355739627 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22251] ppid=22209 vsize=26671828 memory=-7175204567652784766 CPUtime=1587.73 cores=0-7
/proc/22214/task/22251/stat : 22251 (java) S 22209 22212 21462 0 -1 1077944384 13132 0 0 0 158752 21 0 0 20 0 28 0 144092342 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468240220368 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22252] ppid=22209 vsize=26671828 memory=3054156605268465310 CPUtime=1555.27 cores=0-7
/proc/22214/task/22252/stat : 22252 (java) S 22209 22212 21462 0 -1 1077944384 26292 0 0 0 155505 22 0 0 20 0 28 0 144092342 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468244430688 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22253] ppid=22209 vsize=26671828 memory=7822038051842261661 CPUtime=1555.05 cores=0-7
/proc/22214/task/22253/stat : 22253 (java) S 22209 22212 21462 0 -1 1077944384 27962 0 0 0 155481 24 0 0 20 0 28 0 144092342 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468987141872 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22254] ppid=22209 vsize=26671828 memory=1200 CPUtime=1552.56 cores=0-7
/proc/22214/task/22254/stat : 22254 (java) S 22209 22212 21462 0 -1 1077944384 17766 0 0 0 155235 21 0 0 20 0 28 0 144092342 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468242324448 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
[pid=22214/tid=22284] ppid=22209 vsize=26671828 memory=8656 CPUtime=0 cores=0-7
/proc/22214/task/22284/stat : 22284 (java) S 22209 22212 21462 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 28 0 144258865 27311951872 87075 33554432000 4194304 4196468 140737045018080 140468238119280 140470730454741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27926528 140737045025938 140737045026115 140737045026115 140737045028815 0
Current cumulated CPU time of completed processes: 0.001917 s
Current children cumulated CPU time: 19407.8 s
Current children cumulated vsize: 26671828 KiB
Current children cumulated memory: 348300 KiB
Child status: 143
Real time (s): 2520.15
CPU time (s): 19407.9
CPU user time (s): 19334.4
CPU system time (s): 73.4159
CPU usage (%): 770.106
Max. virtual memory (cumulated for all children) (KiB): 26671828
Max. memory (cumulated for all children) (KiB): 514432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19334.4
system time used= 73.4159
maximum resident set size= 531640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 352652
involuntary context switches= 209176
# summary of solver processes directly reported to runsolver:
# pid: 22212,22214
# total CPU time (s): 19407.9
# total CPU user time (s): 19334.4
# total CPU system time (s): 73.4159
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.5357 second user time and 22.8537 second system time
The end
Begin job on node115 at 2017-08-19 04:05:33
IDJOB=4280557
IDBENCH=115776
IDSOLVER=2675
FILE ID=node115/4280557-1503109193
RUNJOBID= node115-1503100768-21489
PBS_JOBID= 20630748
Free space on /tmp= 61868 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Scheduling/Scheduling-js-taillard/Taillard-js-020-15-1.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-4280557-1503109193/watcher-4280557-1503109193 -o /tmp/evaluation-result-4280557-1503109193/solver-4280557-1503109193 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503100768-21489 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1594633994 HOME/instance-4280557-1503109193.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= aac981b64b3d0bc7b0997201d0c57f9b
RANDOM SEED=1594633994
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: 27208468 kB
MemAvailable: 31969932 kB
Buffers: 235900 kB
Cached: 4819000 kB
SwapCached: 0 kB
Active: 886268 kB
Inactive: 4224700 kB
Active(anon): 7124 kB
Inactive(anon): 85188 kB
Active(file): 879144 kB
Inactive(file): 4139512 kB
Unevictable: 7056 kB
Mlocked: 7056 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7784 kB
Writeback: 0 kB
AnonPages: 65144 kB
Mapped: 50348 kB
Shmem: 33448 kB
Slab: 143792 kB
SReclaimable: 117288 kB
SUnreclaim: 26504 kB
KernelStack: 3472 kB
PageTables: 4828 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 332852 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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= 61860 MiB
End job on node115 at 2017-08-19 04:47:33