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

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.12.2	SAT	94.9782	83.3718
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 (10818 MiB free)
  memory of node 1: 16384 MiB (13384 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395881-1568403971/watcher-4395881-1568403971 -o /tmp/evaluation-result-4395881-1568403971/solver-4395881-1568403971 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568401436-22173 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=992274961 HOME/instance-4395881-1568403971.xml 

running on 4 cores: 0,2,4,6

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=22753, runsolver pid=22750

[startup+0.100133 s]*
/proc/loadavg: 1.44 1.46 1.46 3/218 22810
/proc/meminfo: memFree=24772976/32770624 swapFree=67020720/67108860
[pid=22753] ppid=22750 vsize=9972712 memory=18592 CPUtime=0.08 cores=0,2,4,6
/proc/22753/stat : 22753 (java) S 22750 22753 22142 0 -1 1077944320 4384 13544 0 0 1 0 5 2 20 0 6 0 416669712 10212057088 4648 33554432000 4194304 4196468 140727784043888 140727784026432 140393139568375 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
/proc/22753/statm: 2493178 4648 1935 1 0 2481616 0
[pid=22753/tid=22806] ppid=22750 vsize=9972712 memory=4279135703946986127 CPUtime=0.08 cores=0,2,4,6
/proc/22753/task/22806/stat : 22806 (java) R 22750 22753 22142 0 -1 4202560 2169 13544 0 0 1 0 5 2 20 0 6 0 416669721 10212057088 4648 33554432000 4194304 4196468 140727784043888 140393111405136 140393125250901 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22807] ppid=22750 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22807/stat : 22807 (java) S 22750 22753 22142 0 -1 1077944384 1 13544 0 0 0 0 5 2 20 0 6 0 416669721 10212057088 4648 33554432000 4194304 4196468 140727784043888 140393143811088 140393139578581 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22808] ppid=22750 vsize=9972712 memory=140528205276800 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22808/stat : 22808 (java) S 22750 22753 22142 0 -1 1077944384 2 13544 0 0 0 0 5 2 20 0 6 0 416669721 10212057088 4648 33554432000 4194304 4196468 140727784043888 140393032084624 140393139578581 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22809] ppid=22750 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22809/stat : 22809 (java) S 22750 22753 22142 0 -1 1077944384 2 13544 0 0 0 0 5 2 20 0 6 0 416669721 10212057088 4648 33554432000 4194304 4196468 140727784043888 140393031031568 140393139578581 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22810] ppid=22750 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22810/stat : 22810 (java) S 22750 22753 22142 0 -1 1077944384 2 13544 0 0 0 0 5 2 20 0 6 0 416669721 10212057088 4648 33554432000 4194304 4196468 140727784043888 140393029979024 140393139578581 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB

[startup+0.210472 s]*
/proc/loadavg: 1.44 1.46 1.46 3/227 22819
/proc/meminfo: memFree=24758652/32770624 swapFree=67020720/67108860
[pid=22753] ppid=22750 vsize=10819664 memory=36748 CPUtime=0.25 cores=0,2,4,6
/proc/22753/stat : 22753 (java) S 22750 22753 22142 0 -1 1077944320 7061 13544 0 0 17 1 5 2 20 0 15 0 416669712 11079335936 9187 33554432000 4194304 4196468 140727784043888 140727784026432 140393139568375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
/proc/22753/statm: 2704916 9187 3164 1 0 2667149 0
[pid=22753/tid=22806] ppid=22750 vsize=10819664 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/22753/task/22806/stat : 22806 (java) R 22750 22753 22142 0 -1 4202560 3518 13544 0 0 10 1 5 2 20 0 15 0 416669721 11079335936 9187 33554432000 4194304 4196468 140727784043888 140393111385488 140393123612005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22807] ppid=22750 vsize=10819664 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22807/stat : 22807 (java) S 22750 22753 22142 0 -1 1077944384 1 13544 0 0 0 0 5 2 20 0 15 0 416669721 11079335936 9187 33554432000 4194304 4196468 140727784043888 140393143811088 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22808] ppid=22750 vsize=10819664 memory=140528205276800 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22808/stat : 22808 (java) S 22750 22753 22142 0 -1 1077944384 2 13544 0 0 0 0 5 2 20 0 15 0 416669721 11079335936 9187 33554432000 4194304 4196468 140727784043888 140393032084624 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22809] ppid=22750 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22809/stat : 22809 (java) S 22750 22753 22142 0 -1 1077944384 2 13544 0 0 0 0 5 2 20 0 15 0 416669721 11079335936 9187 33554432000 4194304 4196468 140727784043888 140393031031568 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22810] ppid=22750 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22810/stat : 22810 (java) S 22750 22753 22142 0 -1 1077944384 2 13544 0 0 0 0 5 2 20 0 15 0 416669721 11079335936 9187 33554432000 4194304 4196468 140727784043888 140393029979024 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22811] ppid=22750 vsize=10819664 memory=140528205276800 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22811/stat : 22811 (java) S 22750 22753 22142 0 -1 1077944384 2 13544 0 0 0 0 5 2 20 0 15 0 416669723 11079335936 9187 33554432000 4194304 4196468 140727784043888 140392598169840 140393139579522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22812] ppid=22750 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22812/stat : 22812 (java) S 22750 22753 22142 0 -1 1077944384 33 13544 0 0 0 0 5 2 20 0 15 0 416669723 11079335936 9187 33554432000 4194304 4196468 140727784043888 140392597116064 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22813] ppid=22750 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22813/stat : 22813 (java) S 22750 22753 22142 0 -1 1077944384 1 13544 0 0 0 0 5 2 20 0 15 0 416669724 11079335936 9187 33554432000 4194304 4196468 140727784043888 140392011916016 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22814] ppid=22750 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22814/stat : 22814 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11079335936 9187 33554432000 4194304 4196468 140727784043888 140391704516560 140393139586971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22815] ppid=22750 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22753/task/22815/stat : 22815 (java) S 22750 22753 22142 0 -1 1077944384 467 13544 0 0 1 0 5 2 20 0 15 0 416669726 11079335936 9187 33554432000 4194304 4196468 140727784043888 140392563559152 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22816] ppid=22750 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22816/stat : 22816 (java) S 22750 22753 22142 0 -1 1077944384 186 13544 0 0 0 0 5 2 20 0 15 0 416669726 11079335936 9187 33554432000 4194304 4196468 140727784043888 140392562506608 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22817] ppid=22750 vsize=10819664 memory=140528205276800 CPUtime=0.1 cores=0,2,4,6
/proc/22753/task/22817/stat : 22817 (java) S 22750 22753 22142 0 -1 1077944384 630 13544 0 0 3 0 5 2 20 0 15 0 416669726 11079335936 9187 33554432000 4194304 4196468 140727784043888 140392561453552 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22818] ppid=22750 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22818/stat : 22818 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11079335936 9187 33554432000 4194304 4196468 140727784043888 140391670958944 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22819] ppid=22750 vsize=10819664 memory=140528205276800 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22819/stat : 22819 (java) S 22750 22753 22142 0 -1 1077944384 1 13544 0 0 0 0 5 2 20 0 15 0 416669727 11079335936 9187 33554432000 4194304 4196468 140727784043888 140392560400944 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 36748 KiB

