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 (13542 MiB free)
memory of node 1: 16384 MiB (15485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394273-1568328344/watcher-4394273-1568328344 -o /tmp/evaluation-result-4394273-1568328344/solver-4394273-1568328344 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 855713116 HOME/instance-4394273-1568328344.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
solver pid=31852, runsolver pid=31849
Current StackSize limit: 8192 KiB
[startup+0.100078 s]*
/proc/loadavg: 8.22 8.36 8.12 7/233 31868
/proc/meminfo: memFree=29707152/32770624 swapFree=66933624/67108860
[pid=31852] ppid=31849 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31852/stat : 31852 (xcsp3-exec) S 31849 31852 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105914 115843072 362 33554432000 4194304 5098028 140726034186512 140726034184616 140031731184252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22237184 140726034191227 140726034191469 140726034191469 140726034194378 0
/proc/31852/statm: 28282 362 304 221 0 87 0
[pid=31854] ppid=31852 vsize=15144768 memory=29320 CPUtime=0.13 cores=1,3,5,7
/proc/31854/stat : 31854 (java) S 31852 31852 25300 0 -1 1077944320 5776 0 0 0 12 1 0 0 20 0 15 0 409105914 15508242432 7330 33554432000 4194304 4196468 140729926516736 140729926499280 139913831964407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
/proc/31854/statm: 3786192 7330 3147 1 0 3748377 0
[pid=31854/tid=31855] ppid=31852 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/31854/task/31855/stat : 31855 (java) R 31852 31852 25300 0 -1 4202560 3652 0 0 0 9 0 0 0 20 0 15 0 409105914 15508242432 7330 33554432000 4194304 4196468 140729926516736 139913836197136 139913824201534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31856] ppid=31852 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31856/stat : 31856 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105915 15508242432 7330 33554432000 4194304 4196468 140729926516736 139913423935888 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31857] ppid=31852 vsize=15144768 memory=140550869841536 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31857/stat : 31857 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105915 15508242432 7330 33554432000 4194304 4196468 140729926516736 139913422883088 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31858] ppid=31852 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31858/stat : 31858 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105915 15508242432 7330 33554432000 4194304 4196468 140729926516736 139913421830800 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31859] ppid=31852 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31859/stat : 31859 (java) S 31852 31852 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409105915 15508242432 7330 33554432000 4194304 4196468 140729926516736 139913420778000 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31860] ppid=31852 vsize=15144768 memory=140550869841536 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31860/stat : 31860 (java) S 31852 31852 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409105916 15508242432 7330 33554432000 4194304 4196468 140729926516736 139912705669744 139913831975554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31861] ppid=31852 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31861/stat : 31861 (java) S 31852 31852 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409105917 15508242432 7330 33554432000 4194304 4196468 140729926516736 139912704615712 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31862] ppid=31852 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31862/stat : 31862 (java) S 31852 31852 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409105917 15508242432 7330 33554432000 4194304 4196468 140729926516736 139912703563376 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31863] ppid=31852 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31863/stat : 31863 (java) S 31852 31852 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409105919 15508242432 7330 33554432000 4194304 4196468 140729926516736 139912702511696 139913831983003 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31864] ppid=31852 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31864/stat : 31864 (java) S 31852 31852 25300 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 409105919 15508242432 7330 33554432000 4194304 4196468 140729926516736 139912701458544 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31865] ppid=31852 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31865/stat : 31865 (java) S 31852 31852 25300 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 409105919 15508242432 7330 33554432000 4194304 4196468 140729926516736 139912700405744 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31866] ppid=31852 vsize=15144768 memory=140550869841536 CPUtime=0.02 cores=1,3,5,7
/proc/31854/task/31866/stat : 31866 (java) R 31852 31852 25300 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 409105919 15508242432 7330 33554432000 4194304 4196468 140729926516736 139912699350992 139913810621967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31867] ppid=31852 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31867/stat : 31867 (java) S 31852 31852 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409105920 15508242432 7330 33554432000 4194304 4196468 140729926516736 139912698300896 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31868] ppid=31852 vsize=15144768 memory=140550869841536 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31868/stat : 31868 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105920 15508242432 7330 33554432000 4194304 4196468 140729926516736 139912697248688 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30768 KiB
[startup+0.210854 s]*
/proc/loadavg: 8.22 8.36 8.12 7/233 31868
/proc/meminfo: memFree=29694432/32770624 swapFree=66933624/67108860
[pid=31852] ppid=31849 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31852/stat : 31852 (xcsp3-exec) S 31849 31852 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105914 115843072 362 33554432000 4194304 5098028 140726034186512 140726034184616 140031731184252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22237184 140726034191227 140726034191469 140726034191469 140726034194378 0
/proc/31852/statm: 28282 362 304 221 0 87 0
[pid=31854] ppid=31852 vsize=15144768 memory=41116 CPUtime=0.34 cores=1,3,5,7
/proc/31854/stat : 31854 (java) S 31852 31852 25300 0 -1 1077944320 9496 0 0 0 31 3 0 0 20 0 15 0 409105914 15508242432 10279 33554432000 4194304 4196468 140729926516736 140729926499280 139913831964407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
/proc/31854/statm: 3786192 10279 3301 1 0 3748377 0
[pid=31854/tid=31855] ppid=31852 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/31854/task/31855/stat : 31855 (java) R 31852 31852 25300 0 -1 4202560 6662 0 0 0 18 2 0 0 20 0 15 0 409105914 15508242432 10279 33554432000 4194304 4196468 140729926516736 139913836199104 139913816044894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31856] ppid=31852 vsize=15144768 memory=2964501 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31856/stat : 31856 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105915 15508242432 10279 33554432000 4194304 4196468 140729926516736 139913423935888 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31857] ppid=31852 vsize=15144768 memory=288370927021553280 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31857/stat : 31857 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105915 15508242432 10279 33554432000 4194304 4196468 140729926516736 139913422883088 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31858] ppid=31852 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31858/stat : 31858 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105915 15508242432 10279 33554432000 4194304 4196468 140729926516736 139913421830800 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31859] ppid=31852 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31859/stat : 31859 (java) S 31852 31852 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409105915 15508242432 10279 33554432000 4194304 4196468 140729926516736 139913420778000 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31860] ppid=31852 vsize=15144768 memory=140550869841536 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31860/stat : 31860 (java) S 31852 31852 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409105916 15508242432 10279 33554432000 4194304 4196468 140729926516736 139912705669744 139913831975554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31861] ppid=31852 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31861/stat : 31861 (java) S 31852 31852 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409105917 15508242432 10279 33554432000 4194304 4196468 140729926516736 139912704615712 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31862] ppid=31852 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31862/stat : 31862 (java) S 31852 31852 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409105917 15508242432 10279 33554432000 4194304 4196468 140729926516736 139912703563376 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31863] ppid=31852 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31863/stat : 31863 (java) S 31852 31852 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409105919 15508242432 10279 33554432000 4194304 4196468 140729926516736 139912702511696 139913831983003 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31864] ppid=31852 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31854/task/31864/stat : 31864 (java) R 31852 31852 25300 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 15 0 409105919 15508242432 10279 33554432000 4194304 4196468 140729926516736 139912701458544 139913831975554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31865] ppid=31852 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31854/task/31865/stat : 31865 (java) S 31852 31852 25300 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 15 0 409105919 15508242432 10279 33554432000 4194304 4196468 140729926516736 139912700405744 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31866] ppid=31852 vsize=15144768 memory=140550869841536 CPUtime=0.08 cores=1,3,5,7
/proc/31854/task/31866/stat : 31866 (java) R 31852 31852 25300 0 -1 4202560 769 0 0 0 8 0 0 0 20 0 15 0 409105919 15508242432 10279 33554432000 4194304 4196468 140729926516736 139912699353456 139913831985754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31867] ppid=31852 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31867/stat : 31867 (java) S 31852 31852 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409105920 15508242432 10279 33554432000 4194304 4196468 140729926516736 139912698300896 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31868] ppid=31852 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31868/stat : 31868 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105920 15508242432 10279 33554432000 4194304 4196468 140729926516736 139912697248688 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42564 KiB
[startup+0.310667 s]*
/proc/loadavg: 8.22 8.36 8.12 7/233 31868
/proc/meminfo: memFree=29686900/32770624 swapFree=66933624/67108860
[pid=31852] ppid=31849 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31852/stat : 31852 (xcsp3-exec) S 31849 31852 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105914 115843072 362 33554432000 4194304 5098028 140726034186512 140726034184616 140031731184252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22237184 140726034191227 140726034191469 140726034191469 140726034194378 0
/proc/31852/statm: 28282 362 304 221 0 87 0
[pid=31854] ppid=31852 vsize=15149024 memory=50544 CPUtime=0.53 cores=1,3,5,7
/proc/31854/stat : 31854 (java) S 31852 31852 25300 0 -1 1077944320 10899 0 0 0 49 4 0 0 20 0 15 0 409105914 15512600576 12636 33554432000 4194304 4196468 140729926516736 140729926499280 139913831964407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
/proc/31854/statm: 3787256 12636 3364 1 0 3748377 0
[pid=31854/tid=31855] ppid=31852 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/31854/task/31855/stat : 31855 (java) R 31852 31852 25300 0 -1 4202560 7854 0 0 0 27 3 0 0 20 0 15 0 409105914 15512600576 12636 33554432000 4194304 4196468 140729926516736 139913836195520 139913816044894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31856] ppid=31852 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31856/stat : 31856 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105915 15512600576 12636 33554432000 4194304 4196468 140729926516736 139913423935888 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31857] ppid=31852 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31857/stat : 31857 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105915 15512600576 12636 33554432000 4194304 4196468 140729926516736 139913422883088 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31858] ppid=31852 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31858/stat : 31858 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105915 15512600576 12636 33554432000 4194304 4196468 140729926516736 139913421830800 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31859] ppid=31852 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31859/stat : 31859 (java) S 31852 31852 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409105915 15512600576 12636 33554432000 4194304 4196468 140729926516736 139913420778000 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31860] ppid=31852 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31860/stat : 31860 (java) S 31852 31852 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409105916 15512600576 12636 33554432000 4194304 4196468 140729926516736 139912705669744 139913831975554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31861] ppid=31852 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31861/stat : 31861 (java) S 31852 31852 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409105917 15512600576 12636 33554432000 4194304 4196468 140729926516736 139912704615712 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31862] ppid=31852 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31862/stat : 31862 (java) S 31852 31852 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409105917 15512600576 12636 33554432000 4194304 4196468 140729926516736 139912703563376 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31863] ppid=31852 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31863/stat : 31863 (java) S 31852 31852 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409105919 15512600576 12636 33554432000 4194304 4196468 140729926516736 139912702511696 139913831983003 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31864] ppid=31852 vsize=15149024 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/31854/task/31864/stat : 31864 (java) S 31852 31852 25300 0 -1 1077944384 544 0 0 0 3 0 0 0 20 0 15 0 409105919 15512600576 12636 33554432000 4194304 4196468 140729926516736 139912701458544 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31865] ppid=31852 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/31854/task/31865/stat : 31865 (java) S 31852 31852 25300 0 -1 1077944384 350 0 0 0 5 0 0 0 20 0 15 0 409105919 15512600576 12636 33554432000 4194304 4196468 140729926516736 139912700405744 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31866] ppid=31852 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31854/task/31866/stat : 31866 (java) S 31852 31852 25300 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 15 0 409105919 15512600576 12636 33554432000 4194304 4196468 140729926516736 139912699353456 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31867] ppid=31852 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31867/stat : 31867 (java) S 31852 31852 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409105920 15512600576 12636 33554432000 4194304 4196468 140729926516736 139912698300896 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31868] ppid=31852 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31868/stat : 31868 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409105920 15512600576 12636 33554432000 4194304 4196468 140729926516736 139912697248688 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51992 KiB
[startup+0.701828 s]
/proc/loadavg: 8.22 8.36 8.12 8/233 31868
/proc/meminfo: memFree=29670308/32770624 swapFree=66933624/67108860
[pid=31852] ppid=31849 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31852/stat : 31852 (xcsp3-exec) S 31849 31852 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105914 115843072 362 33554432000 4194304 5098028 140726034186512 140726034184616 140031731184252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22237184 140726034191227 140726034191469 140726034191469 140726034194378 0
/proc/31852/statm: 28282 362 304 221 0 87 0
[pid=31854] ppid=31852 vsize=15417404 memory=91112 CPUtime=1.55 cores=1,3,5,7
/proc/31854/stat : 31854 (java) S 31852 31852 25300 0 -1 1077944320 15071 0 0 0 150 5 0 0 20 0 19 0 409105914 15787421696 22778 33554432000 4194304 4196468 140729926516736 140729926499280 139913831964407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
/proc/31854/statm: 3854351 22778 3451 1 0 3815453 0
[pid=31854/tid=31855] ppid=31852 vsize=15417404 memory=20204 CPUtime=0.66 cores=1,3,5,7
/proc/31854/task/31855/stat : 31855 (java) S 31852 31852 25300 0 -1 1077944384 9329 0 0 0 63 3 0 0 20 0 19 0 409105914 15787421696 22778 33554432000 4194304 4196468 140729926516736 139913836205184 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31856] ppid=31852 vsize=15417404 memory=984 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31856/stat : 31856 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409105915 15787421696 22778 33554432000 4194304 4196468 140729926516736 139913423935888 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31857] ppid=31852 vsize=15417404 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31857/stat : 31857 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409105915 15787421696 22778 33554432000 4194304 4196468 140729926516736 139913422883088 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31858] ppid=31852 vsize=15417404 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31858/stat : 31858 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409105915 15787421696 22778 33554432000 4194304 4196468 140729926516736 139913421830800 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31859] ppid=31852 vsize=15417404 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31859/stat : 31859 (java) S 31852 31852 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409105915 15787421696 22778 33554432000 4194304 4196468 140729926516736 139913420778000 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31860] ppid=31852 vsize=15417404 memory=976 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31860/stat : 31860 (java) S 31852 31852 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 409105916 15787421696 22778 33554432000 4194304 4196468 140729926516736 139912705669744 139913831975554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31861] ppid=31852 vsize=15417404 memory=772 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31861/stat : 31861 (java) S 31852 31852 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409105917 15787421696 22778 33554432000 4194304 4196468 140729926516736 139912704615712 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31862] ppid=31852 vsize=15417404 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31862/stat : 31862 (java) S 31852 31852 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409105917 15787421696 22778 33554432000 4194304 4196468 140729926516736 139912703563376 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31863] ppid=31852 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31863/stat : 31863 (java) S 31852 31852 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105919 15787421696 22778 33554432000 4194304 4196468 140729926516736 139912702511696 139913831983003 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31864] ppid=31852 vsize=15417404 memory=1548 CPUtime=0.21 cores=1,3,5,7
/proc/31854/task/31864/stat : 31864 (java) R 31852 31852 25300 0 -1 4202560 1267 0 0 0 21 0 0 0 20 0 19 0 409105919 15787421696 22778 33554432000 4194304 4196468 140729926516736 139912701458640 139913831976342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31865] ppid=31852 vsize=15417404 memory=1056 CPUtime=0.22 cores=1,3,5,7
/proc/31854/task/31865/stat : 31865 (java) S 31852 31852 25300 0 -1 1077944384 967 0 0 0 22 0 0 0 20 0 19 0 409105919 15787421696 22778 33554432000 4194304 4196468 140729926516736 139912700405744 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31866] ppid=31852 vsize=15417404 memory=744 CPUtime=0.41 cores=1,3,5,7
/proc/31854/task/31866/stat : 31866 (java) R 31852 31852 25300 0 -1 1077944384 2052 0 0 0 41 0 0 0 20 0 19 0 409105919 15787421696 22778 33554432000 4194304 4196468 140729926516736 139912699349824 139913831974613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31867] ppid=31852 vsize=15417404 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31867/stat : 31867 (java) S 31852 31852 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105920 15787421696 22778 33554432000 4194304 4196468 140729926516736 139912698300896 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31868] ppid=31852 vsize=15417404 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31868/stat : 31868 (java) S 31852 31852 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409105920 15787421696 22778 33554432000 4194304 4196468 140729926516736 139912697248688 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 92560 KiB
[startup+1.50567 s]
/proc/loadavg: 8.22 8.36 8.12 12/237 31876
/proc/meminfo: memFree=29619780/32770624 swapFree=66933624/67108860
[pid=31852] ppid=31849 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31852/stat : 31852 (xcsp3-exec) S 31849 31852 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105914 115843072 362 33554432000 4194304 5098028 140726034186512 140726034184616 140031731184252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22237184 140726034191227 140726034191469 140726034191469 140726034194378 0
/proc/31852/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/31854/task/31868/stat : 31868 (java) S 31852 31852 25300 0 -1 1077944384 546 0 0 0 0 2 0 0 20 0 19 0 409105920 15789518848 115424 33554432000 4194304 4196468 140729926516736 139912697248688 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31873] ppid=31852 vsize=15419452 memory=804 CPUtime=62.38 cores=1,3,5,7
/proc/31854/task/31873/stat : 31873 (java) R 31852 31852 25300 0 -1 4202560 790 0 0 0 6236 2 0 0 20 0 19 0 409105986 15789518848 115424 33554432000 4194304 4196468 140729926516736 139912686173128 139913474538026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31874] ppid=31852 vsize=15419452 memory=407476 CPUtime=62.08 cores=1,3,5,7
/proc/31854/task/31874/stat : 31874 (java) R 31852 31852 25300 0 -1 4202560 5156 0 0 0 6205 3 0 0 20 0 19 0 409105986 15789518848 115424 33554432000 4194304 4196468 140729926516736 139912685121992 139913469990439 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31875] ppid=31852 vsize=15419452 memory=11928 CPUtime=62.29 cores=1,3,5,7
/proc/31854/task/31875/stat : 31875 (java) R 31852 31852 25300 0 -1 4202560 1945 0 0 0 6229 0 0 0 20 0 19 0 409105986 15789518848 115424 33554432000 4194304 4196468 140729926516736 139912687226704 139913469990940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31876] ppid=31852 vsize=15419452 memory=2124 CPUtime=62.1 cores=1,3,5,7
/proc/31854/task/31876/stat : 31876 (java) R 31852 31852 25300 0 -1 4202560 5948 0 0 0 6208 2 0 0 20 0 19 0 409105986 15789518848 115424 33554432000 4194304 4196468 140729926516736 139912688275504 139913475683158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
Current children cumulated CPU time: 254.75 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 463144 KiB
[startup+65.6017 s]
/proc/loadavg: 8.61 8.47 8.17 10/238 32071
/proc/meminfo: memFree=30683320/32770624 swapFree=66933624/67108860
[pid=31852] ppid=31849 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31852/stat : 31852 (xcsp3-exec) S 31849 31852 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105914 115843072 362 33554432000 4194304 5098028 140726034186512 140726034184616 140031731184252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22237184 140726034191227 140726034191469 140726034191469 140726034194378 0
/proc/31852/statm: 28282 362 304 221 0 87 0
[pid=31854] ppid=31852 vsize=15419452 memory=523928 CPUtime=257.93 cores=1,3,5,7
/proc/31854/stat : 31854 (java) S 31852 31852 25300 0 -1 1077944320 58683 0 0 0 25760 33 0 0 20 0 19 0 409105914 15789518848 130982 33554432000 4194304 4196468 140729926516736 140729926499280 139913831964407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
/proc/31854/statm: 3854863 130982 3516 1 0 3815965 0
[pid=31854/tid=31855] ppid=31852 vsize=15419452 memory=409956 CPUtime=0.66 cores=1,3,5,7
/proc/31854/task/31855/stat : 31855 (java) S 31852 31852 25300 0 -1 1077944384 9331 0 0 0 63 3 0 0 20 0 19 0 409105914 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913836205184 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31856] ppid=31852 vsize=15419452 memory=6791534058613427641 CPUtime=0.24 cores=1,3,5,7
/proc/31854/task/31856/stat : 31856 (java) S 31852 31852 25300 0 -1 1077944384 776 0 0 0 21 3 0 0 20 0 19 0 409105915 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913423935888 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31857] ppid=31852 vsize=15419452 memory=407476 CPUtime=0.24 cores=1,3,5,7
/proc/31854/task/31857/stat : 31857 (java) S 31852 31852 25300 0 -1 1077944384 1010 0 0 0 21 3 0 0 20 0 19 0 409105915 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913422883088 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31858] ppid=31852 vsize=15419452 memory=1448 CPUtime=0.24 cores=1,3,5,7
/proc/31854/task/31858/stat : 31858 (java) S 31852 31852 25300 0 -1 1077944384 1197 0 0 0 21 3 0 0 20 0 19 0 409105915 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913421830800 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31859] ppid=31852 vsize=15419452 memory=388144 CPUtime=0.25 cores=1,3,5,7
/proc/31854/task/31859/stat : 31859 (java) S 31852 31852 25300 0 -1 1077944384 1987 0 0 0 22 3 0 0 20 0 19 0 409105915 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913420778000 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31860] ppid=31852 vsize=15419452 memory=1412 CPUtime=0.19 cores=1,3,5,7
/proc/31854/task/31860/stat : 31860 (java) S 31852 31852 25300 0 -1 1077944384 1503 0 0 0 16 3 0 0 20 0 19 0 409105916 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912705669744 139913831975554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31861] ppid=31852 vsize=15419452 memory=3020 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31861/stat : 31861 (java) S 31852 31852 25300 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 409105917 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912704615776 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31862] ppid=31852 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31862/stat : 31862 (java) S 31852 31852 25300 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 409105917 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912703563392 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31863] ppid=31852 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31863/stat : 31863 (java) S 31852 31852 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105919 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912702511696 139913831983003 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31864] ppid=31852 vsize=15419452 memory=277351808170203 CPUtime=1.47 cores=1,3,5,7
/proc/31854/task/31864/stat : 31864 (java) S 31852 31852 25300 0 -1 1077944384 9535 0 0 0 146 1 0 0 20 0 19 0 409105919 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912701458544 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31865] ppid=31852 vsize=15419452 memory=277351808170204 CPUtime=1.71 cores=1,3,5,7
/proc/31854/task/31865/stat : 31865 (java) S 31852 31852 25300 0 -1 1077944384 10309 0 0 0 171 0 0 0 20 0 19 0 409105919 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912700405744 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31866] ppid=31852 vsize=15419452 memory=277351808170205 CPUtime=0.7 cores=1,3,5,7
/proc/31854/task/31866/stat : 31866 (java) S 31852 31852 25300 0 -1 1077944384 6700 0 0 0 69 1 0 0 20 0 19 0 409105919 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912699353456 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31867] ppid=31852 vsize=15419452 memory=277351808170206 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31867/stat : 31867 (java) S 31852 31852 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105920 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912698300896 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31868] ppid=31852 vsize=15419452 memory=277351808170207 CPUtime=0.02 cores=1,3,5,7
/proc/31854/task/31868/stat : 31868 (java) S 31852 31852 25300 0 -1 1077944384 546 0 0 0 0 2 0 0 20 0 19 0 409105920 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912697248688 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31873] ppid=31852 vsize=15419452 memory=277351808170208 CPUtime=63.16 cores=1,3,5,7
/proc/31854/task/31873/stat : 31873 (java) R 31852 31852 25300 0 -1 4202560 833 0 0 0 6314 2 0 0 20 0 19 0 409105986 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912686169496 139913474737475 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31874] ppid=31852 vsize=15419452 memory=1448 CPUtime=62.88 cores=1,3,5,7
/proc/31854/task/31874/stat : 31874 (java) R 31852 31852 25300 0 -1 4202560 5165 0 0 0 6285 3 0 0 20 0 19 0 409105986 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912685117472 139913474736834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31875] ppid=31852 vsize=15419452 memory=3620 CPUtime=63.08 cores=1,3,5,7
/proc/31854/task/31875/stat : 31875 (java) R 31852 31852 25300 0 -1 4202560 1991 0 0 0 6308 0 0 0 20 0 19 0 409105986 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912687223560 139913475683104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31876] ppid=31852 vsize=15419452 memory=20204 CPUtime=62.89 cores=1,3,5,7
/proc/31854/task/31876/stat : 31876 (java) R 31852 31852 25300 0 -1 4202560 6269 0 0 0 6286 3 0 0 20 0 19 0 409105986 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912688278544 139913476010887 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
Current children cumulated CPU time: 257.93 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 525376 KiB
[startup+65.8017 s]
/proc/loadavg: 8.61 8.47 8.17 10/238 32071
/proc/meminfo: memFree=30683320/32770624 swapFree=66933624/67108860
[pid=31852] ppid=31849 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31852/stat : 31852 (xcsp3-exec) S 31849 31852 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105914 115843072 362 33554432000 4194304 5098028 140726034186512 140726034184616 140031731184252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22237184 140726034191227 140726034191469 140726034191469 140726034194378 0
/proc/31852/statm: 28282 362 304 221 0 87 0
[pid=31854] ppid=31852 vsize=15419452 memory=523928 CPUtime=258.72 cores=1,3,5,7
/proc/31854/stat : 31854 (java) S 31852 31852 25300 0 -1 1077944320 58685 0 0 0 25839 33 0 0 20 0 19 0 409105914 15789518848 130982 33554432000 4194304 4196468 140729926516736 140729926499280 139913831964407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
/proc/31854/statm: 3854863 130982 3516 1 0 3815965 0
[pid=31854/tid=31855] ppid=31852 vsize=15419452 memory=1332 CPUtime=0.66 cores=1,3,5,7
/proc/31854/task/31855/stat : 31855 (java) S 31852 31852 25300 0 -1 1077944384 9331 0 0 0 63 3 0 0 20 0 19 0 409105914 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913836205184 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31856] ppid=31852 vsize=15419452 memory=1564 CPUtime=0.24 cores=1,3,5,7
/proc/31854/task/31856/stat : 31856 (java) S 31852 31852 25300 0 -1 1077944384 776 0 0 0 21 3 0 0 20 0 19 0 409105915 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913423935888 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31857] ppid=31852 vsize=15419452 memory=976 CPUtime=0.24 cores=1,3,5,7
/proc/31854/task/31857/stat : 31857 (java) S 31852 31852 25300 0 -1 1077944384 1010 0 0 0 21 3 0 0 20 0 19 0 409105915 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913422883088 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31858] ppid=31852 vsize=15419452 memory=772 CPUtime=0.24 cores=1,3,5,7
/proc/31854/task/31858/stat : 31858 (java) S 31852 31852 25300 0 -1 1077944384 1197 0 0 0 21 3 0 0 20 0 19 0 409105915 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913421830800 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31859] ppid=31852 vsize=15419452 memory=3932 CPUtime=0.25 cores=1,3,5,7
/proc/31854/task/31859/stat : 31859 (java) S 31852 31852 25300 0 -1 1077944384 1987 0 0 0 22 3 0 0 20 0 19 0 409105915 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913420778000 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31860] ppid=31852 vsize=15419452 memory=1056 CPUtime=0.19 cores=1,3,5,7
/proc/31854/task/31860/stat : 31860 (java) S 31852 31852 25300 0 -1 1077944384 1503 0 0 0 16 3 0 0 20 0 19 0 409105916 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912705669744 139913831975554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31861] ppid=31852 vsize=15419452 memory=744 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31861/stat : 31861 (java) S 31852 31852 25300 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 409105917 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912704615776 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31862] ppid=31852 vsize=15419452 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31862/stat : 31862 (java) S 31852 31852 25300 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 409105917 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912703563392 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31863] ppid=31852 vsize=15419452 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31863/stat : 31863 (java) S 31852 31852 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105919 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912702511696 139913831983003 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31864] ppid=31852 vsize=15419452 memory=1124 CPUtime=1.47 cores=1,3,5,7
/proc/31854/task/31864/stat : 31864 (java) S 31852 31852 25300 0 -1 1077944384 9535 0 0 0 146 1 0 0 20 0 19 0 409105919 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912701458544 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31865] ppid=31852 vsize=15419452 memory=14008 CPUtime=1.71 cores=1,3,5,7
/proc/31854/task/31865/stat : 31865 (java) S 31852 31852 25300 0 -1 1077944384 10309 0 0 0 171 0 0 0 20 0 19 0 409105919 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912700405744 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31866] ppid=31852 vsize=15419452 memory=11928 CPUtime=0.7 cores=1,3,5,7
/proc/31854/task/31866/stat : 31866 (java) S 31852 31852 25300 0 -1 1077944384 6700 0 0 0 69 1 0 0 20 0 19 0 409105919 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912699353456 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31867] ppid=31852 vsize=15419452 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31867/stat : 31867 (java) S 31852 31852 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105920 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912698300896 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31868] ppid=31852 vsize=15419452 memory=6300 CPUtime=0.02 cores=1,3,5,7
/proc/31854/task/31868/stat : 31868 (java) S 31852 31852 25300 0 -1 1077944384 546 0 0 0 0 2 0 0 20 0 19 0 409105920 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912697248688 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31873] ppid=31852 vsize=15419452 memory=504 CPUtime=63.36 cores=1,3,5,7
/proc/31854/task/31873/stat : 31873 (java) R 31852 31852 25300 0 -1 4202560 834 0 0 0 6334 2 0 0 20 0 19 0 409105986 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912686169496 139913475683345 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31874] ppid=31852 vsize=15419452 memory=0 CPUtime=63.08 cores=1,3,5,7
/proc/31854/task/31874/stat : 31874 (java) R 31852 31852 25300 0 -1 4202560 5165 0 0 0 6305 3 0 0 20 0 19 0 409105986 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912685117472 139913816341520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31875] ppid=31852 vsize=15419452 memory=-6468478298136876173 CPUtime=63.28 cores=1,3,5,7
/proc/31854/task/31875/stat : 31875 (java) R 31852 31852 25300 0 -1 4202560 1992 0 0 0 6328 0 0 0 20 0 19 0 409105986 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912687223560 139913474921735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31876] ppid=31852 vsize=15419452 memory=-6441967611270944909 CPUtime=63.09 cores=1,3,5,7
/proc/31854/task/31876/stat : 31876 (java) R 31852 31852 25300 0 -1 4202560 6269 0 0 0 6306 3 0 0 20 0 19 0 409105986 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912688278544 139913818032512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
Current children cumulated CPU time: 258.72 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 525376 KiB
[startup+65.9017 s]
/proc/loadavg: 8.61 8.47 8.17 10/238 32071
/proc/meminfo: memFree=30683320/32770624 swapFree=66933624/67108860
[pid=31852] ppid=31849 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31852/stat : 31852 (xcsp3-exec) S 31849 31852 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409105914 115843072 362 33554432000 4194304 5098028 140726034186512 140726034184616 140031731184252 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22237184 140726034191227 140726034191469 140726034191469 140726034194378 0
/proc/31852/statm: 28282 362 304 221 0 87 0
[pid=31854] ppid=31852 vsize=15419452 memory=523928 CPUtime=259.12 cores=1,3,5,7
/proc/31854/stat : 31854 (java) S 31852 31852 25300 0 -1 1077944320 58687 0 0 0 25879 33 0 0 20 0 19 0 409105914 15789518848 130982 33554432000 4194304 4196468 140729926516736 140729926499280 139913831964407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
/proc/31854/statm: 3854863 130982 3516 1 0 3815965 0
[pid=31854/tid=31855] ppid=31852 vsize=15419452 memory=1448 CPUtime=0.66 cores=1,3,5,7
/proc/31854/task/31855/stat : 31855 (java) S 31852 31852 25300 0 -1 1077944384 9331 0 0 0 63 3 0 0 20 0 19 0 409105914 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913836205184 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31856] ppid=31852 vsize=15419452 memory=461696 CPUtime=0.24 cores=1,3,5,7
/proc/31854/task/31856/stat : 31856 (java) S 31852 31852 25300 0 -1 1077944384 776 0 0 0 21 3 0 0 20 0 19 0 409105915 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913423935888 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31857] ppid=31852 vsize=15419452 memory=523928 CPUtime=0.25 cores=1,3,5,7
/proc/31854/task/31857/stat : 31857 (java) S 31852 31852 25300 0 -1 1077944384 1010 0 0 0 22 3 0 0 20 0 19 0 409105915 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913422883088 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31858] ppid=31852 vsize=15419452 memory=1448 CPUtime=0.25 cores=1,3,5,7
/proc/31854/task/31858/stat : 31858 (java) S 31852 31852 25300 0 -1 1077944384 1198 0 0 0 22 3 0 0 20 0 19 0 409105915 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913421830800 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31859] ppid=31852 vsize=15419452 memory=24 CPUtime=0.25 cores=1,3,5,7
/proc/31854/task/31859/stat : 31859 (java) S 31852 31852 25300 0 -1 1077944384 1987 0 0 0 22 3 0 0 20 0 19 0 409105915 15789518848 130982 33554432000 4194304 4196468 140729926516736 139913420778000 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31860] ppid=31852 vsize=15419452 memory=1332 CPUtime=0.19 cores=1,3,5,7
/proc/31854/task/31860/stat : 31860 (java) S 31852 31852 25300 0 -1 1077944384 1503 0 0 0 16 3 0 0 20 0 19 0 409105916 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912705669744 139913831975554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31861] ppid=31852 vsize=15419452 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31861/stat : 31861 (java) S 31852 31852 25300 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 409105917 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912704615776 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31862] ppid=31852 vsize=15419452 memory=398868 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31862/stat : 31862 (java) S 31852 31852 25300 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 409105917 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912703563392 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31863] ppid=31852 vsize=15419452 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31863/stat : 31863 (java) S 31852 31852 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105919 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912702511696 139913831983003 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31864] ppid=31852 vsize=15419452 memory=6791534058613427641 CPUtime=1.47 cores=1,3,5,7
/proc/31854/task/31864/stat : 31864 (java) S 31852 31852 25300 0 -1 1077944384 9535 0 0 0 146 1 0 0 20 0 19 0 409105919 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912701458544 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31865] ppid=31852 vsize=15419452 memory=1448 CPUtime=1.71 cores=1,3,5,7
/proc/31854/task/31865/stat : 31865 (java) S 31852 31852 25300 0 -1 1077944384 10309 0 0 0 171 0 0 0 20 0 19 0 409105919 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912700405744 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31866] ppid=31852 vsize=15419452 memory=337152 CPUtime=0.7 cores=1,3,5,7
/proc/31854/task/31866/stat : 31866 (java) S 31852 31852 25300 0 -1 1077944384 6700 0 0 0 69 1 0 0 20 0 19 0 409105919 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912699353456 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31867] ppid=31852 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31854/task/31867/stat : 31867 (java) S 31852 31852 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409105920 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912698300896 139913831974613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31868] ppid=31852 vsize=15419452 memory=24845 CPUtime=0.02 cores=1,3,5,7
/proc/31854/task/31868/stat : 31868 (java) S 31852 31852 25300 0 -1 1077944384 546 0 0 0 0 2 0 0 20 0 19 0 409105920 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912697248688 139913831975554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31873] ppid=31852 vsize=15419452 memory=66 CPUtime=63.46 cores=1,3,5,7
/proc/31854/task/31873/stat : 31873 (java) R 31852 31852 25300 0 -1 4202560 834 0 0 0 6344 2 0 0 20 0 19 0 409105986 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912686168720 139913474532450 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31874] ppid=31852 vsize=15419452 memory=23 CPUtime=63.18 cores=1,3,5,7
/proc/31854/task/31874/stat : 31874 (java) R 31852 31852 25300 0 -1 4202560 5165 0 0 0 6315 3 0 0 20 0 19 0 409105986 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912685120304 139913474533195 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31875] ppid=31852 vsize=15419452 memory=6791534058613427641 CPUtime=63.38 cores=1,3,5,7
/proc/31854/task/31875/stat : 31875 (java) R 31852 31852 25300 0 -1 4202560 1993 0 0 0 6338 0 0 0 20 0 19 0 409105986 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912687223560 139913816341424 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
[pid=31854/tid=31876] ppid=31852 vsize=15419452 memory=3833161624490490682 CPUtime=63.19 cores=1,3,5,7
/proc/31854/task/31876/stat : 31876 (java) R 31852 31852 25300 0 -1 4202560 6269 0 0 0 6316 3 0 0 20 0 19 0 409105986 15789518848 130982 33554432000 4194304 4196468 140729926516736 139912688275160 139913475360369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16777216 140729926521839 140729926522010 140729926522010 140729926524879 0
Current children cumulated CPU time: 259.12 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 525376 KiB
Child status: 0
Real time (s): 65.9355
CPU time (s): 259.242
CPU user time (s): 258.898
CPU system time (s): 0.344432
CPU usage (%): 393.175
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 525376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.898
system time used= 0.344432
maximum resident set size= 524676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59973
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10462
involuntary context switches= 5228
# summary of solver processes directly reported to runsolver:
# pid: 31852
# total CPU time (s): 259.242
# total CPU user time (s): 258.898
# total CPU system time (s): 0.344432
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.44849 second user time and 0.800688 second system time
The end