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 (13528 MiB free)
memory of node 1: 16384 MiB (15789 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396040-1568407088/watcher-4396040-1568407088 -o /tmp/evaluation-result-4396040-1568407088/solver-4396040-1568407088 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568393371-3095 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1424412662 HOME/instance-4396040-1568407088.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6857, runsolver pid=6854
[startup+0.100218 s]*
/proc/loadavg: 2.03 1.87 1.74 4/219 6914
/proc/meminfo: memFree=30016032/32770624 swapFree=67002116/67108860
[pid=6857] ppid=6854 vsize=9972712 memory=16816 CPUtime=0.09 cores=1,3,5,7
/proc/6857/stat : 6857 (java) S 6854 6857 3063 0 -1 1077944320 4464 13312 0 0 1 0 5 3 20 0 6 0 416957521 10212057088 4204 33554432000 4194304 4196468 140723911203872 140723911186416 139815196315383 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
/proc/6857/statm: 2493178 4204 1935 1 0 2481616 0
[pid=6857/tid=6910] ppid=6854 vsize=9972712 memory=-8960601696899481537 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6910/stat : 6910 (java) R 6854 6857 3063 0 -1 4202560 2285 13312 0 0 0 0 5 3 20 0 6 0 416957530 10212057088 4270 33554432000 4194304 4196468 140723911203872 139815168152144 139815181997875 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6911] ppid=6854 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6911/stat : 6911 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 6 0 416957531 10212057088 4270 33554432000 4194304 4196468 140723911203872 139815200558096 139815196325589 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6912] ppid=6854 vsize=9972712 memory=139681446344320 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6912/stat : 6912 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 6 0 416957531 10212057088 4270 33554432000 4194304 4196468 140723911203872 139815088831632 139815196325589 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6913] ppid=6854 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6913/stat : 6913 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 6 0 416957531 10212057088 4270 33554432000 4194304 4196468 140723911203872 139815087778576 139815196325589 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6914] ppid=6854 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6914/stat : 6914 (java) S 6854 6857 3063 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 6 0 416957531 10212057088 4270 33554432000 4194304 4196468 140723911203872 139815086726032 139815196325589 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.209949 s]*
/proc/loadavg: 2.03 1.87 1.74 4/228 6923
/proc/meminfo: memFree=29997080/32770624 swapFree=67002116/67108860
[pid=6857] ppid=6854 vsize=10819664 memory=40116 CPUtime=0.27 cores=1,3,5,7
/proc/6857/stat : 6857 (java) S 6854 6857 3063 0 -1 1077944320 7365 13312 0 0 17 2 5 3 20 0 15 0 416957521 11079335936 10029 33554432000 4194304 4196468 140723911203872 140723911186416 139815196315383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
/proc/6857/statm: 2704916 10029 3172 1 0 2667149 0
[pid=6857/tid=6910] ppid=6854 vsize=10819664 memory=8514701219931451533 CPUtime=0.19 cores=1,3,5,7
/proc/6857/task/6910/stat : 6910 (java) R 6854 6857 3063 0 -1 4202560 3849 13312 0 0 10 1 5 3 20 0 15 0 416957530 11079335936 10029 33554432000 4194304 4196468 140723911203872 139815168112512 139815177880379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6911] ppid=6854 vsize=10819664 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6911/stat : 6911 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957531 11079335936 10029 33554432000 4194304 4196468 140723911203872 139815200558096 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6912] ppid=6854 vsize=10819664 memory=139681446344320 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6912/stat : 6912 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957531 11079335936 10029 33554432000 4194304 4196468 140723911203872 139815088831632 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6913] ppid=6854 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6913/stat : 6913 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957531 11079335936 10029 33554432000 4194304 4196468 140723911203872 139815087778576 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6914] ppid=6854 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6914/stat : 6914 (java) S 6854 6857 3063 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 15 0 416957531 11079335936 10029 33554432000 4194304 4196468 140723911203872 139815086726032 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6915] ppid=6854 vsize=10819664 memory=139681446344320 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6915/stat : 6915 (java) S 6854 6857 3063 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 15 0 416957532 11079335936 10029 33554432000 4194304 4196468 140723911203872 139814199748848 139815196326530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6916] ppid=6854 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6916/stat : 6916 (java) S 6854 6857 3063 0 -1 1077944384 33 13312 0 0 0 0 5 3 20 0 15 0 416957533 11079335936 10029 33554432000 4194304 4196468 140723911203872 139814198695072 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6917] ppid=6854 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6917/stat : 6917 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957533 11079335936 10029 33554432000 4194304 4196468 140723911203872 139814070379248 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6918] ppid=6854 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6918/stat : 6918 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957535 11079335936 10029 33554432000 4194304 4196468 140723911203872 139813762979792 139815196333979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6919] ppid=6854 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6857/task/6919/stat : 6919 (java) S 6854 6857 3063 0 -1 1077944384 350 13312 0 0 1 0 5 3 20 0 15 0 416957536 11079335936 10029 33554432000 4194304 4196468 140723911203872 139814165138160 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6920] ppid=6854 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/6857/task/6920/stat : 6920 (java) S 6854 6857 3063 0 -1 1077944384 295 13312 0 0 1 0 5 3 20 0 15 0 416957536 11079335936 10029 33554432000 4194304 4196468 140723911203872 139814164085616 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6921] ppid=6854 vsize=10819664 memory=139681446344320 CPUtime=0.11 cores=1,3,5,7
/proc/6857/task/6921/stat : 6921 (java) S 6854 6857 3063 0 -1 1077944384 617 13312 0 0 3 0 5 3 20 0 15 0 416957536 11079335936 10029 33554432000 4194304 4196468 140723911203872 139814163032560 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6922] ppid=6854 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6922/stat : 6922 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957536 11079335936 10029 33554432000 4194304 4196468 140723911203872 139813729422176 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6923] ppid=6854 vsize=10819664 memory=139681446344320 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6923/stat : 6923 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957536 11079335936 10029 33554432000 4194304 4196468 140723911203872 139814161979952 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 40116 KiB
[startup+0.310552 s]*
/proc/loadavg: 2.03 1.87 1.74 3/228 6923
/proc/meminfo: memFree=29984396/32770624 swapFree=67002116/67108860
[pid=6857] ppid=6854 vsize=10820148 memory=49004 CPUtime=0.41 cores=1,3,5,7
/proc/6857/stat : 6857 (java) S 6854 6857 3063 0 -1 1077944320 11013 13312 0 0 30 3 5 3 20 0 15 0 416957521 11079831552 12251 33554432000 4194304 4196468 140723911203872 140723911186416 139815196315383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
/proc/6857/statm: 2705037 12251 3304 1 0 2667149 0
[pid=6857/tid=6910] ppid=6854 vsize=10820148 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/6857/task/6910/stat : 6910 (java) R 6854 6857 3063 0 -1 4202560 7480 13312 0 0 19 2 5 3 20 0 15 0 416957530 11079831552 12251 33554432000 4194304 4196468 140723911203872 139815168115296 139815182480170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6911] ppid=6854 vsize=10820148 memory=7375038364557398096 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6911/stat : 6911 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957531 11079831552 12251 33554432000 4194304 4196468 140723911203872 139815200558096 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6912] ppid=6854 vsize=10820148 memory=2072 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6912/stat : 6912 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957531 11079831552 12251 33554432000 4194304 4196468 140723911203872 139815088831632 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6913] ppid=6854 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6913/stat : 6913 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957531 11079831552 12251 33554432000 4194304 4196468 140723911203872 139815087778576 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6914] ppid=6854 vsize=10820148 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6914/stat : 6914 (java) S 6854 6857 3063 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 15 0 416957531 11079831552 12251 33554432000 4194304 4196468 140723911203872 139815086726032 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6915] ppid=6854 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6915/stat : 6915 (java) S 6854 6857 3063 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 15 0 416957532 11079831552 12251 33554432000 4194304 4196468 140723911203872 139814199748848 139815196326530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6916] ppid=6854 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6916/stat : 6916 (java) S 6854 6857 3063 0 -1 1077944384 33 13312 0 0 0 0 5 3 20 0 15 0 416957533 11079831552 12251 33554432000 4194304 4196468 140723911203872 139814198695072 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6917] ppid=6854 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6917/stat : 6917 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957533 11079831552 12251 33554432000 4194304 4196468 140723911203872 139814070379248 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6918] ppid=6854 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6918/stat : 6918 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957535 11079831552 12251 33554432000 4194304 4196468 140723911203872 139813762979792 139815196333979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6919] ppid=6854 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/6857/task/6919/stat : 6919 (java) S 6854 6857 3063 0 -1 1077944384 351 13312 0 0 2 0 5 3 20 0 15 0 416957536 11079831552 12251 33554432000 4194304 4196468 140723911203872 139814165138160 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6920] ppid=6854 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/6857/task/6920/stat : 6920 (java) S 6854 6857 3063 0 -1 1077944384 304 13312 0 0 2 0 5 3 20 0 15 0 416957536 11079831552 12251 33554432000 4194304 4196468 140723911203872 139814164085616 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6921] ppid=6854 vsize=10820148 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/6857/task/6921/stat : 6921 (java) S 6854 6857 3063 0 -1 1077944384 625 13312 0 0 5 0 5 3 20 0 15 0 416957536 11079831552 12251 33554432000 4194304 4196468 140723911203872 139814163032560 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6922] ppid=6854 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6922/stat : 6922 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957536 11079831552 12251 33554432000 4194304 4196468 140723911203872 139813729422176 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6923] ppid=6854 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6923/stat : 6923 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957536 11079831552 12251 33554432000 4194304 4196468 140723911203872 139814161979952 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 49004 KiB
[startup+0.708625 s]
/proc/loadavg: 2.03 1.87 1.74 5/228 6923
/proc/meminfo: memFree=29969600/32770624 swapFree=67002116/67108860
[pid=6857] ppid=6854 vsize=10824360 memory=81720 CPUtime=1.17 cores=1,3,5,7
/proc/6857/stat : 6857 (java) S 6854 6857 3063 0 -1 1077944320 15162 13312 0 0 104 5 5 3 20 0 15 0 416957521 11084144640 20430 33554432000 4194304 4196468 140723911203872 140723911186416 139815196315383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
/proc/6857/statm: 2706090 20430 3503 1 0 2668173 0
[pid=6857/tid=6910] ppid=6854 vsize=10824360 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/6857/task/6910/stat : 6910 (java) R 6854 6857 3063 0 -1 4202560 10465 13312 0 0 56 3 5 3 20 0 15 0 416957530 11084144640 20430 33554432000 4194304 4196468 140723911203872 139815168142336 139815196337405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6911] ppid=6854 vsize=10824360 memory=62 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6911/stat : 6911 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957531 11084144640 20430 33554432000 4194304 4196468 140723911203872 139815200558096 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6912] ppid=6854 vsize=10824360 memory=3616 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6912/stat : 6912 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957531 11084144640 20430 33554432000 4194304 4196468 140723911203872 139815088831632 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6913] ppid=6854 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6913/stat : 6913 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957531 11084144640 20430 33554432000 4194304 4196468 140723911203872 139815087778576 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6914] ppid=6854 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6914/stat : 6914 (java) S 6854 6857 3063 0 -1 1077944384 2 13312 0 0 0 0 5 3 20 0 15 0 416957531 11084144640 20430 33554432000 4194304 4196468 140723911203872 139815086726032 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6915] ppid=6854 vsize=10824360 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6915/stat : 6915 (java) S 6854 6857 3063 0 -1 1077944384 5 13312 0 0 0 0 5 3 20 0 15 0 416957532 11084144640 20430 33554432000 4194304 4196468 140723911203872 139814199748848 139815196326530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6916] ppid=6854 vsize=10824360 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6916/stat : 6916 (java) S 6854 6857 3063 0 -1 1077944384 33 13312 0 0 0 0 5 3 20 0 15 0 416957533 11084144640 20430 33554432000 4194304 4196468 140723911203872 139814198695072 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6917] ppid=6854 vsize=10824360 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6917/stat : 6917 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957533 11084144640 20430 33554432000 4194304 4196468 140723911203872 139814070379248 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6918] ppid=6854 vsize=10824360 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6918/stat : 6918 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957535 11084144640 20430 33554432000 4194304 4196468 140723911203872 139813762979792 139815196333979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6919] ppid=6854 vsize=10824360 memory=13252 CPUtime=0.22 cores=1,3,5,7
/proc/6857/task/6919/stat : 6919 (java) R 6854 6857 3063 0 -1 4202560 819 13312 0 0 14 0 5 3 20 0 15 0 416957536 11084144640 20430 33554432000 4194304 4196468 140723911203872 139814165138456 139815179702360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6920] ppid=6854 vsize=10824360 memory=15460 CPUtime=0.23 cores=1,3,5,7
/proc/6857/task/6920/stat : 6920 (java) S 6854 6857 3063 0 -1 1077944384 783 13312 0 0 15 0 5 3 20 0 15 0 416957536 11084144640 20430 33554432000 4194304 4196468 140723911203872 139814164085616 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6921] ppid=6854 vsize=10824360 memory=17668 CPUtime=0.25 cores=1,3,5,7
/proc/6857/task/6921/stat : 6921 (java) R 6854 6857 3063 0 -1 4202560 839 13312 0 0 17 0 5 3 20 0 15 0 416957536 11084144640 20430 33554432000 4194304 4196468 140723911203872 139814163032560 139815174924741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6922] ppid=6854 vsize=10824360 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6922/stat : 6922 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957536 11084144640 20430 33554432000 4194304 4196468 140723911203872 139813729422176 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6923] ppid=6854 vsize=10824360 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6923/stat : 6923 (java) S 6854 6857 3063 0 -1 1077944384 1 13312 0 0 0 0 5 3 20 0 15 0 416957536 11084144640 20430 33554432000 4194304 4196468 140723911203872 139814161979952 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81720 KiB
[startup+1.50073 s]
/proc/loadavg: 2.03 1.87 1.74 5/228 6923
/proc/meminfo: memFree=29904756/32770624 swapFree=67002116/67108860
[pid=6857] ppid=6854 vsize=10832628 memory=240824 CPUtime=2.97 cores=1,3,5,7
/proc/6857/stat : 6857 (java) S 6854 6857 3063 0 -1 1077944320 24250 13312 0 0 278 11 5 3 20 0 15 0 416957521 11092611072 60206 33554432000 4194304 4196468 140723911203872 140723911186416 139815196315383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
/proc/6857/statm: 2708157 60206 3580 1 0 2670221 0
[pid=6857/tid=6910] ppid=6854 vsize=10832628 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/6857/task/6910/stat : 6910 (java) R 6854 6857 3063 0 -1 4202560 14726 13312 0 0 128 6 5 3 20 0 15 0 416957530 11092611072 60206 33554432000 4194304 4196468 140723911203872 139815168148336 139815196337309 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6911] ppid=6854 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6857/task/6911/stat : 6911 (java) S 6854 6857 3063 0 -1 1077944384 228 13312 0 0 1 0 5 3 20 0 15 0 416957531 11092611072 60206 33554432000 4194304 4196468 140723911203872 139815200558096 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6912] ppid=6854 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6857/task/6912/stat : 6912 (java) S 6854 6857 3063 0 -1 1077944384 43 13312 0 0 1 0 5 3 20 0 15 0 416957531 11092611072 60206 33554432000 4194304 4196468 140723911203872 139815088831632 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6913] ppid=6854 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6857/task/6913/stat : 6913 (java) S 6854 6857 3063 0 -1 1077944384 29 13312 0 0 1 0 5 3 20 0 15 0 416957531 11092611072 60206 33554432000 4194304 4196468 140723911203872 139815087778576 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6914] ppid=6854 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6857/task/6914/stat : 6914 (java) S 6854 6857 3063 0 -1 1077944384 58 13312 0 0 1 0 5 3 20 0 15 0 416957531 11092611072 60206 33554432000 4194304 4196468 140723911203872 139815086726032 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6915] ppid=6854 vsize=10832628 memory=-7965959130280075168 CPUtime=0.09 cores=1,3,5,7
/proc/6857/task/6915/stat : 6915 (java) S 6854 6857 3063 0 -1 1077944384 435 13312 0 0 1 0 5 3 20 0 15 0 416957532 11092611072 60206 33554432000 4194304 4196468 140723911203872 139814199748848 139815196326530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6916] ppid=6854 vsize=10832628 memory=279362658183424 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6916/stat : 6916 (java) S 6854 6857 3063 0 -1 1077944384 54 13312 0 0 0 0 5 3 20 0 15 0 416957533 11092611072 60206 33554432000 4194304 4196468 140723911203872 139814198695136 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6917] ppid=6854 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6917/stat : 6917 (java) S 6854 6857 3063 0 -1 1077944384 4 13312 0 0 0 0 5 3 20 0 15 0 416957533 11092611072 60206 33554432000 4194304 4196468 140723911203872 139814070379264 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6918] ppid=6854 vsize=10832628 memory=1244 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6918/stat : 6918 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957535 11092611072 60206 33554432000 4194304 4196468 140723911203872 139813762979792 139815196333979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6919] ppid=6854 vsize=10832628 memory=10472 CPUtime=0.6 cores=1,3,5,7
/proc/6857/task/6919/stat : 6919 (java) S 6854 6857 3063 0 -1 1077944384 3018 13312 0 0 52 0 5 3 20 0 15 0 416957536 11092611072 60206 33554432000 4194304 4196468 140723911203872 139814165138160 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6920] ppid=6854 vsize=10832628 memory=1720 CPUtime=0.61 cores=1,3,5,7
/proc/6857/task/6920/stat : 6920 (java) S 6854 6857 3063 0 -1 1077944384 1515 13312 0 0 53 0 5 3 20 0 15 0 416957536 11092611072 60206 33554432000 4194304 4196468 140723911203872 139814164085616 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6921] ppid=6854 vsize=10832628 memory=5720 CPUtime=0.43 cores=1,3,5,7
/proc/6857/task/6921/stat : 6921 (java) S 6854 6857 3063 0 -1 1077944384 1925 13312 0 0 35 0 5 3 20 0 15 0 416957536 11092611072 60206 33554432000 4194304 4196468 140723911203872 139814163032560 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6922] ppid=6854 vsize=10832628 memory=636 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6922/stat : 6922 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957536 11092611072 60206 33554432000 4194304 4196468 140723911203872 139813729422176 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6923] ppid=6854 vsize=10832628 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6923/stat : 6923 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957536 11092611072 60206 33554432000 4194304 4196468 140723911203872 139814161979952 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10832628 KiB
################
# More data... #
################
/proc/6857/task/6910/stat : 6910 (java) R 6854 6857 3063 0 -1 4202560 90317 13312 0 0 235644 65 5 3 20 0 15 0 416957530 11109421056 360925 33554432000 4194304 4196468 140723911203872 139815168132176 139814773812862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6911] ppid=6854 vsize=10849044 memory=1443700 CPUtime=13.09 cores=1,3,5,7
/proc/6857/task/6911/stat : 6911 (java) S 6854 6857 3063 0 -1 1077944384 26352 13312 0 0 1250 51 5 3 20 0 15 0 416957531 11109421056 360925 33554432000 4194304 4196468 140723911203872 139815200558096 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6912] ppid=6854 vsize=10849044 memory=1443700 CPUtime=13.05 cores=1,3,5,7
/proc/6857/task/6912/stat : 6912 (java) S 6854 6857 3063 0 -1 1077944384 23641 13312 0 0 1242 55 5 3 20 0 15 0 416957531 11109421056 360925 33554432000 4194304 4196468 140723911203872 139815088831632 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6913] ppid=6854 vsize=10849044 memory=1443700 CPUtime=13.07 cores=1,3,5,7
/proc/6857/task/6913/stat : 6913 (java) S 6854 6857 3063 0 -1 1077944384 23322 13312 0 0 1245 54 5 3 20 0 15 0 416957531 11109421056 360925 33554432000 4194304 4196468 140723911203872 139815087778576 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6914] ppid=6854 vsize=10849044 memory=1443700 CPUtime=13.02 cores=1,3,5,7
/proc/6857/task/6914/stat : 6914 (java) S 6854 6857 3063 0 -1 1077944384 28851 13312 0 0 1241 53 5 3 20 0 15 0 416957531 11109421056 360925 33554432000 4194304 4196468 140723911203872 139815086726032 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6915] ppid=6854 vsize=10849044 memory=1443700 CPUtime=9.44 cores=1,3,5,7
/proc/6857/task/6915/stat : 6915 (java) S 6854 6857 3063 0 -1 1077944384 20557 13312 0 0 882 54 5 3 20 0 15 0 416957532 11109421056 360925 33554432000 4194304 4196468 140723911203872 139814199748848 139815196326530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6916] ppid=6854 vsize=10849044 memory=1443700 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6916/stat : 6916 (java) S 6854 6857 3063 0 -1 1077944384 63 13312 0 0 0 0 5 3 20 0 15 0 416957533 11109421056 360925 33554432000 4194304 4196468 140723911203872 139814198695136 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6917] ppid=6854 vsize=10849044 memory=3616 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6917/stat : 6917 (java) S 6854 6857 3063 0 -1 1077944384 5 13312 0 0 0 0 5 3 20 0 15 0 416957533 11109421056 360925 33554432000 4194304 4196468 140723911203872 139814070379264 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6918] ppid=6854 vsize=10849044 memory=1056 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6918/stat : 6918 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957535 11109421056 360925 33554432000 4194304 4196468 140723911203872 139813762979792 139815196333979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6919] ppid=6854 vsize=10849044 memory=1443700 CPUtime=8.28 cores=1,3,5,7
/proc/6857/task/6919/stat : 6919 (java) S 6854 6857 3063 0 -1 1077944384 53958 13312 0 0 811 9 5 3 20 0 15 0 416957536 11109421056 360925 33554432000 4194304 4196468 140723911203872 139814165138160 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6920] ppid=6854 vsize=10849044 memory=3616 CPUtime=8.86 cores=1,3,5,7
/proc/6857/task/6920/stat : 6920 (java) S 6854 6857 3063 0 -1 1077944384 40127 13312 0 0 872 6 5 3 20 0 15 0 416957536 11109421056 360925 33554432000 4194304 4196468 140723911203872 139814164085616 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6921] ppid=6854 vsize=10849044 memory=1443700 CPUtime=5.72 cores=1,3,5,7
/proc/6857/task/6921/stat : 6921 (java) S 6854 6857 3063 0 -1 1077944384 56758 13312 0 0 554 10 5 3 20 0 15 0 416957536 11109421056 360925 33554432000 4194304 4196468 140723911203872 139814163032560 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6922] ppid=6854 vsize=10849044 memory=1568 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6922/stat : 6922 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957536 11109421056 360925 33554432000 4194304 4196468 140723911203872 139813729422176 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6923] ppid=6854 vsize=10849044 memory=3616 CPUtime=1.46 cores=1,3,5,7
/proc/6857/task/6923/stat : 6923 (java) S 6854 6857 3063 0 -1 1077944384 2393 13312 0 0 65 73 5 3 20 0 15 0 416957536 11109421056 360925 33554432000 4194304 4196468 140723911203872 139814161979952 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
Current children cumulated CPU time: 2442.57 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 1443700 KiB
[startup+2442.3 s]
/proc/loadavg: 1.82 1.56 1.47 3/228 7295
/proc/meminfo: memFree=28894860/32770624 swapFree=67002116/67108860
[pid=6857] ppid=6854 vsize=10849044 memory=1441644 CPUtime=2503.55 cores=1,3,5,7
/proc/6857/stat : 6857 (java) S 6854 6857 3063 0 -1 1077944320 371332 13312 0 0 249962 385 5 3 20 0 15 0 416957521 11109421056 360411 33554432000 4194304 4196468 140723911203872 140723911186416 139815196315383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
/proc/6857/statm: 2712261 360411 3632 1 0 2674317 0
[pid=6857/tid=6910] ppid=6854 vsize=10849044 memory=1441644 CPUtime=2416.57 cores=1,3,5,7
/proc/6857/task/6910/stat : 6910 (java) R 6854 6857 3063 0 -1 4202560 91286 13312 0 0 241583 66 5 3 20 0 15 0 416957530 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815168150880 139815179699374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6911] ppid=6854 vsize=10849044 memory=1441644 CPUtime=13.41 cores=1,3,5,7
/proc/6857/task/6911/stat : 6911 (java) S 6854 6857 3063 0 -1 1077944384 26635 13312 0 0 1282 51 5 3 20 0 15 0 416957531 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815200558096 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6912] ppid=6854 vsize=10849044 memory=1441644 CPUtime=13.38 cores=1,3,5,7
/proc/6857/task/6912/stat : 6912 (java) S 6854 6857 3063 0 -1 1077944384 23908 13312 0 0 1274 56 5 3 20 0 15 0 416957531 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815088831632 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6913] ppid=6854 vsize=10849044 memory=1443700 CPUtime=13.41 cores=1,3,5,7
/proc/6857/task/6913/stat : 6913 (java) S 6854 6857 3063 0 -1 1077944384 23731 13312 0 0 1278 55 5 3 20 0 15 0 416957531 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815087778576 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6914] ppid=6854 vsize=10849044 memory=1441644 CPUtime=13.36 cores=1,3,5,7
/proc/6857/task/6914/stat : 6914 (java) S 6854 6857 3063 0 -1 1077944384 29233 13312 0 0 1274 54 5 3 20 0 15 0 416957531 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815086726032 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6915] ppid=6854 vsize=10849044 memory=1441644 CPUtime=9.67 cores=1,3,5,7
/proc/6857/task/6915/stat : 6915 (java) S 6854 6857 3063 0 -1 1077944384 20990 13312 0 0 903 56 5 3 20 0 15 0 416957532 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814199748848 139815196326530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6916] ppid=6854 vsize=10849044 memory=1441644 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6916/stat : 6916 (java) S 6854 6857 3063 0 -1 1077944384 63 13312 0 0 0 0 5 3 20 0 15 0 416957533 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814198695136 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6917] ppid=6854 vsize=10849044 memory=1441644 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6917/stat : 6917 (java) S 6854 6857 3063 0 -1 1077944384 5 13312 0 0 0 0 5 3 20 0 15 0 416957533 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814070379264 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6918] ppid=6854 vsize=10849044 memory=1441644 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6918/stat : 6918 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957535 11109421056 360411 33554432000 4194304 4196468 140723911203872 139813762979792 139815196333979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6919] ppid=6854 vsize=10849044 memory=1441644 CPUtime=8.28 cores=1,3,5,7
/proc/6857/task/6919/stat : 6919 (java) S 6854 6857 3063 0 -1 1077944384 53962 13312 0 0 811 9 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814165138160 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6920] ppid=6854 vsize=10849044 memory=1441644 CPUtime=8.86 cores=1,3,5,7
/proc/6857/task/6920/stat : 6920 (java) S 6854 6857 3063 0 -1 1077944384 40131 13312 0 0 872 6 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814164085616 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6921] ppid=6854 vsize=10849044 memory=1441644 CPUtime=5.72 cores=1,3,5,7
/proc/6857/task/6921/stat : 6921 (java) S 6854 6857 3063 0 -1 1077944384 56762 13312 0 0 554 10 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814163032560 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6922] ppid=6854 vsize=10849044 memory=1441644 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6922/stat : 6922 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139813729422176 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6923] ppid=6854 vsize=10849044 memory=1441644 CPUtime=1.5 cores=1,3,5,7
/proc/6857/task/6923/stat : 6923 (java) S 6854 6857 3063 0 -1 1077944384 2414 13312 0 0 67 75 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814161979952 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
Current children cumulated CPU time: 2503.55 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 1441644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2458.5 s]
/proc/loadavg: 1.78 1.57 1.47 3/228 7297
/proc/meminfo: memFree=28902176/32770624 swapFree=67002116/67108860
[pid=6857] ppid=6854 vsize=10849044 memory=1441644 CPUtime=2520.05 cores=1,3,5,7
/proc/6857/stat : 6857 (java) S 6854 6857 3063 0 -1 1077944320 371594 13312 0 0 251610 387 5 3 20 0 15 0 416957521 11109421056 360411 33554432000 4194304 4196468 140723911203872 140723911186416 139815196315383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
/proc/6857/statm: 2712261 360411 3632 1 0 2674317 0
[pid=6857/tid=6910] ppid=6854 vsize=10849044 memory=1441644 CPUtime=2432.59 cores=1,3,5,7
/proc/6857/task/6910/stat : 6910 (java) R 6854 6857 3063 0 -1 4202560 91447 13312 0 0 243185 66 5 3 20 0 15 0 416957530 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815168150064 139814774057193 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6911] ppid=6854 vsize=10849044 memory=1441644 CPUtime=13.52 cores=1,3,5,7
/proc/6857/task/6911/stat : 6911 (java) S 6854 6857 3063 0 -1 1077944384 26671 13312 0 0 1292 52 5 3 20 0 15 0 416957531 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815200558096 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6912] ppid=6854 vsize=10849044 memory=1462692 CPUtime=13.49 cores=1,3,5,7
/proc/6857/task/6912/stat : 6912 (java) S 6854 6857 3063 0 -1 1077944384 23922 13312 0 0 1284 57 5 3 20 0 15 0 416957531 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815088831632 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6913] ppid=6854 vsize=10849044 memory=1462692 CPUtime=13.51 cores=1,3,5,7
/proc/6857/task/6913/stat : 6913 (java) S 6854 6857 3063 0 -1 1077944384 23772 13312 0 0 1287 56 5 3 20 0 15 0 416957531 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815087778576 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6914] ppid=6854 vsize=10849044 memory=1441644 CPUtime=13.46 cores=1,3,5,7
/proc/6857/task/6914/stat : 6914 (java) S 6854 6857 3063 0 -1 1077944384 29233 13312 0 0 1284 54 5 3 20 0 15 0 416957531 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815086726032 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6915] ppid=6854 vsize=10849044 memory=2832 CPUtime=9.73 cores=1,3,5,7
/proc/6857/task/6915/stat : 6915 (java) S 6854 6857 3063 0 -1 1077944384 20999 13312 0 0 909 56 5 3 20 0 15 0 416957532 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814199748848 139815196326530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6916] ppid=6854 vsize=10849044 memory=1441644 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6916/stat : 6916 (java) S 6854 6857 3063 0 -1 1077944384 63 13312 0 0 0 0 5 3 20 0 15 0 416957533 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814198695136 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6917] ppid=6854 vsize=10849044 memory=279362658907936 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6917/stat : 6917 (java) S 6854 6857 3063 0 -1 1077944384 5 13312 0 0 0 0 5 3 20 0 15 0 416957533 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814070379264 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6918] ppid=6854 vsize=10849044 memory=1441644 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6918/stat : 6918 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957535 11109421056 360411 33554432000 4194304 4196468 140723911203872 139813762979792 139815196333979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6919] ppid=6854 vsize=10849044 memory=1441644 CPUtime=8.28 cores=1,3,5,7
/proc/6857/task/6919/stat : 6919 (java) S 6854 6857 3063 0 -1 1077944384 53962 13312 0 0 811 9 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814165138160 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6920] ppid=6854 vsize=10849044 memory=1441644 CPUtime=8.86 cores=1,3,5,7
/proc/6857/task/6920/stat : 6920 (java) S 6854 6857 3063 0 -1 1077944384 40131 13312 0 0 872 6 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814164085616 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6921] ppid=6854 vsize=10849044 memory=1768 CPUtime=5.72 cores=1,3,5,7
/proc/6857/task/6921/stat : 6921 (java) S 6854 6857 3063 0 -1 1077944384 56762 13312 0 0 554 10 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814163032560 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6922] ppid=6854 vsize=10849044 memory=1441644 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6922/stat : 6922 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139813729422176 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6923] ppid=6854 vsize=10849044 memory=1441644 CPUtime=1.51 cores=1,3,5,7
/proc/6857/task/6923/stat : 6923 (java) S 6854 6857 3063 0 -1 1077944384 2415 13312 0 0 67 76 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814161979952 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 1441644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2458.53 s]
# the end of solver process 6857 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.17 s, system=3.9258 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2458.5 s]
/proc/loadavg: 1.78 1.57 1.47 3/228 7297
/proc/meminfo: memFree=28902176/32770624 swapFree=67002116/67108860
[pid=6857] ppid=6854 vsize=10849044 memory=1441644 CPUtime=2520.05 cores=1,3,5,7
/proc/6857/stat : 6857 (java) S 6854 6857 3063 0 -1 1077944320 371594 13312 0 0 251610 387 5 3 20 0 15 0 416957521 11109421056 360411 33554432000 4194304 4196468 140723911203872 140723911186416 139815196315383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
/proc/6857/statm: 2712261 360411 3632 1 0 2674317 0
[pid=6857/tid=6910] ppid=6854 vsize=10849044 memory=1441644 CPUtime=2432.59 cores=1,3,5,7
/proc/6857/task/6910/stat : 6910 (java) R 6854 6857 3063 0 -1 4202560 91447 13312 0 0 243185 66 5 3 20 0 15 0 416957530 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815168150064 139814774057193 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6911] ppid=6854 vsize=10849044 memory=1441644 CPUtime=13.52 cores=1,3,5,7
/proc/6857/task/6911/stat : 6911 (java) S 6854 6857 3063 0 -1 1077944384 26671 13312 0 0 1292 52 5 3 20 0 15 0 416957531 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815200558096 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6912] ppid=6854 vsize=10849044 memory=1462692 CPUtime=13.49 cores=1,3,5,7
/proc/6857/task/6912/stat : 6912 (java) S 6854 6857 3063 0 -1 1077944384 23922 13312 0 0 1284 57 5 3 20 0 15 0 416957531 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815088831632 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6913] ppid=6854 vsize=10849044 memory=1462692 CPUtime=13.51 cores=1,3,5,7
/proc/6857/task/6913/stat : 6913 (java) S 6854 6857 3063 0 -1 1077944384 23772 13312 0 0 1287 56 5 3 20 0 15 0 416957531 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815087778576 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6914] ppid=6854 vsize=10849044 memory=1441644 CPUtime=13.46 cores=1,3,5,7
/proc/6857/task/6914/stat : 6914 (java) S 6854 6857 3063 0 -1 1077944384 29233 13312 0 0 1284 54 5 3 20 0 15 0 416957531 11109421056 360411 33554432000 4194304 4196468 140723911203872 139815086726032 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6915] ppid=6854 vsize=10849044 memory=2832 CPUtime=9.73 cores=1,3,5,7
/proc/6857/task/6915/stat : 6915 (java) S 6854 6857 3063 0 -1 1077944384 20999 13312 0 0 909 56 5 3 20 0 15 0 416957532 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814199748848 139815196326530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6916] ppid=6854 vsize=10849044 memory=1441644 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6916/stat : 6916 (java) S 6854 6857 3063 0 -1 1077944384 63 13312 0 0 0 0 5 3 20 0 15 0 416957533 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814198695136 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6917] ppid=6854 vsize=10849044 memory=279362658907936 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6917/stat : 6917 (java) S 6854 6857 3063 0 -1 1077944384 5 13312 0 0 0 0 5 3 20 0 15 0 416957533 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814070379264 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6918] ppid=6854 vsize=10849044 memory=1441644 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6918/stat : 6918 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957535 11109421056 360411 33554432000 4194304 4196468 140723911203872 139813762979792 139815196333979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6919] ppid=6854 vsize=10849044 memory=1441644 CPUtime=8.28 cores=1,3,5,7
/proc/6857/task/6919/stat : 6919 (java) S 6854 6857 3063 0 -1 1077944384 53962 13312 0 0 811 9 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814165138160 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6920] ppid=6854 vsize=10849044 memory=1441644 CPUtime=8.86 cores=1,3,5,7
/proc/6857/task/6920/stat : 6920 (java) S 6854 6857 3063 0 -1 1077944384 40131 13312 0 0 872 6 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814164085616 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6921] ppid=6854 vsize=10849044 memory=1768 CPUtime=5.72 cores=1,3,5,7
/proc/6857/task/6921/stat : 6921 (java) S 6854 6857 3063 0 -1 1077944384 56762 13312 0 0 554 10 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814163032560 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6922] ppid=6854 vsize=10849044 memory=1441644 CPUtime=0.08 cores=1,3,5,7
/proc/6857/task/6922/stat : 6922 (java) S 6854 6857 3063 0 -1 1077944384 3 13312 0 0 0 0 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139813729422176 139815196325589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
[pid=6857/tid=6923] ppid=6854 vsize=10849044 memory=1441644 CPUtime=1.51 cores=1,3,5,7
/proc/6857/task/6923/stat : 6923 (java) S 6854 6857 3063 0 -1 1077944384 2415 13312 0 0 67 76 5 3 20 0 15 0 416957536 11109421056 360411 33554432000 4194304 4196468 140723911203872 139814161979952 139815196326530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28782592 140723911207663 140723911210181 140723911210181 140723911213007 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 1441644 KiB
Child status: 143
Real time (s): 2458.53
CPU time (s): 2520.1
CPU user time (s): 2516.17
CPU system time (s): 3.9258
CPU usage (%): 102.504
Max. virtual memory (cumulated for all children) (KiB): 10851988
Max. memory (cumulated for all children) (KiB): 1930712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.17
system time used= 3.92579
maximum resident set size= 1931256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275875
involuntary context switches= 5416
# summary of solver processes directly reported to runsolver:
# pid: 6857
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.17
# total CPU system time (s): 3.9258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.514 second user time and 22.5453 second system time
The end