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 (8935 MiB free)
memory of node 1: 16384 MiB (14212 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298684-1532773265/watcher-4298684-1532773265 -o /tmp/evaluation-result-4298684-1532773265/solver-4298684-1532773265 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532740752-11667 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298684-1532773265.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15604, runsolver pid=15601
Current StackSize limit: 8192 KiB
[startup+0.100358 s]*
/proc/loadavg: 0.95 1.30 1.32 4/198 15619
/proc/meminfo: memFree=23686660/32770624 swapFree=67108860/67108860
[pid=15604] ppid=15601 vsize=10661056 memory=28388 CPUtime=0.12 cores=1,3,5,7
/proc/15604/stat : 15604 (java) S 15601 15604 11635 0 -1 1077944320 4980 0 0 0 10 2 0 0 20 0 15 0 94889644 10916921344 7097 33554432000 4194304 4196468 140733996652240 140733996634784 139947427376887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
/proc/15604/statm: 2665264 7097 2843 1 0 2627263 0
[pid=15604/tid=15606] ppid=15601 vsize=10661056 memory=-6729617463269495142 CPUtime=0.09 cores=1,3,5,7
/proc/15604/task/15606/stat : 15606 (java) R 15601 15604 11635 0 -1 4202560 2862 0 0 0 8 1 0 0 20 0 15 0 94889645 10916921344 7097 33554432000 4194304 4196468 140733996652240 139947431609024 139947427388822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15607] ppid=15601 vsize=10661056 memory=5767624248723478921 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15607/stat : 15607 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889645 10916921344 7097 33554432000 4194304 4196468 140733996652240 139947353451152 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15608] ppid=15601 vsize=10661056 memory=140187596580480 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15608/stat : 15608 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889645 10916921344 7097 33554432000 4194304 4196468 140733996652240 139947352398352 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15609] ppid=15601 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15609/stat : 15609 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889645 10916921344 7097 33554432000 4194304 4196468 140733996652240 139947351345552 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15610] ppid=15601 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15610/stat : 15610 (java) S 15601 15604 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94889645 10916921344 7097 33554432000 4194304 4196468 140733996652240 139947350292752 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15611] ppid=15601 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15611/stat : 15611 (java) S 15601 15604 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94889647 10916921344 7097 33554432000 4194304 4196468 140733996652240 139946919816048 139947427388034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15612] ppid=15601 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15612/stat : 15612 (java) S 15601 15604 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94889647 10916921344 7097 33554432000 4194304 4196468 140733996652240 139946918762016 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15613] ppid=15601 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15613/stat : 15613 (java) S 15601 15604 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94889648 10916921344 7097 33554432000 4194304 4196468 140733996652240 139946917709168 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15614] ppid=15601 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15614/stat : 15614 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916921344 7097 33554432000 4194304 4196468 140733996652240 139946916657488 139947427395483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15615] ppid=15601 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15615/stat : 15615 (java) S 15601 15604 11635 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 94889650 10916921344 7097 33554432000 4194304 4196468 140733996652240 139946915604848 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15616] ppid=15601 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15616/stat : 15616 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916921344 7097 33554432000 4194304 4196468 140733996652240 139946914552048 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15617] ppid=15601 vsize=10661056 memory=140187596580480 CPUtime=0.01 cores=1,3,5,7
/proc/15604/task/15617/stat : 15617 (java) R 15601 15604 11635 0 -1 4202560 329 0 0 0 1 0 0 0 20 0 15 0 94889650 10916921344 7097 33554432000 4194304 4196468 140733996652240 139946913499248 139947406675808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15618] ppid=15601 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15618/stat : 15618 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916921344 7097 33554432000 4194304 4196468 140733996652240 139946912446688 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15619] ppid=15601 vsize=10661056 memory=140187596580480 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15619/stat : 15619 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889650 10916921344 7097 33554432000 4194304 4196468 140733996652240 139946911394992 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 28388 KiB
[startup+0.210487 s]*
/proc/loadavg: 0.95 1.30 1.32 2/198 15619
/proc/meminfo: memFree=23675264/32770624 swapFree=67108860/67108860
[pid=15604] ppid=15601 vsize=10661132 memory=40220 CPUtime=0.32 cores=1,3,5,7
/proc/15604/stat : 15604 (java) S 15601 15604 11635 0 -1 1077944320 7615 0 0 0 29 3 0 0 20 0 15 0 94889644 10916999168 10055 33554432000 4194304 4196468 140733996652240 140733996634784 139947427376887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
/proc/15604/statm: 2665283 10055 2975 1 0 2627263 0
[pid=15604/tid=15606] ppid=15601 vsize=10661132 memory=8113686011800624535 CPUtime=0.2 cores=1,3,5,7
/proc/15604/task/15606/stat : 15606 (java) R 15601 15604 11635 0 -1 4202560 4759 0 0 0 18 2 0 0 20 0 15 0 94889645 10916999168 10055 33554432000 4194304 4196468 140733996652240 139947431609200 139947411457374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15607] ppid=15601 vsize=10661132 memory=732370325934033893 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15607/stat : 15607 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 10055 33554432000 4194304 4196468 140733996652240 139947353451152 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15608] ppid=15601 vsize=10661132 memory=140187596580480 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15608/stat : 15608 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 10055 33554432000 4194304 4196468 140733996652240 139947352398352 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15609] ppid=15601 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15609/stat : 15609 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 10055 33554432000 4194304 4196468 140733996652240 139947351345552 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15610] ppid=15601 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15610/stat : 15610 (java) S 15601 15604 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 10055 33554432000 4194304 4196468 140733996652240 139947350292752 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15611] ppid=15601 vsize=10661132 memory=140187596580480 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15611/stat : 15611 (java) S 15601 15604 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94889647 10916999168 10055 33554432000 4194304 4196468 140733996652240 139946919816048 139947427388034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15612] ppid=15601 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15612/stat : 15612 (java) S 15601 15604 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94889647 10916999168 10055 33554432000 4194304 4196468 140733996652240 139946918762016 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15613] ppid=15601 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15613/stat : 15613 (java) S 15601 15604 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94889648 10916999168 10055 33554432000 4194304 4196468 140733996652240 139946917709168 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15614] ppid=15601 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15614/stat : 15614 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 10055 33554432000 4194304 4196468 140733996652240 139946916657488 139947427395483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15615] ppid=15601 vsize=10661132 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15604/task/15615/stat : 15615 (java) S 15601 15604 11635 0 -1 1077944384 607 0 0 0 1 0 0 0 20 0 15 0 94889650 10916999168 10055 33554432000 4194304 4196468 140733996652240 139946915604848 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15616] ppid=15601 vsize=10661132 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15604/task/15616/stat : 15616 (java) S 15601 15604 11635 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 94889650 10916999168 10055 33554432000 4194304 4196468 140733996652240 139946914552048 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15617] ppid=15601 vsize=10661132 memory=140187596580480 CPUtime=0.07 cores=1,3,5,7
/proc/15604/task/15617/stat : 15617 (java) S 15601 15604 11635 0 -1 1077944384 777 0 0 0 7 0 0 0 20 0 15 0 94889650 10916999168 10055 33554432000 4194304 4196468 140733996652240 139946913499248 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15618] ppid=15601 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15618/stat : 15618 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 10055 33554432000 4194304 4196468 140733996652240 139946912446688 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15619] ppid=15601 vsize=10661132 memory=140187596580480 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15619/stat : 15619 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 10055 33554432000 4194304 4196468 140733996652240 139946911394992 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 40220 KiB
[startup+0.310089 s]*
/proc/loadavg: 0.95 1.30 1.32 4/198 15619
/proc/meminfo: memFree=23669412/32770624 swapFree=67108860/67108860
[pid=15604] ppid=15601 vsize=10661132 memory=48516 CPUtime=0.54 cores=1,3,5,7
/proc/15604/stat : 15604 (java) S 15601 15604 11635 0 -1 1077944320 8807 0 0 0 51 3 0 0 20 0 15 0 94889644 10916999168 12129 33554432000 4194304 4196468 140733996652240 140733996634784 139947427376887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
/proc/15604/statm: 2665283 12129 3057 1 0 2627263 0
[pid=15604/tid=15606] ppid=15601 vsize=10661132 memory=26467300 CPUtime=0.29 cores=1,3,5,7
/proc/15604/task/15606/stat : 15606 (java) R 15601 15604 11635 0 -1 4202560 5235 0 0 0 27 2 0 0 20 0 15 0 94889645 10916999168 12129 33554432000 4194304 4196468 140733996652240 139947431613936 139947407087334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15607] ppid=15601 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15607/stat : 15607 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 12129 33554432000 4194304 4196468 140733996652240 139947353451152 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15608] ppid=15601 vsize=10661132 memory=280375060788608 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15608/stat : 15608 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 12129 33554432000 4194304 4196468 140733996652240 139947352398352 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15609] ppid=15601 vsize=10661132 memory=280374928443904 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15609/stat : 15609 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 12129 33554432000 4194304 4196468 140733996652240 139947351345552 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15610] ppid=15601 vsize=10661132 memory=140187464208143 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15610/stat : 15610 (java) S 15601 15604 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 12129 33554432000 4194304 4196468 140733996652240 139947350292752 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15611] ppid=15601 vsize=10661132 memory=280375060795520 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15611/stat : 15611 (java) S 15601 15604 11635 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94889647 10916999168 12129 33554432000 4194304 4196468 140733996652240 139946919816048 139947427388034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15612] ppid=15601 vsize=10661132 memory=140187464212751 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15612/stat : 15612 (java) S 15601 15604 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94889647 10916999168 12129 33554432000 4194304 4196468 140733996652240 139946918762016 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15613] ppid=15601 vsize=10661132 memory=140187464226691 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15613/stat : 15613 (java) S 15601 15604 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94889648 10916999168 12129 33554432000 4194304 4196468 140733996652240 139946917709168 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15614] ppid=15601 vsize=10661132 memory=140187464229021 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15614/stat : 15614 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 12129 33554432000 4194304 4196468 140733996652240 139946916657488 139947427395483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15615] ppid=15601 vsize=10661132 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15604/task/15615/stat : 15615 (java) R 15601 15604 11635 0 -1 4202560 932 0 0 0 5 0 0 0 20 0 15 0 94889650 10916999168 12129 33554432000 4194304 4196468 140733996652240 139946915590872 139947408921384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15616] ppid=15601 vsize=10661132 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/15604/task/15616/stat : 15616 (java) R 15601 15604 11635 0 -1 4202560 191 0 0 0 5 0 0 0 20 0 15 0 94889650 10916999168 12129 33554432000 4194304 4196468 140733996652240 139946914552048 139947427388822 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15617] ppid=15601 vsize=10661132 memory=140187596580480 CPUtime=0.13 cores=1,3,5,7
/proc/15604/task/15617/stat : 15617 (java) R 15601 15604 11635 0 -1 1077944384 1080 0 0 0 13 0 0 0 20 0 15 0 94889650 10916999168 12129 33554432000 4194304 4196468 140733996652240 139946913499248 139947427388034 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15618] ppid=15601 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15618/stat : 15618 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 12129 33554432000 4194304 4196468 140733996652240 139946912446688 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15619] ppid=15601 vsize=10661132 memory=140187596608868 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15619/stat : 15619 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 12129 33554432000 4194304 4196468 140733996652240 139946911394992 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 48516 KiB
[startup+0.700823 s]
/proc/loadavg: 0.95 1.30 1.32 4/198 15619
/proc/meminfo: memFree=23637400/32770624 swapFree=67108860/67108860
[pid=15604] ppid=15601 vsize=10661132 memory=129092 CPUtime=1.65 cores=1,3,5,7
/proc/15604/stat : 15604 (java) S 15601 15604 11635 0 -1 1077944320 14696 0 0 0 159 6 0 0 20 0 15 0 94889644 10916999168 32273 33554432000 4194304 4196468 140733996652240 140733996634784 139947427376887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
/proc/15604/statm: 2665283 32273 3096 1 0 2627263 0
[pid=15604/tid=15606] ppid=15601 vsize=10661132 memory=56 CPUtime=0.67 cores=1,3,5,7
/proc/15604/task/15606/stat : 15606 (java) R 15601 15604 11635 0 -1 4202560 5307 0 0 0 64 3 0 0 20 0 15 0 94889645 10916999168 32273 33554432000 4194304 4196468 140733996652240 139947431615584 139947032431958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15607] ppid=15601 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15607/stat : 15607 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 32273 33554432000 4194304 4196468 140733996652240 139947353451152 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15608] ppid=15601 vsize=10661132 memory=8458433173657171765 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15608/stat : 15608 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 32273 33554432000 4194304 4196468 140733996652240 139947352398352 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15609] ppid=15601 vsize=10661132 memory=7157152547622703712 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15609/stat : 15609 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 32273 33554432000 4194304 4196468 140733996652240 139947351345552 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15610] ppid=15601 vsize=10661132 memory=6226596351323422817 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15610/stat : 15610 (java) S 15601 15604 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 32273 33554432000 4194304 4196468 140733996652240 139947350292752 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15611] ppid=15601 vsize=10661132 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15611/stat : 15611 (java) S 15601 15604 11635 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94889647 10916999168 32273 33554432000 4194304 4196468 140733996652240 139946919816048 139947427388034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15612] ppid=15601 vsize=10661132 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15612/stat : 15612 (java) S 15601 15604 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94889647 10916999168 32273 33554432000 4194304 4196468 140733996652240 139946918762016 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15613] ppid=15601 vsize=10661132 memory=8452 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15613/stat : 15613 (java) S 15601 15604 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94889648 10916999168 32273 33554432000 4194304 4196468 140733996652240 139946917709168 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15614] ppid=15601 vsize=10661132 memory=5776 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15614/stat : 15614 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 32273 33554432000 4194304 4196468 140733996652240 139946916657488 139947427395483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15615] ppid=15601 vsize=10661132 memory=1200 CPUtime=0.42 cores=1,3,5,7
/proc/15604/task/15615/stat : 15615 (java) R 15601 15604 11635 0 -1 4202560 4342 0 0 0 41 1 0 0 20 0 15 0 94889650 10916999168 32273 33554432000 4194304 4196468 140733996652240 139946915590872 139947407063551 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15616] ppid=15601 vsize=10661132 memory=12136 CPUtime=0.35 cores=1,3,5,7
/proc/15604/task/15616/stat : 15616 (java) R 15601 15604 11635 0 -1 4202560 2149 0 0 0 35 0 0 0 20 0 15 0 94889650 10916999168 32273 33554432000 4194304 4196468 140733996652240 139946914537928 139947407068600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15617] ppid=15601 vsize=10661132 memory=1008 CPUtime=0.17 cores=1,3,5,7
/proc/15604/task/15617/stat : 15617 (java) S 15601 15604 11635 0 -1 1077944384 1528 0 0 0 17 0 0 0 20 0 15 0 94889650 10916999168 32273 33554432000 4194304 4196468 140733996652240 139946913499248 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15618] ppid=15601 vsize=10661132 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15618/stat : 15618 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 32273 33554432000 4194304 4196468 140733996652240 139946912446688 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15619] ppid=15601 vsize=10661132 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15619/stat : 15619 (java) S 15601 15604 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 32273 33554432000 4194304 4196468 140733996652240 139946911394992 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 129092 KiB
[startup+1.50077 s]
/proc/loadavg: 0.95 1.30 1.32 2/198 15619
/proc/meminfo: memFree=23519748/32770624 swapFree=67108860/67108860
[pid=15604] ppid=15601 vsize=10661132 memory=197448 CPUtime=2.78 cores=1,3,5,7
/proc/15604/stat : 15604 (java) S 15601 15604 11635 0 -1 1077944320 15416 0 0 0 270 8 0 0 20 0 15 0 94889644 10916999168 49362 33554432000 4194304 4196468 140733996652240 140733996634784 139947427376887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
/proc/15604/statm: 2665283 49362 3096 1 0 2627263 0
[pid=15604/tid=15606] ppid=15601 vsize=10661132 memory=4132 CPUtime=1.47 cores=1,3,5,7
/proc/15604/task/15606/stat : 15606 (java) R 15601 15604 11635 0 -1 4202560 5342 0 0 0 142 5 0 0 20 0 15 0 94889645 10916999168 49362 33554432000 4194304 4196468 140733996652240 139947431615936 139947032718429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15607] ppid=15601 vsize=10661132 memory=56 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15607/stat : 15607 (java) S 15601 15604 11635 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 49362 33554432000 4194304 4196468 140733996652240 139947353451152 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15608] ppid=15601 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15608/stat : 15608 (java) S 15601 15604 11635 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 49362 33554432000 4194304 4196468 140733996652240 139947352398352 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15609] ppid=15601 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15609/stat : 15609 (java) S 15601 15604 11635 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 49362 33554432000 4194304 4196468 140733996652240 139947351345552 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15610] ppid=15601 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15610/stat : 15610 (java) S 15601 15604 11635 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 94889645 10916999168 49362 33554432000 4194304 4196468 140733996652240 139947350292752 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15611] ppid=15601 vsize=10661132 memory=280374928484576 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15611/stat : 15611 (java) S 15601 15604 11635 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 94889647 10916999168 49362 33554432000 4194304 4196468 140733996652240 139946919816048 139947427388034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
################
# More data... #
################
/proc/15604/task/15606/stat : 15606 (java) R 15601 15604 11635 0 -1 4202560 26715 0 0 0 236416 38 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947431614656 139947032657980 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15607] ppid=15601 vsize=10661132 memory=204364 CPUtime=5.99 cores=1,3,5,7
/proc/15604/task/15607/stat : 15607 (java) S 15601 15604 11635 0 -1 1077944384 2842 0 0 0 507 92 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947353451152 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15608] ppid=15601 vsize=10661132 memory=204364 CPUtime=5.96 cores=1,3,5,7
/proc/15604/task/15608/stat : 15608 (java) S 15601 15604 11635 0 -1 1077944384 2008 0 0 0 503 93 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947352398352 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15609] ppid=15601 vsize=10661132 memory=204364 CPUtime=5.99 cores=1,3,5,7
/proc/15604/task/15609/stat : 15609 (java) S 15601 15604 11635 0 -1 1077944384 3046 0 0 0 518 81 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947351345552 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15610] ppid=15601 vsize=10661132 memory=204364 CPUtime=5.97 cores=1,3,5,7
/proc/15604/task/15610/stat : 15610 (java) S 15601 15604 11635 0 -1 1077944384 2613 0 0 0 508 89 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947350292752 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15611] ppid=15601 vsize=10661132 memory=204364 CPUtime=9.24 cores=1,3,5,7
/proc/15604/task/15611/stat : 15611 (java) S 15601 15604 11635 0 -1 1077944384 5137 0 0 0 857 67 0 0 20 0 15 0 94889647 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946919816048 139947427388034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15612] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15612/stat : 15612 (java) S 15601 15604 11635 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 94889647 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946918762016 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15613] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15613/stat : 15613 (java) S 15601 15604 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94889648 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946917709168 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15614] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15614/stat : 15614 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946916657488 139947427395483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15615] ppid=15601 vsize=10661132 memory=204364 CPUtime=0.63 cores=1,3,5,7
/proc/15604/task/15615/stat : 15615 (java) S 15601 15604 11635 0 -1 1077944384 5143 0 0 0 62 1 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946915604848 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15616] ppid=15601 vsize=10661132 memory=593 CPUtime=0.5 cores=1,3,5,7
/proc/15604/task/15616/stat : 15616 (java) S 15601 15604 11635 0 -1 1077944384 3291 0 0 0 50 0 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946914552048 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15617] ppid=15601 vsize=10661132 memory=204364 CPUtime=0.23 cores=1,3,5,7
/proc/15604/task/15617/stat : 15617 (java) S 15601 15604 11635 0 -1 1077944384 1692 0 0 0 22 1 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946913499248 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15618] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15618/stat : 15618 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946912446688 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15619] ppid=15601 vsize=10661132 memory=204364 CPUtime=1.41 cores=1,3,5,7
/proc/15604/task/15619/stat : 15619 (java) S 15601 15604 11635 0 -1 1077944384 1217 0 0 0 65 76 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946911394992 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
Current children cumulated CPU time: 2400.57 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 204364 KiB
[startup+2442.3 s]
/proc/loadavg: 0.55 0.62 0.68 2/198 15721
/proc/meminfo: memFree=23507320/32770624 swapFree=67108860/67108860
[pid=15604] ppid=15601 vsize=10661132 memory=204364 CPUtime=2461 cores=1,3,5,7
/proc/15604/stat : 15604 (java) S 15601 15604 11635 0 -1 1077944320 55507 0 0 0 245734 366 0 0 20 0 15 0 94889644 10916999168 51091 33554432000 4194304 4196468 140733996652240 140733996634784 139947427376887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
/proc/15604/statm: 2665283 51091 3127 1 0 2627263 0
[pid=15604/tid=15606] ppid=15601 vsize=10661132 memory=204364 CPUtime=2424.09 cores=1,3,5,7
/proc/15604/task/15606/stat : 15606 (java) R 15601 15604 11635 0 -1 4202560 27138 0 0 0 242370 39 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947431616496 139947032720668 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15607] ppid=15601 vsize=10661132 memory=204364 CPUtime=6.14 cores=1,3,5,7
/proc/15604/task/15607/stat : 15607 (java) S 15601 15604 11635 0 -1 1077944384 2847 0 0 0 521 93 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947353451152 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15608] ppid=15601 vsize=10661132 memory=204364 CPUtime=6.13 cores=1,3,5,7
/proc/15604/task/15608/stat : 15608 (java) S 15601 15604 11635 0 -1 1077944384 2011 0 0 0 517 96 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947352398352 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15609] ppid=15601 vsize=10661132 memory=204364 CPUtime=6.14 cores=1,3,5,7
/proc/15604/task/15609/stat : 15609 (java) S 15601 15604 11635 0 -1 1077944384 3047 0 0 0 531 83 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947351345552 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15610] ppid=15601 vsize=10661132 memory=0 CPUtime=6.12 cores=1,3,5,7
/proc/15604/task/15610/stat : 15610 (java) S 15601 15604 11635 0 -1 1077944384 2615 0 0 0 520 92 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947350292752 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15611] ppid=15601 vsize=10661132 memory=204364 CPUtime=9.47 cores=1,3,5,7
/proc/15604/task/15611/stat : 15611 (java) S 15601 15604 11635 0 -1 1077944384 5144 0 0 0 879 68 0 0 20 0 15 0 94889647 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946919816048 139947427388034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15612] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15612/stat : 15612 (java) S 15601 15604 11635 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 94889647 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946918762016 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15613] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15613/stat : 15613 (java) S 15601 15604 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94889648 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946917709168 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15614] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15614/stat : 15614 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946916657488 139947427395483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15615] ppid=15601 vsize=10661132 memory=204364 CPUtime=0.63 cores=1,3,5,7
/proc/15604/task/15615/stat : 15615 (java) S 15601 15604 11635 0 -1 1077944384 5143 0 0 0 62 1 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946915604848 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15616] ppid=15601 vsize=10661132 memory=204364 CPUtime=0.5 cores=1,3,5,7
/proc/15604/task/15616/stat : 15616 (java) S 15601 15604 11635 0 -1 1077944384 3291 0 0 0 50 0 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946914552048 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15617] ppid=15601 vsize=10661132 memory=204364 CPUtime=0.23 cores=1,3,5,7
/proc/15604/task/15617/stat : 15617 (java) S 15601 15604 11635 0 -1 1077944384 1692 0 0 0 22 1 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946913499248 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15618] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15618/stat : 15618 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946912446688 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15619] ppid=15601 vsize=10661132 memory=204364 CPUtime=1.45 cores=1,3,5,7
/proc/15604/task/15619/stat : 15619 (java) S 15601 15604 11635 0 -1 1077944384 1219 0 0 0 67 78 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946911394992 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
Current children cumulated CPU time: 2461 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 204364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2500.9 s]
/proc/loadavg: 0.50 0.59 0.67 2/198 15722
/proc/meminfo: memFree=23507384/32770624 swapFree=67108860/67108860
[pid=15604] ppid=15601 vsize=10661132 memory=204364 CPUtime=2520.02 cores=1,3,5,7
/proc/15604/stat : 15604 (java) S 15601 15604 11635 0 -1 1077944320 56591 0 0 0 251628 374 0 0 20 0 15 0 94889644 10916999168 51091 33554432000 4194304 4196468 140733996652240 140733996634784 139947427376887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
/proc/15604/statm: 2665283 51091 3127 1 0 2627263 0
[pid=15604/tid=15606] ppid=15601 vsize=10661132 memory=204364 CPUtime=2482.27 cores=1,3,5,7
/proc/15604/task/15606/stat : 15606 (java) R 15601 15604 11635 0 -1 4202560 27738 0 0 0 248187 40 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947431616496 139947032718429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15607] ppid=15601 vsize=10661132 memory=204364 CPUtime=6.28 cores=1,3,5,7
/proc/15604/task/15607/stat : 15607 (java) S 15601 15604 11635 0 -1 1077944384 2897 0 0 0 532 96 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947353451152 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15608] ppid=15601 vsize=10661132 memory=204364 CPUtime=6.28 cores=1,3,5,7
/proc/15604/task/15608/stat : 15608 (java) S 15601 15604 11635 0 -1 1077944384 2228 0 0 0 530 98 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947352398352 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15609] ppid=15601 vsize=10661132 memory=0 CPUtime=6.29 cores=1,3,5,7
/proc/15604/task/15609/stat : 15609 (java) S 15601 15604 11635 0 -1 1077944384 3067 0 0 0 543 86 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947351345552 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15610] ppid=15601 vsize=10661132 memory=204364 CPUtime=6.27 cores=1,3,5,7
/proc/15604/task/15610/stat : 15610 (java) S 15601 15604 11635 0 -1 1077944384 2621 0 0 0 533 94 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947350292752 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15611] ppid=15601 vsize=10661132 memory=204364 CPUtime=9.7 cores=1,3,5,7
/proc/15604/task/15611/stat : 15611 (java) S 15601 15604 11635 0 -1 1077944384 5312 0 0 0 900 70 0 0 20 0 15 0 94889647 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946919816048 139947427388034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15612] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15612/stat : 15612 (java) S 15601 15604 11635 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 94889647 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946918762016 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15613] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15613/stat : 15613 (java) S 15601 15604 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94889648 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946917709168 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15614] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15614/stat : 15614 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946916657488 139947427395483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15615] ppid=15601 vsize=10661132 memory=204364 CPUtime=0.63 cores=1,3,5,7
/proc/15604/task/15615/stat : 15615 (java) S 15601 15604 11635 0 -1 1077944384 5145 0 0 0 62 1 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946915604848 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15616] ppid=15601 vsize=10661132 memory=204364 CPUtime=0.5 cores=1,3,5,7
/proc/15604/task/15616/stat : 15616 (java) S 15601 15604 11635 0 -1 1077944384 3293 0 0 0 50 0 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946914552048 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15617] ppid=15601 vsize=10661132 memory=5776 CPUtime=0.23 cores=1,3,5,7
/proc/15604/task/15617/stat : 15617 (java) S 15601 15604 11635 0 -1 1077944384 1694 0 0 0 22 1 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946913499248 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15618] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15618/stat : 15618 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946912446688 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15619] ppid=15601 vsize=10661132 memory=204364 CPUtime=1.49 cores=1,3,5,7
/proc/15604/task/15619/stat : 15619 (java) S 15601 15604 11635 0 -1 1077944384 1236 0 0 0 69 80 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946911394992 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 204364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2500.91 s]
# the end of solver process 15604 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.3 s, system=3.74789 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2500.9 s]
/proc/loadavg: 0.50 0.59 0.67 2/198 15722
/proc/meminfo: memFree=23507384/32770624 swapFree=67108860/67108860
[pid=15604] ppid=15601 vsize=10661132 memory=204364 CPUtime=2520.02 cores=1,3,5,7
/proc/15604/stat : 15604 (java) S 15601 15604 11635 0 -1 1077944320 56591 0 0 0 251628 374 0 0 20 0 15 0 94889644 10916999168 51091 33554432000 4194304 4196468 140733996652240 140733996634784 139947427376887 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
/proc/15604/statm: 2665283 51091 3127 1 0 2627263 0
[pid=15604/tid=15606] ppid=15601 vsize=10661132 memory=204364 CPUtime=2482.27 cores=1,3,5,7
/proc/15604/task/15606/stat : 15606 (java) R 15601 15604 11635 0 -1 4202560 27738 0 0 0 248187 40 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947431616496 139947032718429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15607] ppid=15601 vsize=10661132 memory=204364 CPUtime=6.28 cores=1,3,5,7
/proc/15604/task/15607/stat : 15607 (java) S 15601 15604 11635 0 -1 1077944384 2897 0 0 0 532 96 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947353451152 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15608] ppid=15601 vsize=10661132 memory=204364 CPUtime=6.28 cores=1,3,5,7
/proc/15604/task/15608/stat : 15608 (java) S 15601 15604 11635 0 -1 1077944384 2228 0 0 0 530 98 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947352398352 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15609] ppid=15601 vsize=10661132 memory=0 CPUtime=6.29 cores=1,3,5,7
/proc/15604/task/15609/stat : 15609 (java) S 15601 15604 11635 0 -1 1077944384 3067 0 0 0 543 86 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947351345552 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15610] ppid=15601 vsize=10661132 memory=204364 CPUtime=6.27 cores=1,3,5,7
/proc/15604/task/15610/stat : 15610 (java) S 15601 15604 11635 0 -1 1077944384 2621 0 0 0 533 94 0 0 20 0 15 0 94889645 10916999168 51091 33554432000 4194304 4196468 140733996652240 139947350292752 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15611] ppid=15601 vsize=10661132 memory=204364 CPUtime=9.7 cores=1,3,5,7
/proc/15604/task/15611/stat : 15611 (java) S 15601 15604 11635 0 -1 1077944384 5312 0 0 0 900 70 0 0 20 0 15 0 94889647 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946919816048 139947427388034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15612] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15612/stat : 15612 (java) S 15601 15604 11635 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 94889647 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946918762016 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15613] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15613/stat : 15613 (java) S 15601 15604 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94889648 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946917709168 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15614] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15614/stat : 15614 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946916657488 139947427395483 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15615] ppid=15601 vsize=10661132 memory=204364 CPUtime=0.63 cores=1,3,5,7
/proc/15604/task/15615/stat : 15615 (java) S 15601 15604 11635 0 -1 1077944384 5145 0 0 0 62 1 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946915604848 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15616] ppid=15601 vsize=10661132 memory=204364 CPUtime=0.5 cores=1,3,5,7
/proc/15604/task/15616/stat : 15616 (java) S 15601 15604 11635 0 -1 1077944384 3293 0 0 0 50 0 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946914552048 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15617] ppid=15601 vsize=10661132 memory=5776 CPUtime=0.23 cores=1,3,5,7
/proc/15604/task/15617/stat : 15617 (java) S 15601 15604 11635 0 -1 1077944384 1694 0 0 0 22 1 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946913499248 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15618] ppid=15601 vsize=10661132 memory=204364 CPUtime=0 cores=1,3,5,7
/proc/15604/task/15618/stat : 15618 (java) S 15601 15604 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946912446688 139947427387093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
[pid=15604/tid=15619] ppid=15601 vsize=10661132 memory=204364 CPUtime=1.49 cores=1,3,5,7
/proc/15604/task/15619/stat : 15619 (java) S 15601 15604 11635 0 -1 1077944384 1236 0 0 0 69 80 0 0 20 0 15 0 94889650 10916999168 51091 33554432000 4194304 4196468 140733996652240 139946911394992 139947427388034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733996655733 140733996655881 140733996655881 140733996658639 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 204364 KiB
Child status: 143
Real time (s): 2500.91
CPU time (s): 2520.04
CPU user time (s): 2516.3
CPU system time (s): 3.74789
CPU usage (%): 100.765
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 204364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.3
system time used= 3.74789
maximum resident set size= 204888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56792
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 331538
involuntary context switches= 7243
# summary of solver processes directly reported to runsolver:
# pid: 15604
# total CPU time (s): 2520.04
# total CPU user time (s): 2516.3
# total CPU system time (s): 3.74789
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7965 second user time and 24.4293 second system time
The end