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 (2220 MiB free)
memory of node 1: 16384 MiB (2519 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404082-1568989336/watcher-4404082-1568989336 -o /var/tmp/evaluation-result-4404082-1568989336/solver-4404082-1568989336 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568988386-31612 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 214483961 HOME/instance-4404082-1568989336.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
solver pid=910, runsolver pid=906
[startup+0.100605 s]*
/proc/loadavg: 8.21 8.14 5.75 6/234 929
/proc/meminfo: memFree=4837912/32770624 swapFree=66976740/67108860
[pid=910] ppid=906 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/910/stat : 910 (xcsp3-exec) S 906 910 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474873740 115843072 364 33554432000 4194304 5098028 140721513850784 140721513848888 139931906720380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7766016 140721513857879 140721513858137 140721513858137 140721513861062 0
/proc/910/statm: 28282 364 305 221 0 87 0
[pid=912] ppid=910 vsize=15144776 memory=28832 CPUtime=0.1 cores=1,3,5,7
/proc/912/stat : 912 (java) S 910 910 31580 0 -1 1077944320 5599 0 0 0 9 1 0 0 20 0 15 0 474873740 15508250624 7208 33554432000 4194304 4196468 140729465415456 140729465398000 139726539169527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
/proc/912/statm: 3786194 7208 3138 1 0 3748377 0
[pid=912/tid=913] ppid=910 vsize=15144776 memory=7022364632946311227 CPUtime=0.08 cores=1,3,5,7
/proc/912/task/913/stat : 913 (java) R 910 910 31580 0 -1 4202560 3618 0 0 0 7 1 0 0 20 0 15 0 474873741 15508250624 7208 33554432000 4194304 4196468 140729465415456 139726543402000 139726539181462 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=915] ppid=910 vsize=15144776 memory=4296933242 CPUtime=0 cores=1,3,5,7
/proc/912/task/915/stat : 915 (java) S 910 910 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474873741 15508250624 7208 33554432000 4194304 4196468 140729465415456 139726495722640 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=916] ppid=910 vsize=15144776 memory=140690862984878 CPUtime=0 cores=1,3,5,7
/proc/912/task/916/stat : 916 (java) S 910 910 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474873741 15508250624 7208 33554432000 4194304 4196468 140729465415456 139726494669840 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=919] ppid=910 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/912/task/919/stat : 919 (java) S 910 910 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474873741 15508250624 7208 33554432000 4194304 4196468 140729465415456 139726129650576 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=920] ppid=910 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/912/task/920/stat : 920 (java) S 910 910 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474873741 15508250624 7208 33554432000 4194304 4196468 140729465415456 139726128597776 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=921] ppid=910 vsize=15144776 memory=140690859419264 CPUtime=0 cores=1,3,5,7
/proc/912/task/921/stat : 921 (java) S 910 910 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474873743 15508250624 7208 33554432000 4194304 4196468 140729465415456 139726007761264 139726539180674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=922] ppid=910 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/912/task/922/stat : 922 (java) S 910 910 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474873743 15508250624 7208 33554432000 4194304 4196468 140729465415456 139726006707232 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=923] ppid=910 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/912/task/923/stat : 923 (java) S 910 910 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474873743 15508250624 7208 33554432000 4194304 4196468 140729465415456 139726005654384 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=924] ppid=910 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/912/task/924/stat : 924 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474873746 15508250624 7208 33554432000 4194304 4196468 140729465415456 139726004602704 139726539188123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=925] ppid=910 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/912/task/925/stat : 925 (java) S 910 910 31580 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 474873746 15508250624 7208 33554432000 4194304 4196468 140729465415456 139726003551088 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=926] ppid=910 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/912/task/926/stat : 926 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474873746 15508250624 7208 33554432000 4194304 4196468 140729465415456 139726002498288 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=927] ppid=910 vsize=15144776 memory=140690859419264 CPUtime=0.01 cores=1,3,5,7
/proc/912/task/927/stat : 927 (java) R 910 910 31580 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 474873746 15508250624 7208 33554432000 4194304 4196468 140729465415456 139726001445488 139726539180674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=928] ppid=910 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/912/task/928/stat : 928 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474873746 15508250624 7208 33554432000 4194304 4196468 140729465415456 139726000392928 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=929] ppid=910 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/912/task/929/stat : 929 (java) S 910 910 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474873747 15508250624 7208 33554432000 4194304 4196468 140729465415456 139725999340208 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30288 KiB
[startup+0.210538 s]*
/proc/loadavg: 8.21 8.14 5.75 7/234 929
/proc/meminfo: memFree=4824360/32770624 swapFree=66976740/67108860
[pid=910] ppid=906 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/910/stat : 910 (xcsp3-exec) S 906 910 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474873740 115843072 364 33554432000 4194304 5098028 140721513850784 140721513848888 139931906720380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7766016 140721513857879 140721513858137 140721513858137 140721513861062 0
/proc/910/statm: 28282 364 305 221 0 87 0
[pid=912] ppid=910 vsize=15144776 memory=41176 CPUtime=0.32 cores=1,3,5,7
/proc/912/stat : 912 (java) S 910 910 31580 0 -1 1077944320 9423 0 0 0 28 4 0 0 20 0 15 0 474873740 15508250624 10294 33554432000 4194304 4196468 140729465415456 140729465398000 139726539169527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
/proc/912/statm: 3786194 10294 3323 1 0 3748377 0
[pid=912/tid=913] ppid=910 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/912/task/913/stat : 913 (java) R 910 910 31580 0 -1 4202560 6585 0 0 0 16 3 0 0 20 0 15 0 474873741 15508250624 10307 33554432000 4194304 4196468 140729465415456 139726543401440 139726523250014 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=915] ppid=910 vsize=15144776 memory=4296933242 CPUtime=0 cores=1,3,5,7
/proc/912/task/915/stat : 915 (java) S 910 910 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474873741 15508250624 10307 33554432000 4194304 4196468 140729465415456 139726495722640 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=916] ppid=910 vsize=15144776 memory=140690862984878 CPUtime=0 cores=1,3,5,7
/proc/912/task/916/stat : 916 (java) S 910 910 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474873741 15508250624 10307 33554432000 4194304 4196468 140729465415456 139726494669840 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=919] ppid=910 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/912/task/919/stat : 919 (java) S 910 910 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474873741 15508250624 10307 33554432000 4194304 4196468 140729465415456 139726129650576 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=920] ppid=910 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/912/task/920/stat : 920 (java) S 910 910 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474873741 15508250624 10307 33554432000 4194304 4196468 140729465415456 139726128597776 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=921] ppid=910 vsize=15144776 memory=140690859419264 CPUtime=0 cores=1,3,5,7
/proc/912/task/921/stat : 921 (java) S 910 910 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474873743 15508250624 10307 33554432000 4194304 4196468 140729465415456 139726007761264 139726539180674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=922] ppid=910 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/912/task/922/stat : 922 (java) S 910 910 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474873743 15508250624 10307 33554432000 4194304 4196468 140729465415456 139726006707232 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=923] ppid=910 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/912/task/923/stat : 923 (java) S 910 910 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474873743 15508250624 10307 33554432000 4194304 4196468 140729465415456 139726005654384 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=924] ppid=910 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/912/task/924/stat : 924 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474873746 15508250624 10307 33554432000 4194304 4196468 140729465415456 139726004602704 139726539188123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=925] ppid=910 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/912/task/925/stat : 925 (java) S 910 910 31580 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 15 0 474873746 15508250624 10307 33554432000 4194304 4196468 140729465415456 139726003551088 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=926] ppid=910 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/912/task/926/stat : 926 (java) S 910 910 31580 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 15 0 474873746 15508250624 10307 33554432000 4194304 4196468 140729465415456 139726002498288 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=927] ppid=910 vsize=15144776 memory=140690859419264 CPUtime=0.07 cores=1,3,5,7
/proc/912/task/927/stat : 927 (java) R 910 910 31580 0 -1 4202560 740 0 0 0 7 0 0 0 20 0 15 0 474873746 15508250624 10307 33554432000 4194304 4196468 140729465415456 139726001445488 139726539181462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=928] ppid=910 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/912/task/928/stat : 928 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474873746 15508250624 10307 33554432000 4194304 4196468 140729465415456 139726000392928 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=929] ppid=910 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/912/task/929/stat : 929 (java) S 910 910 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474873747 15508250624 10307 33554432000 4194304 4196468 140729465415456 139725999340208 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42632 KiB
[startup+0.310573 s]*
/proc/loadavg: 8.21 8.14 5.75 7/234 929
/proc/meminfo: memFree=4820416/32770624 swapFree=66976740/67108860
[pid=910] ppid=906 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/910/stat : 910 (xcsp3-exec) S 906 910 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474873740 115843072 364 33554432000 4194304 5098028 140721513850784 140721513848888 139931906720380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7766016 140721513857879 140721513858137 140721513858137 140721513861062 0
/proc/910/statm: 28282 364 305 221 0 87 0
[pid=912] ppid=910 vsize=15149032 memory=47012 CPUtime=0.5 cores=1,3,5,7
/proc/912/stat : 912 (java) S 910 910 31580 0 -1 1077944320 10569 0 0 0 45 5 0 0 20 0 15 0 474873740 15512608768 11753 33554432000 4194304 4196468 140729465415456 140729465398000 139726539169527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
/proc/912/statm: 3787258 11753 3353 1 0 3748377 0
[pid=912/tid=913] ppid=910 vsize=15149032 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/912/task/913/stat : 913 (java) R 910 910 31580 0 -1 4202560 7658 0 0 0 25 4 0 0 20 0 15 0 474873741 15512608768 12329 33554432000 4194304 4196468 140729465415456 139726543406144 139726523250014 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=915] ppid=910 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/912/task/915/stat : 915 (java) S 910 910 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474873741 15512608768 12329 33554432000 4194304 4196468 140729465415456 139726495722640 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=916] ppid=910 vsize=15149032 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/912/task/916/stat : 916 (java) S 910 910 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474873741 15512608768 12329 33554432000 4194304 4196468 140729465415456 139726494669840 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=919] ppid=910 vsize=15149032 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/912/task/919/stat : 919 (java) S 910 910 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474873741 15512608768 12329 33554432000 4194304 4196468 140729465415456 139726129650576 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=920] ppid=910 vsize=15149032 memory=984 CPUtime=0 cores=1,3,5,7
/proc/912/task/920/stat : 920 (java) S 910 910 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474873741 15512608768 12329 33554432000 4194304 4196468 140729465415456 139726128597776 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=921] ppid=910 vsize=15149032 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/912/task/921/stat : 921 (java) S 910 910 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474873743 15512608768 12329 33554432000 4194304 4196468 140729465415456 139726007761264 139726539180674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=922] ppid=910 vsize=15149032 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/912/task/922/stat : 922 (java) S 910 910 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474873743 15512608768 12329 33554432000 4194304 4196468 140729465415456 139726006707232 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=923] ppid=910 vsize=15149032 memory=3372 CPUtime=0 cores=1,3,5,7
/proc/912/task/923/stat : 923 (java) S 910 910 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474873743 15512608768 12329 33554432000 4194304 4196468 140729465415456 139726005654384 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=924] ppid=910 vsize=15149032 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/912/task/924/stat : 924 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474873746 15512608768 12329 33554432000 4194304 4196468 140729465415456 139726004602704 139726539188123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=925] ppid=910 vsize=15149032 memory=894964 CPUtime=0.04 cores=1,3,5,7
/proc/912/task/925/stat : 925 (java) S 910 910 31580 0 -1 1077944384 476 0 0 0 4 0 0 0 20 0 15 0 474873746 15512608768 12329 33554432000 4194304 4196468 140729465415456 139726003551088 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=926] ppid=910 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/912/task/926/stat : 926 (java) S 910 910 31580 0 -1 1077944384 343 0 0 0 4 0 0 0 20 0 15 0 474873746 15512608768 12329 33554432000 4194304 4196468 140729465415456 139726002498288 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=927] ppid=910 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/912/task/927/stat : 927 (java) S 910 910 31580 0 -1 1077944384 813 0 0 0 12 0 0 0 20 0 15 0 474873746 15512608768 12329 33554432000 4194304 4196468 140729465415456 139726001445488 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=928] ppid=910 vsize=15149032 memory=140690713521120 CPUtime=0 cores=1,3,5,7
/proc/912/task/928/stat : 928 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474873746 15512608768 12329 33554432000 4194304 4196468 140729465415456 139726000392928 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=929] ppid=910 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/912/task/929/stat : 929 (java) S 910 910 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474873747 15512608768 12329 33554432000 4194304 4196468 140729465415456 139725999340208 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48468 KiB
[startup+0.703378 s]
/proc/loadavg: 8.21 8.14 5.75 7/234 929
/proc/meminfo: memFree=4806148/32770624 swapFree=66976740/67108860
[pid=910] ppid=906 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/910/stat : 910 (xcsp3-exec) S 906 910 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474873740 115843072 364 33554432000 4194304 5098028 140721513850784 140721513848888 139931906720380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7766016 140721513857879 140721513858137 140721513858137 140721513861062 0
/proc/910/statm: 28282 364 305 221 0 87 0
[pid=912] ppid=910 vsize=15417412 memory=84148 CPUtime=1.58 cores=1,3,5,7
/proc/912/stat : 912 (java) S 910 910 31580 0 -1 1077944320 14842 0 0 0 152 6 0 0 20 0 19 0 474873740 15787429888 21037 33554432000 4194304 4196468 140729465415456 140729465398000 139726539169527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
/proc/912/statm: 3854353 21037 3453 1 0 3815453 0
[pid=912/tid=913] ppid=910 vsize=15417412 memory=5795153719298590087 CPUtime=0.63 cores=1,3,5,7
/proc/912/task/913/stat : 913 (java) S 910 910 31580 0 -1 1077944384 9243 0 0 0 59 4 0 0 20 0 19 0 474873741 15787429888 21037 33554432000 4194304 4196468 140729465415456 139726543410304 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=915] ppid=910 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/912/task/915/stat : 915 (java) S 910 910 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474873741 15787429888 21037 33554432000 4194304 4196468 140729465415456 139726495722640 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=916] ppid=910 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/912/task/916/stat : 916 (java) S 910 910 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 474873741 15787429888 21037 33554432000 4194304 4196468 140729465415456 139726494669840 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=919] ppid=910 vsize=15417412 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/912/task/919/stat : 919 (java) S 910 910 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474873741 15787429888 21037 33554432000 4194304 4196468 140729465415456 139726129650576 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=920] ppid=910 vsize=15417412 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/912/task/920/stat : 920 (java) S 910 910 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 474873741 15787429888 21037 33554432000 4194304 4196468 140729465415456 139726128597776 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=921] ppid=910 vsize=15417412 memory=580 CPUtime=0 cores=1,3,5,7
/proc/912/task/921/stat : 921 (java) S 910 910 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 474873743 15787429888 21037 33554432000 4194304 4196468 140729465415456 139726007761264 139726539180674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=922] ppid=910 vsize=15417412 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/912/task/922/stat : 922 (java) S 910 910 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 474873743 15787429888 21037 33554432000 4194304 4196468 140729465415456 139726006707232 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=923] ppid=910 vsize=15417412 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/912/task/923/stat : 923 (java) S 910 910 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 474873743 15787429888 21037 33554432000 4194304 4196468 140729465415456 139726005654384 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=924] ppid=910 vsize=15417412 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/912/task/924/stat : 924 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474873746 15787429888 21037 33554432000 4194304 4196468 140729465415456 139726004602704 139726539188123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=925] ppid=910 vsize=15417412 memory=776 CPUtime=0.21 cores=1,3,5,7
/proc/912/task/925/stat : 925 (java) R 910 910 31580 0 -1 4202560 1225 0 0 0 21 0 0 0 20 0 19 0 474873746 15787429888 21037 33554432000 4194304 4196468 140729465415456 139726003551184 139726539190874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=926] ppid=910 vsize=15417412 memory=1564 CPUtime=0.23 cores=1,3,5,7
/proc/912/task/926/stat : 926 (java) R 910 910 31580 0 -1 1077944384 1068 0 0 0 23 0 0 0 20 0 19 0 474873746 15787429888 21037 33554432000 4194304 4196468 140729465415456 139726002498288 139726539180674 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=927] ppid=910 vsize=15417412 memory=6088 CPUtime=0.41 cores=1,3,5,7
/proc/912/task/927/stat : 927 (java) R 910 910 31580 0 -1 4202560 1802 0 0 0 41 0 0 0 20 0 19 0 474873746 15787429888 21037 33554432000 4194304 4196468 140729465415456 139726001445488 139726539181462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=928] ppid=910 vsize=15417412 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/912/task/928/stat : 928 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474873746 15787429888 21037 33554432000 4194304 4196468 140729465415456 139726000392928 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=929] ppid=910 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/912/task/929/stat : 929 (java) S 910 910 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474873747 15787429888 21037 33554432000 4194304 4196468 140729465415456 139725999340208 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 85604 KiB
[startup+1.50305 s]
/proc/loadavg: 8.21 8.14 5.75 12/238 973
/proc/meminfo: memFree=4683392/32770624 swapFree=66976740/67108860
[pid=910] ppid=906 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/910/stat : 910 (xcsp3-exec) S 906 910 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474873740 115843072 364 33554432000 4194304 5098028 140721513850784 140721513848888 139931906720380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7766016 140721513857879 140721513858137 140721513858137 140721513861062 0
/proc/910/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/912/task/929/stat : 929 (java) S 910 910 31580 0 -1 1077944384 554 0 0 0 0 4 0 0 20 0 19 0 474873747 15858741248 212040 33554432000 4194304 4196468 140729465415456 139725999340208 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=978] ppid=910 vsize=15487052 memory=844064 CPUtime=135.49 cores=1,3,5,7
/proc/912/task/978/stat : 978 (java) R 910 910 31580 0 -1 4202560 1139 0 0 0 13548 1 0 0 20 0 19 0 474873859 15858741248 212040 33554432000 4194304 4196468 140729465415456 139725990120784 139726179762634 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=979] ppid=910 vsize=15487052 memory=1984 CPUtime=135.55 cores=1,3,5,7
/proc/912/task/979/stat : 979 (java) R 910 910 31580 0 -1 4202560 3522 0 0 0 13553 2 0 0 20 0 19 0 474873859 15858741248 212040 33554432000 4194304 4196468 140729465415456 139725989072360 139726182242443 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=980] ppid=910 vsize=15487052 memory=2580 CPUtime=135.74 cores=1,3,5,7
/proc/912/task/980/stat : 980 (java) R 910 910 31580 0 -1 4202560 2051 0 0 0 13572 2 0 0 20 0 19 0 474873859 15858741248 212040 33554432000 4194304 4196468 140729465415456 139725985911080 139726180234162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=981] ppid=910 vsize=15487052 memory=988 CPUtime=135.65 cores=1,3,5,7
/proc/912/task/981/stat : 981 (java) R 910 910 31580 0 -1 4202560 6078 0 0 0 13560 5 0 0 20 0 19 0 474873859 15858741248 212040 33554432000 4194304 4196468 140729465415456 139725988019520 139726179291200 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
Current children cumulated CPU time: 550.21 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 849616 KiB
[startup+140.802 s]
/proc/loadavg: 8.04 8.14 6.09 9/238 991
/proc/meminfo: memFree=2959916/32770624 swapFree=66976740/67108860
[pid=910] ppid=906 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/910/stat : 910 (xcsp3-exec) S 906 910 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474873740 115843072 364 33554432000 4194304 5098028 140721513850784 140721513848888 139931906720380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7766016 140721513857879 140721513858137 140721513858137 140721513861062 0
/proc/910/statm: 28282 364 305 221 0 87 0
[pid=912] ppid=910 vsize=15487052 memory=911128 CPUtime=556.59 cores=1,3,5,7
/proc/912/stat : 912 (java) S 910 910 31580 0 -1 1077944320 53839 0 0 0 55612 47 0 0 20 0 19 0 474873740 15858741248 227782 33554432000 4194304 4196468 140729465415456 140729465398000 139726539169527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
/proc/912/statm: 3871763 227782 3528 1 0 3832863 0
[pid=912/tid=913] ppid=910 vsize=15487052 memory=988 CPUtime=0.64 cores=1,3,5,7
/proc/912/task/913/stat : 913 (java) S 910 910 31580 0 -1 1077944384 9248 0 0 0 60 4 0 0 20 0 19 0 474873741 15858741248 227782 33554432000 4194304 4196468 140729465415456 139726543410304 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=915] ppid=910 vsize=15487052 memory=2008 CPUtime=0.54 cores=1,3,5,7
/proc/912/task/915/stat : 915 (java) S 910 910 31580 0 -1 1077944384 1074 0 0 0 48 6 0 0 20 0 19 0 474873741 15858741248 227782 33554432000 4194304 4196468 140729465415456 139726495722640 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=916] ppid=910 vsize=15487052 memory=1436 CPUtime=0.54 cores=1,3,5,7
/proc/912/task/916/stat : 916 (java) S 910 910 31580 0 -1 1077944384 1319 0 0 0 47 7 0 0 20 0 19 0 474873741 15858741248 227782 33554432000 4194304 4196468 140729465415456 139726494669840 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=919] ppid=910 vsize=15487052 memory=580 CPUtime=0.54 cores=1,3,5,7
/proc/912/task/919/stat : 919 (java) S 910 910 31580 0 -1 1077944384 1924 0 0 0 49 5 0 0 20 0 19 0 474873741 15858741248 227782 33554432000 4194304 4196468 140729465415456 139726129650576 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=920] ppid=910 vsize=15487052 memory=6947385649911455296 CPUtime=0.54 cores=1,3,5,7
/proc/912/task/920/stat : 920 (java) S 910 910 31580 0 -1 1077944384 2077 0 0 0 48 6 0 0 20 0 19 0 474873741 15858741248 227782 33554432000 4194304 4196468 140729465415456 139726128597776 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=921] ppid=910 vsize=15487052 memory=281381427595776 CPUtime=0.27 cores=1,3,5,7
/proc/912/task/921/stat : 921 (java) S 910 910 31580 0 -1 1077944384 2257 0 0 0 25 2 0 0 20 0 19 0 474873743 15858741248 227782 33554432000 4194304 4196468 140729465415456 139726007761264 139726539180674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=922] ppid=910 vsize=15487052 memory=7230645025961766505 CPUtime=0 cores=1,3,5,7
/proc/912/task/922/stat : 922 (java) S 910 910 31580 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 474873743 15858741248 227782 33554432000 4194304 4196468 140729465415456 139726006707296 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=923] ppid=910 vsize=15487052 memory=7512114543601282149 CPUtime=0 cores=1,3,5,7
/proc/912/task/923/stat : 923 (java) S 910 910 31580 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 474873743 15858741248 227782 33554432000 4194304 4196468 140729465415456 139726005654384 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=924] ppid=910 vsize=15487052 memory=6947385649911455296 CPUtime=0 cores=1,3,5,7
/proc/912/task/924/stat : 924 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474873746 15858741248 227782 33554432000 4194304 4196468 140729465415456 139726004602704 139726539188123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=925] ppid=910 vsize=15487052 memory=2828 CPUtime=1.38 cores=1,3,5,7
/proc/912/task/925/stat : 925 (java) S 910 910 31580 0 -1 1077944384 8303 0 0 0 137 1 0 0 20 0 19 0 474873746 15858741248 227782 33554432000 4194304 4196468 140729465415456 139726003551088 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=926] ppid=910 vsize=15487052 memory=1216 CPUtime=1.41 cores=1,3,5,7
/proc/912/task/926/stat : 926 (java) S 910 910 31580 0 -1 1077944384 6540 0 0 0 141 0 0 0 20 0 19 0 474873746 15858741248 227782 33554432000 4194304 4196468 140729465415456 139726002498288 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=927] ppid=910 vsize=15487052 memory=984 CPUtime=0.7 cores=1,3,5,7
/proc/912/task/927/stat : 927 (java) S 910 910 31580 0 -1 1077944384 4957 0 0 0 69 1 0 0 20 0 19 0 474873746 15858741248 227782 33554432000 4194304 4196468 140729465415456 139726001445488 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=928] ppid=910 vsize=15487052 memory=844064 CPUtime=0 cores=1,3,5,7
/proc/912/task/928/stat : 928 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474873746 15858741248 227782 33554432000 4194304 4196468 140729465415456 139726000392928 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=929] ppid=910 vsize=15487052 memory=755836 CPUtime=0.04 cores=1,3,5,7
/proc/912/task/929/stat : 929 (java) S 910 910 31580 0 -1 1077944384 554 0 0 0 0 4 0 0 20 0 19 0 474873747 15858741248 227782 33554432000 4194304 4196468 140729465415456 139725999340208 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=978] ppid=910 vsize=15487052 memory=3636 CPUtime=137.09 cores=1,3,5,7
/proc/912/task/978/stat : 978 (java) R 910 910 31580 0 -1 4202560 1143 0 0 0 13708 1 0 0 20 0 19 0 474873859 15858741248 227782 33554432000 4194304 4196468 140729465415456 139725990120888 139726180234249 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=979] ppid=910 vsize=15487052 memory=776 CPUtime=137.15 cores=1,3,5,7
/proc/912/task/979/stat : 979 (java) R 910 910 31580 0 -1 4202560 3927 0 0 0 13713 2 0 0 20 0 19 0 474873859 15858741248 227782 33554432000 4194304 4196468 140729465415456 139725989071408 139726181596729 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=980] ppid=910 vsize=15487052 memory=690084 CPUtime=137.34 cores=1,3,5,7
/proc/912/task/980/stat : 980 (java) R 910 910 31580 0 -1 4202560 2055 0 0 0 13732 2 0 0 20 0 19 0 474873859 15858741248 227782 33554432000 4194304 4196468 140729465415456 139725985911224 139726179762637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=981] ppid=910 vsize=15487052 memory=673468 CPUtime=137.22 cores=1,3,5,7
/proc/912/task/981/stat : 981 (java) R 910 910 31580 0 -1 4202560 6078 0 0 0 13717 5 0 0 20 0 19 0 474873859 15858741248 227782 33554432000 4194304 4196468 140729465415456 139725988016560 139726179487303 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
Current children cumulated CPU time: 556.59 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 912584 KiB
[startup+141.202 s]
/proc/loadavg: 8.04 8.14 6.09 9/238 991
/proc/meminfo: memFree=2952656/32770624 swapFree=66976740/67108860
[pid=910] ppid=906 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/910/stat : 910 (xcsp3-exec) S 906 910 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474873740 115843072 364 33554432000 4194304 5098028 140721513850784 140721513848888 139931906720380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7766016 140721513857879 140721513858137 140721513858137 140721513861062 0
/proc/910/statm: 28282 364 305 221 0 87 0
[pid=912] ppid=910 vsize=15487052 memory=919504 CPUtime=558.17 cores=1,3,5,7
/proc/912/stat : 912 (java) S 910 910 31580 0 -1 1077944320 53847 0 0 0 55770 47 0 0 20 0 19 0 474873740 15858741248 229876 33554432000 4194304 4196468 140729465415456 140729465398000 139726539169527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
/proc/912/statm: 3871763 229876 3528 1 0 3832863 0
[pid=912/tid=913] ppid=910 vsize=15487052 memory=3620 CPUtime=0.64 cores=1,3,5,7
/proc/912/task/913/stat : 913 (java) S 910 910 31580 0 -1 1077944384 9248 0 0 0 60 4 0 0 20 0 19 0 474873741 15858741248 229876 33554432000 4194304 4196468 140729465415456 139726543410304 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=915] ppid=910 vsize=15487052 memory=6947385649911455296 CPUtime=0.54 cores=1,3,5,7
/proc/912/task/915/stat : 915 (java) S 910 910 31580 0 -1 1077944384 1075 0 0 0 48 6 0 0 20 0 19 0 474873741 15858741248 229876 33554432000 4194304 4196468 140729465415456 139726495722640 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=916] ppid=910 vsize=15487052 memory=2124 CPUtime=0.55 cores=1,3,5,7
/proc/912/task/916/stat : 916 (java) S 910 910 31580 0 -1 1077944384 1320 0 0 0 48 7 0 0 20 0 19 0 474873741 15858741248 229876 33554432000 4194304 4196468 140729465415456 139726494669840 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=919] ppid=910 vsize=15487052 memory=500 CPUtime=0.54 cores=1,3,5,7
/proc/912/task/919/stat : 919 (java) S 910 910 31580 0 -1 1077944384 1925 0 0 0 49 5 0 0 20 0 19 0 474873741 15858741248 229876 33554432000 4194304 4196468 140729465415456 139726129650576 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=920] ppid=910 vsize=15487052 memory=1556 CPUtime=0.55 cores=1,3,5,7
/proc/912/task/920/stat : 920 (java) S 910 910 31580 0 -1 1077944384 2078 0 0 0 49 6 0 0 20 0 19 0 474873741 15858741248 229876 33554432000 4194304 4196468 140729465415456 139726128597776 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=921] ppid=910 vsize=15487052 memory=928 CPUtime=0.27 cores=1,3,5,7
/proc/912/task/921/stat : 921 (java) S 910 910 31580 0 -1 1077944384 2257 0 0 0 25 2 0 0 20 0 19 0 474873743 15858741248 229876 33554432000 4194304 4196468 140729465415456 139726007761264 139726539180674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=922] ppid=910 vsize=15487052 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/912/task/922/stat : 922 (java) S 910 910 31580 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 474873743 15858741248 229876 33554432000 4194304 4196468 140729465415456 139726006707296 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=923] ppid=910 vsize=15487052 memory=816 CPUtime=0 cores=1,3,5,7
/proc/912/task/923/stat : 923 (java) S 910 910 31580 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 474873743 15858741248 229876 33554432000 4194304 4196468 140729465415456 139726005654384 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=924] ppid=910 vsize=15487052 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/912/task/924/stat : 924 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474873746 15858741248 229876 33554432000 4194304 4196468 140729465415456 139726004602704 139726539188123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=925] ppid=910 vsize=15487052 memory=1456 CPUtime=1.38 cores=1,3,5,7
/proc/912/task/925/stat : 925 (java) S 910 910 31580 0 -1 1077944384 8303 0 0 0 137 1 0 0 20 0 19 0 474873746 15858741248 229876 33554432000 4194304 4196468 140729465415456 139726003551088 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=926] ppid=910 vsize=15487052 memory=1456 CPUtime=1.41 cores=1,3,5,7
/proc/912/task/926/stat : 926 (java) S 910 910 31580 0 -1 1077944384 6540 0 0 0 141 0 0 0 20 0 19 0 474873746 15858741248 229876 33554432000 4194304 4196468 140729465415456 139726002498288 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=927] ppid=910 vsize=15487052 memory=1456 CPUtime=0.7 cores=1,3,5,7
/proc/912/task/927/stat : 927 (java) S 910 910 31580 0 -1 1077944384 4957 0 0 0 69 1 0 0 20 0 19 0 474873746 15858741248 229876 33554432000 4194304 4196468 140729465415456 139726001445488 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=928] ppid=910 vsize=15487052 memory=281381427826416 CPUtime=0 cores=1,3,5,7
/proc/912/task/928/stat : 928 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474873746 15858741248 229876 33554432000 4194304 4196468 140729465415456 139726000392928 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=929] ppid=910 vsize=15487052 memory=7156618292531588973 CPUtime=0.04 cores=1,3,5,7
/proc/912/task/929/stat : 929 (java) S 910 910 31580 0 -1 1077944384 554 0 0 0 0 4 0 0 20 0 19 0 474873747 15858741248 229876 33554432000 4194304 4196468 140729465415456 139725999340208 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=978] ppid=910 vsize=15487052 memory=7525353784385098855 CPUtime=137.48 cores=1,3,5,7
/proc/912/task/978/stat : 978 (java) R 910 910 31580 0 -1 4202560 1143 0 0 0 13747 1 0 0 20 0 19 0 474873859 15858741248 229876 33554432000 4194304 4196468 140729465415456 139725990120384 139726175704328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=979] ppid=910 vsize=15487052 memory=7525353784385098855 CPUtime=137.54 cores=1,3,5,7
/proc/912/task/979/stat : 979 (java) R 910 910 31580 0 -1 4202560 3927 0 0 0 13752 2 0 0 20 0 19 0 474873859 15858741248 229876 33554432000 4194304 4196468 140729465415456 139725989068408 139726181631273 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=980] ppid=910 vsize=15487052 memory=8027788851430255188 CPUtime=137.73 cores=1,3,5,7
/proc/912/task/980/stat : 980 (java) R 910 910 31580 0 -1 4202560 2055 0 0 0 13771 2 0 0 20 0 19 0 474873859 15858741248 229876 33554432000 4194304 4196468 140729465415456 139725985914016 139726180569967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=981] ppid=910 vsize=15487052 memory=7156618292531588973 CPUtime=137.6 cores=1,3,5,7
/proc/912/task/981/stat : 981 (java) R 910 910 31580 0 -1 4202560 6082 0 0 0 13755 5 0 0 20 0 19 0 474873859 15858741248 229876 33554432000 4194304 4196468 140729465415456 139725988019784 139726523546544 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
Current children cumulated CPU time: 558.17 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 920960 KiB
[startup+141.602 s]
/proc/loadavg: 8.04 8.14 6.09 9/238 991
/proc/meminfo: memFree=2952656/32770624 swapFree=66976740/67108860
[pid=910] ppid=906 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/910/stat : 910 (xcsp3-exec) S 906 910 31580 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474873740 115843072 364 33554432000 4194304 5098028 140721513850784 140721513848888 139931906720380 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7766016 140721513857879 140721513858137 140721513858137 140721513861062 0
/proc/910/statm: 28282 364 305 221 0 87 0
[pid=912] ppid=910 vsize=15487052 memory=921040 CPUtime=559.72 cores=1,3,5,7
/proc/912/stat : 912 (java) S 910 910 31580 0 -1 1077944320 53852 0 0 0 55925 47 0 0 20 0 19 0 474873740 15858741248 230260 33554432000 4194304 4196468 140729465415456 140729465398000 139726539169527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
/proc/912/statm: 3871763 230260 3528 1 0 3832863 0
[pid=912/tid=913] ppid=910 vsize=15487052 memory=671940 CPUtime=0.64 cores=1,3,5,7
/proc/912/task/913/stat : 913 (java) S 910 910 31580 0 -1 1077944384 9248 0 0 0 60 4 0 0 20 0 19 0 474873741 15858741248 230260 33554432000 4194304 4196468 140729465415456 139726543410304 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=915] ppid=910 vsize=15487052 memory=10604 CPUtime=0.54 cores=1,3,5,7
/proc/912/task/915/stat : 915 (java) S 910 910 31580 0 -1 1077944384 1076 0 0 0 48 6 0 0 20 0 19 0 474873741 15858741248 230260 33554432000 4194304 4196468 140729465415456 139726495722640 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=916] ppid=910 vsize=15487052 memory=3636 CPUtime=0.55 cores=1,3,5,7
/proc/912/task/916/stat : 916 (java) S 910 910 31580 0 -1 1077944384 1321 0 0 0 48 7 0 0 20 0 19 0 474873741 15858741248 230260 33554432000 4194304 4196468 140729465415456 139726494669840 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=919] ppid=910 vsize=15487052 memory=500 CPUtime=0.54 cores=1,3,5,7
/proc/912/task/919/stat : 919 (java) S 910 910 31580 0 -1 1077944384 1926 0 0 0 49 5 0 0 20 0 19 0 474873741 15858741248 230260 33554432000 4194304 4196468 140729465415456 139726129650576 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=920] ppid=910 vsize=15487052 memory=1556 CPUtime=0.55 cores=1,3,5,7
/proc/912/task/920/stat : 920 (java) S 910 910 31580 0 -1 1077944384 2079 0 0 0 49 6 0 0 20 0 19 0 474873741 15858741248 230260 33554432000 4194304 4196468 140729465415456 139726128597776 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=921] ppid=910 vsize=15487052 memory=928 CPUtime=0.27 cores=1,3,5,7
/proc/912/task/921/stat : 921 (java) S 910 910 31580 0 -1 1077944384 2257 0 0 0 25 2 0 0 20 0 19 0 474873743 15858741248 230260 33554432000 4194304 4196468 140729465415456 139726007761264 139726539180674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=922] ppid=910 vsize=15487052 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/912/task/922/stat : 922 (java) S 910 910 31580 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 474873743 15858741248 230260 33554432000 4194304 4196468 140729465415456 139726006707296 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=923] ppid=910 vsize=15487052 memory=816 CPUtime=0 cores=1,3,5,7
/proc/912/task/923/stat : 923 (java) S 910 910 31580 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 474873743 15858741248 230260 33554432000 4194304 4196468 140729465415456 139726005654384 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=924] ppid=910 vsize=15487052 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/912/task/924/stat : 924 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474873746 15858741248 230260 33554432000 4194304 4196468 140729465415456 139726004602704 139726539188123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=925] ppid=910 vsize=15487052 memory=6791534058613427641 CPUtime=1.38 cores=1,3,5,7
/proc/912/task/925/stat : 925 (java) S 910 910 31580 0 -1 1077944384 8303 0 0 0 137 1 0 0 20 0 19 0 474873746 15858741248 230260 33554432000 4194304 4196468 140729465415456 139726003551088 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=926] ppid=910 vsize=15487052 memory=3212 CPUtime=1.41 cores=1,3,5,7
/proc/912/task/926/stat : 926 (java) S 910 910 31580 0 -1 1077944384 6540 0 0 0 141 0 0 0 20 0 19 0 474873746 15858741248 230260 33554432000 4194304 4196468 140729465415456 139726002498288 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=927] ppid=910 vsize=15487052 memory=1456 CPUtime=0.7 cores=1,3,5,7
/proc/912/task/927/stat : 927 (java) S 910 910 31580 0 -1 1077944384 4957 0 0 0 69 1 0 0 20 0 19 0 474873746 15858741248 230260 33554432000 4194304 4196468 140729465415456 139726001445488 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=928] ppid=910 vsize=15487052 memory=919504 CPUtime=0 cores=1,3,5,7
/proc/912/task/928/stat : 928 (java) S 910 910 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474873746 15858741248 230260 33554432000 4194304 4196468 140729465415456 139726000392928 139726539179733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=929] ppid=910 vsize=15487052 memory=14048 CPUtime=0.04 cores=1,3,5,7
/proc/912/task/929/stat : 929 (java) S 910 910 31580 0 -1 1077944384 554 0 0 0 0 4 0 0 20 0 19 0 474873747 15858741248 230260 33554432000 4194304 4196468 140729465415456 139725999340208 139726539180674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=978] ppid=910 vsize=15487052 memory=2124 CPUtime=137.88 cores=1,3,5,7
/proc/912/task/978/stat : 978 (java) R 910 910 31580 0 -1 4202560 1143 0 0 0 13787 1 0 0 20 0 19 0 474873859 15858741248 230260 33554432000 4194304 4196468 140729465415456 139725990121032 139726175704343 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=979] ppid=910 vsize=15487052 memory=6947385649911455296 CPUtime=137.94 cores=1,3,5,7
/proc/912/task/979/stat : 979 (java) R 910 910 31580 0 -1 4202560 3927 0 0 0 13792 2 0 0 20 0 19 0 474873859 15858741248 230260 33554432000 4194304 4196468 140729465415456 139725989068400 139726181631378 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=980] ppid=910 vsize=15487052 memory=2580 CPUtime=138.12 cores=1,3,5,7
/proc/912/task/980/stat : 980 (java) R 910 910 31580 0 -1 4202560 2056 0 0 0 13810 2 0 0 20 0 19 0 474873859 15858741248 230260 33554432000 4194304 4196468 140729465415456 139725985911224 139726179761851 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
[pid=912/tid=981] ppid=910 vsize=15487052 memory=1760 CPUtime=137.97 cores=1,3,5,7
/proc/912/task/981/stat : 981 (java) R 910 910 31580 0 -1 4202560 6082 0 0 0 13792 5 0 0 20 0 19 0 474873859 15858741248 230260 33554432000 4194304 4196468 140729465415456 139725988019520 139726179216576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9818112 140729465422811 140729465422986 140729465422986 140729465425871 0
Current children cumulated CPU time: 559.72 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 922496 KiB
Child status: 0
Real time (s): 141.637
CPU time (s): 559.846
CPU user time (s): 559.36
CPU system time (s): 0.486419
CPU usage (%): 395.268
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 922496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 559.36
system time used= 0.486419
maximum resident set size= 921552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55025
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16450
involuntary context switches= 12373
# summary of solver processes directly reported to runsolver:
# pid: 910
# total CPU time (s): 559.846
# total CPU user time (s): 559.36
# total CPU system time (s): 0.486419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.924693 second user time and 1.65391 second system time
The end