[startup+0.310177 s]*
/proc/loadavg: 1.44 1.46 1.46 5/227 22819
/proc/meminfo: memFree=24746192/32770624 swapFree=67020720/67108860
[pid=22753] ppid=22750 vsize=10820148 memory=47892 CPUtime=0.39 cores=0,2,4,6
/proc/22753/stat : 22753 (java) S 22750 22753 22142 0 -1 1077944320 10772 13544 0 0 29 3 5 2 20 0 15 0 416669712 11079831552 11973 33554432000 4194304 4196468 140727784043888 140727784026432 140393139568375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
/proc/22753/statm: 2705037 11973 3296 1 0 2667149 0
[pid=22753/tid=22806] ppid=22750 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/22753/task/22806/stat : 22806 (java) R 22750 22753 22142 0 -1 4202560 7197 13544 0 0 19 2 5 2 20 0 15 0 416669721 11079831552 11973 33554432000 4194304 4196468 140727784043888 140393111368288 140393123648862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22807] ppid=22750 vsize=10820148 memory=7228928657774891088 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22807/stat : 22807 (java) S 22750 22753 22142 0 -1 1077944384 1 13544 0 0 0 0 5 2 20 0 15 0 416669721 11079831552 11973 33554432000 4194304 4196468 140727784043888 140393143811088 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22808] ppid=22750 vsize=10820148 memory=2080 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22808/stat : 22808 (java) S 22750 22753 22142 0 -1 1077944384 2 13544 0 0 0 0 5 2 20 0 15 0 416669721 11079831552 11973 33554432000 4194304 4196468 140727784043888 140393032084624 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22809] ppid=22750 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22809/stat : 22809 (java) S 22750 22753 22142 0 -1 1077944384 2 13544 0 0 0 0 5 2 20 0 15 0 416669721 11079831552 11973 33554432000 4194304 4196468 140727784043888 140393031031568 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22810] ppid=22750 vsize=10820148 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22810/stat : 22810 (java) S 22750 22753 22142 0 -1 1077944384 2 13544 0 0 0 0 5 2 20 0 15 0 416669721 11079831552 11973 33554432000 4194304 4196468 140727784043888 140393029979024 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22811] ppid=22750 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22811/stat : 22811 (java) S 22750 22753 22142 0 -1 1077944384 2 13544 0 0 0 0 5 2 20 0 15 0 416669723 11079831552 11973 33554432000 4194304 4196468 140727784043888 140392598169840 140393139579522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22812] ppid=22750 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22812/stat : 22812 (java) S 22750 22753 22142 0 -1 1077944384 33 13544 0 0 0 0 5 2 20 0 15 0 416669723 11079831552 11973 33554432000 4194304 4196468 140727784043888 140392597116064 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22813] ppid=22750 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22813/stat : 22813 (java) S 22750 22753 22142 0 -1 1077944384 1 13544 0 0 0 0 5 2 20 0 15 0 416669724 11079831552 11973 33554432000 4194304 4196468 140727784043888 140392011916016 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22814] ppid=22750 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22814/stat : 22814 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11079831552 11973 33554432000 4194304 4196468 140727784043888 140391704516560 140393139586971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22815] ppid=22750 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22753/task/22815/stat : 22815 (java) S 22750 22753 22142 0 -1 1077944384 467 13544 0 0 1 0 5 2 20 0 15 0 416669726 11079831552 11973 33554432000 4194304 4196468 140727784043888 140392563559152 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22816] ppid=22750 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22753/task/22816/stat : 22816 (java) S 22750 22753 22142 0 -1 1077944384 196 13544 0 0 2 0 5 2 20 0 15 0 416669726 11079831552 11973 33554432000 4194304 4196468 140727784043888 140392562506608 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22817] ppid=22750 vsize=10820148 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22753/task/22817/stat : 22817 (java) S 22750 22753 22142 0 -1 1077944384 652 13544 0 0 5 0 5 2 20 0 15 0 416669726 11079831552 11973 33554432000 4194304 4196468 140727784043888 140392561453552 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22818] ppid=22750 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22818/stat : 22818 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11079831552 11973 33554432000 4194304 4196468 140727784043888 140391670958944 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22819] ppid=22750 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22819/stat : 22819 (java) S 22750 22753 22142 0 -1 1077944384 1 13544 0 0 0 0 5 2 20 0 15 0 416669727 11079831552 11973 33554432000 4194304 4196468 140727784043888 140392560400944 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 47892 KiB

