runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3689695-1337892443/watcher-3689695-1337892443 -o /tmp/evaluation-result-3689695-1337892443/solver-3689695-1337892443 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689695-1337892443.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.06 2.06 3/192 23744
/proc/meminfo: memFree=28355380/32873844 swapFree=6080/6080
[pid=23744] ppid=23742 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23744/stat : 23744 (java) D 23742 23744 21473 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 255372785 9515008 182 33554432000 1073741824 1073778376 140736462985488 140736462976520 226329706165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/23744/statm: 2323 182 140 9 0 71 0
[startup+0.066679 s]
/proc/loadavg: 1.92 2.06 2.06 3/192 23744
/proc/meminfo: memFree=28355380/32873844 swapFree=6080/6080
[pid=23744] ppid=23742 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23742 23744 21473 0 -1 4202496 3090 0 1 0 3 1 0 0 20 0 13 0 255372785 9446973440 4299 33554432000 1073741824 1073778376 140735039648016 140735039639152 226333065277 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23744/statm: 2306390 4299 1714 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560
[startup+0.100285 s]
/proc/loadavg: 1.92 2.06 2.06 3/192 23744
/proc/meminfo: memFree=28355380/32873844 swapFree=6080/6080
[pid=23744] ppid=23742 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23742 23744 21473 0 -1 4202496 4195 0 1 0 8 1 0 0 20 0 18 0 255372785 9787813888 5391 33554432000 1073741824 1073778376 140735039648016 140735039639152 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23744/statm: 2389603 5394 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300274 s]
/proc/loadavg: 1.92 2.06 2.06 3/192 23744
/proc/meminfo: memFree=28355380/32873844 swapFree=6080/6080
[pid=23744] ppid=23742 vsize=9558412 CPUtime=0.55 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23742 23744 21473 0 -1 4202496 7258 0 1 0 53 2 0 0 20 0 18 0 255372785 9787813888 10880 33554432000 1073741824 1073778376 140735039648016 140735039639152 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23744/statm: 2389603 10880 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558412
[startup+0.700252 s]
/proc/loadavg: 1.92 2.06 2.06 3/192 23744
/proc/meminfo: memFree=28355380/32873844 swapFree=6080/6080
[pid=23744] ppid=23742 vsize=9624976 CPUtime=1.5 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23742 23744 21473 0 -1 4202496 9677 0 1 0 145 5 0 0 20 0 19 0 255372785 9855975424 30589 33554432000 1073741824 1073778376 140735039648016 140735039639152 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23744/statm: 2406244 30589 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9624976
[startup+1.50075 s]
/proc/loadavg: 1.92 2.06 2.06 3/211 23763
/proc/meminfo: memFree=28241208/32873844 swapFree=6080/6080
[pid=23744] ppid=23742 vsize=9624976 CPUtime=2.43 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23742 23744 21473 0 -1 4202496 10104 0 1 0 238 5 0 0 20 0 19 0 255372785 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140735039639152 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23744/statm: 2406244 31105 2253 9 0 2396937 0
[pid=23744/tid=23746] ppid=23742 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/23744/task/23746/stat : 23746 (java) R 23742 23744 21473 0 -1 4202560 2505 0 1 0 143 3 0 0 20 0 19 0 255372786 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140440295428520 140440146565964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23747] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23747/stat : 23747 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140440267881512 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23748] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23748/stat : 23748 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140440266828712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23749] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23749/stat : 23749 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140440265775912 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23750] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23750/stat : 23750 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140440264723112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23751] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23751/stat : 23751 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140440134789672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23752] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23752/stat : 23752 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140440133736872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23753] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23753/stat : 23753 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140440132684072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23754] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23754/stat : 23754 (java) S 23742 23744 21473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140440131631272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23755] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23755/stat : 23755 (java) S 23742 23744 21473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255372788 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140439649119208 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23756] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23756/stat : 23756 (java) S 23742 23744 21473 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255372789 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140439648065272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23757] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23757/stat : 23757 (java) S 23742 23744 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255372789 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140439647012360 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23758] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23758/stat : 23758 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372791 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140439645960848 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23759] ppid=23742 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23744/task/23759/stat : 23759 (java) S 23742 23744 21473 0 -1 4202560 2700 0 0 0 45 0 0 0 20 0 19 0 255372791 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140439644907960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23760] ppid=23742 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23744/task/23760/stat : 23760 (java) R 23742 23744 21473 0 -1 4202560 3707 0 0 0 45 1 0 0 20 0 19 0 255372792 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140439643855160 226329372799 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23761] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23761/stat : 23761 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372792 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140439642802552 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23762] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23762/stat : 23762 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372792 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140439641749960 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23763] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23763/stat : 23763 (java) S 23742 23744 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255372844 9855975424 31105 33554432000 1073741824 1073778376 140735039648016 140439640696488 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9624976
[startup+3.10078 s]
/proc/loadavg: 1.92 2.06 2.06 3/211 23763
/proc/meminfo: memFree=28217936/32873844 swapFree=6080/6080
[pid=23744] ppid=23742 vsize=9624976 CPUtime=4.11 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23742 23744 21473 0 -1 4202496 10261 0 1 0 405 6 0 0 20 0 19 0 255372785 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140735039639152 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23744/statm: 2406244 36269 2278 9 0 2396937 0
[pid=23744/tid=23746] ppid=23742 vsize=9624976 CPUtime=3.02 cores=1,3,5,7
/proc/23744/task/23746/stat : 23746 (java) R 23742 23744 21473 0 -1 4202560 2510 0 1 0 299 3 0 0 20 0 19 0 255372786 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140440295426712 140440146499980 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23747] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23747/stat : 23747 (java) S 23742 23744 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140440267881512 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23748] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23748/stat : 23748 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140440266828712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23749] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23749/stat : 23749 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140440265775912 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23750] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23750/stat : 23750 (java) S 23742 23744 21473 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140440264723112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23751] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23751/stat : 23751 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140440134789672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23752] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23752/stat : 23752 (java) S 23742 23744 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140440133736872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23753] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23753/stat : 23753 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140440132684072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23754] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23754/stat : 23754 (java) S 23742 23744 21473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140440131631272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23755] ppid=23742 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23744/task/23755/stat : 23755 (java) S 23742 23744 21473 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 255372788 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140439649119208 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23756] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23756/stat : 23756 (java) S 23742 23744 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255372789 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140439648065272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23757] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23757/stat : 23757 (java) S 23742 23744 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255372789 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140439647012360 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23758] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23758/stat : 23758 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372791 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140439645960848 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23759] ppid=23742 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/23744/task/23759/stat : 23759 (java) S 23742 23744 21473 0 -1 4202560 2794 0 0 0 49 0 0 0 20 0 19 0 255372791 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140439644907960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23760] ppid=23742 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/23744/task/23760/stat : 23760 (java) S 23742 23744 21473 0 -1 4202560 3711 0 0 0 47 1 0 0 20 0 19 0 255372792 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140439643855160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23761] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23761/stat : 23761 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372792 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140439642802552 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23762] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23762/stat : 23762 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372792 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140439641749960 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23763] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23763/stat : 23763 (java) S 23742 23744 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255372844 9855975424 36269 33554432000 1073741824 1073778376 140735039648016 140439640696488 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 9624976
[startup+6.30076 s]
/proc/loadavg: 1.93 2.06 2.06 3/211 23763
/proc/meminfo: memFree=28210304/32873844 swapFree=6080/6080
[pid=23744] ppid=23742 vsize=9624976 CPUtime=7.37 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23742 23744 21473 0 -1 4202496 10282 0 1 0 731 6 0 0 20 0 19 0 255372785 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140735039639152 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23744/statm: 2406244 37768 2278 9 0 2396937 0
[pid=23744/tid=23746] ppid=23742 vsize=9624976 CPUtime=6.14 cores=1,3,5,7
/proc/23744/task/23746/stat : 23746 (java) R 23742 23744 21473 0 -1 4202560 2512 0 1 0 611 3 0 0 20 0 19 0 255372786 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140440295428384 140440146566215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23747] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23747/stat : 23747 (java) S 23742 23744 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140440267881512 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23748] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23748/stat : 23748 (java) S 23742 23744 21473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140440266828712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23749] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23749/stat : 23749 (java) S 23742 23744 21473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140440265775912 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23750] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23750/stat : 23750 (java) S 23742 23744 21473 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140440264723112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23751] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23751/stat : 23751 (java) S 23742 23744 21473 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140440134789672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23752] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23752/stat : 23752 (java) S 23742 23744 21473 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140440133736872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23753] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23753/stat : 23753 (java) S 23742 23744 21473 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140440132684072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23754] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23754/stat : 23754 (java) S 23742 23744 21473 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255372787 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140440131631272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23755] ppid=23742 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/23744/task/23755/stat : 23755 (java) S 23742 23744 21473 0 -1 4202560 35 0 0 0 6 0 0 0 20 0 19 0 255372788 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140439649119208 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23756] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23756/stat : 23756 (java) S 23742 23744 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255372789 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140439648065272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23757] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23757/stat : 23757 (java) S 23742 23744 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255372789 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140439647012360 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23758] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23758/stat : 23758 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372791 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140439645960848 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23759] ppid=23742 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/23744/task/23759/stat : 23759 (java) S 23742 23744 21473 0 -1 4202560 2794 0 0 0 51 0 0 0 20 0 19 0 255372791 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140439644907960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23760] ppid=23742 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/23744/task/23760/stat : 23760 (java) S 23742 23744 21473 0 -1 4202560 3712 0 0 0 49 1 0 0 20 0 19 0 255372792 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140439643855160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23761] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23761/stat : 23761 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372792 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140439642802552 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23762] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23762/stat : 23762 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372792 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140439641749960 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23763] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23763/stat : 23763 (java) S 23742 23744 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255372844 9855975424 37768 33554432000 1073741824 1073778376 140735039648016 140439640696488 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 9624976
[startup+12.7008 s]
################
# More data... #
################
[pid=23744/tid=23759] ppid=23742 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/23744/task/23759/stat : 23759 (java) S 23742 23744 21473 0 -1 4202560 2802 0 0 0 51 0 0 0 20 0 19 0 255372791 9855975424 168436 33554432000 1073741824 1073778376 140735039648016 140439644907960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23760] ppid=23742 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/23744/task/23760/stat : 23760 (java) S 23742 23744 21473 0 -1 4202560 4295 0 0 0 65 1 0 0 20 0 19 0 255372792 9855975424 168436 33554432000 1073741824 1073778376 140735039648016 140439643855160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23761] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23761/stat : 23761 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372792 9855975424 168436 33554432000 1073741824 1073778376 140735039648016 140439642802552 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23762] ppid=23742 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/23744/task/23762/stat : 23762 (java) S 23742 23744 21473 0 -1 4202560 92 0 0 0 36 24 0 0 20 0 19 0 255372792 9855975424 168436 33554432000 1073741824 1073778376 140735039648016 140439641749960 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23763] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23763/stat : 23763 (java) S 23742 23744 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255372844 9855975424 168436 33554432000 1073741824 1073778376 140735039648016 140439640696488 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1622.55
Current children cumulated vsize (KiB) 9624976
[startup+1662.3 s]
/proc/loadavg: 2.40 2.21 2.11 3/211 23857
/proc/meminfo: memFree=22784888/32873844 swapFree=6080/6080
[pid=23744] ppid=23742 vsize=9624976 CPUtime=1683.49 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23742 23744 21473 0 -1 4202496 25269 0 1 0 168201 148 0 0 20 0 19 0 255372785 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140735039639152 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23744/statm: 2406244 168253 2279 9 0 2396937 0
[pid=23744/tid=23746] ppid=23742 vsize=9624976 CPUtime=1643.24 cores=1,3,5,7
/proc/23744/task/23746/stat : 23746 (java) R 23742 23744 21473 0 -1 4202560 2802 0 1 0 164294 30 0 0 20 0 19 0 255372786 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140440295428384 140440146486959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23747] ppid=23742 vsize=9624976 CPUtime=3.28 cores=1,3,5,7
/proc/23744/task/23747/stat : 23747 (java) S 23742 23744 21473 0 -1 4202560 1183 0 0 0 314 14 0 0 20 0 19 0 255372787 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140440267881512 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23748] ppid=23742 vsize=9624976 CPUtime=3.49 cores=1,3,5,7
/proc/23744/task/23748/stat : 23748 (java) S 23742 23744 21473 0 -1 4202560 2596 0 0 0 337 12 0 0 20 0 19 0 255372787 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140440266828712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23749] ppid=23742 vsize=9624976 CPUtime=3.42 cores=1,3,5,7
/proc/23744/task/23749/stat : 23749 (java) S 23742 23744 21473 0 -1 4202560 686 0 0 0 327 15 0 0 20 0 19 0 255372787 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140440265775912 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23750] ppid=23742 vsize=9624976 CPUtime=3.13 cores=1,3,5,7
/proc/23744/task/23750/stat : 23750 (java) S 23742 23744 21473 0 -1 4202560 1727 0 0 0 301 12 0 0 20 0 19 0 255372787 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140440264723112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23751] ppid=23742 vsize=9624976 CPUtime=3.52 cores=1,3,5,7
/proc/23744/task/23751/stat : 23751 (java) S 23742 23744 21473 0 -1 4202560 2309 0 0 0 337 15 0 0 20 0 19 0 255372787 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140440134789672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23752] ppid=23742 vsize=9624976 CPUtime=3.27 cores=1,3,5,7
/proc/23744/task/23752/stat : 23752 (java) S 23742 23744 21473 0 -1 4202560 1532 0 0 0 314 13 0 0 20 0 19 0 255372787 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140440133736872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23753] ppid=23742 vsize=9624976 CPUtime=3.48 cores=1,3,5,7
/proc/23744/task/23753/stat : 23753 (java) S 23742 23744 21473 0 -1 4202560 1751 0 0 0 334 14 0 0 20 0 19 0 255372787 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140440132684072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23754] ppid=23742 vsize=9624976 CPUtime=3.34 cores=1,3,5,7
/proc/23744/task/23754/stat : 23754 (java) S 23742 23744 21473 0 -1 4202560 1584 0 0 0 322 12 0 0 20 0 19 0 255372787 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140440131631272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23755] ppid=23742 vsize=9624976 CPUtime=7.23 cores=1,3,5,7
/proc/23744/task/23755/stat : 23755 (java) S 23742 23744 21473 0 -1 4202560 729 0 0 0 720 3 0 0 20 0 19 0 255372788 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140439649119208 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23756] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23756/stat : 23756 (java) S 23742 23744 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255372789 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140439648065272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23757] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23757/stat : 23757 (java) S 23742 23744 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255372789 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140439647012360 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23758] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23758/stat : 23758 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372791 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140439645960848 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23759] ppid=23742 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/23744/task/23759/stat : 23759 (java) S 23742 23744 21473 0 -1 4202560 2802 0 0 0 51 0 0 0 20 0 19 0 255372791 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140439644907960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23760] ppid=23742 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/23744/task/23760/stat : 23760 (java) S 23742 23744 21473 0 -1 4202560 4295 0 0 0 65 1 0 0 20 0 19 0 255372792 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140439643855160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23761] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23761/stat : 23761 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372792 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140439642802552 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23762] ppid=23742 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/23744/task/23762/stat : 23762 (java) S 23742 23744 21473 0 -1 4202560 94 0 0 0 38 25 0 0 20 0 19 0 255372792 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140439641749960 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23763] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23763/stat : 23763 (java) S 23742 23744 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255372844 9855975424 168253 33554432000 1073741824 1073778376 140735039648016 140439640696488 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1683.49
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.15 2.17 2.10 3/211 23858
/proc/meminfo: memFree=22788548/32873844 swapFree=6080/6080
[pid=23744] ppid=23742 vsize=9624976 CPUtime=1744.26 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23742 23744 21473 0 -1 4202496 25458 0 1 0 174276 150 0 0 20 0 19 0 255372785 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140735039639152 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23744/statm: 2406244 167373 2279 9 0 2396937 0
[pid=23744/tid=23746] ppid=23742 vsize=9624976 CPUtime=1702.67 cores=1,3,5,7
/proc/23744/task/23746/stat : 23746 (java) R 23742 23744 21473 0 -1 4202560 2809 0 1 0 170236 31 0 0 20 0 19 0 255372786 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140440295427440 140440146529012 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23747] ppid=23742 vsize=9624976 CPUtime=3.38 cores=1,3,5,7
/proc/23744/task/23747/stat : 23747 (java) S 23742 23744 21473 0 -1 4202560 1193 0 0 0 324 14 0 0 20 0 19 0 255372787 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140440267881512 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23748] ppid=23742 vsize=9624976 CPUtime=3.63 cores=1,3,5,7
/proc/23744/task/23748/stat : 23748 (java) S 23742 23744 21473 0 -1 4202560 2646 0 0 0 351 12 0 0 20 0 19 0 255372787 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140440266828712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23749] ppid=23742 vsize=9624976 CPUtime=3.51 cores=1,3,5,7
/proc/23744/task/23749/stat : 23749 (java) S 23742 23744 21473 0 -1 4202560 686 0 0 0 336 15 0 0 20 0 19 0 255372787 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140440265775912 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23750] ppid=23742 vsize=9624976 CPUtime=3.29 cores=1,3,5,7
/proc/23744/task/23750/stat : 23750 (java) S 23742 23744 21473 0 -1 4202560 1728 0 0 0 317 12 0 0 20 0 19 0 255372787 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140440264723112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23751] ppid=23742 vsize=9624976 CPUtime=3.69 cores=1,3,5,7
/proc/23744/task/23751/stat : 23751 (java) S 23742 23744 21473 0 -1 4202560 2361 0 0 0 354 15 0 0 20 0 19 0 255372787 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140440134789672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23752] ppid=23742 vsize=9624976 CPUtime=3.39 cores=1,3,5,7
/proc/23744/task/23752/stat : 23752 (java) S 23742 23744 21473 0 -1 4202560 1552 0 0 0 326 13 0 0 20 0 19 0 255372787 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140440133736872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23753] ppid=23742 vsize=9624976 CPUtime=3.6 cores=1,3,5,7
/proc/23744/task/23753/stat : 23753 (java) S 23742 23744 21473 0 -1 4202560 1752 0 0 0 346 14 0 0 20 0 19 0 255372787 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140440132684072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23754] ppid=23742 vsize=9624976 CPUtime=3.5 cores=1,3,5,7
/proc/23744/task/23754/stat : 23754 (java) S 23742 23744 21473 0 -1 4202560 1586 0 0 0 338 12 0 0 20 0 19 0 255372787 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140440131631272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23755] ppid=23742 vsize=9624976 CPUtime=7.37 cores=1,3,5,7
/proc/23744/task/23755/stat : 23755 (java) S 23742 23744 21473 0 -1 4202560 771 0 0 0 733 4 0 0 20 0 19 0 255372788 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140439649119208 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23756] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23756/stat : 23756 (java) S 23742 23744 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255372789 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140439648065272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23757] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23757/stat : 23757 (java) S 23742 23744 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255372789 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140439647012360 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23758] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23758/stat : 23758 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372791 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140439645960848 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23759] ppid=23742 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/23744/task/23759/stat : 23759 (java) S 23742 23744 21473 0 -1 4202560 2802 0 0 0 51 0 0 0 20 0 19 0 255372791 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140439644907960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23760] ppid=23742 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/23744/task/23760/stat : 23760 (java) S 23742 23744 21473 0 -1 4202560 4295 0 0 0 65 1 0 0 20 0 19 0 255372792 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140439643855160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23761] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23761/stat : 23761 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372792 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140439642802552 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23762] ppid=23742 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/23744/task/23762/stat : 23762 (java) S 23742 23744 21473 0 -1 4202560 98 0 0 0 39 26 0 0 20 0 19 0 255372792 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140439641749960 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23763] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23763/stat : 23763 (java) S 23742 23744 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255372844 9855975424 167373 33554432000 1073741824 1073778376 140735039648016 140439640696488 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1744.26
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1777 s]
/proc/loadavg: 2.14 2.15 2.09 3/211 23858
/proc/meminfo: memFree=22730028/32873844 swapFree=6080/6080
[pid=23744] ppid=23742 vsize=9624976 CPUtime=1800.09 cores=1,3,5,7
/proc/23744/stat : 23744 (java) S 23742 23744 21473 0 -1 4202496 26370 0 1 0 179849 160 0 0 20 0 19 0 255372785 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140735039639152 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23744/statm: 2406244 181958 2279 9 0 2396937 0
[pid=23744/tid=23746] ppid=23742 vsize=9624976 CPUtime=1756.7 cores=1,3,5,7
/proc/23744/task/23746/stat : 23746 (java) R 23742 23744 21473 0 -1 4202560 2818 0 1 0 175638 32 0 0 20 0 19 0 255372786 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140440295427440 140440146597245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23747] ppid=23742 vsize=9624976 CPUtime=3.53 cores=1,3,5,7
/proc/23744/task/23747/stat : 23747 (java) S 23742 23744 21473 0 -1 4202560 1236 0 0 0 338 15 0 0 20 0 19 0 255372787 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140440267881512 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23748] ppid=23742 vsize=9624976 CPUtime=3.81 cores=1,3,5,7
/proc/23744/task/23748/stat : 23748 (java) S 23742 23744 21473 0 -1 4202560 2704 0 0 0 368 13 0 0 20 0 19 0 255372787 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140440266828712 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23749] ppid=23742 vsize=9624976 CPUtime=3.68 cores=1,3,5,7
/proc/23744/task/23749/stat : 23749 (java) S 23742 23744 21473 0 -1 4202560 839 0 0 0 353 15 0 0 20 0 19 0 255372787 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140440265775912 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23750] ppid=23742 vsize=9624976 CPUtime=3.5 cores=1,3,5,7
/proc/23744/task/23750/stat : 23750 (java) S 23742 23744 21473 0 -1 4202560 1733 0 0 0 338 12 0 0 20 0 19 0 255372787 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140440264723112 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23751] ppid=23742 vsize=9624976 CPUtime=3.84 cores=1,3,5,7
/proc/23744/task/23751/stat : 23751 (java) S 23742 23744 21473 0 -1 4202560 2599 0 0 0 368 16 0 0 20 0 19 0 255372787 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140440134789672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23752] ppid=23742 vsize=9624976 CPUtime=3.61 cores=1,3,5,7
/proc/23744/task/23752/stat : 23752 (java) S 23742 23744 21473 0 -1 4202560 1885 0 0 0 345 16 0 0 20 0 19 0 255372787 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140440133736872 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23753] ppid=23742 vsize=9624976 CPUtime=3.83 cores=1,3,5,7
/proc/23744/task/23753/stat : 23753 (java) S 23742 23744 21473 0 -1 4202560 1777 0 0 0 367 16 0 0 20 0 19 0 255372787 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140440132684072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23754] ppid=23742 vsize=9624976 CPUtime=3.7 cores=1,3,5,7
/proc/23744/task/23754/stat : 23754 (java) S 23742 23744 21473 0 -1 4202560 1600 0 0 0 357 13 0 0 20 0 19 0 255372787 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140440131631272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23755] ppid=23742 vsize=9624976 CPUtime=7.5 cores=1,3,5,7
/proc/23744/task/23755/stat : 23755 (java) S 23742 23744 21473 0 -1 4202560 801 0 0 0 746 4 0 0 20 0 19 0 255372788 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140439649119208 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23756] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23756/stat : 23756 (java) S 23742 23744 21473 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255372789 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140439648065272 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23757] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23757/stat : 23757 (java) S 23742 23744 21473 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255372789 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140439647012360 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23758] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23758/stat : 23758 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372791 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140439645960848 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23744/tid=23759] ppid=23742 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/23744/task/23759/stat : 23759 (java) S 23742 23744 21473 0 -1 4202560 2802 0 0 0 51 0 0 0 20 0 19 0 255372791 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140439644907960 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23744/tid=23760] ppid=23742 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/23744/task/23760/stat : 23760 (java) S 23742 23744 21473 0 -1 4202560 4295 0 0 0 65 1 0 0 20 0 19 0 255372792 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140439643855160 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23761] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23761/stat : 23761 (java) S 23742 23744 21473 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255372792 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140439642802552 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23744/tid=23762] ppid=23742 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/23744/task/23762/stat : 23762 (java) S 23742 23744 21473 0 -1 4202560 102 0 0 0 41 27 0 0 20 0 19 0 255372792 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140439641749960 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23744/tid=23763] ppid=23742 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23744/task/23763/stat : 23763 (java) S 23742 23744 21473 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255372844 9855975424 181958 33554432000 1073741824 1073778376 140735039648016 140439640696488 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23744 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=27266
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=945704
# CPU time returned by wait4() is 1795.97
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1777.08
CPU time (s): 1800.09
CPU user time (s): 1798.49
CPU system time (s): 1.6
CPU usage (%): 101.295
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.03
system time used= 1.9457
maximum resident set size= 727956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26403
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46298
involuntary context switches= 47594
runsolver used 10.7794 second user time and 10.7444 second system time
The end