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 (14245 MiB free)
memory of node 1: 16384 MiB (14132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399325-1568694450/watcher-4399325-1568694450 -o /tmp/evaluation-result-4399325-1568694450/solver-4399325-1568694450 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568694401-32469 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1530963479 HOME/instance-4399325-1568694450.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=636, runsolver pid=632
Current StackSize limit: 8192 KiB
[startup+0.101795 s]*
/proc/loadavg: 1.63 0.87 0.96 6/233 652
/proc/meminfo: memFree=29014272/32770624 swapFree=66939908/67108860
[pid=636] ppid=632 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/636/stat : 636 (xcsp3-exec) S 632 636 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445359901 115843072 362 33554432000 4194304 5098028 140721213342496 140721213340600 139801501266556 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30941184 140721213350778 140721213351021 140721213351021 140721213353930 0
/proc/636/statm: 28282 362 304 221 0 87 0
[pid=638] ppid=636 vsize=15144776 memory=27672 CPUtime=0.12 cores=1,3,5,7
/proc/638/stat : 638 (java) S 636 636 32437 0 -1 1077944320 5885 0 0 0 11 1 0 0 20 0 15 0 445359901 15508250624 6918 33554432000 4194304 4196468 140727042485744 140727042468288 140448281214711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
/proc/638/statm: 3786194 6918 3136 1 0 3748377 0
[pid=638/tid=639] ppid=636 vsize=15144776 memory=7022364632946311227 CPUtime=0.09 cores=1,3,5,7
/proc/638/task/639/stat : 639 (java) R 636 636 32437 0 -1 4202560 3763 0 0 0 8 1 0 0 20 0 15 0 445359901 15508250624 6984 33554432000 4194304 4196468 140727042485744 140448285445712 140448281236058 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=640] ppid=636 vsize=15144776 memory=4294977831 CPUtime=0 cores=1,3,5,7
/proc/638/task/640/stat : 640 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359902 15508250624 6984 33554432000 4194304 4196468 140727042485744 140448250927504 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=641] ppid=636 vsize=15144776 memory=139967835376726 CPUtime=0 cores=1,3,5,7
/proc/638/task/641/stat : 641 (java) S 636 636 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445359902 15508250624 6984 33554432000 4194304 4196468 140727042485744 140447872321808 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=642] ppid=636 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/638/task/642/stat : 642 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359902 15508250624 6984 33554432000 4194304 4196468 140727042485744 140447871269520 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=643] ppid=636 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/638/task/643/stat : 643 (java) S 636 636 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445359902 15508250624 6984 33554432000 4194304 4196468 140727042485744 140447870216720 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=644] ppid=636 vsize=15144776 memory=139967835346560 CPUtime=0 cores=1,3,5,7
/proc/638/task/644/stat : 644 (java) S 636 636 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445359903 15508250624 6984 33554432000 4194304 4196468 140727042485744 140447749544560 140448281225858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=645] ppid=636 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/638/task/645/stat : 645 (java) S 636 636 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445359904 15508250624 6984 33554432000 4194304 4196468 140727042485744 140447748490528 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=646] ppid=636 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/638/task/646/stat : 646 (java) S 636 636 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445359904 15508250624 6984 33554432000 4194304 4196468 140727042485744 140447747438192 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=647] ppid=636 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/638/task/647/stat : 647 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359906 15508250624 6984 33554432000 4194304 4196468 140727042485744 140447746386512 140448281233307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=648] ppid=636 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/638/task/648/stat : 648 (java) R 636 636 32437 0 -1 4202560 457 0 0 0 0 0 0 0 20 0 15 0 445359906 15508250624 6984 33554432000 4194304 4196468 140727042485744 140447745333456 140448264698024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=649] ppid=636 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/638/task/649/stat : 649 (java) R 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359906 15508250624 6984 33554432000 4194304 4196468 140727042485744 140447744280560 140448281225858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=650] ppid=636 vsize=15144776 memory=139967835346560 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/650/stat : 650 (java) S 636 636 32437 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 15 0 445359906 15508250624 6984 33554432000 4194304 4196468 140727042485744 140447743228272 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=651] ppid=636 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/638/task/651/stat : 651 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359907 15508250624 6984 33554432000 4194304 4196468 140727042485744 140447742175712 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=652] ppid=636 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/638/task/652/stat : 652 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359907 15508250624 6984 33554432000 4194304 4196468 140727042485744 140447741123504 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29120 KiB
[startup+0.210784 s]*
/proc/loadavg: 1.63 0.87 0.96 7/233 652
/proc/meminfo: memFree=28976000/32770624 swapFree=66939908/67108860
[pid=636] ppid=632 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/636/stat : 636 (xcsp3-exec) S 632 636 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445359901 115843072 362 33554432000 4194304 5098028 140721213342496 140721213340600 139801501266556 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30941184 140721213350778 140721213351021 140721213351021 140721213353930 0
/proc/636/statm: 28282 362 304 221 0 87 0
[pid=638] ppid=636 vsize=15144776 memory=39932 CPUtime=0.33 cores=1,3,5,7
/proc/638/stat : 638 (java) S 636 636 32437 0 -1 1077944320 9721 0 0 0 30 3 0 0 20 0 15 0 445359901 15508250624 9983 33554432000 4194304 4196468 140727042485744 140727042468288 140448281214711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
/proc/638/statm: 3786194 9983 3312 1 0 3748377 0
[pid=638/tid=639] ppid=636 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/638/task/639/stat : 639 (java) R 636 636 32437 0 -1 4202560 6693 0 0 0 18 2 0 0 20 0 15 0 445359901 15508250624 9983 33554432000 4194304 4196468 140727042485744 140448285446240 140448265295198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=640] ppid=636 vsize=15144776 memory=4294977831 CPUtime=0 cores=1,3,5,7
/proc/638/task/640/stat : 640 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359902 15508250624 9983 33554432000 4194304 4196468 140727042485744 140448250927504 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=641] ppid=636 vsize=15144776 memory=139967835376726 CPUtime=0 cores=1,3,5,7
/proc/638/task/641/stat : 641 (java) S 636 636 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445359902 15508250624 9983 33554432000 4194304 4196468 140727042485744 140447872321808 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=642] ppid=636 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/638/task/642/stat : 642 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359902 15508250624 9983 33554432000 4194304 4196468 140727042485744 140447871269520 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=643] ppid=636 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/638/task/643/stat : 643 (java) S 636 636 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445359902 15508250624 9983 33554432000 4194304 4196468 140727042485744 140447870216720 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=644] ppid=636 vsize=15144776 memory=139967835346560 CPUtime=0 cores=1,3,5,7
/proc/638/task/644/stat : 644 (java) S 636 636 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445359903 15508250624 9983 33554432000 4194304 4196468 140727042485744 140447749544560 140448281225858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=645] ppid=636 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/638/task/645/stat : 645 (java) S 636 636 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445359904 15508250624 9983 33554432000 4194304 4196468 140727042485744 140447748490528 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=646] ppid=636 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/638/task/646/stat : 646 (java) S 636 636 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445359904 15508250624 9983 33554432000 4194304 4196468 140727042485744 140447747438192 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=647] ppid=636 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/638/task/647/stat : 647 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359906 15508250624 9983 33554432000 4194304 4196468 140727042485744 140447746386512 140448281233307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=648] ppid=636 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/648/stat : 648 (java) S 636 636 32437 0 -1 1077944384 780 0 0 0 2 0 0 0 20 0 15 0 445359906 15508250624 9983 33554432000 4194304 4196468 140727042485744 140447745333360 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=649] ppid=636 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/649/stat : 649 (java) S 636 636 32437 0 -1 1077944384 135 0 0 0 2 0 0 0 20 0 15 0 445359906 15508250624 9983 33554432000 4194304 4196468 140727042485744 140447744280560 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=650] ppid=636 vsize=15144776 memory=139967835346560 CPUtime=0.08 cores=1,3,5,7
/proc/638/task/650/stat : 650 (java) R 636 636 32437 0 -1 4202560 819 0 0 0 8 0 0 0 20 0 15 0 445359906 15508250624 9983 33554432000 4194304 4196468 140727042485744 140447743228272 140448274311547 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=651] ppid=636 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/638/task/651/stat : 651 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359907 15508250624 9983 33554432000 4194304 4196468 140727042485744 140447742175712 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=652] ppid=636 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/638/task/652/stat : 652 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359907 15508250624 9983 33554432000 4194304 4196468 140727042485744 140447741123504 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41380 KiB
[startup+0.310725 s]*
/proc/loadavg: 1.63 0.87 0.96 7/233 652
/proc/meminfo: memFree=28968852/32770624 swapFree=66939908/67108860
[pid=636] ppid=632 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/636/stat : 636 (xcsp3-exec) S 632 636 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445359901 115843072 362 33554432000 4194304 5098028 140721213342496 140721213340600 139801501266556 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30941184 140721213350778 140721213351021 140721213351021 140721213353930 0
/proc/636/statm: 28282 362 304 221 0 87 0
[pid=638] ppid=636 vsize=15149032 memory=49060 CPUtime=0.52 cores=1,3,5,7
/proc/638/stat : 638 (java) S 636 636 32437 0 -1 1077944320 11133 0 0 0 48 4 0 0 20 0 15 0 445359901 15512608768 12265 33554432000 4194304 4196468 140727042485744 140727042468288 140448281214711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
/proc/638/statm: 3787258 12265 3369 1 0 3748377 0
[pid=638/tid=639] ppid=636 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/638/task/639/stat : 639 (java) R 636 636 32437 0 -1 4202560 7838 0 0 0 27 3 0 0 20 0 15 0 445359901 15512608768 12334 33554432000 4194304 4196468 140727042485744 140448285445824 140448265295198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=640] ppid=636 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/638/task/640/stat : 640 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359902 15512608768 12334 33554432000 4194304 4196468 140727042485744 140448250927504 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=641] ppid=636 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=1,3,5,7
/proc/638/task/641/stat : 641 (java) S 636 636 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445359902 15512608768 12334 33554432000 4194304 4196468 140727042485744 140447872321808 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=642] ppid=636 vsize=15149032 memory=6946064998148226416 CPUtime=0 cores=1,3,5,7
/proc/638/task/642/stat : 642 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359902 15512608768 12334 33554432000 4194304 4196468 140727042485744 140447871269520 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=643] ppid=636 vsize=15149032 memory=-6804530832991035292 CPUtime=0 cores=1,3,5,7
/proc/638/task/643/stat : 643 (java) S 636 636 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445359902 15512608768 12334 33554432000 4194304 4196468 140727042485744 140447870216720 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=644] ppid=636 vsize=15149032 memory=-7025448733113094249 CPUtime=0 cores=1,3,5,7
/proc/638/task/644/stat : 644 (java) S 636 636 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445359903 15512608768 12334 33554432000 4194304 4196468 140727042485744 140447749544560 140448281225858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=645] ppid=636 vsize=15149032 memory=3047711553320166262 CPUtime=0 cores=1,3,5,7
/proc/638/task/645/stat : 645 (java) S 636 636 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445359904 15512608768 12334 33554432000 4194304 4196468 140727042485744 140447748490528 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=646] ppid=636 vsize=15149032 memory=-8412656567251072666 CPUtime=0 cores=1,3,5,7
/proc/638/task/646/stat : 646 (java) S 636 636 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445359904 15512608768 12334 33554432000 4194304 4196468 140727042485744 140447747438192 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=647] ppid=636 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/638/task/647/stat : 647 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359906 15512608768 12334 33554432000 4194304 4196468 140727042485744 140447746386512 140448281233307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=648] ppid=636 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/638/task/648/stat : 648 (java) S 636 636 32437 0 -1 1077944384 803 0 0 0 4 0 0 0 20 0 15 0 445359906 15512608768 12334 33554432000 4194304 4196468 140727042485744 140447745333360 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=649] ppid=636 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/638/task/649/stat : 649 (java) R 636 636 32437 0 -1 4202560 247 0 0 0 5 0 0 0 20 0 15 0 445359906 15512608768 12334 33554432000 4194304 4196468 140727042485744 140447744280560 140448262758815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=650] ppid=636 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/638/task/650/stat : 650 (java) S 636 636 32437 0 -1 1077944384 996 0 0 0 12 0 0 0 20 0 15 0 445359906 15512608768 12334 33554432000 4194304 4196468 140727042485744 140447743228272 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=651] ppid=636 vsize=15149032 memory=2319389199166349359 CPUtime=0 cores=1,3,5,7
/proc/638/task/651/stat : 651 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445359907 15512608768 12334 33554432000 4194304 4196468 140727042485744 140447742175712 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=652] ppid=636 vsize=15149032 memory=4049052931053465648 CPUtime=0 cores=1,3,5,7
/proc/638/task/652/stat : 652 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445359907 15512608768 12334 33554432000 4194304 4196468 140727042485744 140447741123504 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50508 KiB
[startup+0.701097 s]
/proc/loadavg: 1.63 0.87 0.96 9/233 652
/proc/meminfo: memFree=28953796/32770624 swapFree=66939908/67108860
[pid=636] ppid=632 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/636/stat : 636 (xcsp3-exec) S 632 636 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445359901 115843072 362 33554432000 4194304 5098028 140721213342496 140721213340600 139801501266556 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30941184 140721213350778 140721213351021 140721213351021 140721213353930 0
/proc/636/statm: 28282 362 304 221 0 87 0
[pid=638] ppid=636 vsize=15417412 memory=97820 CPUtime=1.67 cores=1,3,5,7
/proc/638/stat : 638 (java) S 636 636 32437 0 -1 1077944320 14708 0 0 0 161 6 0 0 20 0 19 0 445359901 15787429888 24455 33554432000 4194304 4196468 140727042485744 140727042468288 140448281214711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
/proc/638/statm: 3854353 24455 3462 1 0 3815453 0
[pid=638/tid=639] ppid=636 vsize=15417412 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/638/task/639/stat : 639 (java) S 636 636 32437 0 -1 1077944384 9307 0 0 0 60 4 0 0 20 0 19 0 445359901 15787429888 24455 33554432000 4194304 4196468 140727042485744 140448285455488 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=640] ppid=636 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/638/task/640/stat : 640 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445359902 15787429888 24455 33554432000 4194304 4196468 140727042485744 140448250927504 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=641] ppid=636 vsize=15417412 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/638/task/641/stat : 641 (java) S 636 636 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445359902 15787429888 24455 33554432000 4194304 4196468 140727042485744 140447872321808 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=642] ppid=636 vsize=15417412 memory=2544 CPUtime=0 cores=1,3,5,7
/proc/638/task/642/stat : 642 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445359902 15787429888 24455 33554432000 4194304 4196468 140727042485744 140447871269520 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=643] ppid=636 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/638/task/643/stat : 643 (java) S 636 636 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445359902 15787429888 24455 33554432000 4194304 4196468 140727042485744 140447870216720 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=644] ppid=636 vsize=15417412 memory=352036 CPUtime=0 cores=1,3,5,7
/proc/638/task/644/stat : 644 (java) S 636 636 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445359903 15787429888 24455 33554432000 4194304 4196468 140727042485744 140447749544560 140448281225858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=645] ppid=636 vsize=15417412 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/638/task/645/stat : 645 (java) S 636 636 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445359904 15787429888 24455 33554432000 4194304 4196468 140727042485744 140447748490528 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=646] ppid=636 vsize=15417412 memory=4152 CPUtime=0 cores=1,3,5,7
/proc/638/task/646/stat : 646 (java) S 636 636 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445359904 15787429888 24455 33554432000 4194304 4196468 140727042485744 140447747438192 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=647] ppid=636 vsize=15417412 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/638/task/647/stat : 647 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359906 15787429888 24455 33554432000 4194304 4196468 140727042485744 140447746386512 140448281233307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=648] ppid=636 vsize=15417412 memory=1728 CPUtime=0.27 cores=1,3,5,7
/proc/638/task/648/stat : 648 (java) R 636 636 32437 0 -1 4202560 1442 0 0 0 27 0 0 0 20 0 19 0 445359906 15787429888 24455 33554432000 4194304 4196468 140727042485744 140447745333360 140448261456624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=649] ppid=636 vsize=15417412 memory=8072 CPUtime=0.28 cores=1,3,5,7
/proc/638/task/649/stat : 649 (java) R 636 636 32437 0 -1 4202560 751 0 0 0 28 0 0 0 20 0 19 0 445359906 15787429888 24455 33554432000 4194304 4196468 140727042485744 140447744262448 140448262759273 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=650] ppid=636 vsize=15417412 memory=9580 CPUtime=0.37 cores=1,3,5,7
/proc/638/task/650/stat : 650 (java) R 636 636 32437 0 -1 4202560 1752 0 0 0 37 0 0 0 20 0 19 0 445359906 15787429888 24455 33554432000 4194304 4196468 140727042485744 140447743224000 140448273549656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=651] ppid=636 vsize=15417412 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/638/task/651/stat : 651 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359907 15787429888 24455 33554432000 4194304 4196468 140727042485744 140447742175712 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=652] ppid=636 vsize=15417412 memory=776 CPUtime=0 cores=1,3,5,7
/proc/638/task/652/stat : 652 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445359907 15787429888 24455 33554432000 4194304 4196468 140727042485744 140447741123504 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 99268 KiB
[startup+1.5011 s]
/proc/loadavg: 1.63 0.87 0.96 11/231 690
/proc/meminfo: memFree=29218944/32770624 swapFree=66939908/67108860
[pid=636] ppid=632 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/636/stat : 636 (xcsp3-exec) S 632 636 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445359901 115843072 362 33554432000 4194304 5098028 140721213342496 140721213340600 139801501266556 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30941184 140721213350778 140721213351021 140721213351021 140721213353930 0
/proc/636/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/638/task/648/stat : 648 (java) R 636 636 32437 0 -1 4202560 2242 0 0 0 86 0 0 0 20 0 19 0 445359906 15788482560 49656 33554432000 4194304 4196468 140727042485744 140447745319456 140448262592593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=649] ppid=636 vsize=15418440 memory=4629539461233085814 CPUtime=0.81 cores=1,3,5,7
/proc/638/task/649/stat : 649 (java) R 636 636 32437 0 -1 4202560 1400 0 0 0 81 0 0 0 20 0 19 0 445359906 15788482560 49656 33554432000 4194304 4196468 140727042485744 140447744266744 140448264601403 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=650] ppid=636 vsize=15418440 memory=6226597463719952487 CPUtime=0.53 cores=1,3,5,7
/proc/638/task/650/stat : 650 (java) R 636 636 32437 0 -1 1077944384 2312 0 0 0 53 0 0 0 20 0 19 0 445359906 15788482560 49656 33554432000 4194304 4196468 140727042485744 140447743228272 140448281225858 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=651] ppid=636 vsize=15418440 memory=6081619128951980135 CPUtime=0 cores=1,3,5,7
/proc/638/task/651/stat : 651 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359907 15788482560 49656 33554432000 4194304 4196468 140727042485744 140447742175712 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=652] ppid=636 vsize=15418440 memory=4638778419807998288 CPUtime=0 cores=1,3,5,7
/proc/638/task/652/stat : 652 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445359907 15788482560 49656 33554432000 4194304 4196468 140727042485744 140447741123504 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
Current children cumulated CPU time: 5.1 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 200072 KiB
[startup+2.0011 s]*
/proc/loadavg: 2.14 0.99 0.99 11/233 765
/proc/meminfo: memFree=29078724/32770624 swapFree=66939908/67108860
[pid=636] ppid=632 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/636/stat : 636 (xcsp3-exec) S 632 636 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445359901 115843072 362 33554432000 4194304 5098028 140721213342496 140721213340600 139801501266556 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30941184 140721213350778 140721213351021 140721213351021 140721213353930 0
/proc/636/statm: 28282 362 304 221 0 87 0
[pid=638] ppid=636 vsize=15418440 memory=217180 CPUtime=6.69 cores=1,3,5,7
/proc/638/stat : 638 (java) S 636 636 32437 0 -1 1077944320 17589 0 0 0 656 13 0 0 20 0 19 0 445359901 15788482560 54295 33554432000 4194304 4196468 140727042485744 140727042468288 140448281214711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
/proc/638/statm: 3854610 54295 3510 1 0 3815710 0
[pid=638/tid=639] ppid=636 vsize=15418440 memory=6935054825532540783 CPUtime=0.65 cores=1,3,5,7
/proc/638/task/639/stat : 639 (java) S 636 636 32437 0 -1 1077944384 9310 0 0 0 61 4 0 0 20 0 19 0 445359901 15788482560 54295 33554432000 4194304 4196468 140727042485744 140448285455488 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=640] ppid=636 vsize=15418440 memory=988 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/640/stat : 640 (java) S 636 636 32437 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 19 0 445359902 15788482560 54295 33554432000 4194304 4196468 140727042485744 140448250927504 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=641] ppid=636 vsize=15418440 memory=2008 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/641/stat : 641 (java) S 636 636 32437 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 19 0 445359902 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447872321808 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=642] ppid=636 vsize=15418440 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/642/stat : 642 (java) S 636 636 32437 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 19 0 445359902 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447871269520 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=643] ppid=636 vsize=15418440 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/643/stat : 643 (java) S 636 636 32437 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 19 0 445359902 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447870216720 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=644] ppid=636 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/638/task/644/stat : 644 (java) S 636 636 32437 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445359903 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447749544560 140448281225858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=645] ppid=636 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/638/task/645/stat : 645 (java) S 636 636 32437 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445359904 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447748490592 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=646] ppid=636 vsize=15418440 memory=0 CPUtime=0 cores=1,3,5,7
/proc/638/task/646/stat : 646 (java) S 636 636 32437 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445359904 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447747438208 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=647] ppid=636 vsize=15418440 memory=3978143244754564911 CPUtime=0 cores=1,3,5,7
/proc/638/task/647/stat : 647 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359906 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447746386512 140448281233307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=648] ppid=636 vsize=15418440 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/638/task/648/stat : 648 (java) S 636 636 32437 0 -1 1077944384 2268 0 0 0 98 0 0 0 20 0 19 0 445359906 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447745333360 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=649] ppid=636 vsize=15418440 memory=8390361644446492005 CPUtime=0.89 cores=1,3,5,7
/proc/638/task/649/stat : 649 (java) S 636 636 32437 0 -1 1077944384 1416 0 0 0 89 0 0 0 20 0 19 0 445359906 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447744280560 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=650] ppid=636 vsize=15418440 memory=6944656592455360569 CPUtime=0.55 cores=1,3,5,7
/proc/638/task/650/stat : 650 (java) S 636 636 32437 0 -1 1077944384 2337 0 0 0 55 0 0 0 20 0 19 0 445359906 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447743228272 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=651] ppid=636 vsize=15418440 memory=139967682880223 CPUtime=0 cores=1,3,5,7
/proc/638/task/651/stat : 651 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359907 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447742175712 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=652] ppid=636 vsize=15418440 memory=139967682882528 CPUtime=0 cores=1,3,5,7
/proc/638/task/652/stat : 652 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445359907 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447741123504 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=762] ppid=636 vsize=15418440 memory=139967682884836 CPUtime=0.39 cores=1,3,5,7
/proc/638/task/762/stat : 762 (java) R 636 636 32437 0 -1 4202560 17 0 0 0 39 0 0 0 20 0 19 0 445360055 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447727932064 140447922687418 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=763] ppid=636 vsize=15418440 memory=279935365715456 CPUtime=0.34 cores=1,3,5,7
/proc/638/task/763/stat : 763 (java) R 636 636 32437 0 -1 4202560 18 0 0 0 34 0 0 0 20 0 19 0 445360055 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447730039208 140447922813727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=764] ppid=636 vsize=15418440 memory=45212539 CPUtime=0.38 cores=1,3,5,7
/proc/638/task/764/stat : 764 (java) R 636 636 32437 0 -1 4202560 17 0 0 0 38 0 0 0 20 0 19 0 445360055 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447728983928 140447922042093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=765] ppid=636 vsize=15418440 memory=3832905438042797878 CPUtime=0.3 cores=1,3,5,7
/proc/638/task/765/stat : 765 (java) R 636 636 32437 0 -1 4202560 18 0 0 0 30 0 0 0 20 0 19 0 445360057 15788482560 54295 33554432000 4194304 4196468 140727042485744 140447731090392 140447922067566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
Current children cumulated CPU time: 6.69 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 218628 KiB
[startup+2.20109 s]
/proc/loadavg: 2.14 0.99 0.99 11/233 765
/proc/meminfo: memFree=29078724/32770624 swapFree=66939908/67108860
[pid=636] ppid=632 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/636/stat : 636 (xcsp3-exec) S 632 636 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445359901 115843072 362 33554432000 4194304 5098028 140721213342496 140721213340600 139801501266556 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30941184 140721213350778 140721213351021 140721213351021 140721213353930 0
/proc/636/statm: 28282 362 304 221 0 87 0
[pid=638] ppid=636 vsize=15418440 memory=217204 CPUtime=7.46 cores=1,3,5,7
/proc/638/stat : 638 (java) S 636 636 32437 0 -1 1077944320 17648 0 0 0 733 13 0 0 20 0 19 0 445359901 15788482560 54301 33554432000 4194304 4196468 140727042485744 140727042468288 140448281214711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
/proc/638/statm: 3854610 54301 3510 1 0 3815710 0
[pid=638/tid=639] ppid=636 vsize=15418440 memory=6944656592455360604 CPUtime=0.65 cores=1,3,5,7
/proc/638/task/639/stat : 639 (java) S 636 636 32437 0 -1 1077944384 9310 0 0 0 61 4 0 0 20 0 19 0 445359901 15788482560 54301 33554432000 4194304 4196468 140727042485744 140448285455488 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=640] ppid=636 vsize=15418440 memory=6944652177228980320 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/640/stat : 640 (java) S 636 636 32437 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 19 0 445359902 15788482560 54301 33554432000 4194304 4196468 140727042485744 140448250927504 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=641] ppid=636 vsize=15418440 memory=6944656592387989600 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/641/stat : 641 (java) S 636 636 32437 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 19 0 445359902 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447872321808 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=642] ppid=636 vsize=15418440 memory=-4695052241013923951 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/642/stat : 642 (java) S 636 636 32437 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 19 0 445359902 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447871269520 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=643] ppid=636 vsize=15418440 memory=-6081100125891549016 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/643/stat : 643 (java) S 636 636 32437 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 19 0 445359902 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447870216720 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=644] ppid=636 vsize=15418440 memory=6944656425122700657 CPUtime=0 cores=1,3,5,7
/proc/638/task/644/stat : 644 (java) S 636 636 32437 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445359903 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447749544560 140448281225858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=645] ppid=636 vsize=15418440 memory=6944652027076318631 CPUtime=0 cores=1,3,5,7
/proc/638/task/645/stat : 645 (java) S 636 636 32437 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445359904 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447748490592 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=646] ppid=636 vsize=15418440 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/638/task/646/stat : 646 (java) S 636 636 32437 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445359904 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447747438208 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=647] ppid=636 vsize=15418440 memory=3688786960005410867 CPUtime=0 cores=1,3,5,7
/proc/638/task/647/stat : 647 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359906 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447746386512 140448281233307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=648] ppid=636 vsize=15418440 memory=6442798838219565928 CPUtime=1.02 cores=1,3,5,7
/proc/638/task/648/stat : 648 (java) S 636 636 32437 0 -1 1077944384 2275 0 0 0 102 0 0 0 20 0 19 0 445359906 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447745333360 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=649] ppid=636 vsize=15418440 memory=7378414964566290277 CPUtime=0.92 cores=1,3,5,7
/proc/638/task/649/stat : 649 (java) S 636 636 32437 0 -1 1077944384 1420 0 0 0 92 0 0 0 20 0 19 0 445359906 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447744280560 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=650] ppid=636 vsize=15418440 memory=-7465405268641471099 CPUtime=0.55 cores=1,3,5,7
/proc/638/task/650/stat : 650 (java) S 636 636 32437 0 -1 1077944384 2341 0 0 0 55 0 0 0 20 0 19 0 445359906 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447743228272 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=651] ppid=636 vsize=15418440 memory=3054156605268465310 CPUtime=0 cores=1,3,5,7
/proc/638/task/651/stat : 651 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359907 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447742175712 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=652] ppid=636 vsize=15418440 memory=-8341965534556230502 CPUtime=0 cores=1,3,5,7
/proc/638/task/652/stat : 652 (java) S 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445359907 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447741123504 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=762] ppid=636 vsize=15418440 memory=7822038051842261661 CPUtime=0.57 cores=1,3,5,7
/proc/638/task/762/stat : 762 (java) R 636 636 32437 0 -1 4202560 18 0 0 0 57 0 0 0 20 0 19 0 445360055 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447727932064 140447923338267 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=763] ppid=636 vsize=15418440 memory=-6520471753822164382 CPUtime=0.53 cores=1,3,5,7
/proc/638/task/763/stat : 763 (java) R 636 636 32437 0 -1 4202560 59 0 0 0 53 0 0 0 20 0 19 0 445360055 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447730036968 140447922814114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=764] ppid=636 vsize=15418440 memory=8514701219730522529 CPUtime=0.56 cores=1,3,5,7
/proc/638/task/764/stat : 764 (java) R 636 636 32437 0 -1 4202560 19 0 0 0 56 0 0 0 20 0 19 0 445360055 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447728983928 140447922169840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=765] ppid=636 vsize=15418440 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/638/task/765/stat : 765 (java) R 636 636 32437 0 -1 4202560 18 0 0 0 43 0 0 0 20 0 19 0 445360057 15788482560 54301 33554432000 4194304 4196468 140727042485744 140447731089784 140447922687125 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
Current children cumulated CPU time: 7.46 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 218652 KiB
[startup+2.30083 s]
/proc/loadavg: 2.14 0.99 0.99 11/233 765
/proc/meminfo: memFree=29078724/32770624 swapFree=66939908/67108860
[pid=636] ppid=632 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/636/stat : 636 (xcsp3-exec) S 632 636 32437 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445359901 115843072 362 33554432000 4194304 5098028 140721213342496 140721213340600 139801501266556 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30941184 140721213350778 140721213351021 140721213351021 140721213353930 0
/proc/636/statm: 28282 362 304 221 0 87 0
[pid=638] ppid=636 vsize=15418440 memory=217272 CPUtime=7.86 cores=1,3,5,7
/proc/638/stat : 638 (java) S 636 636 32437 0 -1 1077944320 17664 0 0 0 773 13 0 0 20 0 19 0 445359901 15788482560 54318 33554432000 4194304 4196468 140727042485744 140727042468288 140448281214711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
/proc/638/statm: 3854610 54318 3510 1 0 3815710 0
[pid=638/tid=639] ppid=636 vsize=15418440 memory=6656426216303648864 CPUtime=0.65 cores=1,3,5,7
/proc/638/task/639/stat : 639 (java) S 636 636 32437 0 -1 1077944384 9310 0 0 0 61 4 0 0 20 0 19 0 445359901 15788482560 54318 33554432000 4194304 4196468 140727042485744 140448285455488 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=640] ppid=636 vsize=15418440 memory=288285597385359934 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/640/stat : 640 (java) S 636 636 32437 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 19 0 445359902 15788482560 54318 33554432000 4194304 4196468 140727042485744 140448250927504 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=641] ppid=636 vsize=15418440 memory=288230574492221466 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/641/stat : 641 (java) S 636 636 32437 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 19 0 445359902 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447872321808 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=642] ppid=636 vsize=15418440 memory=288230596050944315 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/642/stat : 642 (java) S 636 636 32437 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 19 0 445359902 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447871269520 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=643] ppid=636 vsize=15418440 memory=14975572530956657 CPUtime=0.02 cores=1,3,5,7
/proc/638/task/643/stat : 643 (java) S 636 636 32437 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 19 0 445359902 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447870216720 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=644] ppid=636 vsize=15418440 memory=139967682617992 CPUtime=0 cores=1,3,5,7
/proc/638/task/644/stat : 644 (java) S 636 636 32437 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445359903 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447749544560 140448281225858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=645] ppid=636 vsize=15418440 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/638/task/645/stat : 645 (java) S 636 636 32437 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445359904 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447748490592 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=646] ppid=636 vsize=15418440 memory=2544 CPUtime=0 cores=1,3,5,7
/proc/638/task/646/stat : 646 (java) S 636 636 32437 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445359904 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447747438208 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=647] ppid=636 vsize=15418440 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/638/task/647/stat : 647 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359906 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447746386512 140448281233307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=648] ppid=636 vsize=15418440 memory=352036 CPUtime=1.02 cores=1,3,5,7
/proc/638/task/648/stat : 648 (java) S 636 636 32437 0 -1 1077944384 2275 0 0 0 102 0 0 0 20 0 19 0 445359906 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447745333360 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=649] ppid=636 vsize=15418440 memory=1436 CPUtime=0.95 cores=1,3,5,7
/proc/638/task/649/stat : 649 (java) R 636 636 32437 0 -1 4202560 1422 0 0 0 95 0 0 0 20 0 19 0 445359906 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447744280856 140448260391425 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=650] ppid=636 vsize=15418440 memory=4152 CPUtime=0.55 cores=1,3,5,7
/proc/638/task/650/stat : 650 (java) S 636 636 32437 0 -1 1077944384 2341 0 0 0 55 0 0 0 20 0 19 0 445359906 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447743228272 140448281225858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=651] ppid=636 vsize=15418440 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/638/task/651/stat : 651 (java) S 636 636 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445359907 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447742175712 140448281224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=652] ppid=636 vsize=15418440 memory=126288 CPUtime=0 cores=1,3,5,7
/proc/638/task/652/stat : 652 (java) R 636 636 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445359907 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447741123504 140448281225858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=762] ppid=636 vsize=15418440 memory=8072 CPUtime=0.64 cores=1,3,5,7
/proc/638/task/762/stat : 762 (java) R 636 636 32437 0 -1 4202560 18 0 0 0 64 0 0 0 20 0 19 0 445360055 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447727932064 140447922033134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=763] ppid=636 vsize=15418440 memory=9580 CPUtime=0.63 cores=1,3,5,7
/proc/638/task/763/stat : 763 (java) R 636 636 32437 0 -1 4202560 72 0 0 0 63 0 0 0 20 0 19 0 445360055 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447730037512 140447922741176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=764] ppid=636 vsize=15418440 memory=1052 CPUtime=0.66 cores=1,3,5,7
/proc/638/task/764/stat : 764 (java) R 636 636 32437 0 -1 4202560 19 0 0 0 66 0 0 0 20 0 19 0 445360055 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447728983928 140447922687113 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
[pid=638/tid=765] ppid=636 vsize=15418440 memory=776 CPUtime=0.53 cores=1,3,5,7
/proc/638/task/765/stat : 765 (java) R 636 636 32437 0 -1 4202560 19 0 0 0 53 0 0 0 20 0 19 0 445360057 15788482560 54318 33554432000 4194304 4196468 140727042485744 140447731089352 140447921763501 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140727042487279 140727042487450 140727042487450 140727042490319 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 218720 KiB
Child status: 0
Real time (s): 2.3355
CPU time (s): 7.95845
CPU user time (s): 7.81137
CPU system time (s): 0.147073
CPU usage (%): 340.76
Max. virtual memory (cumulated for all children) (KiB): 15531568
Max. memory (cumulated for all children) (KiB): 218720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.81137
system time used= 0.147073
maximum resident set size= 219076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18438
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2248
involuntary context switches= 324
# summary of solver processes directly reported to runsolver:
# pid: 636
# total CPU time (s): 7.95845
# total CPU user time (s): 7.81137
# total CPU system time (s): 0.147073
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042951 second user time and 0.066391 second system time
The end