[startup+0.70644 s]
/proc/loadavg: 1.44 1.46 1.46 3/227 22819
/proc/meminfo: memFree=24730684/32770624 swapFree=67020720/67108860
[pid=22753] ppid=22750 vsize=10824360 memory=81540 CPUtime=1.14 cores=0,2,4,6
/proc/22753/stat : 22753 (java) S 22750 22753 22142 0 -1 1077944320 15140 13544 0 0 102 5 5 2 20 0 15 0 416669712 11084144640 20385 33554432000 4194304 4196468 140727784043888 140727784026432 140393139568375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
/proc/22753/statm: 2706090 20385 3512 1 0 2668173 0
[pid=22753/tid=22806] ppid=22750 vsize=10824360 memory=50 CPUtime=0.66 cores=0,2,4,6
/proc/22753/task/22806/stat : 22806 (java) R 22750 22753 22142 0 -1 4202560 10353 13544 0 0 55 4 5 2 20 0 15 0 416669721 11084144640 20385 33554432000 4194304 4196468 140727784043888 140393111395536 140393139580310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22807] ppid=22750 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22807/stat : 22807 (java) S 22750 22753 22142 0 -1 1077944384 1 13544 0 0 0 0 5 2 20 0 15 0 416669721 11084144640 20385 33554432000 4194304 4196468 140727784043888 140393143811088 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22808] ppid=22750 vsize=10824360 memory=4120 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22808/stat : 22808 (java) S 22750 22753 22142 0 -1 1077944384 2 13544 0 0 0 0 5 2 20 0 15 0 416669721 11084144640 20385 33554432000 4194304 4196468 140727784043888 140393032084624 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22809] ppid=22750 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22809/stat : 22809 (java) S 22750 22753 22142 0 -1 1077944384 2 13544 0 0 0 0 5 2 20 0 15 0 416669721 11084144640 20385 33554432000 4194304 4196468 140727784043888 140393031031568 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22810] ppid=22750 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22810/stat : 22810 (java) S 22750 22753 22142 0 -1 1077944384 2 13544 0 0 0 0 5 2 20 0 15 0 416669721 11084144640 20385 33554432000 4194304 4196468 140727784043888 140393029979024 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22811] ppid=22750 vsize=10824360 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22811/stat : 22811 (java) S 22750 22753 22142 0 -1 1077944384 5 13544 0 0 0 0 5 2 20 0 15 0 416669723 11084144640 20385 33554432000 4194304 4196468 140727784043888 140392598169840 140393139579522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22812] ppid=22750 vsize=10824360 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22812/stat : 22812 (java) S 22750 22753 22142 0 -1 1077944384 33 13544 0 0 0 0 5 2 20 0 15 0 416669723 11084144640 20385 33554432000 4194304 4196468 140727784043888 140392597116064 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22813] ppid=22750 vsize=10824360 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22813/stat : 22813 (java) S 22750 22753 22142 0 -1 1077944384 1 13544 0 0 0 0 5 2 20 0 15 0 416669724 11084144640 20385 33554432000 4194304 4196468 140727784043888 140392011916016 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22814] ppid=22750 vsize=10824360 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22814/stat : 22814 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11084144640 20385 33554432000 4194304 4196468 140727784043888 140391704516560 140393139586971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22815] ppid=22750 vsize=10824360 memory=13252 CPUtime=0.21 cores=0,2,4,6
/proc/22753/task/22815/stat : 22815 (java) R 22750 22753 22142 0 -1 1077944384 997 13544 0 0 14 0 5 2 20 0 15 0 416669726 11084144640 20385 33554432000 4194304 4196468 140727784043888 140392563559152 140393139579522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22816] ppid=22750 vsize=10824360 memory=15460 CPUtime=0.21 cores=0,2,4,6
/proc/22753/task/22816/stat : 22816 (java) R 22750 22753 22142 0 -1 4202560 681 13544 0 0 14 0 5 2 20 0 15 0 416669726 11084144640 20385 33554432000 4194304 4196468 140727784043888 140392562492704 140393124694810 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22817] ppid=22750 vsize=10824360 memory=17668 CPUtime=0.24 cores=0,2,4,6
/proc/22753/task/22817/stat : 22817 (java) R 22750 22753 22142 0 -1 4202560 846 13544 0 0 17 0 5 2 20 0 15 0 416669726 11084144640 20385 33554432000 4194304 4196468 140727784043888 140392561453552 140393119884849 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22818] ppid=22750 vsize=10824360 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22818/stat : 22818 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11084144640 20385 33554432000 4194304 4196468 140727784043888 140391670958944 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22819] ppid=22750 vsize=10824360 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22819/stat : 22819 (java) S 22750 22753 22142 0 -1 1077944384 1 13544 0 0 0 0 5 2 20 0 15 0 416669727 11084144640 20385 33554432000 4194304 4196468 140727784043888 140392560400944 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81540 KiB

