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-4245281-1500699761/watcher-4245281-1500699761 -o /tmp/evaluation-result-4245281-1500699761/solver-4245281-1500699761 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500683185-8690 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1531779831 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245281-1500699761.xml
pid=10912
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.32 1.40 1.40 3/263 10915
/proc/meminfo: memFree=31526896/32770624 swapFree=5896/104264
[pid=10915] ppid=10912 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (java) S 10912 10915 8659 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 5244529 369864704 1413 33554432000 4194304 4196468 140730564396896 140730564379440 140365071097591 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
/proc/10915/statm: 90299 1413 1072 1 0 79210 0
[pid=10915/tid=10916] ppid=10912 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10916/stat : 10916 (java) S 10912 10915 8659 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 5244530 369864704 1413 33554432000 4194304 4196468 140730564396896 140365075339680 140365071108738 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[startup+0.10014 s]
/proc/loadavg: 1.32 1.40 1.40 3/263 10915
/proc/meminfo: memFree=31526896/32770624 swapFree=5896/104264
[pid=10915] ppid=10912 vsize=13263912 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (java) S 10912 10915 8659 0 -1 1077944320 6828 0 0 0 10 1 0 0 20 0 20 0 5244529 13582245888 7101 33554432000 4194304 4196468 140730564396896 140730564379440 140365071097591 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
/proc/10915/statm: 3315978 7101 3407 1 0 3303698 0
[pid=10915/tid=10916] ppid=10912 vsize=13263912 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10916/stat : 10916 (java) R 10912 10915 8659 0 -1 4202560 4866 0 0 0 8 0 0 0 20 0 20 0 5244530 13582245888 7101 33554432000 4194304 4196468 140730564396896 140365075325632 140365071119517 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13263912
[startup+0.200309 s]
/proc/loadavg: 1.32 1.40 1.40 3/263 10915
/proc/meminfo: memFree=31526896/32770624 swapFree=5896/104264
[pid=10915] ppid=10912 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (java) S 10912 10915 8659 0 -1 1077944320 9321 0 0 0 26 2 0 0 20 0 20 0 5244529 13582245888 9731 33554432000 4194304 4196468 140730564396896 140730564379440 140365071097591 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
/proc/10915/statm: 3315978 9731 3599 1 0 3303698 0
[pid=10915/tid=10916] ppid=10912 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10916/stat : 10916 (java) R 10912 10915 8659 0 -1 4202560 6839 0 0 0 17 1 0 0 20 0 20 0 5244530 13582245888 9731 33554432000 4194304 4196468 140730564396896 140365075297344 140365071119517 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13263912
[startup+0.300272 s]
/proc/loadavg: 1.32 1.40 1.40 3/263 10915
/proc/meminfo: memFree=31526896/32770624 swapFree=5896/104264
[pid=10915] ppid=10912 vsize=13263932 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (java) S 10912 10915 8659 0 -1 1077944320 10456 0 0 0 45 2 0 0 20 0 20 0 5244529 13582266368 12160 33554432000 4194304 4196468 140730564396896 140730564379440 140365071097591 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
/proc/10915/statm: 3315983 12160 3702 1 0 3303698 0
[pid=10915/tid=10916] ppid=10912 vsize=13263932 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10916/stat : 10916 (java) R 10912 10915 8659 0 -1 4202560 7518 0 0 0 26 2 0 0 20 0 20 0 5244530 13582266368 12160 33554432000 4194304 4196468 140730564396896 140365075331888 140365055178078 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13263932
[startup+0.700213 s]
/proc/loadavg: 1.32 1.40 1.40 3/263 10915
/proc/meminfo: memFree=31526896/32770624 swapFree=5896/104264
[pid=10915] ppid=10912 vsize=13265980 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (java) S 10912 10915 8659 0 -1 1077944320 14845 0 0 0 140 5 0 0 20 0 20 0 5244529 13584363520 33962 33554432000 4194304 4196468 140730564396896 140730564379440 140365071097591 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
/proc/10915/statm: 3316495 33962 3772 1 0 3304210 0
[pid=10915/tid=10916] ppid=10912 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10916/stat : 10916 (java) R 10912 10915 8659 0 -1 4202560 8666 0 0 0 64 3 0 0 20 0 20 0 5244530 13584363520 33962 33554432000 4194304 4196468 140730564396896 140365075332744 140365071119517 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 13265980
[startup+1.5007 s]
/proc/loadavg: 1.37 1.41 1.41 6/283 10935
/proc/meminfo: memFree=31341156/32770624 swapFree=5896/104348
[pid=10915] ppid=10912 vsize=13270076 CPUtime=4.68 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (java) S 10912 10915 8659 0 -1 1077944320 22430 0 0 0 458 10 0 0 20 0 20 0 5244529 13588557824 55718 33554432000 4194304 4196468 140730564396896 140730564379440 140365071097591 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
/proc/10915/statm: 3317519 55718 3794 1 0 3305234 0
[pid=10915/tid=10916] ppid=10912 vsize=13270076 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10916/stat : 10916 (java) R 10912 10915 8659 0 -1 4202560 10562 0 0 0 140 5 0 0 20 0 20 0 5244530 13588557824 55718 33554432000 4194304 4196468 140730564396896 140365075334336 140365071118938 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10918] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10918/stat : 10918 (java) S 10912 10915 8659 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 5244531 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364670761744 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10919] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10919/stat : 10919 (java) S 10912 10915 8659 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 5244531 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364669709200 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10920] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10920/stat : 10920 (java) S 10912 10915 8659 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 5244531 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364668656656 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10921] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10921/stat : 10921 (java) S 10912 10915 8659 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 5244531 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364667604112 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10922] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10922/stat : 10922 (java) S 10912 10915 8659 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 5244531 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364666550544 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10923] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10923/stat : 10923 (java) S 10912 10915 8659 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 5244531 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364665498000 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10924] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10924/stat : 10924 (java) S 10912 10915 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5244531 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364664445456 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10925] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10925/stat : 10925 (java) S 10912 10915 8659 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 5244531 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364663392912 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10926] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10926/stat : 10926 (java) S 10912 10915 8659 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 5244532 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364265597424 140365071108738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10927] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10927/stat : 10927 (java) S 10912 10915 8659 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5244533 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364264543648 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10928] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10928/stat : 10928 (java) S 10912 10915 8659 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 5244533 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364263491056 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10929] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10929/stat : 10929 (java) S 10912 10915 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364262439632 140365071116187 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10930] ppid=10912 vsize=13270076 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10930/stat : 10930 (java) R 10912 10915 8659 0 -1 4202560 1715 0 0 0 69 0 0 0 20 0 20 0 5244536 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364261367240 140365055995277 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10931] ppid=10912 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10931/stat : 10931 (java) R 10912 10915 8659 0 -1 4202560 1953 0 0 0 75 0 0 0 20 0 20 0 5244536 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364260319872 140365050941199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10932] ppid=10912 vsize=13270076 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10932/stat : 10932 (java) R 10912 10915 8659 0 -1 4202560 2445 0 0 0 80 0 0 0 20 0 20 0 5244536 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364259262152 140365055497309 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10933] ppid=10912 vsize=13270076 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10933/stat : 10933 (java) R 10912 10915 8659 0 -1 4202560 4340 0 0 0 89 1 0 0 20 0 20 0 5244536 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364258227776 140365071109526 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10934] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10934/stat : 10934 (java) S 10912 10915 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364257176288 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10935] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10935/stat : 10935 (java) S 10912 10915 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 55718 33554432000 4194304 4196468 140730564396896 140364256123824 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 13270076
[startup+3.10086 s]
/proc/loadavg: 1.37 1.41 1.41 6/283 10935
/proc/meminfo: memFree=31306688/32770624 swapFree=5896/104376
[pid=10915] ppid=10912 vsize=13270076 CPUtime=8.94 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (java) S 10912 10915 8659 0 -1 1077944320 35590 0 0 0 878 16 0 0 20 0 20 0 5244529 13588557824 64140 33554432000 4194304 4196468 140730564396896 140730564379440 140365071097591 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
/proc/10915/statm: 3317519 64140 3812 1 0 3305234 0
[pid=10915/tid=10916] ppid=10912 vsize=13270076 CPUtime=3.03 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10916/stat : 10916 (java) R 10912 10915 8659 0 -1 4202560 11167 0 0 0 297 6 0 0 20 0 20 0 5244530 13588557824 64140 33554432000 4194304 4196468 140730564396896 140365075335552 140364718446685 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10918] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10918/stat : 10918 (java) S 10912 10915 8659 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364670761744 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10919] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10919/stat : 10919 (java) S 10912 10915 8659 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364669709200 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10920] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10920/stat : 10920 (java) S 10912 10915 8659 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 5244531 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364668656656 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10921] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10921/stat : 10921 (java) S 10912 10915 8659 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364667604112 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10922] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10922/stat : 10922 (java) S 10912 10915 8659 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364666550544 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10923] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10923/stat : 10923 (java) S 10912 10915 8659 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364665498000 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10924] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10924/stat : 10924 (java) S 10912 10915 8659 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364664445456 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10925] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10925/stat : 10925 (java) S 10912 10915 8659 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 5244531 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364663392912 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10926] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10926/stat : 10926 (java) S 10912 10915 8659 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 20 0 5244532 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364265597424 140365071108738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10927] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10927/stat : 10927 (java) S 10912 10915 8659 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 5244533 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364264543712 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10928] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10928/stat : 10928 (java) S 10912 10915 8659 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 5244533 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364263491072 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10929] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10929/stat : 10929 (java) S 10912 10915 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364262439632 140365071116187 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10930] ppid=10912 vsize=13270076 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10930/stat : 10930 (java) S 10912 10915 8659 0 -1 1077944384 4884 0 0 0 152 1 0 0 20 0 20 0 5244536 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364261386224 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10931] ppid=10912 vsize=13270076 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10931/stat : 10931 (java) S 10912 10915 8659 0 -1 1077944384 6396 0 0 0 159 1 0 0 20 0 20 0 5244536 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364260333680 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10932] ppid=10912 vsize=13270076 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10932/stat : 10932 (java) S 10912 10915 8659 0 -1 1077944384 6577 0 0 0 163 1 0 0 20 0 20 0 5244536 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364259281136 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10933] ppid=10912 vsize=13270076 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10933/stat : 10933 (java) S 10912 10915 8659 0 -1 1077944384 4443 0 0 0 93 1 0 0 20 0 20 0 5244536 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364258228592 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10934] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10934/stat : 10934 (java) S 10912 10915 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364257176288 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10935] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10935/stat : 10935 (java) S 10912 10915 8659 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 64140 33554432000 4194304 4196468 140730564396896 140364256123824 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
Current children cumulated CPU time (s) 8.94
Current children cumulated vsize (KiB) 13270076
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10915 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20108 s]
/proc/loadavg: 1.37 1.41 1.41 6/283 10935
/proc/meminfo: memFree=31306688/32770624 swapFree=5896/104376
[pid=10915] ppid=10912 vsize=13270076 CPUtime=9.05 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (java) S 10912 10915 8659 0 -1 1077944320 36185 0 0 0 889 16 0 0 20 0 20 0 5244529 13588557824 64166 33554432000 4194304 4196468 140730564396896 140730564379440 140365071097591 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
/proc/10915/statm: 3317519 64166 3812 1 0 3305234 0
[pid=10915/tid=10916] ppid=10912 vsize=13270076 CPUtime=3.13 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10916/stat : 10916 (java) R 10912 10915 8659 0 -1 4202560 11210 0 0 0 307 6 0 0 20 0 20 0 5244530 13588557824 64166 33554432000 4194304 4196468 140730564396896 140365075335552 140364718448068 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10918] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10918/stat : 10918 (java) S 10912 10915 8659 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364670761744 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10919] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10919/stat : 10919 (java) S 10912 10915 8659 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364669709200 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10920] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10920/stat : 10920 (java) S 10912 10915 8659 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 5244531 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364668656656 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10921] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10921/stat : 10921 (java) S 10912 10915 8659 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364667604112 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10922] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10922/stat : 10922 (java) S 10912 10915 8659 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364666550544 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10923] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10923/stat : 10923 (java) S 10912 10915 8659 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364665498000 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10924] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10924/stat : 10924 (java) S 10912 10915 8659 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364664445456 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10925] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10925/stat : 10925 (java) S 10912 10915 8659 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 5244531 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364663392912 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10926] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10926/stat : 10926 (java) S 10912 10915 8659 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 20 0 5244532 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364265597424 140365071108738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10927] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10927/stat : 10927 (java) S 10912 10915 8659 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 5244533 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364264543712 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10928] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10928/stat : 10928 (java) S 10912 10915 8659 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 5244533 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364263491072 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10929] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10929/stat : 10929 (java) S 10912 10915 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364262439632 140365071116187 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10930] ppid=10912 vsize=13270076 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10930/stat : 10930 (java) S 10912 10915 8659 0 -1 1077944384 4885 0 0 0 152 1 0 0 20 0 20 0 5244536 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364261386224 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10931] ppid=10912 vsize=13270076 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10931/stat : 10931 (java) R 10912 10915 8659 0 -1 4202560 6943 0 0 0 160 1 0 0 20 0 20 0 5244536 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364260333976 140365050941204 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10932] ppid=10912 vsize=13270076 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10932/stat : 10932 (java) S 10912 10915 8659 0 -1 1077944384 6578 0 0 0 163 1 0 0 20 0 20 0 5244536 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364259281136 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10933] ppid=10912 vsize=13270076 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10933/stat : 10933 (java) S 10912 10915 8659 0 -1 1077944384 4446 0 0 0 93 1 0 0 20 0 20 0 5244536 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364258228592 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10934] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10934/stat : 10934 (java) S 10912 10915 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364257176288 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10935] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10935/stat : 10935 (java) S 10912 10915 8659 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 64166 33554432000 4194304 4196468 140730564396896 140364256123824 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
Current children cumulated CPU time (s) 9.05
Current children cumulated vsize (KiB) 13270076
[startup+3.60087 s]
/proc/loadavg: 1.37 1.41 1.41 3/283 10935
/proc/meminfo: memFree=31285140/32770624 swapFree=5896/104376
[pid=10915] ppid=10912 vsize=13270076 CPUtime=9.5 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (java) S 10912 10915 8659 0 -1 1077944320 36461 0 0 0 934 16 0 0 20 0 20 0 5244529 13588557824 64169 33554432000 4194304 4196468 140730564396896 140730564379440 140365071097591 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
/proc/10915/statm: 3317519 64169 3812 1 0 3305234 0
[pid=10915/tid=10916] ppid=10912 vsize=13270076 CPUtime=3.53 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10916/stat : 10916 (java) R 10912 10915 8659 0 -1 4202560 11354 0 0 0 347 6 0 0 20 0 20 0 5244530 13588557824 64169 33554432000 4194304 4196468 140730564396896 140365075335848 140364719050570 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10918] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10918/stat : 10918 (java) S 10912 10915 8659 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364670761744 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10919] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10919/stat : 10919 (java) S 10912 10915 8659 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364669709200 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10920] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10920/stat : 10920 (java) S 10912 10915 8659 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 5244531 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364668656656 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10921] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10921/stat : 10921 (java) S 10912 10915 8659 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364667604112 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10922] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10922/stat : 10922 (java) S 10912 10915 8659 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364666550544 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10923] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10923/stat : 10923 (java) S 10912 10915 8659 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364665498000 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10924] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10924/stat : 10924 (java) S 10912 10915 8659 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 20 0 5244531 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364664445456 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10925] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10925/stat : 10925 (java) S 10912 10915 8659 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 5244531 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364663392912 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10926] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10926/stat : 10926 (java) S 10912 10915 8659 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 20 0 5244532 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364265597424 140365071108738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10927] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10927/stat : 10927 (java) S 10912 10915 8659 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 5244533 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364264543712 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10928] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10928/stat : 10928 (java) S 10912 10915 8659 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 5244533 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364263491072 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10929] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10929/stat : 10929 (java) S 10912 10915 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364262439632 140365071116187 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10930] ppid=10912 vsize=13270076 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10930/stat : 10930 (java) S 10912 10915 8659 0 -1 1077944384 4885 0 0 0 152 1 0 0 20 0 20 0 5244536 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364261386224 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10931] ppid=10912 vsize=13270076 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10931/stat : 10931 (java) S 10912 10915 8659 0 -1 1077944384 7047 0 0 0 164 1 0 0 20 0 20 0 5244536 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364260333680 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10932] ppid=10912 vsize=13270076 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10932/stat : 10932 (java) S 10912 10915 8659 0 -1 1077944384 6580 0 0 0 163 1 0 0 20 0 20 0 5244536 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364259281136 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10933] ppid=10912 vsize=13270076 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10933/stat : 10933 (java) S 10912 10915 8659 0 -1 1077944384 4472 0 0 0 93 1 0 0 20 0 20 0 5244536 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364258228592 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10934] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10934/stat : 10934 (java) S 10912 10915 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364257176288 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10935] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10935/stat : 10935 (java) S 10912 10915 8659 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 64169 33554432000 4194304 4196468 140730564396896 140364256123824 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
Current children cumulated CPU time (s) 9.5
Current children cumulated vsize (KiB) 13270076
[startup+3.70086 s]
/proc/loadavg: 1.37 1.41 1.41 3/283 10935
/proc/meminfo: memFree=31285140/32770624 swapFree=5896/104376
[pid=10915] ppid=10912 vsize=13270076 CPUtime=9.71 cores=0,2,4,6,8,10,12,14
/proc/10915/stat : 10915 (java) S 10912 10915 8659 0 -1 1077944320 37985 0 0 0 947 24 0 0 20 0 20 0 5244529 13588557824 67835 33554432000 4194304 4196468 140730564396896 140730564379440 140365071097591 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
/proc/10915/statm: 3317519 67835 3812 1 0 3305234 0
[pid=10915/tid=10916] ppid=10912 vsize=13270076 CPUtime=3.61 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10916/stat : 10916 (java) R 10912 10915 8659 0 -1 4202560 11363 0 0 0 355 6 0 0 20 0 20 0 5244530 13588557824 67835 33554432000 4194304 4196468 140730564396896 140365075336080 140364718943364 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10918] ppid=10912 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10918/stat : 10918 (java) S 10912 10915 8659 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 20 0 5244531 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364670761744 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10919] ppid=10912 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10919/stat : 10919 (java) S 10912 10915 8659 0 -1 1077944384 1197 0 0 0 2 1 0 0 20 0 20 0 5244531 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364669709200 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10920] ppid=10912 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10920/stat : 10920 (java) S 10912 10915 8659 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 20 0 5244531 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364668656656 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10921] ppid=10912 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10921/stat : 10921 (java) S 10912 10915 8659 0 -1 1077944384 63 0 0 0 2 1 0 0 20 0 20 0 5244531 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364667604112 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10922] ppid=10912 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10922/stat : 10922 (java) S 10912 10915 8659 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 20 0 5244531 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364666550544 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10923] ppid=10912 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10923/stat : 10923 (java) S 10912 10915 8659 0 -1 1077944384 55 0 0 0 2 1 0 0 20 0 20 0 5244531 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364665498000 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10924] ppid=10912 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10924/stat : 10924 (java) S 10912 10915 8659 0 -1 1077944384 438 0 0 0 1 1 0 0 20 0 20 0 5244531 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364664445456 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10925] ppid=10912 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10925/stat : 10925 (java) S 10912 10915 8659 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 20 0 5244531 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364663392912 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10926] ppid=10912 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10926/stat : 10926 (java) S 10912 10915 8659 0 -1 1077944384 292 0 0 0 1 0 0 0 20 0 20 0 5244532 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364265597424 140365071108738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10927] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10927/stat : 10927 (java) S 10912 10915 8659 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 5244533 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364264543712 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10928] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10928/stat : 10928 (java) S 10912 10915 8659 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 5244533 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364263491072 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10929] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10929/stat : 10929 (java) S 10912 10915 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364262439632 140365071116187 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10930] ppid=10912 vsize=13270076 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10930/stat : 10930 (java) S 10912 10915 8659 0 -1 1077944384 4885 0 0 0 152 1 0 0 20 0 20 0 5244536 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364261386224 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10931] ppid=10912 vsize=13270076 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10931/stat : 10931 (java) S 10912 10915 8659 0 -1 1077944384 7047 0 0 0 164 1 0 0 20 0 20 0 5244536 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364260333680 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10932] ppid=10912 vsize=13270076 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10932/stat : 10932 (java) S 10912 10915 8659 0 -1 1077944384 6580 0 0 0 163 1 0 0 20 0 20 0 5244536 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364259281136 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10933] ppid=10912 vsize=13270076 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10933/stat : 10933 (java) S 10912 10915 8659 0 -1 1077944384 4472 0 0 0 93 1 0 0 20 0 20 0 5244536 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364258228592 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10934] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10934/stat : 10934 (java) S 10912 10915 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364257176288 140365071107797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
[pid=10915/tid=10935] ppid=10912 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10915/task/10935/stat : 10935 (java) S 10912 10915 8659 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5244536 13588557824 67835 33554432000 4194304 4196468 140730564396896 140364256123824 140365071108738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140730564404361 140730564404548 140730564404548 140730564407247 0
Current children cumulated CPU time (s) 9.71
Current children cumulated vsize (KiB) 13270076
Child status: 0
Real time (s): 3.7967
CPU time (s): 9.82014
CPU user time (s): 9.56757
CPU system time (s): 0.252572
CPU usage (%): 258.649
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.56757
system time used= 0.252572
maximum resident set size= 272196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38956
page faults= 0
swaps= 0
block input operations= 128
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3969
involuntary context switches= 652
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031665 second user time and 0.04156 second system time
The end