2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	SAT	14.3115	2.69579
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 (12280 MiB free)
  memory of node 1: 16384 MiB (11792 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393497-1568421931/watcher-4393497-1568421931 -o /tmp/evaluation-result-4393497-1568421931/solver-4393497-1568421931 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568421825-2318 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 703420278 HOME/instance-4393497-1568421931.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Starting watchdog thread
solver pid=2803, runsolver pid=2800
Current StackSize limit: 8192 KiB


[startup+0.100166 s]*
/proc/loadavg: 5.75 7.32 7.34 2/212 2824
/proc/meminfo: memFree=24634840/32770624 swapFree=67004752/67108860
[pid=2803] ppid=2800 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2803/stat : 2803 (xcsp3-exec) S 2800 2803 2291 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418460878 115843072 363 33554432000 4194304 5098028 140730124111936 140730124110040 139814035722876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26996736 140730124116854 140730124117097 140730124117097 140730124120010 0
/proc/2803/statm: 28282 363 304 221 0 87 0
[pid=2805] ppid=2803 vsize=28227388 memory=29300 CPUtime=0.12 cores=0-7
/proc/2805/stat : 2805 (java) S 2803 2803 2291 0 -1 1077944320 5736 0 0 0 11 1 0 0 20 0 20 0 418460878 28904845312 7325 33554432000 4194304 4196468 140727050371664 140727050354208 139719885434615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
/proc/2805/statm: 7056847 7325 3149 1 0 7019032 0
[pid=2805/tid=2806] ppid=2803 vsize=28227388 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/2805/task/2806/stat : 2806 (java) R 2803 2803 2291 0 -1 4202560 3682 0 0 0 8 0 0 0 20 0 20 0 418460878 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719889671040 139719885446550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2807] ppid=2803 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2805/task/2807/stat : 2807 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719850715664 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2808] ppid=2803 vsize=28227388 memory=139762865190528 CPUtime=0 cores=0-7
/proc/2805/task/2808/stat : 2808 (java) S 2803 2803 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719436184208 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2809] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2809/stat : 2809 (java) S 2803 2803 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719435131152 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2810] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2810/stat : 2810 (java) S 2803 2803 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719434078608 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2811] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2811/stat : 2811 (java) S 2803 2803 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719433026576 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2812] ppid=2803 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2805/task/2812/stat : 2812 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719431974032 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2813] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2813/stat : 2813 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719430920976 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2814] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2814/stat : 2814 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719429868432 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2815] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2815/stat : 2815 (java) S 2803 2803 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460881 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719386446064 139719885445762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2816] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2816/stat : 2816 (java) S 2803 2803 2291 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418460881 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719385392288 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2817] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2817/stat : 2817 (java) S 2803 2803 2291 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418460881 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719384339184 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2818] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2818/stat : 2818 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460884 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719383287760 139719885453211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2819] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2819/stat : 2819 (java) S 2803 2803 2291 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 418460884 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719382235888 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2820] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2820/stat : 2820 (java) S 2803 2803 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460884 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719381183344 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2821] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2821/stat : 2821 (java) S 2803 2803 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460884 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719263513072 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2822] ppid=2803 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/2805/task/2822/stat : 2822 (java) R 2803 2803 2291 0 -1 4202560 314 0 0 0 2 0 0 0 20 0 20 0 418460884 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719262460528 139719864375369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2823] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2823/stat : 2823 (java) S 2803 2803 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460884 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719261407712 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2824] ppid=2803 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2805/task/2824/stat : 2824 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460884 28904845312 7325 33554432000 4194304 4196468 140727050371664 139719260355248 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30752 KiB