[startup+1.50547 s]
/proc/loadavg: 1.44 1.46 1.46 6/227 22819
/proc/meminfo: memFree=24686196/32770624 swapFree=67020720/67108860
[pid=22753] ppid=22750 vsize=10834676 memory=187072 CPUtime=2.81 cores=0,2,4,6
/proc/22753/stat : 22753 (java) S 22750 22753 22142 0 -1 1077944320 21834 13544 0 0 263 11 5 2 20 0 15 0 416669712 11094708224 46768 33554432000 4194304 4196468 140727784043888 140727784026432 140393139568375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
/proc/22753/statm: 2708669 46768 3588 1 0 2670733 0
[pid=22753/tid=22806] ppid=22750 vsize=10834676 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/22753/task/22806/stat : 22806 (java) R 22750 22753 22142 0 -1 4202560 15082 13544 0 0 129 6 5 2 20 0 15 0 416669721 11094708224 46768 33554432000 4194304 4196468 140727784043888 140393111386352 140393139590301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22807] ppid=22750 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22753/task/22807/stat : 22807 (java) S 22750 22753 22142 0 -1 1077944384 70 13544 0 0 1 0 5 2 20 0 15 0 416669721 11094708224 46768 33554432000 4194304 4196468 140727784043888 140393143811088 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22808] ppid=22750 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22753/task/22808/stat : 22808 (java) S 22750 22753 22142 0 -1 1077944384 68 13544 0 0 1 0 5 2 20 0 15 0 416669721 11094708224 46768 33554432000 4194304 4196468 140727784043888 140393032084624 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22809] ppid=22750 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22753/task/22809/stat : 22809 (java) S 22750 22753 22142 0 -1 1077944384 53 13544 0 0 1 0 5 2 20 0 15 0 416669721 11094708224 46768 33554432000 4194304 4196468 140727784043888 140393031031568 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22810] ppid=22750 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22753/task/22810/stat : 22810 (java) S 22750 22753 22142 0 -1 1077944384 326 13544 0 0 1 0 5 2 20 0 15 0 416669721 11094708224 46768 33554432000 4194304 4196468 140727784043888 140393029979024 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22811] ppid=22750 vsize=10834676 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/22753/task/22811/stat : 22811 (java) S 22750 22753 22142 0 -1 1077944384 144 13544 0 0 1 0 5 2 20 0 15 0 416669723 11094708224 46768 33554432000 4194304 4196468 140727784043888 140392598169840 140393139579522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22812] ppid=22750 vsize=10834676 memory=281056217475328 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22812/stat : 22812 (java) S 22750 22753 22142 0 -1 1077944384 35 13544 0 0 0 0 5 2 20 0 15 0 416669723 11094708224 46768 33554432000 4194304 4196468 140727784043888 140392597116128 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22813] ppid=22750 vsize=10834676 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22813/stat : 22813 (java) S 22750 22753 22142 0 -1 1077944384 1 13544 0 0 0 0 5 2 20 0 15 0 416669724 11094708224 46768 33554432000 4194304 4196468 140727784043888 140392011916032 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22814] ppid=22750 vsize=10834676 memory=1908 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22814/stat : 22814 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11094708224 46768 33554432000 4194304 4196468 140727784043888 140391704516560 140393139586971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22815] ppid=22750 vsize=10834676 memory=1360 CPUtime=0.47 cores=0,2,4,6
/proc/22753/task/22815/stat : 22815 (java) S 22750 22753 22142 0 -1 1077944384 1284 13544 0 0 40 0 5 2 20 0 15 0 416669726 11094708224 46768 33554432000 4194304 4196468 140727784043888 140392563559152 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22816] ppid=22750 vsize=10834676 memory=7420 CPUtime=0.47 cores=0,2,4,6
/proc/22753/task/22816/stat : 22816 (java) S 22750 22753 22142 0 -1 1077944384 1034 13544 0 0 40 0 5 2 20 0 15 0 416669726 11094708224 46768 33554432000 4194304 4196468 140727784043888 140392562506608 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22817] ppid=22750 vsize=10834676 memory=860 CPUtime=0.52 cores=0,2,4,6
/proc/22753/task/22817/stat : 22817 (java) S 22750 22753 22142 0 -1 1077944384 1520 13544 0 0 45 0 5 2 20 0 15 0 416669726 11094708224 46768 33554432000 4194304 4196468 140727784043888 140392561453552 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22818] ppid=22750 vsize=10834676 memory=776 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22818/stat : 22818 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11094708224 46768 33554432000 4194304 4196468 140727784043888 140391670958944 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22819] ppid=22750 vsize=10834676 memory=1612 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22819/stat : 22819 (java) S 22750 22753 22142 0 -1 1077944384 1 13544 0 0 0 0 5 2 20 0 15 0 416669727 11094708224 46768 33554432000 4194304 4196468 140727784043888 140392560400944 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 10834676 KiB

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

[pid=22753/tid=22818] ppid=22750 vsize=10846984 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22818/stat : 22818 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11107311616 688389 33554432000 4194304 4196468 140727784043888 140391670958944 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22819] ppid=22750 vsize=10846984 memory=4872558044660077418 CPUtime=0.1 cores=0,2,4,6
/proc/22753/task/22819/stat : 22819 (java) S 22750 22753 22142 0 -1 1077944384 230 13544 0 0 1 2 5 2 20 0 15 0 416669727 11107311616 688389 33554432000 4194304 4196468 140727784043888 140392560400944 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
Current children cumulated CPU time: 92.78 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2753556 KiB

