0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271734-1502638776.xml" -tl '2016s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4271734-1502638776.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
1.78/0.79 c solve instance...
188.96/24.52 o 1330
309.04/40.01 o 1329
560.49/71.70 o 1328
939.54/119.61 o 1327
993.18/126.43 o 1315
1694.98/216.85 o 1314
1951.19/250.11 o 1313
1966.33/252.06 s SATISFIABLE
1966.33/252.06 v <instantiation>
1966.33/252.06 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>
1966.33/252.06 v <values>1 41 155 223 318 402 485 520 635 836 892 963 1033 1121 1222 232 237 326 427 482 555 662 727 766 835 902 997 1036 1104 1233 47 134 185 201 288 369 487 638 688 818 898 1012 1074 1087 1164 0 19 40 138 148 254 269 346 371 449 555 789 860 969 994 270 349 444 449 517 639 757 851 872 957 1039 1092 1198 1219 1249 3 17 18 48 121 127 159 265 316 399 401 488 522 564 669 53 262 451 568 644 737 808 860 959 1020 1098 1151 1161 1266 1277 204 257 549 641 658 689 733 771 819 836 911 1001 1074 1206 1253 0 359 400 474 512 516 594 634 724 739 798 854 946 1004 1076 0 34 137 195 249 288 337 397 481 507 518 675 938 1018 1073 31 65 129 171 178 248 283 550 633 655 735 831 1029 1172 1233 185 298 346 368 406 510 551 617 743 799 850 862 935 1065 1165 111 158 246 288 333 376 480 688 798 835 857 958 1037 1104 1138 81 137 232 284 343 380 400 473 569 676 696 809 812 902 1307 107 264 283 555 622 709 754 841 925 1092 1163 1221 1272 1273 1300 1246 1304 1260 1091 1313 728 1310 1300 1136 1124 1281 1240 1228 1313 1312 </values>
1966.33/252.06 v </instantiation>
1966.33/252.06 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 (14309 MiB free)
memory of node 1: 16384 MiB (14171 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271734-1502638776/watcher-4271734-1502638776 -o /tmp/evaluation-result-4271734-1502638776/solver-4271734-1502638776 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1625800534 HOME/instance-4271734-1502638776.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4906, runsolver pid=4903
Current StackSize limit: 8192 KiB
[startup+0.100134 s]*
/proc/loadavg: 8.66 8.20 6.81 2/199 4927
/proc/meminfo: memFree=29148068/32770624 swapFree=67108860/67108860
[pid=4906] ppid=4903 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4906/stat : 4906 (xcsp3-exec) S 4903 4906 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 96965686 9740288 345 33554432000 4194304 5098028 140730015341728 140730015339832 140397731934844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140730015343722 140730015343932 140730015343932 140730015346667 0
/proc/4906/statm: 2378 345 289 221 0 87 0
[pid=4908] ppid=4906 vsize=25999808 memory=26276 CPUtime=0.11 cores=0-7
/proc/4908/stat : 4908 (java) S 4906 4906 3823 0 -1 1077944320 5501 0 0 0 10 1 0 0 20 0 20 0 96965686 26623803392 6569 33554432000 4194304 4196468 140732114124144 140732114106688 140331722653431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
/proc/4908/statm: 6499952 6569 2851 1 0 6488269 0
[pid=4908/tid=4909] ppid=4906 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/4908/task/4909/stat : 4909 (java) R 4906 4906 3823 0 -1 4202560 3499 0 0 0 8 1 0 0 20 0 20 0 96965687 26623803392 6569 33554432000 4194304 4196468 140732114124144 140331726886704 140331722675357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4910] ppid=4906 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4908/task/4910/stat : 4910 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965687 26623803392 6569 33554432000 4194304 4196468 140732114124144 140331281042064 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4911] ppid=4906 vsize=25999808 memory=140340466468480 CPUtime=0 cores=0-7
/proc/4908/task/4911/stat : 4911 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965687 26623803392 6569 33554432000 4194304 4196468 140732114124144 140331279989264 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4912] ppid=4906 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4912/stat : 4912 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965687 26623803392 6569 33554432000 4194304 4196468 140732114124144 140331278936464 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4913] ppid=4906 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4913/stat : 4913 (java) S 4906 4906 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96965687 26623803392 6569 33554432000 4194304 4196468 140732114124144 140331277883664 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4914] ppid=4906 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4914/stat : 4914 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965687 26623803392 6569 33554432000 4194304 4196468 140732114124144 140331276831888 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4915] ppid=4906 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4908/task/4915/stat : 4915 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965687 26623803392 6569 33554432000 4194304 4196468 140732114124144 140331275779088 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4916] ppid=4906 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4916/stat : 4916 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965687 26623803392 6569 33554432000 4194304 4196468 140732114124144 140331274726288 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4917] ppid=4906 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4917/stat : 4917 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965687 26623803392 6569 33554432000 4194304 4196468 140732114124144 140331273673488 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4918] ppid=4906 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4918/stat : 4918 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965689 26623803392 6569 33554432000 4194304 4196468 140732114124144 140329927797104 140331722664578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4919] ppid=4906 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4919/stat : 4919 (java) S 4906 4906 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96965689 26623803392 6569 33554432000 4194304 4196468 140732114124144 140329926743072 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4920] ppid=4906 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4920/stat : 4920 (java) S 4906 4906 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96965689 26623803392 6569 33554432000 4194304 4196468 140732114124144 140329925690224 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4921] ppid=4906 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4921/stat : 4921 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965692 26623803392 6569 33554432000 4194304 4196468 140732114124144 140329924638544 140331722672027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4922] ppid=4906 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4922/stat : 4922 (java) S 4906 4906 3823 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 96965692 26623803392 6569 33554432000 4194304 4196468 140732114124144 140329923586928 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4923] ppid=4906 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4923/stat : 4923 (java) S 4906 4906 3823 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 96965692 26623803392 6569 33554432000 4194304 4196468 140732114124144 140329922534128 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4924] ppid=4906 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4924/stat : 4924 (java) S 4906 4906 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96965692 26623803392 6569 33554432000 4194304 4196468 140732114124144 140329921481328 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4925] ppid=4906 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4908/task/4925/stat : 4925 (java) R 4906 4906 3823 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 96965692 26623803392 6569 33554432000 4194304 4196468 140732114124144 140329920428528 140331722665366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4926] ppid=4906 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4926/stat : 4926 (java) S 4906 4906 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96965692 26623803392 6569 33554432000 4194304 4196468 140732114124144 140329919375968 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4927] ppid=4906 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4908/task/4927/stat : 4927 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965692 26623803392 6569 33554432000 4194304 4196468 140732114124144 140329918323248 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27656 KiB
[startup+0.210253 s]*
/proc/loadavg: 8.66 8.20 6.81 2/199 4927
/proc/meminfo: memFree=29136532/32770624 swapFree=67108860/67108860
[pid=4906] ppid=4903 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4906/stat : 4906 (xcsp3-exec) S 4903 4906 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 96965686 9740288 345 33554432000 4194304 5098028 140730015341728 140730015339832 140397731934844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140730015343722 140730015343932 140730015343932 140730015346667 0
/proc/4906/statm: 2378 345 289 221 0 87 0
[pid=4908] ppid=4906 vsize=26004064 memory=39220 CPUtime=0.33 cores=0-7
/proc/4908/stat : 4908 (java) S 4906 4906 3823 0 -1 1077944320 8354 0 0 0 30 3 0 0 20 0 20 0 96965686 26628161536 9805 33554432000 4194304 4196468 140732114124144 140732114106688 140331722653431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
/proc/4908/statm: 6501016 9805 3075 1 0 6488269 0
[pid=4908/tid=4909] ppid=4906 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4908/task/4909/stat : 4909 (java) R 4906 4906 3823 0 -1 4202560 5454 0 0 0 17 2 0 0 20 0 20 0 96965687 26628161536 9825 33554432000 4194304 4196468 140732114124144 140331726855152 140331715332653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4910] ppid=4906 vsize=26004064 memory=327 CPUtime=0 cores=0-7
/proc/4908/task/4910/stat : 4910 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965687 26628161536 9825 33554432000 4194304 4196468 140732114124144 140331281042064 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4911] ppid=4906 vsize=26004064 memory=140340466473643 CPUtime=0 cores=0-7
/proc/4908/task/4911/stat : 4911 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965687 26628161536 9825 33554432000 4194304 4196468 140732114124144 140331279989264 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4912] ppid=4906 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4908/task/4912/stat : 4912 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965687 26628161536 9825 33554432000 4194304 4196468 140732114124144 140331278936464 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4913] ppid=4906 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4913/stat : 4913 (java) S 4906 4906 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96965687 26628194304 9825 33554432000 4194304 4196468 140732114124144 140331277883664 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4914] ppid=4906 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4914/stat : 4914 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965687 26628194304 9825 33554432000 4194304 4196468 140732114124144 140331276831888 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4915] ppid=4906 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/4908/task/4915/stat : 4915 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965687 26628194304 9825 33554432000 4194304 4196468 140732114124144 140331275779088 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4916] ppid=4906 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4916/stat : 4916 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965687 26628161536 9825 33554432000 4194304 4196468 140732114124144 140331274726288 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4917] ppid=4906 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4917/stat : 4917 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965687 26628161536 9825 33554432000 4194304 4196468 140732114124144 140331273673488 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4918] ppid=4906 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4918/stat : 4918 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965689 26628161536 9825 33554432000 4194304 4196468 140732114124144 140329927797104 140331722664578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4919] ppid=4906 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4919/stat : 4919 (java) S 4906 4906 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96965689 26628161536 9825 33554432000 4194304 4196468 140732114124144 140329926743072 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4920] ppid=4906 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4920/stat : 4920 (java) S 4906 4906 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96965689 26628161536 9825 33554432000 4194304 4196468 140732114124144 140329925690224 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4921] ppid=4906 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4921/stat : 4921 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965692 26628161536 9825 33554432000 4194304 4196468 140732114124144 140329924638544 140331722672027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4922] ppid=4906 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4922/stat : 4922 (java) S 4906 4906 3823 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 96965692 26628194304 9825 33554432000 4194304 4196468 140732114124144 140329923586928 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4923] ppid=4906 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7
/proc/4908/task/4923/stat : 4923 (java) S 4906 4906 3823 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 20 0 96965692 26628194304 9825 33554432000 4194304 4196468 140732114124144 140329922534128 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4924] ppid=4906 vsize=26004096 memory=-1 CPUtime=0.01 cores=0-7
/proc/4908/task/4924/stat : 4924 (java) S 4906 4906 3823 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 20 0 96965692 26628194304 9825 33554432000 4194304 4196468 140732114124144 140329921481328 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4925] ppid=4906 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/4908/task/4925/stat : 4925 (java) S 4906 4906 3823 0 -1 1077944384 735 0 0 0 7 0 0 0 20 0 20 0 96965692 26628161536 9825 33554432000 4194304 4196468 140732114124144 140329920428528 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4926] ppid=4906 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4926/stat : 4926 (java) S 4906 4906 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96965692 26628161536 9825 33554432000 4194304 4196468 140732114124144 140329919375968 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4927] ppid=4906 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4908/task/4927/stat : 4927 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965692 26628161536 9825 33554432000 4194304 4196468 140732114124144 140329918323248 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40600 KiB
[startup+0.310307 s]*
/proc/loadavg: 8.66 8.20 6.81 4/199 4927
/proc/meminfo: memFree=29132128/32770624 swapFree=67108860/67108860
[pid=4906] ppid=4903 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4906/stat : 4906 (xcsp3-exec) S 4903 4906 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 96965686 9740288 345 33554432000 4194304 5098028 140730015341728 140730015339832 140397731934844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140730015343722 140730015343932 140730015343932 140730015346667 0
/proc/4906/statm: 2378 345 289 221 0 87 0
[pid=4908] ppid=4906 vsize=26004064 memory=45908 CPUtime=0.51 cores=0-7
/proc/4908/stat : 4908 (java) S 4906 4906 3823 0 -1 1077944320 9240 0 0 0 47 4 0 0 20 0 20 0 96965686 26628161536 11477 33554432000 4194304 4196468 140732114124144 140732114106688 140331722653431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
/proc/4908/statm: 6501016 11477 3095 1 0 6488269 0
[pid=4908/tid=4909] ppid=4906 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/4908/task/4909/stat : 4909 (java) R 4906 4906 3823 0 -1 4202560 6129 0 0 0 27 2 0 0 20 0 20 0 96965687 26628161536 11477 33554432000 4194304 4196468 140732114124144 140331726876176 140331706733918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4910] ppid=4906 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4910/stat : 4910 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965687 26628161536 11477 33554432000 4194304 4196468 140732114124144 140331281042064 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4911] ppid=4906 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4911/stat : 4911 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965687 26628161536 11477 33554432000 4194304 4196468 140732114124144 140331279989264 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4912] ppid=4906 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4912/stat : 4912 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965687 26628161536 11477 33554432000 4194304 4196468 140732114124144 140331278936464 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4913] ppid=4906 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4913/stat : 4913 (java) S 4906 4906 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96965687 26628161536 11477 33554432000 4194304 4196468 140732114124144 140331277883664 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4914] ppid=4906 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/4908/task/4914/stat : 4914 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965687 26628161536 11477 33554432000 4194304 4196468 140732114124144 140331276831888 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4915] ppid=4906 vsize=26004064 memory=140340338193327 CPUtime=0 cores=0-7
/proc/4908/task/4915/stat : 4915 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965687 26628161536 11477 33554432000 4194304 4196468 140732114124144 140331275779088 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4916] ppid=4906 vsize=26004064 memory=140340338195632 CPUtime=0 cores=0-7
/proc/4908/task/4916/stat : 4916 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965687 26628161536 11477 33554432000 4194304 4196468 140732114124144 140331274726288 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4917] ppid=4906 vsize=26004064 memory=140340338197936 CPUtime=0 cores=0-7
/proc/4908/task/4917/stat : 4917 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965687 26628161536 11477 33554432000 4194304 4196468 140732114124144 140331273673488 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4918] ppid=4906 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4918/stat : 4918 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965689 26628161536 11477 33554432000 4194304 4196468 140732114124144 140329927797104 140331722664578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4919] ppid=4906 vsize=26004064 memory=280680676402832 CPUtime=0 cores=0-7
/proc/4908/task/4919/stat : 4919 (java) S 4906 4906 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 96965689 26628161536 11477 33554432000 4194304 4196468 140732114124144 140329926743072 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4920] ppid=4906 vsize=26004064 memory=280680676409744 CPUtime=0 cores=0-7
/proc/4908/task/4920/stat : 4920 (java) S 4906 4906 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 96965689 26628161536 11477 33554432000 4194304 4196468 140732114124144 140329925690224 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4921] ppid=4906 vsize=26004064 memory=280680676351024 CPUtime=0 cores=0-7
/proc/4908/task/4921/stat : 4921 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965692 26628161536 11477 33554432000 4194304 4196468 140732114124144 140329924638544 140331722672027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4922] ppid=4906 vsize=26004064 memory=280680676423568 CPUtime=0.01 cores=0-7
/proc/4908/task/4922/stat : 4922 (java) R 4906 4906 3823 0 -1 4202560 440 0 0 0 1 0 0 0 20 0 20 0 96965692 26628161536 11477 33554432000 4194304 4196468 140732114124144 140329923578432 140331707770868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4923] ppid=4906 vsize=26004064 memory=280680676430480 CPUtime=0.02 cores=0-7
/proc/4908/task/4923/stat : 4923 (java) S 4906 4906 3823 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 20 0 96965692 26628161536 11477 33554432000 4194304 4196468 140732114124144 140329922534128 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4924] ppid=4906 vsize=26004064 memory=280680676428176 CPUtime=0.02 cores=0-7
/proc/4908/task/4924/stat : 4924 (java) S 4906 4906 3823 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 20 0 96965692 26628161536 11477 33554432000 4194304 4196468 140732114124144 140329921481328 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4925] ppid=4906 vsize=26004064 memory=280680676444336 CPUtime=0.13 cores=0-7
/proc/4908/task/4925/stat : 4925 (java) S 4906 4906 3823 0 -1 1077944384 851 0 0 0 13 0 0 0 20 0 20 0 96965692 26628161536 11477 33554432000 4194304 4196468 140732114124144 140329920428528 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4926] ppid=4906 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4926/stat : 4926 (java) S 4906 4906 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 96965692 26628161536 11477 33554432000 4194304 4196468 140732114124144 140329919375968 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4927] ppid=4906 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4908/task/4927/stat : 4927 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965692 26628161536 11477 33554432000 4194304 4196468 140732114124144 140329918323248 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47288 KiB
[startup+0.701044 s]
/proc/loadavg: 8.66 8.20 6.81 3/199 4927
/proc/meminfo: memFree=29117052/32770624 swapFree=67108860/67108860
[pid=4906] ppid=4903 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4906/stat : 4906 (xcsp3-exec) S 4903 4906 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 96965686 9740288 345 33554432000 4194304 5098028 140730015341728 140730015339832 140397731934844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140730015343722 140730015343932 140730015343932 140730015346667 0
/proc/4906/statm: 2378 345 289 221 0 87 0
[pid=4908] ppid=4906 vsize=26006188 memory=92128 CPUtime=1.78 cores=0-7
/proc/4908/stat : 4908 (java) S 4906 4906 3823 0 -1 1077944320 13711 0 0 0 172 6 0 0 20 0 20 0 96965686 26630336512 23032 33554432000 4194304 4196468 140732114124144 140732114106688 140331722653431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
/proc/4908/statm: 6501547 23032 3205 1 0 6488781 0
[pid=4908/tid=4909] ppid=4906 vsize=26006188 memory=280680676802224 CPUtime=0.66 cores=0-7
/proc/4908/task/4909/stat : 4909 (java) R 4906 4906 3823 0 -1 4202560 6891 0 0 0 63 3 0 0 20 0 20 0 96965687 26630336512 23032 33554432000 4194304 4196468 140732114124144 140331726890816 140331361631335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4910] ppid=4906 vsize=26006188 memory=140340338402160 CPUtime=0 cores=0-7
/proc/4908/task/4910/stat : 4910 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 96965687 26630336512 23032 33554432000 4194304 4196468 140732114124144 140331281042064 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4911] ppid=4906 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/4908/task/4911/stat : 4911 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965687 26630336512 23032 33554432000 4194304 4196468 140732114124144 140331279989264 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4912] ppid=4906 vsize=26006188 memory=5296 CPUtime=0 cores=0-7
/proc/4908/task/4912/stat : 4912 (java) S 4906 4906 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 96965687 26630336512 23032 33554432000 4194304 4196468 140732114124144 140331278936464 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
################
# More data... #
################
[pid=4908/tid=4975] ppid=4906 vsize=26538700 memory=2428 CPUtime=35.32 cores=0-7
/proc/4908/task/4975/stat : 4975 (java) R 4906 4906 3823 0 -1 4202560 933 0 0 0 3532 0 0 0 20 0 28 0 96978330 27175628800 64504 33554432000 4194304 4196468 140732114124144 140329907154424 140331367303968 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
Current children cumulated CPU time: 1277.36 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 259396 KiB
[startup+222.302 s]
/proc/loadavg: 8.39 8.44 7.22 9/207 4984
/proc/meminfo: memFree=28898304/32770624 swapFree=67108860/67108860
[pid=4906] ppid=4903 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4906/stat : 4906 (xcsp3-exec) S 4903 4906 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 96965686 9740288 345 33554432000 4194304 5098028 140730015341728 140730015339832 140397731934844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140730015343722 140730015343932 140730015343932 140730015346667 0
/proc/4906/statm: 2378 345 289 221 0 87 0
[pid=4908] ppid=4906 vsize=26538700 memory=278160 CPUtime=1738.13 cores=0-7
/proc/4908/stat : 4908 (java) S 4906 4906 3823 0 -1 1077944320 183255 0 0 0 173703 110 0 0 20 0 28 0 96965686 27175628800 69540 33554432000 4194304 4196468 140732114124144 140732114106688 140331722653431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
/proc/4908/statm: 6634675 69540 3290 1 0 6621909 0
[pid=4908/tid=4909] ppid=4906 vsize=26538700 memory=275556 CPUtime=0.78 cores=0-7
/proc/4908/task/4909/stat : 4909 (java) S 4906 4906 3823 0 -1 1077944384 7948 0 0 0 74 4 0 0 20 0 28 0 96965687 27175628800 69540 33554432000 4194304 4196468 140732114124144 140331726894208 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4910] ppid=4906 vsize=26538700 memory=276104 CPUtime=0.37 cores=0-7
/proc/4908/task/4910/stat : 4910 (java) S 4906 4906 3823 0 -1 1077944384 3044 0 0 0 34 3 0 0 20 0 28 0 96965687 27175628800 69540 33554432000 4194304 4196468 140732114124144 140331281042064 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4911] ppid=4906 vsize=26538700 memory=278160 CPUtime=0.39 cores=0-7
/proc/4908/task/4911/stat : 4911 (java) S 4906 4906 3823 0 -1 1077944384 2680 0 0 0 35 4 0 0 20 0 28 0 96965687 27175628800 69540 33554432000 4194304 4196468 140732114124144 140331279989264 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4912] ppid=4906 vsize=26538700 memory=278160 CPUtime=0.36 cores=0-7
/proc/4908/task/4912/stat : 4912 (java) S 4906 4906 3823 0 -1 1077944384 3007 0 0 0 34 2 0 0 20 0 28 0 96965687 27175628800 69540 33554432000 4194304 4196468 140732114124144 140331278936464 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4913] ppid=4906 vsize=26538700 memory=1380 CPUtime=0.37 cores=0-7
/proc/4908/task/4913/stat : 4913 (java) S 4906 4906 3823 0 -1 1077944384 2138 0 0 0 34 3 0 0 20 0 28 0 96965687 27175628800 69540 33554432000 4194304 4196468 140732114124144 140331277883664 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4914] ppid=4906 vsize=26538700 memory=1380 CPUtime=0.4 cores=0-7
/proc/4908/task/4914/stat : 4914 (java) S 4906 4906 3823 0 -1 1077944384 2400 0 0 0 37 3 0 0 20 0 28 0 96965687 27175628800 69540 33554432000 4194304 4196468 140732114124144 140331276831888 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4915] ppid=4906 vsize=26538700 memory=4140 CPUtime=0.38 cores=0-7
/proc/4908/task/4915/stat : 4915 (java) S 4906 4906 3823 0 -1 1077944384 3844 0 0 0 35 3 0 0 20 0 28 0 96965687 27175628800 69540 33554432000 4194304 4196468 140732114124144 140331275779088 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4916] ppid=4906 vsize=26538700 memory=27728 CPUtime=0.39 cores=0-7
/proc/4908/task/4916/stat : 4916 (java) S 4906 4906 3823 0 -1 1077944384 3510 0 0 0 35 4 0 0 20 0 28 0 96965687 27175628800 69540 33554432000 4194304 4196468 140732114124144 140331274726288 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4917] ppid=4906 vsize=26538700 memory=267856 CPUtime=0.38 cores=0-7
/proc/4908/task/4917/stat : 4917 (java) S 4906 4906 3823 0 -1 1077944384 4013 0 0 0 34 4 0 0 20 0 28 0 96965687 27175628800 69540 33554432000 4194304 4196468 140732114124144 140331273673488 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4918] ppid=4906 vsize=26538700 memory=1380 CPUtime=0.79 cores=0-7
/proc/4908/task/4918/stat : 4918 (java) S 4906 4906 3823 0 -1 1077944384 9150 0 0 0 42 37 0 0 20 0 28 0 96965689 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329927797104 140331722664578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4919] ppid=4906 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/4908/task/4919/stat : 4919 (java) S 4906 4906 3823 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 96965689 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329926743136 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4920] ppid=4906 vsize=26538700 memory=274016 CPUtime=0 cores=0-7
/proc/4908/task/4920/stat : 4920 (java) S 4906 4906 3823 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 96965689 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329925690240 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4921] ppid=4906 vsize=26538700 memory=2428 CPUtime=0 cores=0-7
/proc/4908/task/4921/stat : 4921 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 96965692 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329924638544 140331722672027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4922] ppid=4906 vsize=26538700 memory=1728 CPUtime=3.24 cores=0-7
/proc/4908/task/4922/stat : 4922 (java) S 4906 4906 3823 0 -1 1077944384 27438 0 0 0 318 6 0 0 20 0 28 0 96965692 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329923586928 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4923] ppid=4906 vsize=26538700 memory=271968 CPUtime=3.27 cores=0-7
/proc/4908/task/4923/stat : 4923 (java) S 4906 4906 3823 0 -1 1077944384 22522 0 0 0 322 5 0 0 20 0 28 0 96965692 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329922534128 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4924] ppid=4906 vsize=26538700 memory=27728 CPUtime=3.52 cores=0-7
/proc/4908/task/4924/stat : 4924 (java) S 4906 4906 3823 0 -1 1077944384 32071 0 0 0 347 5 0 0 20 0 28 0 96965692 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329921481328 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4925] ppid=4906 vsize=26538700 memory=2200 CPUtime=0.9 cores=0-7
/proc/4908/task/4925/stat : 4925 (java) S 4906 4906 3823 0 -1 1077944384 16587 0 0 0 87 3 0 0 20 0 28 0 96965692 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329920428528 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4926] ppid=4906 vsize=26538700 memory=6504 CPUtime=0 cores=0-7
/proc/4908/task/4926/stat : 4926 (java) S 4906 4906 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 96965692 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329919375968 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4927] ppid=4906 vsize=26538700 memory=840 CPUtime=0.05 cores=0-7
/proc/4908/task/4927/stat : 4927 (java) S 4906 4906 3823 0 -1 1077944384 1927 0 0 0 3 2 0 0 20 0 28 0 96965692 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329918323248 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4977] ppid=4906 vsize=26538700 memory=3776 CPUtime=5.35 cores=0-7
/proc/4908/task/4977/stat : 4977 (java) R 4906 4906 3823 0 -1 4202560 375 0 0 0 535 0 0 0 20 0 28 0 96987371 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329910311248 140331368824328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4978] ppid=4906 vsize=26538700 memory=1380 CPUtime=5.38 cores=0-7
/proc/4908/task/4978/stat : 4978 (java) R 4906 4906 3823 0 -1 4202560 246 0 0 0 538 0 0 0 20 0 28 0 96987371 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329908206912 140331368824211 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4979] ppid=4906 vsize=26538700 memory=274048 CPUtime=5.37 cores=0-7
/proc/4908/task/4979/stat : 4979 (java) R 4906 4906 3823 0 -1 4202560 425 0 0 0 537 0 0 0 20 0 28 0 96987371 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329906102600 140331370808112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4980] ppid=4906 vsize=26538700 memory=275556 CPUtime=5.36 cores=0-7
/proc/4908/task/4980/stat : 4980 (java) R 4906 4906 3823 0 -1 4202560 418 0 0 0 536 0 0 0 20 0 28 0 96987371 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329905052704 140331368375212 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4981] ppid=4906 vsize=26538700 memory=27728 CPUtime=5.39 cores=0-7
/proc/4908/task/4981/stat : 4981 (java) R 4906 4906 3823 0 -1 4202560 430 0 0 0 539 0 0 0 20 0 28 0 96987371 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329902943760 140331369505627 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4982] ppid=4906 vsize=26538700 memory=1292 CPUtime=5.34 cores=0-7
/proc/4908/task/4982/stat : 4982 (java) R 4906 4906 3823 0 -1 4202560 244 0 0 0 534 0 0 0 20 0 28 0 96987371 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329909259952 140331368823911 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4983] ppid=4906 vsize=26538700 memory=278160 CPUtime=5.36 cores=0-7
/proc/4908/task/4983/stat : 4983 (java) R 4906 4906 3823 0 -1 4202560 359 0 0 0 536 0 0 0 20 0 28 0 96987371 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329907154552 140331368824307 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4984] ppid=4906 vsize=26538700 memory=1380 CPUtime=5.32 cores=0-7
/proc/4908/task/4984/stat : 4984 (java) R 4906 4906 3823 0 -1 4202560 320 0 0 0 532 0 0 0 20 0 28 0 96987371 27175628800 69540 33554432000 4194304 4196468 140732114124144 140329903996480 140331368823679 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
Current children cumulated CPU time: 1738.13 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 279540 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.002 s]*
/proc/loadavg: 8.31 8.41 7.25 9/207 4992
/proc/meminfo: memFree=28889344/32770624 swapFree=67108860/67108860
[pid=4906] ppid=4903 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4906/stat : 4906 (xcsp3-exec) S 4903 4906 3823 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 96965686 9740288 345 33554432000 4194304 5098028 140730015341728 140730015339832 140397731934844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21487616 140730015343722 140730015343932 140730015343932 140730015346667 0
/proc/4906/statm: 2378 345 289 221 0 87 0
[pid=4908] ppid=4906 vsize=26538700 memory=286308 CPUtime=1966.33 cores=0-7
/proc/4908/stat : 4908 (java) S 4906 4906 3823 0 -1 1077944320 203874 0 0 0 196504 129 0 0 20 0 28 0 96965686 27175628800 71577 33554432000 4194304 4196468 140732114124144 140732114106688 140331722653431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
/proc/4908/statm: 6634675 71577 3290 1 0 6621909 0
[pid=4908/tid=4909] ppid=4906 vsize=26538700 memory=8112282956445269571 CPUtime=0.78 cores=0-7
/proc/4908/task/4909/stat : 4909 (java) S 4906 4906 3823 0 -1 1077944384 8149 0 0 0 74 4 0 0 20 0 28 0 96965687 27175628800 71577 33554432000 4194304 4196468 140732114124144 140331726894208 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4910] ppid=4906 vsize=26538700 memory=4126316290023845779 CPUtime=0.43 cores=0-7
/proc/4908/task/4910/stat : 4910 (java) S 4906 4906 3823 0 -1 1077944384 3786 0 0 0 40 3 0 0 20 0 28 0 96965687 27175628800 71577 33554432000 4194304 4196468 140732114124144 140331281042064 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4911] ppid=4906 vsize=26538700 memory=1380 CPUtime=0.44 cores=0-7
/proc/4908/task/4911/stat : 4911 (java) S 4906 4906 3823 0 -1 1077944384 3446 0 0 0 40 4 0 0 20 0 28 0 96965687 27175628800 71577 33554432000 4194304 4196468 140732114124144 140331279989264 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4912] ppid=4906 vsize=26538700 memory=284324 CPUtime=0.41 cores=0-7
/proc/4908/task/4912/stat : 4912 (java) S 4906 4906 3823 0 -1 1077944384 3906 0 0 0 39 2 0 0 20 0 28 0 96965687 27175628800 71577 33554432000 4194304 4196468 140732114124144 140331278936464 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4913] ppid=4906 vsize=26538700 memory=14698478437665088 CPUtime=0.43 cores=0-7
/proc/4908/task/4913/stat : 4913 (java) S 4906 4906 3823 0 -1 1077944384 2829 0 0 0 40 3 0 0 20 0 28 0 96965687 27175628800 71577 33554432000 4194304 4196468 140732114124144 140331277883664 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4914] ppid=4906 vsize=26538700 memory=-6520471753822164382 CPUtime=0.45 cores=0-7
/proc/4908/task/4914/stat : 4914 (java) S 4906 4906 3823 0 -1 1077944384 3151 0 0 0 42 3 0 0 20 0 28 0 96965687 27175628800 71577 33554432000 4194304 4196468 140732114124144 140331276831888 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4915] ppid=4906 vsize=26538700 memory=8112282956445269571 CPUtime=0.45 cores=0-7
/proc/4908/task/4915/stat : 4915 (java) S 4906 4906 3823 0 -1 1077944384 4617 0 0 0 41 4 0 0 20 0 28 0 96965687 27175628800 71577 33554432000 4194304 4196468 140732114124144 140331275779088 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4916] ppid=4906 vsize=26538700 memory=285960 CPUtime=0.46 cores=0-7
/proc/4908/task/4916/stat : 4916 (java) S 4906 4906 3823 0 -1 1077944384 4132 0 0 0 41 5 0 0 20 0 28 0 96965687 27175628800 71577 33554432000 4194304 4196468 140732114124144 140331274726288 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4917] ppid=4906 vsize=26538700 memory=8514726395714825349 CPUtime=0.44 cores=0-7
/proc/4908/task/4917/stat : 4917 (java) S 4906 4906 3823 0 -1 1077944384 4408 0 0 0 40 4 0 0 20 0 28 0 96965687 27175628800 71577 33554432000 4194304 4196468 140732114124144 140331273673488 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4918] ppid=4906 vsize=26538700 memory=-8707038579349950309 CPUtime=1.01 cores=0-7
/proc/4908/task/4918/stat : 4918 (java) S 4906 4906 3823 0 -1 1077944384 11362 0 0 0 52 49 0 0 20 0 28 0 96965689 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329927797104 140331722664578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4919] ppid=4906 vsize=26538700 memory=-8341965534556230502 CPUtime=0 cores=0-7
/proc/4908/task/4919/stat : 4919 (java) S 4906 4906 3823 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 96965689 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329926743136 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4920] ppid=4906 vsize=26538700 memory=-8412656567318647667 CPUtime=0 cores=0-7
/proc/4908/task/4920/stat : 4920 (java) S 4906 4906 3823 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 96965689 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329925690240 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4921] ppid=4906 vsize=26538700 memory=9047017150487036571 CPUtime=0 cores=0-7
/proc/4908/task/4921/stat : 4921 (java) S 4906 4906 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 96965692 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329924638544 140331722672027 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4922] ppid=4906 vsize=26538700 memory=956 CPUtime=3.44 cores=0-7
/proc/4908/task/4922/stat : 4922 (java) S 4906 4906 3823 0 -1 1077944384 27999 0 0 0 338 6 0 0 20 0 28 0 96965692 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329923586928 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4923] ppid=4906 vsize=26538700 memory=2340 CPUtime=3.5 cores=0-7
/proc/4908/task/4923/stat : 4923 (java) S 4906 4906 3823 0 -1 1077944384 22827 0 0 0 345 5 0 0 20 0 28 0 96965692 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329922534128 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4924] ppid=4906 vsize=26538700 memory=1236 CPUtime=3.62 cores=0-7
/proc/4908/task/4924/stat : 4924 (java) S 4906 4906 3823 0 -1 1077944384 32946 0 0 0 356 6 0 0 20 0 28 0 96965692 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329921481328 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4925] ppid=4906 vsize=26538700 memory=2240 CPUtime=0.96 cores=0-7
/proc/4908/task/4925/stat : 4925 (java) S 4906 4906 3823 0 -1 1077944384 18246 0 0 0 93 3 0 0 20 0 28 0 96965692 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329920428528 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4926] ppid=4906 vsize=26538700 memory=4128 CPUtime=0 cores=0-7
/proc/4908/task/4926/stat : 4926 (java) S 4906 4906 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 96965692 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329919375968 140331722663637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4927] ppid=4906 vsize=26538700 memory=1572 CPUtime=0.06 cores=0-7
/proc/4908/task/4927/stat : 4927 (java) S 4906 4906 3823 0 -1 1077944384 2070 0 0 0 3 3 0 0 20 0 28 0 96965692 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329918323248 140331722664578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4985] ppid=4906 vsize=26538700 memory=932 CPUtime=1.86 cores=0-7
/proc/4908/task/4985/stat : 4985 (java) R 4906 4906 3823 0 -1 4202560 80 0 0 0 186 0 0 0 20 0 28 0 96990697 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329908205912 140331367304402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4986] ppid=4906 vsize=26538700 memory=2200 CPUtime=1.84 cores=0-7
/proc/4908/task/4986/stat : 4986 (java) R 4906 4906 3823 0 -1 4202560 90 0 0 0 184 0 0 0 20 0 28 0 96990697 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329903996344 140331368824302 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4987] ppid=4906 vsize=26538700 memory=6504 CPUtime=1.61 cores=0-7
/proc/4908/task/4987/stat : 4987 (java) R 4906 4906 3823 0 -1 4202560 924 0 0 0 161 0 0 0 20 0 28 0 96990697 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329906102920 140331368374225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4988] ppid=4906 vsize=26538700 memory=840 CPUtime=1.76 cores=0-7
/proc/4908/task/4988/stat : 4988 (java) R 4906 4906 3823 0 -1 4202560 123 0 0 0 176 0 0 0 20 0 28 0 96990697 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329905049672 140331369155344 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4989] ppid=4906 vsize=26538700 memory=4104 CPUtime=1.85 cores=0-7
/proc/4908/task/4989/stat : 4989 (java) R 4906 4906 3823 0 -1 4202560 65 0 0 0 185 0 0 0 20 0 28 0 96990697 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329910312464 140331369505655 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4990] ppid=4906 vsize=26538700 memory=1692 CPUtime=1.87 cores=0-7
/proc/4908/task/4990/stat : 4990 (java) R 4906 4906 3823 0 -1 4202560 74 0 0 0 187 0 0 0 20 0 28 0 96990697 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329902944184 140331365856898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4991] ppid=4906 vsize=26538700 memory=916 CPUtime=1.87 cores=0-7
/proc/4908/task/4991/stat : 4991 (java) R 4906 4906 3823 0 -1 4202560 45 0 0 0 187 0 0 0 20 0 28 0 96990697 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329907157472 140331370804925 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
[pid=4908/tid=4992] ppid=4906 vsize=26538700 memory=4116 CPUtime=1.69 cores=0-7
/proc/4908/task/4992/stat : 4992 (java) R 4906 4906 3823 0 -1 4202560 59 0 0 0 169 0 0 0 20 0 28 0 96990697 27175628800 71577 33554432000 4194304 4196468 140732114124144 140329909259624 140331367266686 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 33714176 140732114125976 140732114126152 140732114126152 140732114128847 0
Current children cumulated CPU time: 1966.33 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 287688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.041 s]
# the end of solver process 4906 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000983 s, system=0.000983 s
[startup+252.107 s]
# the end of solver process 4908 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1965.67 s, system=1.31116 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 252.107
CPU time (s): 1966.99
CPU user time (s): 1965.67
CPU system time (s): 1.31116
CPU usage (%): 780.219
Max. virtual memory (cumulated for all children) (KiB): 26553676
Max. memory (cumulated for all children) (KiB): 324644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1965.67
system time used= 1.31116
maximum resident set size= 323288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204711
page faults= 0
swaps= 0
block input operations= 0
block output operations= 576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42710
involuntary context switches= 23659
# summary of solver processes directly reported to runsolver:
# pid: 4906,4908
# total CPU time (s): 1966.99
# total CPU user time (s): 1965.67
# total CPU system time (s): 1.31116
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.61294 second user time and 2.49276 second system time
The end
Begin job on node107 at 2017-08-13 17:25:18
IDJOB=4271734
IDBENCH=115757
IDSOLVER=2663
FILE ID=node107/4271734-1502638776
RUNJOBID= node107-1502636397-3850
PBS_JOBID= 20628325
Free space on /tmp= 61660 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-4271734-1502638776/watcher-4271734-1502638776 -o /tmp/evaluation-result-4271734-1502638776/solver-4271734-1502638776 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1625800534 HOME/instance-4271734-1502638776.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 428eef4dc0068476798a4d67b3fd28ef
RANDOM SEED=1625800534
node107.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.84
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.84
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.84
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.84
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: 29163648 kB
MemAvailable: 31990916 kB
Buffers: 165276 kB
Cached: 2950856 kB
SwapCached: 0 kB
Active: 523960 kB
Inactive: 2643868 kB
Active(anon): 54728 kB
Inactive(anon): 24972 kB
Active(file): 469232 kB
Inactive(file): 2618896 kB
Unevictable: 6328 kB
Mlocked: 6328 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7632 kB
Writeback: 0 kB
AnonPages: 58288 kB
Mapped: 43460 kB
Shmem: 25228 kB
Slab: 135372 kB
SReclaimable: 109948 kB
SUnreclaim: 25424 kB
KernelStack: 3152 kB
PageTables: 4656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 91520 kB
DirectMap2M: 33454080 kB
Free space on /tmp at the end= 61652 MiB
End job on node107 at 2017-08-13 17:29:30