[startup+0.210583 s]*
/proc/loadavg: 5.75 7.32 7.34 2/212 2824
/proc/meminfo: memFree=24619912/32770624 swapFree=67004752/67108860
[pid=2803] ppid=2800 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2803/stat : 2803 (xcsp3-exec) S 2800 2803 2291 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418460878 115843072 363 33554432000 4194304 5098028 140730124111936 140730124110040 139814035722876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26996736 140730124116854 140730124117097 140730124117097 140730124120010 0
/proc/2803/statm: 28282 363 304 221 0 87 0
[pid=2805] ppid=2803 vsize=28227388 memory=41376 CPUtime=0.33 cores=0-7
/proc/2805/stat : 2805 (java) S 2803 2803 2291 0 -1 1077944320 9592 0 0 0 30 3 0 0 20 0 20 0 418460878 28904845312 10344 33554432000 4194304 4196468 140727050371664 140727050354208 139719885434615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
/proc/2805/statm: 7056847 10344 3311 1 0 7019032 0
[pid=2805/tid=2806] ppid=2803 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2805/task/2806/stat : 2806 (java) R 2803 2803 2291 0 -1 4202560 6692 0 0 0 17 2 0 0 20 0 20 0 418460878 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719889666528 139719885446550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2807] ppid=2803 vsize=28227388 memory=328 CPUtime=0 cores=0-7
/proc/2805/task/2807/stat : 2807 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719850715664 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2808] ppid=2803 vsize=28227388 memory=139762865202252 CPUtime=0 cores=0-7
/proc/2805/task/2808/stat : 2808 (java) S 2803 2803 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719436184208 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2809] ppid=2803 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2805/task/2809/stat : 2809 (java) S 2803 2803 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719435131152 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2810] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2810/stat : 2810 (java) S 2803 2803 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719434078608 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2811] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2811/stat : 2811 (java) S 2803 2803 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719433026576 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2812] ppid=2803 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2805/task/2812/stat : 2812 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719431974032 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2813] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2813/stat : 2813 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719430920976 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2814] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2814/stat : 2814 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460879 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719429868432 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2815] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2815/stat : 2815 (java) S 2803 2803 2291 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418460881 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719386446064 139719885445762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2816] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2816/stat : 2816 (java) S 2803 2803 2291 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418460881 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719385392288 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2817] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2817/stat : 2817 (java) S 2803 2803 2291 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418460881 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719384339184 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2818] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2818/stat : 2818 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460884 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719383287760 139719885453211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2819] ppid=2803 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/2805/task/2819/stat : 2819 (java) S 2803 2803 2291 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 20 0 418460884 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719382235888 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2820] ppid=2803 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/2805/task/2820/stat : 2820 (java) S 2803 2803 2291 0 -1 1077944384 303 0 0 0 1 0 0 0 20 0 20 0 418460884 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719381183344 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2821] ppid=2803 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/2805/task/2821/stat : 2821 (java) S 2803 2803 2291 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 20 0 418460884 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719263513072 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2822] ppid=2803 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/2805/task/2822/stat : 2822 (java) S 2803 2803 2291 0 -1 1077944384 715 0 0 0 8 0 0 0 20 0 20 0 418460884 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719262460528 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2823] ppid=2803 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2823/stat : 2823 (java) S 2803 2803 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460884 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719261407712 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2824] ppid=2803 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/2805/task/2824/stat : 2824 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460884 28904845312 10344 33554432000 4194304 4196468 140727050371664 139719260355248 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42828 KiB