[startup+82.4007 s]
/proc/loadavg: 1.98 1.62 1.51 3/227 23345
/proc/meminfo: memFree=23953672/32770624 swapFree=67020720/67108860
[pid=22753] ppid=22750 vsize=10846984 memory=2753624 CPUtime=93.88 cores=0,2,4,6
/proc/22753/stat : 22753 (java) S 22750 22753 22142 0 -1 1077944320 91484 13544 0 0 9293 88 5 2 20 0 15 0 416669712 11107311616 688406 33554432000 4194304 4196468 140727784043888 140727784026432 140393139568375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
/proc/22753/statm: 2711746 688406 3620 1 0 2673805 0
[pid=22753/tid=22806] ppid=22750 vsize=10846984 memory=2876 CPUtime=81.99 cores=0,2,4,6
/proc/22753/task/22806/stat : 22806 (java) R 22750 22753 22142 0 -1 4202560 39671 13544 0 0 8146 46 5 2 20 0 15 0 416669721 11107311616 688406 33554432000 4194304 4196468 140727784043888 140393111399696 140392715706483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22807] ppid=22750 vsize=10846984 memory=1572 CPUtime=0.29 cores=0,2,4,6
/proc/22753/task/22807/stat : 22807 (java) S 22750 22753 22142 0 -1 1077944384 1479 13544 0 0 14 8 5 2 20 0 15 0 416669721 11107311616 688406 33554432000 4194304 4196468 140727784043888 140393143811088 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22808] ppid=22750 vsize=10846984 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/22753/task/22808/stat : 22808 (java) S 22750 22753 22142 0 -1 1077944384 555 13544 0 0 13 7 5 2 20 0 15 0 416669721 11107311616 688406 33554432000 4194304 4196468 140727784043888 140393032084624 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22809] ppid=22750 vsize=10846984 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/22753/task/22809/stat : 22809 (java) S 22750 22753 22142 0 -1 1077944384 1182 13544 0 0 14 7 5 2 20 0 15 0 416669721 11107311616 688406 33554432000 4194304 4196468 140727784043888 140393031031568 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22810] ppid=22750 vsize=10846984 memory=2667292 CPUtime=0.26 cores=0,2,4,6
/proc/22753/task/22810/stat : 22810 (java) S 22750 22753 22142 0 -1 1077944384 817 13544 0 0 13 6 5 2 20 0 15 0 416669721 11107311616 688406 33554432000 4194304 4196468 140727784043888 140393029979024 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22811] ppid=22750 vsize=10846984 memory=500 CPUtime=0.16 cores=0,2,4,6
/proc/22753/task/22811/stat : 22811 (java) S 22750 22753 22142 0 -1 1077944384 5312 13544 0 0 8 1 5 2 20 0 15 0 416669723 11107311616 688406 33554432000 4194304 4196468 140727784043888 140392598169840 140393139579522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22812] ppid=22750 vsize=10846984 memory=1736 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22812/stat : 22812 (java) S 22750 22753 22142 0 -1 1077944384 52 13544 0 0 0 0 5 2 20 0 15 0 416669723 11107311616 688406 33554432000 4194304 4196468 140727784043888 140392597116128 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22813] ppid=22750 vsize=10846984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22813/stat : 22813 (java) S 22750 22753 22142 0 -1 1077944384 11 13544 0 0 0 0 5 2 20 0 15 0 416669724 11107311616 688406 33554432000 4194304 4196468 140727784043888 140392011916032 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22814] ppid=22750 vsize=10846984 memory=8562125494162282060 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22814/stat : 22814 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11107311616 688406 33554432000 4194304 4196468 140727784043888 140391704516560 140393139586971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22815] ppid=22750 vsize=10846984 memory=-3039135443232236825 CPUtime=5.06 cores=0,2,4,6
/proc/22753/task/22815/stat : 22815 (java) S 22750 22753 22142 0 -1 1077944384 12563 13544 0 0 497 2 5 2 20 0 15 0 416669726 11107311616 688406 33554432000 4194304 4196468 140727784043888 140392563559152 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22816] ppid=22750 vsize=10846984 memory=-2748367524519556131 CPUtime=4.16 cores=0,2,4,6
/proc/22753/task/22816/stat : 22816 (java) S 22750 22753 22142 0 -1 1077944384 10999 13544 0 0 407 2 5 2 20 0 15 0 416669726 11107311616 688406 33554432000 4194304 4196468 140727784043888 140392562506608 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22817] ppid=22750 vsize=10846984 memory=-3756611412707075625 CPUtime=1.83 cores=0,2,4,6
/proc/22753/task/22817/stat : 22817 (java) S 22750 22753 22142 0 -1 1077944384 16397 13544 0 0 172 4 5 2 20 0 15 0 416669726 11107311616 688406 33554432000 4194304 4196468 140727784043888 140392561453552 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22818] ppid=22750 vsize=10846984 memory=-4190076264842474805 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22818/stat : 22818 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11107311616 688406 33554432000 4194304 4196468 140727784043888 140391670958944 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22819] ppid=22750 vsize=10846984 memory=4124283785461261650 CPUtime=0.1 cores=0,2,4,6
/proc/22753/task/22819/stat : 22819 (java) S 22750 22753 22142 0 -1 1077944384 230 13544 0 0 1 2 5 2 20 0 15 0 416669727 11107311616 688406 33554432000 4194304 4196468 140727784043888 140392560400944 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
Current children cumulated CPU time: 93.88 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2753624 KiB

