runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248108-1500734912/watcher-4248108-1500734912 -o /tmp/evaluation-result-4248108-1500734912/solver-4248108-1500734912 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500714400-18227 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 24747782 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4248108-1500734912.xml
pid=24740
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.79 1.79 1.72 3/262 24743
/proc/meminfo: memFree=28652628/32770624 swapFree=5892/168084
[pid=24743] ppid=24740 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/stat : 24743 (java) S 24740 24743 18196 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 8760922 369864704 1925 33554432000 4194304 4196468 140737047065072 140737047047616 140054389665527 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
/proc/24743/statm: 90299 1925 1072 1 0 79210 0
[pid=24743/tid=24744] ppid=24740 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24744/stat : 24744 (java) S 24740 24743 18196 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 8760923 369864704 1925 33554432000 4194304 4196468 140737047065072 140054393907616 140054389676674 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[startup+0.100122 s]
/proc/loadavg: 1.79 1.79 1.72 3/262 24743
/proc/meminfo: memFree=28652628/32770624 swapFree=5892/168084
[pid=24743] ppid=24740 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/24743/stat : 24743 (java) S 24740 24743 18196 0 -1 1077944320 5096 0 0 0 8 1 0 0 20 0 20 0 8760922 13582725120 5672 33554432000 4194304 4196468 140737047065072 140737047047616 140054389665527 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
/proc/24743/statm: 3316095 5672 2616 1 0 3303815 0
[pid=24743/tid=24744] ppid=24740 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24744/stat : 24744 (java) R 24740 24743 18196 0 -1 4202560 3193 0 0 0 7 1 0 0 20 0 20 0 8760923 13582725120 5672 33554432000 4194304 4196468 140737047065072 140054393895624 140054346301037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.200396 s]
/proc/loadavg: 1.79 1.79 1.72 3/262 24743
/proc/meminfo: memFree=28652628/32770624 swapFree=5892/168084
[pid=24743] ppid=24740 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/24743/stat : 24743 (java) S 24740 24743 18196 0 -1 1077944320 8871 0 0 0 23 2 0 0 20 0 20 0 8760922 13582245888 8415 33554432000 4194304 4196468 140737047065072 140737047047616 140054389665527 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
/proc/24743/statm: 3315978 8415 3534 1 0 3303698 0
[pid=24743/tid=24744] ppid=24740 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24744/stat : 24744 (java) R 24740 24743 18196 0 -1 4202560 6644 0 0 0 16 2 0 0 20 0 20 0 8760923 13582245888 8415 33554432000 4194304 4196468 140737047065072 140054393866160 140054373709157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912
[startup+0.300444 s]
/proc/loadavg: 1.79 1.79 1.72 3/262 24743
/proc/meminfo: memFree=28652628/32770624 swapFree=5892/168084
[pid=24743] ppid=24740 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/24743/stat : 24743 (java) S 24740 24743 18196 0 -1 1077944320 9526 0 0 0 39 3 0 0 20 0 20 0 8760922 13582245888 9976 33554432000 4194304 4196468 140737047065072 140737047047616 140054389665527 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
/proc/24743/statm: 3315978 9976 3612 1 0 3303698 0
[pid=24743/tid=24744] ppid=24740 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24744/stat : 24744 (java) R 24740 24743 18196 0 -1 4202560 7100 0 0 0 25 2 0 0 20 0 20 0 8760923 13582245888 9976 33554432000 4194304 4196468 140737047065072 140054393867584 140054373746014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700242 s]
/proc/loadavg: 1.79 1.79 1.72 3/262 24743
/proc/meminfo: memFree=28652628/32770624 swapFree=5892/168084
[pid=24743] ppid=24740 vsize=13265980 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/24743/stat : 24743 (java) S 24740 24743 18196 0 -1 1077944320 13904 0 0 0 146 5 0 0 20 0 20 0 8760922 13584363520 23852 33554432000 4194304 4196468 140737047065072 140737047047616 140054389665527 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
/proc/24743/statm: 3316495 23852 3754 1 0 3304210 0
[pid=24743/tid=24744] ppid=24740 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24744/stat : 24744 (java) R 24740 24743 18196 0 -1 4202560 8426 0 0 0 63 4 0 0 20 0 20 0 8760923 13584363520 23852 33554432000 4194304 4196468 140737047065072 140054393897408 140054004167900 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 13265980
[startup+1.50103 s]
/proc/loadavg: 1.79 1.79 1.72 6/282 24763
/proc/meminfo: memFree=28443496/32770624 swapFree=5892/167836
[pid=24743] ppid=24740 vsize=13268028 CPUtime=5.03 cores=0,2,4,6,8,10,12,14
/proc/24743/stat : 24743 (java) S 24740 24743 18196 0 -1 1077944320 18921 0 0 0 473 30 0 0 20 0 20 0 8760922 13586460672 64937 33554432000 4194304 4196468 140737047065072 140737047047616 140054389665527 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
/proc/24743/statm: 3317007 64937 3814 1 0 3304722 0
[pid=24743/tid=24744] ppid=24740 vsize=13268028 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24744/stat : 24744 (java) R 24740 24743 18196 0 -1 4202560 9203 0 0 0 135 6 0 0 20 0 20 0 8760923 13586460672 64937 33554432000 4194304 4196468 140737047065072 140054393901056 140054005059712 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24746] ppid=24740 vsize=13268028 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24746/stat : 24746 (java) S 24740 24743 18196 0 -1 1077944384 36 0 0 0 2 3 0 0 20 0 20 0 8760924 13586460672 64937 33554432000 4194304 4196468 140737047065072 140054321801488 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24747] ppid=24740 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24747/stat : 24747 (java) S 24740 24743 18196 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 8760924 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053987690896 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24748] ppid=24740 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24748/stat : 24748 (java) S 24740 24743 18196 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 8760924 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053986638352 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24749] ppid=24740 vsize=13268028 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24749/stat : 24749 (java) S 24740 24743 18196 0 -1 1077944384 30 0 0 0 2 3 0 0 20 0 20 0 8760924 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053985585808 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24750] ppid=24740 vsize=13268028 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24750/stat : 24750 (java) S 24740 24743 18196 0 -1 1077944384 33 0 0 0 2 3 0 0 20 0 20 0 8760924 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053984533264 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24751] ppid=24740 vsize=13268028 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24751/stat : 24751 (java) S 24740 24743 18196 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 20 0 8760924 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053983480720 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24752] ppid=24740 vsize=13268028 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24752/stat : 24752 (java) S 24740 24743 18196 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 20 0 8760924 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053982428176 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24753] ppid=24740 vsize=13268028 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24753/stat : 24753 (java) S 24740 24743 18196 0 -1 1077944384 28 0 0 0 1 2 0 0 20 0 20 0 8760924 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053981375632 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24754] ppid=24740 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24754/stat : 24754 (java) S 24740 24743 18196 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 8760926 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053920286704 140054389676674 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24755] ppid=24740 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24755/stat : 24755 (java) S 24740 24743 18196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 8760927 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053919232992 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24756] ppid=24740 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24756/stat : 24756 (java) S 24740 24743 18196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 8760927 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053716132864 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24757] ppid=24740 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24757/stat : 24757 (java) S 24740 24743 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8760931 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053715081424 140054389684123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24758] ppid=24740 vsize=13268028 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24758/stat : 24758 (java) R 24740 24743 18196 0 -1 4202560 1997 0 0 0 84 0 0 0 20 0 20 0 8760931 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053714015856 140054373052312 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24759] ppid=24740 vsize=13268028 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24759/stat : 24759 (java) R 24740 24743 18196 0 -1 4202560 2212 0 0 0 92 0 0 0 20 0 20 0 8760931 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053712962400 140054369358623 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24760] ppid=24740 vsize=13268028 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24760/stat : 24760 (java) R 24740 24743 18196 0 -1 4202560 1871 0 0 0 84 0 0 0 20 0 20 0 8760931 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053711913744 140054389679409 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24761] ppid=24740 vsize=13268028 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24761/stat : 24761 (java) R 24740 24743 18196 0 -1 4202560 1915 0 0 0 56 0 0 0 20 0 20 0 8760931 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053710868344 140054368278572 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24762] ppid=24740 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24762/stat : 24762 (java) S 24740 24743 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8760931 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053709818080 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24763] ppid=24740 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24763/stat : 24763 (java) S 24740 24743 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8760932 13586460672 64937 33554432000 4194304 4196468 140737047065072 140053708765616 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 13268028
[startup+3.10084 s]
/proc/loadavg: 1.79 1.79 1.72 4/282 24763
/proc/meminfo: memFree=28372524/32770624 swapFree=5892/167828
[pid=24743] ppid=24740 vsize=13270076 CPUtime=10.07 cores=0,2,4,6,8,10,12,14
/proc/24743/stat : 24743 (java) S 24740 24743 18196 0 -1 1077944320 28093 0 0 0 975 32 0 0 20 0 20 0 8760922 13588557824 73756 33554432000 4194304 4196468 140737047065072 140737047047616 140054389665527 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
/proc/24743/statm: 3317519 73756 3816 1 0 3305234 0
[pid=24743/tid=24744] ppid=24740 vsize=13270076 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24744/stat : 24744 (java) R 24740 24743 18196 0 -1 4202560 10775 0 0 0 293 6 0 0 20 0 20 0 8760923 13588557824 73756 33554432000 4194304 4196468 140737047065072 140054393903592 140054010822390 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24746] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24746/stat : 24746 (java) S 24740 24743 18196 0 -1 1077944384 36 0 0 0 2 3 0 0 20 0 20 0 8760924 13588557824 73756 33554432000 4194304 4196468 140737047065072 140054321801488 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24747] ppid=24740 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24747/stat : 24747 (java) S 24740 24743 18196 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 8760924 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053987690896 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24748] ppid=24740 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24748/stat : 24748 (java) S 24740 24743 18196 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 8760924 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053986638352 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24749] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24749/stat : 24749 (java) S 24740 24743 18196 0 -1 1077944384 30 0 0 0 2 3 0 0 20 0 20 0 8760924 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053985585808 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24750] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24750/stat : 24750 (java) S 24740 24743 18196 0 -1 1077944384 33 0 0 0 2 3 0 0 20 0 20 0 8760924 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053984533264 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24751] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24751/stat : 24751 (java) S 24740 24743 18196 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 20 0 8760924 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053983480720 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24752] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24752/stat : 24752 (java) S 24740 24743 18196 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 20 0 8760924 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053982428176 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24753] ppid=24740 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24753/stat : 24753 (java) S 24740 24743 18196 0 -1 1077944384 28 0 0 0 1 2 0 0 20 0 20 0 8760924 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053981375632 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24754] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24754/stat : 24754 (java) S 24740 24743 18196 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 8760926 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053920286704 140054389676674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24755] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24755/stat : 24755 (java) S 24740 24743 18196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 8760927 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053919232992 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24756] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24756/stat : 24756 (java) S 24740 24743 18196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 8760927 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053716132864 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24757] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24757/stat : 24757 (java) S 24740 24743 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8760931 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053715081424 140054389684123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24758] ppid=24740 vsize=13270076 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24758/stat : 24758 (java) S 24740 24743 18196 0 -1 1077944384 3988 0 0 0 200 0 0 0 20 0 20 0 8760931 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053714029040 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24759] ppid=24740 vsize=13270076 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24759/stat : 24759 (java) S 24740 24743 18196 0 -1 1077944384 3901 0 0 0 188 0 0 0 20 0 20 0 8760931 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053712976496 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24760] ppid=24740 vsize=13270076 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24760/stat : 24760 (java) S 24740 24743 18196 0 -1 1077944384 4145 0 0 0 179 1 0 0 20 0 20 0 8760931 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053711923952 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24761] ppid=24740 vsize=13270076 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24761/stat : 24761 (java) S 24740 24743 18196 0 -1 1077944384 3559 0 0 0 92 1 0 0 20 0 20 0 8760931 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053710871408 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24762] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24762/stat : 24762 (java) S 24740 24743 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8760931 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053709818080 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24763] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24763/stat : 24763 (java) S 24740 24743 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8760932 13588557824 73756 33554432000 4194304 4196468 140737047065072 140053708765616 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
Current children cumulated CPU time (s) 10.07
Current children cumulated vsize (KiB) 13270076
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24743 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.80078 s]
/proc/loadavg: 1.79 1.79 1.72 4/282 24763
/proc/meminfo: memFree=28372524/32770624 swapFree=5892/167828
[pid=24743] ppid=24740 vsize=13270076 CPUtime=11.01 cores=0,2,4,6,8,10,12,14
/proc/24743/stat : 24743 (java) S 24740 24743 18196 0 -1 1077944320 32727 0 0 0 1068 33 0 0 20 0 20 0 8760922 13588557824 73865 33554432000 4194304 4196468 140737047065072 140737047047616 140054389665527 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
/proc/24743/statm: 3317519 73865 3816 1 0 3305234 0
[pid=24743/tid=24744] ppid=24740 vsize=13270076 CPUtime=3.7 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24744/stat : 24744 (java) R 24740 24743 18196 0 -1 4202560 11048 0 0 0 363 7 0 0 20 0 20 0 8760923 13588557824 73865 33554432000 4194304 4196468 140737047065072 140054393900888 140054010007612 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24746] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24746/stat : 24746 (java) S 24740 24743 18196 0 -1 1077944384 36 0 0 0 2 3 0 0 20 0 20 0 8760924 13588557824 73865 33554432000 4194304 4196468 140737047065072 140054321801488 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24747] ppid=24740 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24747/stat : 24747 (java) S 24740 24743 18196 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 8760924 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053987690896 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24748] ppid=24740 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24748/stat : 24748 (java) S 24740 24743 18196 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 8760924 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053986638352 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24749] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24749/stat : 24749 (java) S 24740 24743 18196 0 -1 1077944384 30 0 0 0 2 3 0 0 20 0 20 0 8760924 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053985585808 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24750] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24750/stat : 24750 (java) S 24740 24743 18196 0 -1 1077944384 33 0 0 0 2 3 0 0 20 0 20 0 8760924 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053984533264 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24751] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24751/stat : 24751 (java) S 24740 24743 18196 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 20 0 8760924 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053983480720 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24752] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24752/stat : 24752 (java) S 24740 24743 18196 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 20 0 8760924 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053982428176 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24753] ppid=24740 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24753/stat : 24753 (java) S 24740 24743 18196 0 -1 1077944384 28 0 0 0 1 2 0 0 20 0 20 0 8760924 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053981375632 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24754] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24754/stat : 24754 (java) S 24740 24743 18196 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 8760926 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053920286704 140054389676674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24755] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24755/stat : 24755 (java) S 24740 24743 18196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 8760927 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053919232992 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24756] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24756/stat : 24756 (java) S 24740 24743 18196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 8760927 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053716132864 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24757] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24757/stat : 24757 (java) S 24740 24743 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8760931 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053715081424 140054389684123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24758] ppid=24740 vsize=13270076 CPUtime=2.03 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24758/stat : 24758 (java) S 24740 24743 18196 0 -1 1077944384 5008 0 0 0 203 0 0 0 20 0 20 0 8760931 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053714029040 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24759] ppid=24740 vsize=13270076 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24759/stat : 24759 (java) S 24740 24743 18196 0 -1 1077944384 5831 0 0 0 199 1 0 0 20 0 20 0 8760931 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053712976496 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24760] ppid=24740 vsize=13270076 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24760/stat : 24760 (java) R 24740 24743 18196 0 -1 4202560 5200 0 0 0 187 1 0 0 20 0 20 0 8760931 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053711924248 140054373179993 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24761] ppid=24740 vsize=13270076 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24761/stat : 24761 (java) S 24740 24743 18196 0 -1 1077944384 3915 0 0 0 93 1 0 0 20 0 20 0 8760931 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053710871408 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24762] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24762/stat : 24762 (java) S 24740 24743 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8760931 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053709818080 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24763] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24763/stat : 24763 (java) S 24740 24743 18196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 8760932 13588557824 73865 33554432000 4194304 4196468 140737047065072 140053708765616 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
Current children cumulated CPU time (s) 11.01
Current children cumulated vsize (KiB) 13270076
[startup+4.0139 s]
/proc/loadavg: 1.89 1.81 1.73 4/282 24763
/proc/meminfo: memFree=28370788/32770624 swapFree=5892/167828
[pid=24743] ppid=24740 vsize=13270076 CPUtime=11.44 cores=0,2,4,6,8,10,12,14
/proc/24743/stat : 24743 (java) S 24740 24743 18196 0 -1 1077944320 34766 0 0 0 1111 33 0 0 20 0 20 0 8760922 13588557824 73911 33554432000 4194304 4196468 140737047065072 140737047047616 140054389665527 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
/proc/24743/statm: 3317519 73911 3816 1 0 3305234 0
[pid=24743/tid=24744] ppid=24740 vsize=13270076 CPUtime=3.91 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24744/stat : 24744 (java) R 24740 24743 18196 0 -1 4202560 11064 0 0 0 384 7 0 0 20 0 20 0 8760923 13588557824 73911 33554432000 4194304 4196468 140737047065072 140054393900496 140054010925837 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24746] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24746/stat : 24746 (java) S 24740 24743 18196 0 -1 1077944384 36 0 0 0 2 3 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140054321801488 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24747] ppid=24740 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24747/stat : 24747 (java) S 24740 24743 18196 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053987690896 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24748] ppid=24740 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24748/stat : 24748 (java) S 24740 24743 18196 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053986638352 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24749] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24749/stat : 24749 (java) S 24740 24743 18196 0 -1 1077944384 30 0 0 0 2 3 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053985585808 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24750] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24750/stat : 24750 (java) S 24740 24743 18196 0 -1 1077944384 33 0 0 0 2 3 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053984533264 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24751] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24751/stat : 24751 (java) S 24740 24743 18196 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053983480720 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24752] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24752/stat : 24752 (java) S 24740 24743 18196 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053982428176 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24753] ppid=24740 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24753/stat : 24753 (java) S 24740 24743 18196 0 -1 1077944384 28 0 0 0 1 2 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053981375632 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24754] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24754/stat : 24754 (java) S 24740 24743 18196 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 8760926 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053920286704 140054389676674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24755] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24755/stat : 24755 (java) S 24740 24743 18196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 8760927 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053919232992 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24756] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24756/stat : 24756 (java) S 24740 24743 18196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 8760927 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053716132864 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24757] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24757/stat : 24757 (java) S 24740 24743 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8760931 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053715081424 140054389684123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24758] ppid=24740 vsize=13270076 CPUtime=2.03 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24758/stat : 24758 (java) S 24740 24743 18196 0 -1 1077944384 5008 0 0 0 203 0 0 0 20 0 20 0 8760931 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053714029040 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24759] ppid=24740 vsize=13270076 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24759/stat : 24759 (java) S 24740 24743 18196 0 -1 1077944384 5831 0 0 0 199 1 0 0 20 0 20 0 8760931 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053712976496 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24760] ppid=24740 vsize=13270076 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24760/stat : 24760 (java) R 24740 24743 18196 0 -1 4202560 7164 0 0 0 208 1 0 0 20 0 20 0 8760931 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053711924248 140054374773230 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24761] ppid=24740 vsize=13270076 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24761/stat : 24761 (java) S 24740 24743 18196 0 -1 1077944384 3919 0 0 0 93 1 0 0 20 0 20 0 8760931 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053710871408 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24762] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24762/stat : 24762 (java) S 24740 24743 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8760931 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053709818080 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24763] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24763/stat : 24763 (java) S 24740 24743 18196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 8760932 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053708765616 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
Current children cumulated CPU time (s) 11.44
Current children cumulated vsize (KiB) 13270076
[startup+4.10134 s]
/proc/loadavg: 1.89 1.81 1.73 4/282 24763
/proc/meminfo: memFree=28370788/32770624 swapFree=5892/167828
[pid=24743] ppid=24740 vsize=13270076 CPUtime=11.61 cores=0,2,4,6,8,10,12,14
/proc/24743/stat : 24743 (java) S 24740 24743 18196 0 -1 1077944320 34927 0 0 0 1128 33 0 0 20 0 20 0 8760922 13588557824 73911 33554432000 4194304 4196468 140737047065072 140737047047616 140054389665527 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
/proc/24743/statm: 3317519 73911 3816 1 0 3305234 0
[pid=24743/tid=24744] ppid=24740 vsize=13270076 CPUtime=4 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24744/stat : 24744 (java) R 24740 24743 18196 0 -1 4202560 11068 0 0 0 393 7 0 0 20 0 20 0 8760923 13588557824 73911 33554432000 4194304 4196468 140737047065072 140054393901704 140054010925821 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24746] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24746/stat : 24746 (java) S 24740 24743 18196 0 -1 1077944384 36 0 0 0 2 3 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140054321801488 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24747] ppid=24740 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24747/stat : 24747 (java) S 24740 24743 18196 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053987690896 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24748] ppid=24740 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24748/stat : 24748 (java) S 24740 24743 18196 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053986638352 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24749] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24749/stat : 24749 (java) S 24740 24743 18196 0 -1 1077944384 30 0 0 0 2 3 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053985585808 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24750] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24750/stat : 24750 (java) S 24740 24743 18196 0 -1 1077944384 33 0 0 0 2 3 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053984533264 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24751] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24751/stat : 24751 (java) S 24740 24743 18196 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053983480720 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24752] ppid=24740 vsize=13270076 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24752/stat : 24752 (java) S 24740 24743 18196 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053982428176 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24753] ppid=24740 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24753/stat : 24753 (java) S 24740 24743 18196 0 -1 1077944384 28 0 0 0 1 2 0 0 20 0 20 0 8760924 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053981375632 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24754] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24754/stat : 24754 (java) S 24740 24743 18196 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 8760926 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053920286704 140054389676674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24755] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24755/stat : 24755 (java) S 24740 24743 18196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 8760927 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053919232992 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24756] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24756/stat : 24756 (java) S 24740 24743 18196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 8760927 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053716132864 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24757] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24757/stat : 24757 (java) S 24740 24743 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8760931 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053715081424 140054389684123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24758] ppid=24740 vsize=13270076 CPUtime=2.03 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24758/stat : 24758 (java) S 24740 24743 18196 0 -1 1077944384 5017 0 0 0 203 0 0 0 20 0 20 0 8760931 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053714029040 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24759] ppid=24740 vsize=13270076 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24759/stat : 24759 (java) S 24740 24743 18196 0 -1 1077944384 5831 0 0 0 199 1 0 0 20 0 20 0 8760931 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053712976496 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24760] ppid=24740 vsize=13270076 CPUtime=2.18 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24760/stat : 24760 (java) R 24740 24743 18196 0 -1 4202560 7312 0 0 0 217 1 0 0 20 0 20 0 8760931 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053711924248 140054381954816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24761] ppid=24740 vsize=13270076 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24761/stat : 24761 (java) S 24740 24743 18196 0 -1 1077944384 3919 0 0 0 93 1 0 0 20 0 20 0 8760931 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053710871408 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24762] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24762/stat : 24762 (java) S 24740 24743 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8760931 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053709818080 140054389675733 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
[pid=24743/tid=24763] ppid=24740 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24743/task/24763/stat : 24763 (java) S 24740 24743 18196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 8760932 13588557824 73911 33554432000 4194304 4196468 140737047065072 140053708765616 140054389676674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14745600 140737047073931 140737047074116 140737047074116 140737047076815 0
Current children cumulated CPU time (s) 11.61
Current children cumulated vsize (KiB) 13270076
Child status: 0
Real time (s): 4.19831
CPU time (s): 11.7412
CPU user time (s): 11.3934
CPU system time (s): 0.347843
CPU usage (%): 279.665
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3934
system time used= 0.347843
maximum resident set size= 298616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36757
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3612
involuntary context switches= 771
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035662 second user time and 0.04012 second system time
The end