[startup+0.31035 s]*
/proc/loadavg: 5.75 7.32 7.34 4/212 2824
/proc/meminfo: memFree=24611640/32770624 swapFree=67004752/67108860
[pid=2803] ppid=2800 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2803/stat : 2803 (xcsp3-exec) S 2800 2803 2291 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418460878 115843072 363 33554432000 4194304 5098028 140730124111936 140730124110040 139814035722876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26996736 140730124116854 140730124117097 140730124117097 140730124120010 0
/proc/2803/statm: 28282 363 304 221 0 87 0
[pid=2805] ppid=2803 vsize=28231644 memory=50436 CPUtime=0.51 cores=0-7
/proc/2805/stat : 2805 (java) S 2803 2803 2291 0 -1 1077944320 10947 0 0 0 46 5 0 0 20 0 20 0 418460878 28909203456 12609 33554432000 4194304 4196468 140727050371664 140727050354208 139719885434615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
/proc/2805/statm: 7057911 12609 3359 1 0 7019032 0
[pid=2805/tid=2806] ppid=2803 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/2805/task/2806/stat : 2806 (java) R 2803 2803 2291 0 -1 4202560 7824 0 0 0 26 3 0 0 20 0 20 0 418460878 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719889670400 139719869515102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2807] ppid=2803 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2807/stat : 2807 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460879 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719850715664 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2808] ppid=2803 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2808/stat : 2808 (java) S 2803 2803 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460879 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719436184208 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2809] ppid=2803 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2809/stat : 2809 (java) S 2803 2803 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460879 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719435131152 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2810] ppid=2803 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2810/stat : 2810 (java) S 2803 2803 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460879 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719434078608 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2811] ppid=2803 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2811/stat : 2811 (java) S 2803 2803 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418460879 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719433026576 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2812] ppid=2803 vsize=28231644 memory=139762732198575 CPUtime=0 cores=0-7
/proc/2805/task/2812/stat : 2812 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460879 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719431974032 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2813] ppid=2803 vsize=28231644 memory=139762732200880 CPUtime=0 cores=0-7
/proc/2805/task/2813/stat : 2813 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460879 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719430920976 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2814] ppid=2803 vsize=28231644 memory=139762732203184 CPUtime=0 cores=0-7
/proc/2805/task/2814/stat : 2814 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460879 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719429868432 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2815] ppid=2803 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2815/stat : 2815 (java) S 2803 2803 2291 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418460881 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719386446064 139719885445762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2816] ppid=2803 vsize=28231644 memory=279525464420240 CPUtime=0 cores=0-7
/proc/2805/task/2816/stat : 2816 (java) S 2803 2803 2291 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418460881 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719385392288 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2817] ppid=2803 vsize=28231644 memory=279525464417936 CPUtime=0 cores=0-7
/proc/2805/task/2817/stat : 2817 (java) S 2803 2803 2291 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418460881 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719384339184 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2818] ppid=2803 vsize=28231644 memory=279525464424848 CPUtime=0 cores=0-7
/proc/2805/task/2818/stat : 2818 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460884 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719383287760 139719885453211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2819] ppid=2803 vsize=28231644 memory=279525464366128 CPUtime=0.02 cores=0-7
/proc/2805/task/2819/stat : 2819 (java) S 2803 2803 2291 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 20 0 418460884 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719382235888 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2820] ppid=2803 vsize=28231644 memory=279525464438672 CPUtime=0.03 cores=0-7
/proc/2805/task/2820/stat : 2820 (java) R 2803 2803 2291 0 -1 4202560 438 0 0 0 3 0 0 0 20 0 20 0 418460884 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719381164360 139719864680463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2821] ppid=2803 vsize=28231644 memory=279525464445584 CPUtime=0.01 cores=0-7
/proc/2805/task/2821/stat : 2821 (java) S 2803 2803 2291 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 20 0 418460884 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719263513072 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2822] ppid=2803 vsize=28231644 memory=279525464443280 CPUtime=0.12 cores=0-7
/proc/2805/task/2822/stat : 2822 (java) S 2803 2803 2291 0 -1 1077944384 788 0 0 0 12 0 0 0 20 0 20 0 418460884 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719262460528 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2823] ppid=2803 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2823/stat : 2823 (java) S 2803 2803 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418460884 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719261407712 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2824] ppid=2803 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/2805/task/2824/stat : 2824 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418460884 28909203456 12640 33554432000 4194304 4196468 140727050371664 139719260355248 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51888 KiB

[startup+0.701757 s]
/proc/loadavg: 5.75 7.32 7.34 5/212 2824
/proc/meminfo: memFree=24594372/32770624 swapFree=67004752/67108860
[pid=2803] ppid=2800 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2803/stat : 2803 (xcsp3-exec) S 2800 2803 2291 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418460878 115843072 363 33554432000 4194304 5098028 140730124111936 140730124110040 139814035722876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26996736 140730124116854 140730124117097 140730124117097 140730124120010 0
/proc/2803/statm: 28282 363 304 221 0 87 0
[pid=2805] ppid=2803 vsize=28766280 memory=132924 CPUtime=2.04 cores=0-7
/proc/2805/stat : 2805 (java) S 2803 2803 2291 0 -1 1077944320 15392 0 0 0 196 8 0 0 20 0 28 0 418460878 29456670720 33231 33554432000 4194304 4196468 140727050371664 140727050354208 139719885434615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
/proc/2805/statm: 7191570 33231 3466 1 0 7152672 0
[pid=2805/tid=2806] ppid=2803 vsize=28766280 memory=0 CPUtime=0.62 cores=0-7
/proc/2805/task/2806/stat : 2806 (java) S 2803 2803 2291 0 -1 1077944384 9292 0 0 0 57 5 0 0 20 0 28 0 418460878 29456670720 33231 33554432000 4194304 4196468 140727050371664 139719889675392 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2807] ppid=2803 vsize=28766280 memory=139762732409712 CPUtime=0 cores=0-7
/proc/2805/task/2807/stat : 2807 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418460879 29456670720 33231 33554432000 4194304 4196468 140727050371664 139719850715664 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2808] ppid=2803 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2808/stat : 2808 (java) S 2803 2803 2291 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 418460879 29456670720 33231 33554432000 4194304 4196468 140727050371664 139719436184208 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2809] ppid=2803 vsize=28766280 memory=772 CPUtime=0 cores=0-7

################
# More data... #
################