[startup+82.8007 s]
/proc/loadavg: 1.98 1.62 1.51 3/227 23345
/proc/meminfo: memFree=23953672/32770624 swapFree=67020720/67108860
[pid=22753] ppid=22750 vsize=10846984 memory=2753624 CPUtime=94.28 cores=0,2,4,6
/proc/22753/stat : 22753 (java) S 22750 22753 22142 0 -1 1077944320 91484 13544 0 0 9333 88 5 2 20 0 15 0 416669712 11107311616 688406 33554432000 4194304 4196468 140727784043888 140727784026432 140393139568375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
/proc/22753/statm: 2711746 688406 3620 1 0 2673805 0
[pid=22753/tid=22806] ppid=22750 vsize=10846984 memory=288230583166042426 CPUtime=82.39 cores=0,2,4,6
/proc/22753/task/22806/stat : 22806 (java) R 22750 22753 22142 0 -1 4202560 39671 13544 0 0 8186 46 5 2 20 0 15 0 416669721 11107311616 688406 33554432000 4194304 4196468 140727784043888 140393111403448 140392714642978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22807] ppid=22750 vsize=10846984 memory=15816698942982814 CPUtime=0.29 cores=0,2,4,6
/proc/22753/task/22807/stat : 22807 (java) S 22750 22753 22142 0 -1 1077944384 1479 13544 0 0 14 8 5 2 20 0 15 0 416669721 11107311616 688406 33554432000 4194304 4196468 140727784043888 140393143811088 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22808] ppid=22750 vsize=10846984 memory=1612 CPUtime=0.27 cores=0,2,4,6
/proc/22753/task/22808/stat : 22808 (java) S 22750 22753 22142 0 -1 1077944384 555 13544 0 0 13 7 5 2 20 0 15 0 416669721 11107311616 688406 33554432000 4194304 4196468 140727784043888 140393032084624 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22809] ppid=22750 vsize=10846984 memory=1224 CPUtime=0.28 cores=0,2,4,6
/proc/22753/task/22809/stat : 22809 (java) S 22750 22753 22142 0 -1 1077944384 1182 13544 0 0 14 7 5 2 20 0 15 0 416669721 11107311616 688406 33554432000 4194304 4196468 140727784043888 140393031031568 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22810] ppid=22750 vsize=10846984 memory=3824 CPUtime=0.26 cores=0,2,4,6
/proc/22753/task/22810/stat : 22810 (java) S 22750 22753 22142 0 -1 1077944384 817 13544 0 0 13 6 5 2 20 0 15 0 416669721 11107311616 688406 33554432000 4194304 4196468 140727784043888 140393029979024 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22811] ppid=22750 vsize=10846984 memory=1384 CPUtime=0.16 cores=0,2,4,6
/proc/22753/task/22811/stat : 22811 (java) S 22750 22753 22142 0 -1 1077944384 5312 13544 0 0 8 1 5 2 20 0 15 0 416669723 11107311616 688406 33554432000 4194304 4196468 140727784043888 140392598169840 140393139579522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22812] ppid=22750 vsize=10846984 memory=15080 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22812/stat : 22812 (java) S 22750 22753 22142 0 -1 1077944384 52 13544 0 0 0 0 5 2 20 0 15 0 416669723 11107311616 688406 33554432000 4194304 4196468 140727784043888 140392597116128 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22813] ppid=22750 vsize=10846984 memory=9428 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22813/stat : 22813 (java) S 22750 22753 22142 0 -1 1077944384 11 13544 0 0 0 0 5 2 20 0 15 0 416669724 11107311616 688406 33554432000 4194304 4196468 140727784043888 140392011916032 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22814] ppid=22750 vsize=10846984 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22814/stat : 22814 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11107311616 688406 33554432000 4194304 4196468 140727784043888 140391704516560 140393139586971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22815] ppid=22750 vsize=10846984 memory=2244 CPUtime=5.06 cores=0,2,4,6
/proc/22753/task/22815/stat : 22815 (java) S 22750 22753 22142 0 -1 1077944384 12563 13544 0 0 497 2 5 2 20 0 15 0 416669726 11107311616 688406 33554432000 4194304 4196468 140727784043888 140392563559152 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22816] ppid=22750 vsize=10846984 memory=860 CPUtime=4.16 cores=0,2,4,6
/proc/22753/task/22816/stat : 22816 (java) S 22750 22753 22142 0 -1 1077944384 10999 13544 0 0 407 2 5 2 20 0 15 0 416669726 11107311616 688406 33554432000 4194304 4196468 140727784043888 140392562506608 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22817] ppid=22750 vsize=10846984 memory=7662705889289527641 CPUtime=1.83 cores=0,2,4,6
/proc/22753/task/22817/stat : 22817 (java) S 22750 22753 22142 0 -1 1077944384 16397 13544 0 0 172 4 5 2 20 0 15 0 416669726 11107311616 688406 33554432000 4194304 4196468 140727784043888 140392561453552 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22818] ppid=22750 vsize=10846984 memory=6083351989644586343 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22818/stat : 22818 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11107311616 688406 33554432000 4194304 4196468 140727784043888 140391670958944 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22819] ppid=22750 vsize=10846984 memory=1572 CPUtime=0.1 cores=0,2,4,6
/proc/22753/task/22819/stat : 22819 (java) S 22750 22753 22142 0 -1 1077944384 230 13544 0 0 1 2 5 2 20 0 15 0 416669727 11107311616 688406 33554432000 4194304 4196468 140727784043888 140392560400944 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
Current children cumulated CPU time: 94.28 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2753624 KiB

