runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (3801 MiB free)
memory of node 1: 16384 MiB (7788 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295584-1532569386/watcher-4295584-1532569386 -o /tmp/evaluation-result-4295584-1532569386/solver-4295584-1532569386 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31453 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1466860127 -superng HOME/instance-4295584-1532569386.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4957, runsolver pid=4954
[startup+0.10009 s]*
/proc/loadavg: 1.32 1.38 1.39 3/207 5014
/proc/meminfo: memFree=11863520/32770624 swapFree=67108860/67108860
[pid=4957] ppid=4954 vsize=9972712 memory=16428 CPUtime=0.1 cores=1,3,5,7
/proc/4957/stat : 4957 (java) S 4954 4957 31421 0 -1 1077944320 4263 13404 0 0 1 1 5 3 20 0 6 0 74501764 10212057088 4107 33554432000 4194304 4196468 140726210928288 140726210910832 139668573224695 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
/proc/4957/statm: 2493178 4107 1930 1 0 2481616 0
[pid=4957/tid=5010] ppid=4954 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5010/stat : 5010 (java) R 4954 4957 31421 0 -1 4202560 2089 13404 0 0 0 0 5 3 20 0 6 0 74501773 10212057088 4107 33554432000 4194304 4196468 140726210928288 139668545061456 139668557305182 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5011] ppid=4954 vsize=9972712 memory=7948963741541478447 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5011/stat : 5011 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 6 0 74501773 10212057088 4107 33554432000 4194304 4196468 140726210928288 139668577466896 139668573234901 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5012] ppid=4954 vsize=9972712 memory=139697345021568 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5012/stat : 5012 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 6 0 74501773 10212057088 4107 33554432000 4194304 4196468 140726210928288 139668146719376 139668573234901 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5013] ppid=4954 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5013/stat : 5013 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 6 0 74501773 10212057088 4107 33554432000 4194304 4196468 140726210928288 139668145666320 139668573234901 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5014] ppid=4954 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5014/stat : 5014 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 6 0 74501773 10212057088 4107 33554432000 4194304 4196468 140726210928288 139668144613776 139668573234901 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16428 KiB
[startup+0.209876 s]*
/proc/loadavg: 1.32 1.38 1.39 2/216 5023
/proc/meminfo: memFree=11834788/32770624 swapFree=67108860/67108860
[pid=4957] ppid=4954 vsize=10818856 memory=43880 CPUtime=0.27 cores=1,3,5,7
/proc/4957/stat : 4957 (java) S 4954 4957 31421 0 -1 1077944320 8358 13404 0 0 16 3 5 3 20 0 15 0 74501764 11078508544 10970 33554432000 4194304 4196468 140726210928288 140726210910832 139668573224695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
/proc/4957/statm: 2704714 10970 2954 1 0 2667149 0
[pid=4957/tid=5010] ppid=4954 vsize=10818856 memory=-8171376296011865461 CPUtime=0.19 cores=1,3,5,7
/proc/4957/task/5010/stat : 5010 (java) R 4954 4957 31421 0 -1 4202560 4897 13404 0 0 9 2 5 3 20 0 15 0 74501773 11078508544 10970 33554432000 4194304 4196468 140726210928288 139668545022352 139668554789686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5011] ppid=4954 vsize=10818856 memory=7948963741541478447 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5011/stat : 5011 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501773 11078508544 10970 33554432000 4194304 4196468 140726210928288 139668577466896 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5012] ppid=4954 vsize=10818856 memory=139697345021568 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5012/stat : 5012 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501773 11078508544 10970 33554432000 4194304 4196468 140726210928288 139668146719376 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5013] ppid=4954 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5013/stat : 5013 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501773 11078508544 10970 33554432000 4194304 4196468 140726210928288 139668145666320 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5014] ppid=4954 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5014/stat : 5014 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501773 11078508544 10970 33554432000 4194304 4196468 140726210928288 139668144613776 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5015] ppid=4954 vsize=10818856 memory=139697345021568 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5015/stat : 5015 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501775 11078508544 10970 33554432000 4194304 4196468 140726210928288 139668032666352 139668573235842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5016] ppid=4954 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5016/stat : 5016 (java) S 4954 4957 31421 0 -1 1077944384 33 13404 0 0 0 0 5 3 20 0 15 0 74501775 11078508544 10970 33554432000 4194304 4196468 140726210928288 139668031612576 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5017] ppid=4954 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5017/stat : 5017 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501775 11078508544 10970 33554432000 4194304 4196468 140726210928288 139667907273968 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5018] ppid=4954 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5018/stat : 5018 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501778 11078508544 10970 33554432000 4194304 4196468 140726210928288 139667303295440 139668573243291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5019] ppid=4954 vsize=10818856 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4957/task/5019/stat : 5019 (java) S 4954 4957 31421 0 -1 1077944384 546 13404 0 0 1 0 5 3 20 0 15 0 74501778 11078508544 10970 33554432000 4194304 4196468 140726210928288 139667998054640 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5020] ppid=4954 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5020/stat : 5020 (java) S 4954 4957 31421 0 -1 1077944384 59 13404 0 0 0 0 5 3 20 0 15 0 74501778 11078508544 10970 33554432000 4194304 4196468 140726210928288 139667997002096 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5021] ppid=4954 vsize=10818856 memory=139697345021568 CPUtime=0.11 cores=1,3,5,7
/proc/4957/task/5021/stat : 5021 (java) S 4954 4957 31421 0 -1 1077944384 621 13404 0 0 3 0 5 3 20 0 15 0 74501778 11078508544 10970 33554432000 4194304 4196468 140726210928288 139667995949040 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5022] ppid=4954 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5022/stat : 5022 (java) S 4954 4957 31421 0 -1 1077944384 3 13404 0 0 0 0 5 3 20 0 15 0 74501778 11078508544 10970 33554432000 4194304 4196468 140726210928288 139666833533280 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5023] ppid=4954 vsize=10818856 memory=139697345021568 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5023/stat : 5023 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501779 11078508544 10970 33554432000 4194304 4196468 140726210928288 139667994897456 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 43880 KiB
[startup+0.310266 s]*
/proc/loadavg: 1.32 1.38 1.39 3/216 5023
/proc/meminfo: memFree=11826476/32770624 swapFree=67108860/67108860
[pid=4957] ppid=4954 vsize=10819352 memory=55212 CPUtime=0.39 cores=1,3,5,7
/proc/4957/stat : 4957 (java) S 4954 4957 31421 0 -1 1077944320 10405 13404 0 0 28 3 5 3 20 0 15 0 74501764 11079016448 13803 33554432000 4194304 4196468 140726210928288 140726210910832 139668573224695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
/proc/4957/statm: 2704838 13803 3085 1 0 2667149 0
[pid=4957/tid=5010] ppid=4954 vsize=10819352 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/4957/task/5010/stat : 5010 (java) R 4954 4957 31421 0 -1 4202560 6922 13404 0 0 19 2 5 3 20 0 15 0 74501773 11079016448 13803 33554432000 4194304 4196468 140726210928288 139668545036704 139668557305182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5011] ppid=4954 vsize=10819352 memory=-8389222452898340213 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5011/stat : 5011 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501773 11079016448 13803 33554432000 4194304 4196468 140726210928288 139668577466896 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5012] ppid=4954 vsize=10819352 memory=1328725297981317182 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5012/stat : 5012 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501773 11079016448 13803 33554432000 4194304 4196468 140726210928288 139668146719376 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5013] ppid=4954 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5013/stat : 5013 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501773 11079016448 13803 33554432000 4194304 4196468 140726210928288 139668145666320 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5014] ppid=4954 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5014/stat : 5014 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501773 11079016448 13803 33554432000 4194304 4196468 140726210928288 139668144613776 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5015] ppid=4954 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5015/stat : 5015 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501775 11079016448 13803 33554432000 4194304 4196468 140726210928288 139668032666352 139668573235842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5016] ppid=4954 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5016/stat : 5016 (java) S 4954 4957 31421 0 -1 1077944384 33 13404 0 0 0 0 5 3 20 0 15 0 74501775 11079016448 13803 33554432000 4194304 4196468 140726210928288 139668031612576 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5017] ppid=4954 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5017/stat : 5017 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501775 11079016448 13803 33554432000 4194304 4196468 140726210928288 139667907273968 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5018] ppid=4954 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5018/stat : 5018 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501778 11079016448 13803 33554432000 4194304 4196468 140726210928288 139667303295440 139668573243291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5019] ppid=4954 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4957/task/5019/stat : 5019 (java) S 4954 4957 31421 0 -1 1077944384 551 13404 0 0 2 0 5 3 20 0 15 0 74501778 11079016448 13803 33554432000 4194304 4196468 140726210928288 139667998054640 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5020] ppid=4954 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4957/task/5020/stat : 5020 (java) R 4954 4957 31421 0 -1 4202560 62 13404 0 0 1 0 5 3 20 0 15 0 74501778 11079016448 13803 33554432000 4194304 4196468 140726210928288 139667997002096 139668556724860 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5021] ppid=4954 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4957/task/5021/stat : 5021 (java) R 4954 4957 31421 0 -1 4202560 647 13404 0 0 4 0 5 3 20 0 15 0 74501778 11079016448 13803 33554432000 4194304 4196468 140726210928288 139667995949040 139668573246042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5022] ppid=4954 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5022/stat : 5022 (java) S 4954 4957 31421 0 -1 1077944384 3 13404 0 0 0 0 5 3 20 0 15 0 74501778 11079016448 13803 33554432000 4194304 4196468 140726210928288 139666833533280 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5023] ppid=4954 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5023/stat : 5023 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501779 11079016448 13803 33554432000 4194304 4196468 140726210928288 139667994897456 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55212 KiB
[startup+0.700705 s]
/proc/loadavg: 1.32 1.38 1.39 3/216 5023
/proc/meminfo: memFree=11814816/32770624 swapFree=67108860/67108860
[pid=4957] ppid=4954 vsize=10819352 memory=88648 CPUtime=1 cores=1,3,5,7
/proc/4957/stat : 4957 (java) S 4954 4957 31421 0 -1 1077944320 16778 13404 0 0 87 5 5 3 20 0 15 0 74501764 11079016448 22162 33554432000 4194304 4196468 140726210928288 140726210910832 139668573224695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
/proc/4957/statm: 2704838 22162 3239 1 0 2667149 0
[pid=4957/tid=5010] ppid=4954 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/4957/task/5010/stat : 5010 (java) R 4954 4957 31421 0 -1 4202560 12221 13404 0 0 55 3 5 3 20 0 15 0 74501773 11079016448 22162 33554432000 4194304 4196468 140726210928288 139668545045520 139668556411504 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5011] ppid=4954 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5011/stat : 5011 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501773 11079016448 22162 33554432000 4194304 4196468 140726210928288 139668577466896 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5012] ppid=4954 vsize=10819352 memory=8458433173657040949 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5012/stat : 5012 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501773 11079016448 22162 33554432000 4194304 4196468 140726210928288 139668146719376 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5013] ppid=4954 vsize=10819352 memory=7156871068434846306 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5013/stat : 5013 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501773 11079016448 22162 33554432000 4194304 4196468 140726210928288 139668145666320 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5014] ppid=4954 vsize=10819352 memory=4639059877604708710 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5014/stat : 5014 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501773 11079016448 22162 33554432000 4194304 4196468 140726210928288 139668144613776 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5015] ppid=4954 vsize=10819352 memory=3467824627880452160 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5015/stat : 5015 (java) S 4954 4957 31421 0 -1 1077944384 5 13404 0 0 0 0 5 3 20 0 15 0 74501775 11079016448 22162 33554432000 4194304 4196468 140726210928288 139668032666352 139668573235842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5016] ppid=4954 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5016/stat : 5016 (java) S 4954 4957 31421 0 -1 1077944384 33 13404 0 0 0 0 5 3 20 0 15 0 74501775 11079016448 22162 33554432000 4194304 4196468 140726210928288 139668031612576 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5017] ppid=4954 vsize=10819352 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5017/stat : 5017 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501775 11079016448 22162 33554432000 4194304 4196468 140726210928288 139667907273968 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5018] ppid=4954 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5018/stat : 5018 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501778 11079016448 22162 33554432000 4194304 4196468 140726210928288 139667303295440 139668573243291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5019] ppid=4954 vsize=10819352 memory=2244 CPUtime=0.15 cores=1,3,5,7
/proc/4957/task/5019/stat : 5019 (java) S 4954 4957 31421 0 -1 1077944384 810 13404 0 0 7 0 5 3 20 0 15 0 74501778 11079016448 22162 33554432000 4194304 4196468 140726210928288 139667998054640 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5020] ppid=4954 vsize=10819352 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/4957/task/5020/stat : 5020 (java) S 4954 4957 31421 0 -1 1077944384 691 13404 0 0 10 0 5 3 20 0 15 0 74501778 11079016448 22162 33554432000 4194304 4196468 140726210928288 139667997002096 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5021] ppid=4954 vsize=10819352 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/4957/task/5021/stat : 5021 (java) S 4954 4957 31421 0 -1 1077944384 818 13404 0 0 13 0 5 3 20 0 15 0 74501778 11079016448 22162 33554432000 4194304 4196468 140726210928288 139667995949040 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5022] ppid=4954 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5022/stat : 5022 (java) S 4954 4957 31421 0 -1 1077944384 3 13404 0 0 0 0 5 3 20 0 15 0 74501778 11079016448 22162 33554432000 4194304 4196468 140726210928288 139666833533280 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5023] ppid=4954 vsize=10819352 memory=30305 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5023/stat : 5023 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501779 11079016448 22162 33554432000 4194304 4196468 140726210928288 139667994897456 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88648 KiB
[startup+1.50834 s]
/proc/loadavg: 1.32 1.38 1.39 3/216 5023
/proc/meminfo: memFree=11767180/32770624 swapFree=67108860/67108860
[pid=4957] ppid=4954 vsize=10830156 memory=236032 CPUtime=2.97 cores=1,3,5,7
/proc/4957/stat : 4957 (java) S 4954 4957 31421 0 -1 1077944320 23870 13404 0 0 280 9 5 3 20 0 15 0 74501764 11090079744 59008 33554432000 4194304 4196468 140726210928288 140726210910832 139668573224695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
/proc/4957/statm: 2707539 59008 3456 1 0 2669197 0
[pid=4957/tid=5010] ppid=4954 vsize=10830156 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/4957/task/5010/stat : 5010 (java) R 4954 4957 31421 0 -1 4202560 16123 13404 0 0 131 6 5 3 20 0 15 0 74501773 11090079744 59008 33554432000 4194304 4196468 140726210928288 139668545048880 139668558918299 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5011] ppid=4954 vsize=10830156 memory=124 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5011/stat : 5011 (java) S 4954 4957 31421 0 -1 1077944384 55 13404 0 0 0 0 5 3 20 0 15 0 74501773 11090079744 59008 33554432000 4194304 4196468 140726210928288 139668577466896 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5012] ppid=4954 vsize=10830156 memory=78 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5012/stat : 5012 (java) S 4954 4957 31421 0 -1 1077944384 11 13404 0 0 0 0 5 3 20 0 15 0 74501773 11090079744 59008 33554432000 4194304 4196468 140726210928288 139668146719376 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5013] ppid=4954 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5013/stat : 5013 (java) S 4954 4957 31421 0 -1 1077944384 30 13404 0 0 0 0 5 3 20 0 15 0 74501773 11090079744 59008 33554432000 4194304 4196468 140726210928288 139668145666320 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5014] ppid=4954 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5014/stat : 5014 (java) S 4954 4957 31421 0 -1 1077944384 296 13404 0 0 0 0 5 3 20 0 15 0 74501773 11090079744 59008 33554432000 4194304 4196468 140726210928288 139668144613776 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5015] ppid=4954 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5015/stat : 5015 (java) S 4954 4957 31421 0 -1 1077944384 32 13404 0 0 0 0 5 3 20 0 15 0 74501775 11090079744 59008 33554432000 4194304 4196468 140726210928288 139668032666352 139668573235842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5016] ppid=4954 vsize=10830156 memory=139697233870949 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5016/stat : 5016 (java) S 4954 4957 31421 0 -1 1077944384 33 13404 0 0 0 0 5 3 20 0 15 0 74501775 11090079744 59008 33554432000 4194304 4196468 140726210928288 139668031612576 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5017] ppid=4954 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5017/stat : 5017 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501775 11090079744 59008 33554432000 4194304 4196468 140726210928288 139667907273968 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5018] ppid=4954 vsize=10830156 memory=2986632698767059817 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5018/stat : 5018 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501778 11090079744 59008 33554432000 4194304 4196468 140726210928288 139667303295440 139668573243291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5019] ppid=4954 vsize=10830156 memory=-2127758831769968631 CPUtime=0.52 cores=1,3,5,7
/proc/4957/task/5019/stat : 5019 (java) S 4954 4957 31421 0 -1 1077944384 1527 13404 0 0 44 0 5 3 20 0 15 0 74501778 11090079744 59008 33554432000 4194304 4196468 140726210928288 139667998054640 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5020] ppid=4954 vsize=10830156 memory=-2897801490638248331 CPUtime=0.63 cores=1,3,5,7
/proc/4957/task/5020/stat : 5020 (java) R 4954 4957 31421 0 -1 4202560 1471 13404 0 0 55 0 5 3 20 0 15 0 74501778 11090079744 59008 33554432000 4194304 4196468 140726210928288 139667996991168 139668553924266 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5021] ppid=4954 vsize=10830156 memory=-2746958450906831519 CPUtime=0.53 cores=1,3,5,7
/proc/4957/task/5021/stat : 5021 (java) S 4954 4957 31421 0 -1 1077944384 2096 13404 0 0 44 1 5 3 20 0 15 0 74501778 11090079744 59008 33554432000 4194304 4196468 140726210928288 139667995949040 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5022] ppid=4954 vsize=10830156 memory=-6368229864023400332 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5022/stat : 5022 (java) S 4954 4957 31421 0 -1 1077944384 3 13404 0 0 0 0 5 3 20 0 15 0 74501778 11090079744 59008 33554432000 4194304 4196468 140726210928288 139666833533280 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5023] ppid=4954 vsize=10830156 memory=64 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5023/stat : 5023 (java) S 4954 4957 31421 0 -1 1077944384 1 13404 0 0 0 0 5 3 20 0 15 0 74501779 11090079744 59008 33554432000 4194304 4196468 140726210928288 139667994897456 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/4957/task/5010/stat : 5010 (java) R 4954 4957 31421 0 -1 4202560 97775 13404 0 0 236138 49 5 3 20 0 15 0 74501773 11176083456 286902 33554432000 4194304 4196468 140726210928288 139668545058640 139668192528774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5011] ppid=4954 vsize=10914144 memory=1147528 CPUtime=9.49 cores=1,3,5,7
/proc/4957/task/5011/stat : 5011 (java) S 4954 4957 31421 0 -1 1077944384 17408 13404 0 0 890 51 5 3 20 0 15 0 74501773 11176083456 286902 33554432000 4194304 4196468 140726210928288 139668577466896 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5012] ppid=4954 vsize=10914144 memory=1147528 CPUtime=9.47 cores=1,3,5,7
/proc/4957/task/5012/stat : 5012 (java) S 4954 4957 31421 0 -1 1077944384 14671 13404 0 0 889 50 5 3 20 0 15 0 74501773 11176083456 286902 33554432000 4194304 4196468 140726210928288 139668146719376 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5013] ppid=4954 vsize=10914144 memory=1147528 CPUtime=9.49 cores=1,3,5,7
/proc/4957/task/5013/stat : 5013 (java) S 4954 4957 31421 0 -1 1077944384 17256 13404 0 0 898 43 5 3 20 0 15 0 74501773 11176083456 286902 33554432000 4194304 4196468 140726210928288 139668145666320 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5014] ppid=4954 vsize=10914144 memory=4140 CPUtime=9.49 cores=1,3,5,7
/proc/4957/task/5014/stat : 5014 (java) S 4954 4957 31421 0 -1 1077944384 17558 13404 0 0 890 51 5 3 20 0 15 0 74501773 11176083456 286902 33554432000 4194304 4196468 140726210928288 139668144613776 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5015] ppid=4954 vsize=10914144 memory=22376 CPUtime=8.81 cores=1,3,5,7
/proc/4957/task/5015/stat : 5015 (java) S 4954 4957 31421 0 -1 1077944384 17016 13404 0 0 826 47 5 3 20 0 15 0 74501775 11176083456 286902 33554432000 4194304 4196468 140726210928288 139668032666352 139668573235842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5016] ppid=4954 vsize=10914144 memory=1796 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5016/stat : 5016 (java) S 4954 4957 31421 0 -1 1077944384 38 13404 0 0 0 0 5 3 20 0 15 0 74501775 11176083456 286902 33554432000 4194304 4196468 140726210928288 139668031612704 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5017] ppid=4954 vsize=10914144 memory=640 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5017/stat : 5017 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501775 11176083456 286902 33554432000 4194304 4196468 140726210928288 139667907273984 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5018] ppid=4954 vsize=10914144 memory=1147516 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5018/stat : 5018 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501778 11176083456 286902 33554432000 4194304 4196468 140726210928288 139667303295440 139668573243291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5019] ppid=4954 vsize=10914144 memory=1147516 CPUtime=4.42 cores=1,3,5,7
/proc/4957/task/5019/stat : 5019 (java) S 4954 4957 31421 0 -1 1077944384 17644 13404 0 0 432 2 5 3 20 0 15 0 74501778 11176083456 286902 33554432000 4194304 4196468 140726210928288 139667998054640 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5020] ppid=4954 vsize=10914144 memory=1145384 CPUtime=5.39 cores=1,3,5,7
/proc/4957/task/5020/stat : 5020 (java) S 4954 4957 31421 0 -1 1077944384 31805 13404 0 0 527 4 5 3 20 0 15 0 74501778 11176083456 286902 33554432000 4194304 4196468 140726210928288 139667997002096 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5021] ppid=4954 vsize=10914144 memory=952 CPUtime=2.06 cores=1,3,5,7
/proc/4957/task/5021/stat : 5021 (java) S 4954 4957 31421 0 -1 1077944384 25138 13404 0 0 191 7 5 3 20 0 15 0 74501778 11176083456 286902 33554432000 4194304 4196468 140726210928288 139667995949040 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5022] ppid=4954 vsize=10914144 memory=1236 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5022/stat : 5022 (java) S 4954 4957 31421 0 -1 1077944384 3 13404 0 0 0 0 5 3 20 0 15 0 74501778 11176083456 286902 33554432000 4194304 4196468 140726210928288 139666833533280 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5023] ppid=4954 vsize=10914144 memory=2340 CPUtime=1.39 cores=1,3,5,7
/proc/4957/task/5023/stat : 5023 (java) S 4954 4957 31421 0 -1 1077944384 1236 13404 0 0 62 69 5 3 20 0 15 0 74501779 11176083456 286902 33554432000 4194304 4196468 140726210928288 139667994897456 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
Current children cumulated CPU time: 2421.34 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1147608 KiB
[startup+2442.3 s]
/proc/loadavg: 1.17 1.28 1.31 3/217 5247
/proc/meminfo: memFree=10827368/32770624 swapFree=67108860/67108860
[pid=4957] ppid=4954 vsize=10914144 memory=1147660 CPUtime=2482.03 cores=1,3,5,7
/proc/4957/stat : 4957 (java) S 4954 4957 31421 0 -1 1077944320 260944 13404 0 0 247870 325 5 3 20 0 15 0 74501764 11176083456 286915 33554432000 4194304 4196468 140726210928288 140726210910832 139668573224695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
/proc/4957/statm: 2728536 286915 3522 1 0 2690189 0
[pid=4957/tid=5010] ppid=4954 vsize=10914144 memory=1147660 CPUtime=2421.44 cores=1,3,5,7
/proc/4957/task/5010/stat : 5010 (java) R 4954 4957 31421 0 -1 4202560 98302 13404 0 0 242087 49 5 3 20 0 15 0 74501773 11176083456 286915 33554432000 4194304 4196468 140726210928288 139668545058336 139668193632592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5011] ppid=4954 vsize=10914144 memory=1147660 CPUtime=9.72 cores=1,3,5,7
/proc/4957/task/5011/stat : 5011 (java) S 4954 4957 31421 0 -1 1077944384 17707 13404 0 0 912 52 5 3 20 0 15 0 74501773 11176083456 286915 33554432000 4194304 4196468 140726210928288 139668577466896 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5012] ppid=4954 vsize=10914144 memory=1147660 CPUtime=9.7 cores=1,3,5,7
/proc/4957/task/5012/stat : 5012 (java) S 4954 4957 31421 0 -1 1077944384 14725 13404 0 0 911 51 5 3 20 0 15 0 74501773 11176083456 286915 33554432000 4194304 4196468 140726210928288 139668146719376 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5013] ppid=4954 vsize=10914144 memory=1147660 CPUtime=9.73 cores=1,3,5,7
/proc/4957/task/5013/stat : 5013 (java) S 4954 4957 31421 0 -1 1077944384 17335 13404 0 0 920 45 5 3 20 0 15 0 74501773 11176083456 286915 33554432000 4194304 4196468 140726210928288 139668145666320 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5014] ppid=4954 vsize=10914144 memory=1147660 CPUtime=9.72 cores=1,3,5,7
/proc/4957/task/5014/stat : 5014 (java) S 4954 4957 31421 0 -1 1077944384 17572 13404 0 0 912 52 5 3 20 0 15 0 74501773 11176083456 286915 33554432000 4194304 4196468 140726210928288 139668144613776 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5015] ppid=4954 vsize=10914144 memory=8112282956445269571 CPUtime=9.03 cores=1,3,5,7
/proc/4957/task/5015/stat : 5015 (java) S 4954 4957 31421 0 -1 1077944384 17218 13404 0 0 847 48 5 3 20 0 15 0 74501775 11176083456 286915 33554432000 4194304 4196468 140726210928288 139668032666352 139668573235842 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5016] ppid=4954 vsize=10914144 memory=1040528 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5016/stat : 5016 (java) S 4954 4957 31421 0 -1 1077944384 38 13404 0 0 0 0 5 3 20 0 15 0 74501775 11176083456 286915 33554432000 4194304 4196468 140726210928288 139668031612704 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5017] ppid=4954 vsize=10914144 memory=1147660 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5017/stat : 5017 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501775 11176083456 286915 33554432000 4194304 4196468 140726210928288 139667907273984 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5018] ppid=4954 vsize=10914144 memory=1147660 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5018/stat : 5018 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501778 11176083456 286915 33554432000 4194304 4196468 140726210928288 139667303295440 139668573243291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5019] ppid=4954 vsize=10914144 memory=1012 CPUtime=4.42 cores=1,3,5,7
/proc/4957/task/5019/stat : 5019 (java) S 4954 4957 31421 0 -1 1077944384 17648 13404 0 0 432 2 5 3 20 0 15 0 74501778 11176083456 286915 33554432000 4194304 4196468 140726210928288 139667998054640 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5020] ppid=4954 vsize=10914144 memory=1436 CPUtime=5.39 cores=1,3,5,7
/proc/4957/task/5020/stat : 5020 (java) S 4954 4957 31421 0 -1 1077944384 31809 13404 0 0 527 4 5 3 20 0 15 0 74501778 11176083456 286915 33554432000 4194304 4196468 140726210928288 139667997002096 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5021] ppid=4954 vsize=10914144 memory=4140 CPUtime=2.06 cores=1,3,5,7
/proc/4957/task/5021/stat : 5021 (java) S 4954 4957 31421 0 -1 1077944384 25142 13404 0 0 191 7 5 3 20 0 15 0 74501778 11176083456 286915 33554432000 4194304 4196468 140726210928288 139667995949040 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5022] ppid=4954 vsize=10914144 memory=22376 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5022/stat : 5022 (java) S 4954 4957 31421 0 -1 1077944384 3 13404 0 0 0 0 5 3 20 0 15 0 74501778 11176083456 286915 33554432000 4194304 4196468 140726210928288 139666833533280 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5023] ppid=4954 vsize=10914144 memory=1296 CPUtime=1.42 cores=1,3,5,7
/proc/4957/task/5023/stat : 5023 (java) S 4954 4957 31421 0 -1 1077944384 1253 13404 0 0 64 70 5 3 20 0 15 0 74501779 11176083456 286915 33554432000 4194304 4196468 140726210928288 139667994897456 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
Current children cumulated CPU time: 2482.03 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1147660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2479.9 s]
/proc/loadavg: 1.05 1.23 1.29 3/217 5248
/proc/meminfo: memFree=10827632/32770624 swapFree=67108860/67108860
[pid=4957] ppid=4954 vsize=10914144 memory=1147692 CPUtime=2520.07 cores=1,3,5,7
/proc/4957/stat : 4957 (java) S 4954 4957 31421 0 -1 1077944320 261985 13404 0 0 251671 328 5 3 20 0 15 0 74501764 11176083456 286923 33554432000 4194304 4196468 140726210928288 140726210910832 139668573224695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
/proc/4957/statm: 2728536 286923 3522 1 0 2690189 0
[pid=4957/tid=5010] ppid=4954 vsize=10914144 memory=1147664 CPUtime=2458.75 cores=1,3,5,7
/proc/4957/task/5010/stat : 5010 (java) R 4954 4957 31421 0 -1 4202560 98724 13404 0 0 245817 50 5 3 20 0 15 0 74501773 11176083456 286923 33554432000 4194304 4196468 140726210928288 139668545059328 139668192380998 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5011] ppid=4954 vsize=10914144 memory=1147664 CPUtime=9.87 cores=1,3,5,7
/proc/4957/task/5011/stat : 5011 (java) S 4954 4957 31421 0 -1 1077944384 17713 13404 0 0 927 52 5 3 20 0 15 0 74501773 11176083456 286923 33554432000 4194304 4196468 140726210928288 139668577466896 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5012] ppid=4954 vsize=10914144 memory=1147664 CPUtime=9.85 cores=1,3,5,7
/proc/4957/task/5012/stat : 5012 (java) S 4954 4957 31421 0 -1 1077944384 15005 13404 0 0 926 51 5 3 20 0 15 0 74501773 11176083456 286923 33554432000 4194304 4196468 140726210928288 139668146719376 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5013] ppid=4954 vsize=10914144 memory=1147664 CPUtime=9.87 cores=1,3,5,7
/proc/4957/task/5013/stat : 5013 (java) S 4954 4957 31421 0 -1 1077944384 17422 13404 0 0 934 45 5 3 20 0 15 0 74501773 11176083456 286923 33554432000 4194304 4196468 140726210928288 139668145666320 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5014] ppid=4954 vsize=10914144 memory=1147664 CPUtime=9.87 cores=1,3,5,7
/proc/4957/task/5014/stat : 5014 (java) S 4954 4957 31421 0 -1 1077944384 17611 13404 0 0 926 53 5 3 20 0 15 0 74501773 11176083456 286923 33554432000 4194304 4196468 140726210928288 139668144613776 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5015] ppid=4954 vsize=10914144 memory=4108 CPUtime=9.16 cores=1,3,5,7
/proc/4957/task/5015/stat : 5015 (java) S 4954 4957 31421 0 -1 1077944384 17410 13404 0 0 860 48 5 3 20 0 15 0 74501775 11176083456 286923 33554432000 4194304 4196468 140726210928288 139668032666352 139668573235842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5016] ppid=4954 vsize=10914144 memory=1147692 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5016/stat : 5016 (java) S 4954 4957 31421 0 -1 1077944384 38 13404 0 0 0 0 5 3 20 0 15 0 74501775 11176083456 286923 33554432000 4194304 4196468 140726210928288 139668031612704 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5017] ppid=4954 vsize=10914144 memory=1147664 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5017/stat : 5017 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501775 11176083456 286923 33554432000 4194304 4196468 140726210928288 139667907273984 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5018] ppid=4954 vsize=10914144 memory=1147664 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5018/stat : 5018 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501778 11176083456 286923 33554432000 4194304 4196468 140726210928288 139667303295440 139668573243291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5019] ppid=4954 vsize=10914144 memory=1147664 CPUtime=4.42 cores=1,3,5,7
/proc/4957/task/5019/stat : 5019 (java) S 4954 4957 31421 0 -1 1077944384 17648 13404 0 0 432 2 5 3 20 0 15 0 74501778 11176083456 286923 33554432000 4194304 4196468 140726210928288 139667998054640 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5020] ppid=4954 vsize=10914144 memory=1147664 CPUtime=5.39 cores=1,3,5,7
/proc/4957/task/5020/stat : 5020 (java) S 4954 4957 31421 0 -1 1077944384 31809 13404 0 0 527 4 5 3 20 0 15 0 74501778 11176083456 286923 33554432000 4194304 4196468 140726210928288 139667997002096 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5021] ppid=4954 vsize=10914144 memory=1147664 CPUtime=2.06 cores=1,3,5,7
/proc/4957/task/5021/stat : 5021 (java) S 4954 4957 31421 0 -1 1077944384 25142 13404 0 0 191 7 5 3 20 0 15 0 74501778 11176083456 286923 33554432000 4194304 4196468 140726210928288 139667995949040 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5022] ppid=4954 vsize=10914144 memory=1147664 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5022/stat : 5022 (java) S 4954 4957 31421 0 -1 1077944384 3 13404 0 0 0 0 5 3 20 0 15 0 74501778 11176083456 286923 33554432000 4194304 4196468 140726210928288 139666833533280 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5023] ppid=4954 vsize=10914144 memory=5412 CPUtime=1.44 cores=1,3,5,7
/proc/4957/task/5023/stat : 5023 (java) S 4954 4957 31421 0 -1 1077944384 1268 13404 0 0 65 71 5 3 20 0 15 0 74501779 11176083456 286923 33554432000 4194304 4196468 140726210928288 139667994897456 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1147692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2479.93 s]
# the end of solver process 4957 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.79 s, system=3.32686 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2479.9 s]
/proc/loadavg: 1.05 1.23 1.29 3/217 5248
/proc/meminfo: memFree=10827632/32770624 swapFree=67108860/67108860
[pid=4957] ppid=4954 vsize=10914144 memory=1147692 CPUtime=2520.07 cores=1,3,5,7
/proc/4957/stat : 4957 (java) S 4954 4957 31421 0 -1 1077944320 261985 13404 0 0 251671 328 5 3 20 0 15 0 74501764 11176083456 286923 33554432000 4194304 4196468 140726210928288 140726210910832 139668573224695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
/proc/4957/statm: 2728536 286923 3522 1 0 2690189 0
[pid=4957/tid=5010] ppid=4954 vsize=10914144 memory=1147664 CPUtime=2458.75 cores=1,3,5,7
/proc/4957/task/5010/stat : 5010 (java) R 4954 4957 31421 0 -1 4202560 98724 13404 0 0 245817 50 5 3 20 0 15 0 74501773 11176083456 286923 33554432000 4194304 4196468 140726210928288 139668545059328 139668192380998 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5011] ppid=4954 vsize=10914144 memory=1147664 CPUtime=9.87 cores=1,3,5,7
/proc/4957/task/5011/stat : 5011 (java) S 4954 4957 31421 0 -1 1077944384 17713 13404 0 0 927 52 5 3 20 0 15 0 74501773 11176083456 286923 33554432000 4194304 4196468 140726210928288 139668577466896 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5012] ppid=4954 vsize=10914144 memory=1147664 CPUtime=9.85 cores=1,3,5,7
/proc/4957/task/5012/stat : 5012 (java) S 4954 4957 31421 0 -1 1077944384 15005 13404 0 0 926 51 5 3 20 0 15 0 74501773 11176083456 286923 33554432000 4194304 4196468 140726210928288 139668146719376 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5013] ppid=4954 vsize=10914144 memory=1147664 CPUtime=9.87 cores=1,3,5,7
/proc/4957/task/5013/stat : 5013 (java) S 4954 4957 31421 0 -1 1077944384 17422 13404 0 0 934 45 5 3 20 0 15 0 74501773 11176083456 286923 33554432000 4194304 4196468 140726210928288 139668145666320 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5014] ppid=4954 vsize=10914144 memory=1147664 CPUtime=9.87 cores=1,3,5,7
/proc/4957/task/5014/stat : 5014 (java) S 4954 4957 31421 0 -1 1077944384 17611 13404 0 0 926 53 5 3 20 0 15 0 74501773 11176083456 286923 33554432000 4194304 4196468 140726210928288 139668144613776 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5015] ppid=4954 vsize=10914144 memory=4108 CPUtime=9.16 cores=1,3,5,7
/proc/4957/task/5015/stat : 5015 (java) S 4954 4957 31421 0 -1 1077944384 17410 13404 0 0 860 48 5 3 20 0 15 0 74501775 11176083456 286923 33554432000 4194304 4196468 140726210928288 139668032666352 139668573235842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5016] ppid=4954 vsize=10914144 memory=1147692 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5016/stat : 5016 (java) S 4954 4957 31421 0 -1 1077944384 38 13404 0 0 0 0 5 3 20 0 15 0 74501775 11176083456 286923 33554432000 4194304 4196468 140726210928288 139668031612704 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5017] ppid=4954 vsize=10914144 memory=1147664 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5017/stat : 5017 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501775 11176083456 286923 33554432000 4194304 4196468 140726210928288 139667907273984 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5018] ppid=4954 vsize=10914144 memory=1147664 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5018/stat : 5018 (java) S 4954 4957 31421 0 -1 1077944384 2 13404 0 0 0 0 5 3 20 0 15 0 74501778 11176083456 286923 33554432000 4194304 4196468 140726210928288 139667303295440 139668573243291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5019] ppid=4954 vsize=10914144 memory=1147664 CPUtime=4.42 cores=1,3,5,7
/proc/4957/task/5019/stat : 5019 (java) S 4954 4957 31421 0 -1 1077944384 17648 13404 0 0 432 2 5 3 20 0 15 0 74501778 11176083456 286923 33554432000 4194304 4196468 140726210928288 139667998054640 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5020] ppid=4954 vsize=10914144 memory=1147664 CPUtime=5.39 cores=1,3,5,7
/proc/4957/task/5020/stat : 5020 (java) S 4954 4957 31421 0 -1 1077944384 31809 13404 0 0 527 4 5 3 20 0 15 0 74501778 11176083456 286923 33554432000 4194304 4196468 140726210928288 139667997002096 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5021] ppid=4954 vsize=10914144 memory=1147664 CPUtime=2.06 cores=1,3,5,7
/proc/4957/task/5021/stat : 5021 (java) S 4954 4957 31421 0 -1 1077944384 25142 13404 0 0 191 7 5 3 20 0 15 0 74501778 11176083456 286923 33554432000 4194304 4196468 140726210928288 139667995949040 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5022] ppid=4954 vsize=10914144 memory=1147664 CPUtime=0.08 cores=1,3,5,7
/proc/4957/task/5022/stat : 5022 (java) S 4954 4957 31421 0 -1 1077944384 3 13404 0 0 0 0 5 3 20 0 15 0 74501778 11176083456 286923 33554432000 4194304 4196468 140726210928288 139666833533280 139668573234901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
[pid=4957/tid=5023] ppid=4954 vsize=10914144 memory=5412 CPUtime=1.44 cores=1,3,5,7
/proc/4957/task/5023/stat : 5023 (java) S 4954 4957 31421 0 -1 1077944384 1268 13404 0 0 65 71 5 3 20 0 15 0 74501779 11176083456 286923 33554432000 4194304 4196468 140726210928288 139667994897456 139668573235842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33136640 140726210934955 140726210938204 140726210938204 140726210940879 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1147692 KiB
Child status: 143
Real time (s): 2479.93
CPU time (s): 2520.12
CPU user time (s): 2516.79
CPU system time (s): 3.32686
CPU usage (%): 101.62
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 1189052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.79
system time used= 3.32686
maximum resident set size= 1190096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276200
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 249454
involuntary context switches= 5252
# summary of solver processes directly reported to runsolver:
# pid: 4957
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.79
# total CPU system time (s): 3.32686
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.136 second user time and 21.2623 second system time
The end