[pid=2805/tid=2822] ppid=2803 vsize=28766280 memory=139762732232128 CPUtime=0.39 cores=0-7
/proc/2805/task/2822/stat : 2822 (java) S 2803 2803 2291 0 -1 1077944384 1793 0 0 0 39 0 0 0 20 0 28 0 418460884 29456670720 58966 33554432000 4194304 4196468 140727050371664 139719262460528 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2823] ppid=2803 vsize=28766280 memory=151801324115444 CPUtime=0 cores=0-7
/proc/2805/task/2823/stat : 2823 (java) S 2803 2803 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418460884 29456670720 58966 33554432000 4194304 4196468 140727050371664 139719261407712 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2824] ppid=2803 vsize=28766280 memory=12038793336313 CPUtime=0 cores=0-7
/proc/2805/task/2824/stat : 2824 (java) S 2803 2803 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418460884 29456670720 58966 33554432000 4194304 4196468 140727050371664 139719260355248 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2825] ppid=2803 vsize=28766280 memory=7014751519600431715 CPUtime=1.07 cores=0-7
/proc/2805/task/2825/stat : 2825 (java) R 2803 2803 2291 0 -1 4202560 48 0 0 0 107 0 0 0 20 0 28 0 418460942 29456670720 58966 33554432000 4194304 4196468 140727050371664 139719251383472 139719527231391 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2826] ppid=2803 vsize=28766280 memory=7451578744511160942 CPUtime=0.66 cores=0-7
/proc/2805/task/2826/stat : 2826 (java) R 2803 2803 2291 0 -1 4202560 45 0 0 0 66 0 0 0 20 0 28 0 418460942 29456670720 58966 33554432000 4194304 4196468 140727050371664 139719250332728 139719527230315 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2827] ppid=2803 vsize=28766280 memory=0 CPUtime=0.81 cores=0-7
/proc/2805/task/2827/stat : 2827 (java) R 2803 2803 2291 0 -1 4202560 53 0 0 0 81 0 0 0 20 0 28 0 418460942 29456670720 58966 33554432000 4194304 4196468 140727050371664 139719249276288 139719526323229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2828] ppid=2803 vsize=28766280 memory=0 CPUtime=0.79 cores=0-7
/proc/2805/task/2828/stat : 2828 (java) R 2803 2803 2291 0 -1 4202560 78 0 0 0 79 0 0 0 20 0 28 0 418460942 29456670720 58966 33554432000 4194304 4196468 140727050371664 139719248226896 139719527229854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2829] ppid=2803 vsize=28766280 memory=0 CPUtime=0.8 cores=0-7
/proc/2805/task/2829/stat : 2829 (java) R 2803 2803 2291 0 -1 4202560 32 0 0 0 80 0 0 0 20 0 28 0 418460943 29456670720 58966 33554432000 4194304 4196468 140727050371664 139719247170824 139719526323610 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2830] ppid=2803 vsize=28766280 memory=0 CPUtime=0.82 cores=0-7
/proc/2805/task/2830/stat : 2830 (java) R 2803 2803 2291 0 -1 4202560 50 0 0 0 82 0 0 0 20 0 28 0 418460943 29456670720 58966 33554432000 4194304 4196468 140727050371664 139717922250200 139719527231391 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2831] ppid=2803 vsize=28766280 memory=0 CPUtime=0.72 cores=0-7
/proc/2805/task/2831/stat : 2831 (java) R 2803 2803 2291 0 -1 4202560 41 0 0 0 72 0 0 0 20 0 28 0 418460943 29456670720 58966 33554432000 4194304 4196468 140727050371664 139717921195904 139719527230997 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2832] ppid=2803 vsize=28766280 memory=139762732202832 CPUtime=0.69 cores=0-7
/proc/2805/task/2832/stat : 2832 (java) R 2803 2803 2291 0 -1 4202560 42 0 0 0 69 0 0 0 20 0 28 0 418460943 29456670720 58966 33554432000 4194304 4196468 140727050371664 139717920144120 139719527229854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
Current children cumulated CPU time: 9.71 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 237316 KiB