[startup+83.2007 s]
/proc/loadavg: 1.98 1.62 1.51 3/227 23345
/proc/meminfo: memFree=23805100/32770624 swapFree=67020720/67108860
[pid=22753] ppid=22750 vsize=10846984 memory=2829400 CPUtime=94.7 cores=0,2,4,6
/proc/22753/stat : 22753 (java) S 22750 22753 22142 0 -1 1077944320 91587 13544 0 0 9373 90 5 2 20 0 15 0 416669712 11107311616 707350 33554432000 4194304 4196468 140727784043888 140727784026432 140393139568375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
/proc/22753/statm: 2711746 707350 3620 1 0 2673805 0
[pid=22753/tid=22806] ppid=22750 vsize=10846984 memory=0 CPUtime=82.78 cores=0,2,4,6
/proc/22753/task/22806/stat : 22806 (java) R 22750 22753 22142 0 -1 4202560 39725 13544 0 0 8224 47 5 2 20 0 15 0 416669721 11107311616 707350 33554432000 4194304 4196468 140727784043888 140393111401600 140392715706392 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22807] ppid=22750 vsize=10846984 memory=89471744 CPUtime=0.29 cores=0,2,4,6
/proc/22753/task/22807/stat : 22807 (java) S 22750 22753 22142 0 -1 1077944384 1483 13544 0 0 14 8 5 2 20 0 15 0 416669721 11107311616 707350 33554432000 4194304 4196468 140727784043888 140393143811088 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22808] ppid=22750 vsize=10846984 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/22753/task/22808/stat : 22808 (java) S 22750 22753 22142 0 -1 1077944384 559 13544 0 0 13 7 5 2 20 0 15 0 416669721 11107311616 707350 33554432000 4194304 4196468 140727784043888 140393032084624 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22809] ppid=22750 vsize=10846984 memory=2658708 CPUtime=0.28 cores=0,2,4,6
/proc/22753/task/22809/stat : 22809 (java) S 22750 22753 22142 0 -1 1077944384 1186 13544 0 0 14 7 5 2 20 0 15 0 416669721 11107311616 707350 33554432000 4194304 4196468 140727784043888 140393031031568 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22810] ppid=22750 vsize=10846984 memory=2574740 CPUtime=0.27 cores=0,2,4,6
/proc/22753/task/22810/stat : 22810 (java) S 22750 22753 22142 0 -1 1077944384 820 13544 0 0 13 7 5 2 20 0 15 0 416669721 11107311616 707350 33554432000 4194304 4196468 140727784043888 140393029979024 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22811] ppid=22750 vsize=10846984 memory=2478180 CPUtime=0.16 cores=0,2,4,6
/proc/22753/task/22811/stat : 22811 (java) S 22750 22753 22142 0 -1 1077944384 5340 13544 0 0 8 1 5 2 20 0 15 0 416669723 11107311616 707350 33554432000 4194304 4196468 140727784043888 140392598169840 140393139579522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22812] ppid=22750 vsize=10846984 memory=1784 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22812/stat : 22812 (java) S 22750 22753 22142 0 -1 1077944384 52 13544 0 0 0 0 5 2 20 0 15 0 416669723 11107311616 707350 33554432000 4194304 4196468 140727784043888 140392597116128 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22813] ppid=22750 vsize=10846984 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22813/stat : 22813 (java) S 22750 22753 22142 0 -1 1077944384 11 13544 0 0 0 0 5 2 20 0 15 0 416669724 11107311616 707350 33554432000 4194304 4196468 140727784043888 140392011916032 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22814] ppid=22750 vsize=10846984 memory=2344 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22814/stat : 22814 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11107311616 707350 33554432000 4194304 4196468 140727784043888 140391704516560 140393139586971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22815] ppid=22750 vsize=10846984 memory=2064 CPUtime=5.06 cores=0,2,4,6
/proc/22753/task/22815/stat : 22815 (java) S 22750 22753 22142 0 -1 1077944384 12563 13544 0 0 497 2 5 2 20 0 15 0 416669726 11107311616 707350 33554432000 4194304 4196468 140727784043888 140392563559152 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22816] ppid=22750 vsize=10846984 memory=2876 CPUtime=4.16 cores=0,2,4,6
/proc/22753/task/22816/stat : 22816 (java) S 22750 22753 22142 0 -1 1077944384 10999 13544 0 0 407 2 5 2 20 0 15 0 416669726 11107311616 707350 33554432000 4194304 4196468 140727784043888 140392562506608 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22817] ppid=22750 vsize=10846984 memory=2064 CPUtime=1.84 cores=0,2,4,6
/proc/22753/task/22817/stat : 22817 (java) S 22750 22753 22142 0 -1 1077944384 16403 13544 0 0 173 4 5 2 20 0 15 0 416669726 11107311616 707350 33554432000 4194304 4196468 140727784043888 140392561453552 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22818] ppid=22750 vsize=10846984 memory=2876 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22818/stat : 22818 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11107311616 707350 33554432000 4194304 4196468 140727784043888 140391670958944 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22819] ppid=22750 vsize=10846984 memory=1572 CPUtime=0.1 cores=0,2,4,6
/proc/22753/task/22819/stat : 22819 (java) S 22750 22753 22142 0 -1 1077944384 230 13544 0 0 1 2 5 2 20 0 15 0 416669727 11107311616 707350 33554432000 4194304 4196468 140727784043888 140392560400944 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
Current children cumulated CPU time: 94.7 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2829400 KiB