[startup+2.40178 s]*
/proc/loadavg: 5.75 7.32 7.34 10/220 2832
/proc/meminfo: memFree=24364028/32770624 swapFree=67004752/67108860
[pid=2803] ppid=2800 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2803/stat : 2803 (xcsp3-exec) S 2800 2803 2291 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418460878 115843072 363 33554432000 4194304 5098028 140730124111936 140730124110040 139814035722876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26996736 140730124116854 140730124117097 140730124117097 140730124120010 0
/proc/2803/statm: 28282 363 304 221 0 87 0
[pid=2805] ppid=2803 vsize=28766280 memory=298356 CPUtime=12.31 cores=0-7
/proc/2805/stat : 2805 (java) S 2803 2803 2291 0 -1 1077944320 20108 0 0 0 1202 29 0 0 20 0 28 0 418460878 29456670720 74589 33554432000 4194304 4196468 140727050371664 140727050354208 139719885434615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
/proc/2805/statm: 7191570 74589 3513 1 0 7152672 0
[pid=2805/tid=2806] ppid=2803 vsize=28766280 memory=29678448712876256 CPUtime=0.62 cores=0-7
/proc/2805/task/2806/stat : 2806 (java) S 2803 2803 2291 0 -1 1077944384 9292 0 0 0 57 5 0 0 20 0 28 0 418460878 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719889675392 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2807] ppid=2803 vsize=28766280 memory=288230583182828314 CPUtime=0.03 cores=0-7
/proc/2805/task/2807/stat : 2807 (java) S 2803 2803 2291 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 28 0 418460879 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719850715664 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2808] ppid=2803 vsize=28766280 memory=13852988341997664 CPUtime=0.04 cores=0-7
/proc/2805/task/2808/stat : 2808 (java) S 2803 2803 2291 0 -1 1077944384 74 0 0 0 2 2 0 0 20 0 28 0 418460879 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719436184208 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2809] ppid=2803 vsize=28766280 memory=279525464518544 CPUtime=0.03 cores=0-7
/proc/2805/task/2809/stat : 2809 (java) S 2803 2803 2291 0 -1 1077944384 49 0 0 0 2 1 0 0 20 0 28 0 418460879 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719435131152 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2810] ppid=2803 vsize=28766280 memory=0 CPUtime=0.03 cores=0-7
/proc/2805/task/2810/stat : 2810 (java) S 2803 2803 2291 0 -1 1077944384 37 0 0 0 1 2 0 0 20 0 28 0 418460879 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719434078608 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2811] ppid=2803 vsize=28766280 memory=0 CPUtime=0.04 cores=0-7
/proc/2805/task/2811/stat : 2811 (java) S 2803 2803 2291 0 -1 1077944384 45 0 0 0 2 2 0 0 20 0 28 0 418460879 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719433026576 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2812] ppid=2803 vsize=28766280 memory=0 CPUtime=0.04 cores=0-7
/proc/2805/task/2812/stat : 2812 (java) S 2803 2803 2291 0 -1 1077944384 64 0 0 0 2 2 0 0 20 0 28 0 418460879 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719431974032 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2813] ppid=2803 vsize=28766280 memory=0 CPUtime=0.04 cores=0-7
/proc/2805/task/2813/stat : 2813 (java) S 2803 2803 2291 0 -1 1077944384 261 0 0 0 2 2 0 0 20 0 28 0 418460879 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719430920976 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2814] ppid=2803 vsize=28766280 memory=0 CPUtime=0.04 cores=0-7
/proc/2805/task/2814/stat : 2814 (java) S 2803 2803 2291 0 -1 1077944384 39 0 0 0 2 2 0 0 20 0 28 0 418460879 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719429868432 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2815] ppid=2803 vsize=28766280 memory=139762732270384 CPUtime=0 cores=0-7
/proc/2805/task/2815/stat : 2815 (java) S 2803 2803 2291 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 418460881 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719386446064 139719885445762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2816] ppid=2803 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2816/stat : 2816 (java) S 2803 2803 2291 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 418460881 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719385392288 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2817] ppid=2803 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2817/stat : 2817 (java) S 2803 2803 2291 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 418460881 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719384339184 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2818] ppid=2803 vsize=28766280 memory=27252 CPUtime=0 cores=0-7
/proc/2805/task/2818/stat : 2818 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418460884 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719383287760 139719885453211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2819] ppid=2803 vsize=28766280 memory=0 CPUtime=0.74 cores=0-7
/proc/2805/task/2819/stat : 2819 (java) R 2803 2803 2291 0 -1 1077944384 1969 0 0 0 74 0 0 0 20 0 28 0 418460884 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719382235888 139719885445762 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2820] ppid=2803 vsize=28766280 memory=1452 CPUtime=0.86 cores=0-7
/proc/2805/task/2820/stat : 2820 (java) S 2803 2803 2291 0 -1 1077944384 2464 0 0 0 86 0 0 0 20 0 28 0 418460884 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719381183344 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2821] ppid=2803 vsize=28766280 memory=177628 CPUtime=0.63 cores=0-7
/proc/2805/task/2821/stat : 2821 (java) S 2803 2803 2291 0 -1 1077944384 2181 0 0 0 62 1 0 0 20 0 28 0 418460884 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719263513072 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2822] ppid=2803 vsize=28766280 memory=0 CPUtime=0.4 cores=0-7
/proc/2805/task/2822/stat : 2822 (java) R 2803 2803 2291 0 -1 4202560 1807 0 0 0 40 0 0 0 20 0 28 0 418460884 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719262460528 139719885446550 0 4 0 16800975 0 0 0 -1 1 0 0 45 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2823] ppid=2803 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2823/stat : 2823 (java) S 2803 2803 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418460884 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719261407712 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2824] ppid=2803 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/2805/task/2824/stat : 2824 (java) S 2803 2803 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418460884 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719260355248 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2825] ppid=2803 vsize=28766280 memory=0 CPUtime=1.33 cores=0-7
/proc/2805/task/2825/stat : 2825 (java) R 2803 2803 2291 0 -1 4202560 49 0 0 0 133 0 0 0 20 0 28 0 418460942 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719251379664 139719526915927 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2826] ppid=2803 vsize=28766280 memory=0 CPUtime=0.94 cores=0-7
/proc/2805/task/2826/stat : 2826 (java) R 2803 2803 2291 0 -1 4202560 45 0 0 0 94 0 0 0 20 0 28 0 418460942 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719250331528 139719526192199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2827] ppid=2803 vsize=28766280 memory=0 CPUtime=1.08 cores=0-7
/proc/2805/task/2827/stat : 2827 (java) R 2803 2803 2291 0 -1 4202560 54 0 0 0 108 0 0 0 20 0 28 0 418460942 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719249278728 139719526191473 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2828] ppid=2803 vsize=28766280 memory=0 CPUtime=1.09 cores=0-7
/proc/2805/task/2828/stat : 2828 (java) R 2803 2803 2291 0 -1 4202560 86 0 0 0 109 0 0 0 20 0 28 0 418460942 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719248217152 139719526936598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2829] ppid=2803 vsize=28766280 memory=0 CPUtime=1.09 cores=0-7
/proc/2805/task/2829/stat : 2829 (java) R 2803 2803 2291 0 -1 4202560 34 0 0 0 109 0 0 0 20 0 28 0 418460943 29456670720 74589 33554432000 4194304 4196468 140727050371664 139719247170688 139719526191473 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2830] ppid=2803 vsize=28766280 memory=0 CPUtime=1.08 cores=0-7
/proc/2805/task/2830/stat : 2830 (java) R 2803 2803 2291 0 -1 4202560 51 0 0 0 108 0 0 0 20 0 28 0 418460943 29456670720 74589 33554432000 4194304 4196468 140727050371664 139717922249600 139719527095414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2831] ppid=2803 vsize=28766280 memory=0 CPUtime=1.02 cores=0-7
/proc/2805/task/2831/stat : 2831 (java) R 2803 2803 2291 0 -1 4202560 42 0 0 0 102 0 0 0 20 0 28 0 418460943 29456670720 74589 33554432000 4194304 4196468 140727050371664 139717921194408 139719526323224 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2832] ppid=2803 vsize=28766280 memory=5792262887553650768 CPUtime=0.93 cores=0-7
/proc/2805/task/2832/stat : 2832 (java) R 2803 2803 2291 0 -1 4202560 42 0 0 0 93 0 0 0 20 0 28 0 418460943 29456670720 74589 33554432000 4194304 4196468 140727050371664 139717920137456 139719526913710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
Current children cumulated CPU time: 12.31 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 299808 KiB