[startup+83.3007 s]
/proc/loadavg: 1.98 1.62 1.51 3/227 23345
/proc/meminfo: memFree=23805100/32770624 swapFree=67020720/67108860
[pid=22753] ppid=22750 vsize=10846984 memory=2829464 CPUtime=94.84 cores=0,2,4,6
/proc/22753/stat : 22753 (java) S 22750 22753 22142 0 -1 1077944320 91623 13544 0 0 9387 90 5 2 20 0 15 0 416669712 11107311616 707366 33554432000 4194304 4196468 140727784043888 140727784026432 140393139568375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
/proc/22753/statm: 2711746 707366 3620 1 0 2673805 0
[pid=22753/tid=22806] ppid=22750 vsize=10846984 memory=2829400 CPUtime=82.88 cores=0,2,4,6
/proc/22753/task/22806/stat : 22806 (java) R 22750 22753 22142 0 -1 4202560 39729 13544 0 0 8234 47 5 2 20 0 15 0 416669721 11107311616 707366 33554432000 4194304 4196468 140727784043888 140393111401600 140392714834017 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22807] ppid=22750 vsize=10846984 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22753/task/22807/stat : 22807 (java) S 22750 22753 22142 0 -1 1077944384 1483 13544 0 0 14 8 5 2 20 0 15 0 416669721 11107311616 707366 33554432000 4194304 4196468 140727784043888 140393143811088 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22808] ppid=22750 vsize=10846984 memory=7813012431283972200 CPUtime=0.27 cores=0,2,4,6
/proc/22753/task/22808/stat : 22808 (java) S 22750 22753 22142 0 -1 1077944384 559 13544 0 0 13 7 5 2 20 0 15 0 416669721 11107311616 707366 33554432000 4194304 4196468 140727784043888 140393032084624 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22809] ppid=22750 vsize=10846984 memory=2747176 CPUtime=0.28 cores=0,2,4,6
/proc/22753/task/22809/stat : 22809 (java) S 22750 22753 22142 0 -1 1077944384 1186 13544 0 0 14 7 5 2 20 0 15 0 416669721 11107311616 707366 33554432000 4194304 4196468 140727784043888 140393031031568 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22810] ppid=22750 vsize=10846984 memory=2747176 CPUtime=0.27 cores=0,2,4,6
/proc/22753/task/22810/stat : 22810 (java) S 22750 22753 22142 0 -1 1077944384 820 13544 0 0 13 7 5 2 20 0 15 0 416669721 11107311616 707366 33554432000 4194304 4196468 140727784043888 140393029979024 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22811] ppid=22750 vsize=10846984 memory=2747176 CPUtime=0.16 cores=0,2,4,6
/proc/22753/task/22811/stat : 22811 (java) S 22750 22753 22142 0 -1 1077944384 5340 13544 0 0 8 1 5 2 20 0 15 0 416669723 11107311616 707366 33554432000 4194304 4196468 140727784043888 140392598169840 140393139579522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22812] ppid=22750 vsize=10846984 memory=2747176 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22812/stat : 22812 (java) S 22750 22753 22142 0 -1 1077944384 52 13544 0 0 0 0 5 2 20 0 15 0 416669723 11107311616 707366 33554432000 4194304 4196468 140727784043888 140392597116128 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22813] ppid=22750 vsize=10846984 memory=1804 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22813/stat : 22813 (java) S 22750 22753 22142 0 -1 1077944384 11 13544 0 0 0 0 5 2 20 0 15 0 416669724 11107311616 707366 33554432000 4194304 4196468 140727784043888 140392011916032 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22814] ppid=22750 vsize=10846984 memory=2747176 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22814/stat : 22814 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11107311616 707366 33554432000 4194304 4196468 140727784043888 140391704516560 140393139586971 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22815] ppid=22750 vsize=10846984 memory=1408 CPUtime=5.08 cores=0,2,4,6
/proc/22753/task/22815/stat : 22815 (java) S 22750 22753 22142 0 -1 1077944384 12567 13544 0 0 499 2 5 2 20 0 15 0 416669726 11107311616 707366 33554432000 4194304 4196468 140727784043888 140392563559152 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22816] ppid=22750 vsize=10846984 memory=2424 CPUtime=4.18 cores=0,2,4,6
/proc/22753/task/22816/stat : 22816 (java) S 22750 22753 22142 0 -1 1077944384 11025 13544 0 0 409 2 5 2 20 0 15 0 416669726 11107311616 707366 33554432000 4194304 4196468 140727784043888 140392562506608 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22817] ppid=22750 vsize=10846984 memory=880 CPUtime=1.84 cores=0,2,4,6
/proc/22753/task/22817/stat : 22817 (java) S 22750 22753 22142 0 -1 1077944384 16405 13544 0 0 173 4 5 2 20 0 15 0 416669726 11107311616 707366 33554432000 4194304 4196468 140727784043888 140392561453552 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22818] ppid=22750 vsize=10846984 memory=1760 CPUtime=0.07 cores=0,2,4,6
/proc/22753/task/22818/stat : 22818 (java) S 22750 22753 22142 0 -1 1077944384 3 13544 0 0 0 0 5 2 20 0 15 0 416669726 11107311616 707366 33554432000 4194304 4196468 140727784043888 140391670958944 140393139578581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
[pid=22753/tid=22819] ppid=22750 vsize=10846984 memory=2753624 CPUtime=0.1 cores=0,2,4,6
/proc/22753/task/22819/stat : 22819 (java) S 22750 22753 22142 0 -1 1077944384 230 13544 0 0 1 2 5 2 20 0 15 0 416669727 11107311616 707366 33554432000 4194304 4196468 140727784043888 140392560400944 140393139579522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33488896 140727784045296 140727784047813 140727784047813 140727784050639 0
Current children cumulated CPU time: 94.84 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2829464 KiB

Child status: 0
Real time (s): 83.3718
CPU time (s): 94.9782
CPU user time (s): 94.014
CPU system time (s): 0.964118
CPU usage (%): 113.921
Max. virtual memory (cumulated for all children) (KiB): 10849680
Max. memory (cumulated for all children) (KiB): 2829464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 94.014
system time used= 0.964118
maximum resident set size= 2831896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105394
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9993
involuntary context switches= 225


# summary of solver processes directly reported to runsolver:
#   pid: 22753
#   total CPU time (s): 94.9782
#   total CPU user time (s): 94.014
#   total CPU system time (s): 0.964118

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.486726 second user time and 0.840447 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si4-m4D/ Subisomorphism-si4-m4Dr4-m1296-05.xml
MD5SUM	880994e2431ab8d90ac30179b2246ea4
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	1.67882
Satisfiable
(Un)Satisfiability was proved
Number of variables	518
Number of constraints	1425
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":518}]
Minimum variable degree	2
Maximum variable degree	12
Distribution of variable degrees	[{"degree":2,"count":50},{"degree":3,"count":80},{"degree":4,"count":77},{"degree":6,"count":83},{"degree":7,"count":72},{"degree":8,"count":63},{"degree":9,"count":47},{"degree":10,"count":31},{"degree":11,"count":12},{"degree":12,"count":3}]
Minimum constraint arity	1
Maximum constraint arity	518
Distribution of constraint arities	[{"arity":1,"count":311},{"arity":2,"count":1113},{"arity":518,"count":1}]
Number of extensional constraints	1424
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1424},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4395881

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