[startup+2.60113 s]
/proc/loadavg: 5.75 7.32 7.34 10/220 2832
/proc/meminfo: memFree=24364028/32770624 swapFree=67004752/67108860
[pid=2803] ppid=2800 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2803/stat : 2803 (xcsp3-exec) S 2800 2803 2291 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418460878 115843072 363 33554432000 4194304 5098028 140730124111936 140730124110040 139814035722876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26996736 140730124116854 140730124117097 140730124117097 140730124120010 0
/proc/2803/statm: 28282 363 304 221 0 87 0
[pid=2805] ppid=2803 vsize=28766280 memory=384376 CPUtime=13.84 cores=0-7
/proc/2805/stat : 2805 (java) S 2803 2803 2291 0 -1 1077944320 20176 0 0 0 1353 31 0 0 20 0 28 0 418460878 29456670720 96094 33554432000 4194304 4196468 140727050371664 140727050354208 139719885434615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
/proc/2805/statm: 7191570 96094 3513 1 0 7152672 0
[pid=2805/tid=2806] ppid=2803 vsize=28766280 memory=6935650355287975249 CPUtime=0.62 cores=0-7
/proc/2805/task/2806/stat : 2806 (java) S 2803 2803 2291 0 -1 1077944384 9292 0 0 0 57 5 0 0 20 0 28 0 418460878 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719889675392 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2807] ppid=2803 vsize=28766280 memory=8241984518347580262 CPUtime=0.03 cores=0-7
/proc/2805/task/2807/stat : 2807 (java) S 2803 2803 2291 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 28 0 418460879 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719850715664 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2808] ppid=2803 vsize=28766280 memory=7809914021240465728 CPUtime=0.04 cores=0-7
/proc/2805/task/2808/stat : 2808 (java) S 2803 2803 2291 0 -1 1077944384 74 0 0 0 2 2 0 0 20 0 28 0 418460879 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719436184208 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2809] ppid=2803 vsize=28766280 memory=6153433744106941028 CPUtime=0.03 cores=0-7
/proc/2805/task/2809/stat : 2809 (java) S 2803 2803 2291 0 -1 1077944384 49 0 0 0 2 1 0 0 20 0 28 0 418460879 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719435131152 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2810] ppid=2803 vsize=28766280 memory=6935654830359728208 CPUtime=0.03 cores=0-7
/proc/2805/task/2810/stat : 2810 (java) S 2803 2803 2291 0 -1 1077944384 37 0 0 0 1 2 0 0 20 0 28 0 418460879 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719434078608 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2811] ppid=2803 vsize=28766280 memory=2317753195005908376 CPUtime=0.04 cores=0-7
/proc/2805/task/2811/stat : 2811 (java) S 2803 2803 2291 0 -1 1077944384 45 0 0 0 2 2 0 0 20 0 28 0 418460879 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719433026576 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2812] ppid=2803 vsize=28766280 memory=-7668917182949848256 CPUtime=0.04 cores=0-7
/proc/2805/task/2812/stat : 2812 (java) S 2803 2803 2291 0 -1 1077944384 64 0 0 0 2 2 0 0 20 0 28 0 418460879 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719431974032 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2813] ppid=2803 vsize=28766280 memory=6944656591801717918 CPUtime=0.04 cores=0-7
/proc/2805/task/2813/stat : 2813 (java) S 2803 2803 2291 0 -1 1077944384 261 0 0 0 2 2 0 0 20 0 28 0 418460879 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719430920976 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2814] ppid=2803 vsize=28766280 memory=0 CPUtime=0.04 cores=0-7
/proc/2805/task/2814/stat : 2814 (java) S 2803 2803 2291 0 -1 1077944384 39 0 0 0 2 2 0 0 20 0 28 0 418460879 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719429868432 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2815] ppid=2803 vsize=28766280 memory=-5587956118331887448 CPUtime=0 cores=0-7
/proc/2805/task/2815/stat : 2815 (java) S 2803 2803 2291 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 418460881 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719386446064 139719885445762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2816] ppid=2803 vsize=28766280 memory=8940608846612819040 CPUtime=0 cores=0-7
/proc/2805/task/2816/stat : 2816 (java) S 2803 2803 2291 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 418460881 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719385392288 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2817] ppid=2803 vsize=28766280 memory=4860689471520152978 CPUtime=0 cores=0-7
/proc/2805/task/2817/stat : 2817 (java) S 2803 2803 2291 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 418460881 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719384339184 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2818] ppid=2803 vsize=28766280 memory=6371592240429295205 CPUtime=0 cores=0-7
/proc/2805/task/2818/stat : 2818 (java) S 2803 2803 2291 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418460884 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719383287760 139719885453211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2819] ppid=2803 vsize=28766280 memory=7374759217521914213 CPUtime=0.77 cores=0-7
/proc/2805/task/2819/stat : 2819 (java) S 2803 2803 2291 0 -1 1077944384 1976 0 0 0 77 0 0 0 20 0 28 0 418460884 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719382235888 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2820] ppid=2803 vsize=28766280 memory=6227477052303107427 CPUtime=0.87 cores=0-7
/proc/2805/task/2820/stat : 2820 (java) R 2803 2803 2291 0 -1 1077944384 2465 0 0 0 87 0 0 0 20 0 28 0 418460884 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719381183344 139719885445762 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2821] ppid=2803 vsize=28766280 memory=6227470459578836066 CPUtime=0.65 cores=0-7
/proc/2805/task/2821/stat : 2821 (java) S 2803 2803 2291 0 -1 1077944384 2185 0 0 0 64 1 0 0 20 0 28 0 418460884 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719263513072 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2822] ppid=2803 vsize=28766280 memory=6228034504749115236 CPUtime=0.41 cores=0-7
/proc/2805/task/2822/stat : 2822 (java) S 2803 2803 2291 0 -1 1077944384 1819 0 0 0 41 0 0 0 20 0 28 0 418460884 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719262460528 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2823] ppid=2803 vsize=28766280 memory=7378989004308769387 CPUtime=0 cores=0-7
/proc/2805/task/2823/stat : 2823 (java) S 2803 2803 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418460884 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719261407712 139719885444821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2824] ppid=2803 vsize=28766280 memory=7374761395070331239 CPUtime=0 cores=0-7
/proc/2805/task/2824/stat : 2824 (java) S 2803 2803 2291 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418460884 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719260355248 139719885445762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2825] ppid=2803 vsize=28766280 memory=7523660459368672864 CPUtime=1.52 cores=0-7
/proc/2805/task/2825/stat : 2825 (java) R 2803 2803 2291 0 -1 4202560 52 0 0 0 152 0 0 0 20 0 28 0 418460942 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719251379664 139719526915538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2826] ppid=2803 vsize=28766280 memory=7157735280180286051 CPUtime=1.11 cores=0-7
/proc/2805/task/2826/stat : 2826 (java) R 2803 2803 2291 0 -1 4202560 48 0 0 0 111 0 0 0 20 0 28 0 418460942 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719250331528 139719526913649 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2827] ppid=2803 vsize=28766280 memory=0 CPUtime=1.24 cores=0-7
/proc/2805/task/2827/stat : 2827 (java) R 2803 2803 2291 0 -1 4202560 63 0 0 0 124 0 0 0 20 0 28 0 418460942 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719249279896 139719526913952 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2828] ppid=2803 vsize=28766280 memory=0 CPUtime=1.25 cores=0-7
/proc/2805/task/2828/stat : 2828 (java) R 2803 2803 2291 0 -1 4202560 90 0 0 0 125 0 0 0 20 0 28 0 418460942 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719248225000 139719526913256 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2829] ppid=2803 vsize=28766280 memory=0 CPUtime=1.28 cores=0-7
/proc/2805/task/2829/stat : 2829 (java) R 2803 2803 2291 0 -1 4202560 42 0 0 0 128 0 0 0 20 0 28 0 418460943 29456670720 96094 33554432000 4194304 4196468 140727050371664 139719247170688 139719526579163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2830] ppid=2803 vsize=28766280 memory=0 CPUtime=1.27 cores=0-7
/proc/2805/task/2830/stat : 2830 (java) R 2803 2803 2291 0 -1 4202560 59 0 0 0 127 0 0 0 20 0 28 0 418460943 29456670720 96094 33554432000 4194304 4196468 140727050371664 139717922249600 139719526323661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2831] ppid=2803 vsize=28766280 memory=0 CPUtime=1.2 cores=0-7
/proc/2805/task/2831/stat : 2831 (java) R 2803 2803 2291 0 -1 4202560 43 0 0 0 120 0 0 0 20 0 28 0 418460943 29456670720 96094 33554432000 4194304 4196468 140727050371664 139717921194408 139719526192199 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
[pid=2805/tid=2832] ppid=2803 vsize=28766280 memory=0 CPUtime=1.12 cores=0-7
/proc/2805/task/2832/stat : 2832 (java) R 2803 2803 2291 0 -1 4202560 50 0 0 0 112 0 0 0 20 0 28 0 418460943 29456670720 96094 33554432000 4194304 4196468 140727050371664 139717920137456 139719526191494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9207808 140727050376170 140727050376342 140727050376342 140727050379215 0
Current children cumulated CPU time: 13.84 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 385828 KiB

Child status: 0
Real time (s): 2.69579
CPU time (s): 14.3115
CPU user time (s): 13.9888
CPU system time (s): 0.322692
CPU usage (%): 530.884
Max. virtual memory (cumulated for all children) (KiB): 28879408
Max. memory (cumulated for all children) (KiB): 385828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.9888
system time used= 0.322692
maximum resident set size= 402368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20815
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2867
involuntary context switches= 400


# summary of solver processes directly reported to runsolver:
#   pid: 2803
#   total CPU time (s): 14.3115
#   total CPU user time (s): 13.9888
#   total CPU system time (s): 0.322692

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047505 second user time and 0.064029 second system time

The end
Name	MagicSequence/MagicSequence-card-s1/ MagicSequence-1000-ca.xml
MD5SUM	d2780e3631970b53a6f91cd037f7d107
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	3.15721
Satisfiable
(Un)Satisfiability was proved
Number of variables	1000
Number of constraints	3
Number of domains	1
Minimum domain size	1000
Maximum domain size	1000
Distribution of domain sizes	[{"size":1000,"count":1000}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":1000}]
Minimum constraint arity	1000
Maximum constraint arity	1000
Distribution of constraint arities	[{"arity":1000,"count":3}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"cardinality","count":1}]
Optimization problem	NO
Type of objective
Trace number 4393497

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
