runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4084627-1465284765/watcher-4084627-1465284765 -o /tmp/evaluation-result-4084627-1465284765/solver-4084627-1465284765 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465255130-5982 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084627-1465284765.opb
pid=13916
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: 2.24 2.31 2.24 3/194 13919
/proc/meminfo: memFree=29793788/32872528 swapFree=16360/1798728
[pid=13919] ppid=13916 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/13919/stat : 13919 (java) D 13916 13919 5965 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 110409633 2560000 46 33554432000 1073741824 1073778376 140735289119824 140735289116952 260181159207 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/13919/statm: 625 46 37 9 0 29 0
[startup+0.100059 s]
/proc/loadavg: 2.24 2.31 2.24 3/194 13919
/proc/meminfo: memFree=29793788/32872528 swapFree=16360/1798728
[pid=13919] ppid=13916 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 5965 0 -1 4202496 4412 0 1 0 7 1 0 0 20 0 18 0 110409633 9787879424 6036 33554432000 1073741824 1073778376 140735289119824 140735289110960 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13919/statm: 2389619 6036 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.20022 s]
/proc/loadavg: 2.24 2.31 2.24 3/194 13919
/proc/meminfo: memFree=29793788/32872528 swapFree=16360/1798728
[pid=13919] ppid=13916 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 5965 0 -1 4202496 4989 0 1 0 26 1 0 0 20 0 18 0 110409633 9787879424 6952 33554432000 1073741824 1073778376 140735289119824 140735289110960 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13919/statm: 2389619 6952 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300241 s]
/proc/loadavg: 2.24 2.31 2.24 3/194 13919
/proc/meminfo: memFree=29793788/32872528 swapFree=16360/1798728
[pid=13919] ppid=13916 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 5965 0 -1 4202496 7271 0 1 0 52 2 0 0 20 0 18 0 110409633 9787879424 9865 33554432000 1073741824 1073778376 140735289119824 140735289110960 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13919/statm: 2389619 9865 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476
[startup+0.700187 s]
/proc/loadavg: 2.24 2.31 2.24 3/194 13919
/proc/meminfo: memFree=29793788/32872528 swapFree=16360/1798728
[pid=13919] ppid=13916 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 5965 0 -1 4202496 7582 0 1 0 126 2 0 0 20 0 19 0 110409633 9856040960 17081 33554432000 1073741824 1073778376 140735289119824 140735289110960 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13919/statm: 2406260 17081 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9625040
[startup+1.50082 s]
/proc/loadavg: 2.24 2.31 2.24 3/213 13938
/proc/meminfo: memFree=29732396/32872528 swapFree=16360/1798728
[pid=13919] ppid=13916 vsize=9625040 CPUtime=2.42 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 5965 0 -1 4202496 13246 0 1 0 239 3 0 0 20 0 19 0 110409633 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 140735289110960 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13919/statm: 2406260 21146 2267 9 0 2396937 0
[pid=13919/tid=13921] ppid=13916 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/13919/task/13921/stat : 13921 (java) R 13916 13919 5965 0 -1 4202560 2420 0 1 0 143 2 0 0 20 0 19 0 110409634 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869850447568 139869721032255 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13919/tid=13922] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13922/stat : 13922 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869839517864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13923] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13923/stat : 13923 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869692836136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13924] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13924/stat : 13924 (java) S 13916 13919 5965 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869691783592 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13919/tid=13925] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13925/stat : 13925 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869690731048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13919/tid=13926] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13926/stat : 13926 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869689678504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13927] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13927/stat : 13927 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869688625960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13919/tid=13928] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13928/stat : 13928 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869687573416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13929] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13929/stat : 13929 (java) S 13916 13919 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869686520872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13930] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13930/stat : 13930 (java) S 13916 13919 5965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869674322024 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13931] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13931/stat : 13931 (java) S 13916 13919 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869673268344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13932] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13932/stat : 13932 (java) S 13916 13919 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869672215688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13933] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13933/stat : 13933 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869671164432 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13934] ppid=13916 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/13919/task/13934/stat : 13934 (java) R 13916 13919 5965 0 -1 4202560 7932 0 0 0 65 0 0 0 20 0 19 0 110409640 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869670098888 139869854545810 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13935] ppid=13916 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/13919/task/13935/stat : 13935 (java) S 13916 13919 5965 0 -1 4202560 1620 0 0 0 28 0 0 0 20 0 19 0 110409640 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869669059256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13936] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13936/stat : 13936 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869668006904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13937] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13937/stat : 13937 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869666954568 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13938] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13938/stat : 13938 (java) S 13916 13919 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110409674 9856040960 21146 33554432000 1073741824 1073778376 140735289119824 139869665899304 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9625040
[startup+3.10079 s]
/proc/loadavg: 2.24 2.31 2.24 3/213 13938
/proc/meminfo: memFree=29712920/32872528 swapFree=16360/1798728
[pid=13919] ppid=13916 vsize=9625040 CPUtime=4.16 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 5965 0 -1 4202496 13669 0 1 0 413 3 0 0 20 0 19 0 110409633 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 140735289110960 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13919/statm: 2406260 23492 2268 9 0 2396937 0
[pid=13919/tid=13921] ppid=13916 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/13919/task/13921/stat : 13921 (java) R 13916 13919 5965 0 -1 4202560 2425 0 1 0 303 2 0 0 20 0 19 0 110409634 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869850456392 139869721067645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13919/tid=13922] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13922/stat : 13922 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869839517864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13923] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13923/stat : 13923 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869692836136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13924] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13924/stat : 13924 (java) S 13916 13919 5965 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869691783592 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13919/tid=13925] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13925/stat : 13925 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869690731048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13919/tid=13926] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13926/stat : 13926 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869689678504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13927] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13927/stat : 13927 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869688625960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13919/tid=13928] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13928/stat : 13928 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869687573416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13929] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13929/stat : 13929 (java) S 13916 13919 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869686520872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13930] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13930/stat : 13930 (java) S 13916 13919 5965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869674322024 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13931] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13931/stat : 13931 (java) S 13916 13919 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869673268344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13932] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13932/stat : 13932 (java) S 13916 13919 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869672215688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13933] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13933/stat : 13933 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869671164432 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13934] ppid=13916 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/13919/task/13934/stat : 13934 (java) S 13916 13919 5965 0 -1 4202560 8349 0 0 0 76 0 0 0 20 0 19 0 110409640 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869670111800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13935] ppid=13916 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/13919/task/13935/stat : 13935 (java) S 13916 13919 5965 0 -1 4202560 1621 0 0 0 30 0 0 0 20 0 19 0 110409640 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869669059256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13936] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13936/stat : 13936 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869668006904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13937] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13937/stat : 13937 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869666954568 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13938] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13938/stat : 13938 (java) S 13916 13919 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110409674 9856040960 23492 33554432000 1073741824 1073778376 140735289119824 139869665899304 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 9625040
[startup+6.30077 s]
/proc/loadavg: 2.22 2.31 2.24 4/213 13938
/proc/meminfo: memFree=29703500/32872528 swapFree=16360/1798728
[pid=13919] ppid=13916 vsize=9625040 CPUtime=7.38 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 5965 0 -1 4202496 13678 0 1 0 734 4 0 0 20 0 19 0 110409633 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 140735289110960 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13919/statm: 2406260 25085 2269 9 0 2396937 0
[pid=13919/tid=13921] ppid=13916 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/13919/task/13921/stat : 13921 (java) R 13916 13919 5965 0 -1 4202560 2433 0 1 0 622 2 0 0 20 0 19 0 110409634 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869850447552 139869721032225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13919/tid=13922] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13922/stat : 13922 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869839517864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13923] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13923/stat : 13923 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869692836136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13924] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13924/stat : 13924 (java) S 13916 13919 5965 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869691783592 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13919/tid=13925] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13925/stat : 13925 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869690731048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13919/tid=13926] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13926/stat : 13926 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869689678504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13927] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13927/stat : 13927 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869688625960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13919/tid=13928] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13928/stat : 13928 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869687573416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13929] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13929/stat : 13929 (java) S 13916 13919 5965 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110409636 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869686520872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13930] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13930/stat : 13930 (java) S 13916 13919 5965 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869674322024 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13931] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13931/stat : 13931 (java) S 13916 13919 5965 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869673268344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13932] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13932/stat : 13932 (java) S 13916 13919 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869672215688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13933] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13933/stat : 13933 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869671164432 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13934] ppid=13916 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/13919/task/13934/stat : 13934 (java) S 13916 13919 5965 0 -1 4202560 8349 0 0 0 77 0 0 0 20 0 19 0 110409640 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869670111800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13935] ppid=13916 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/13919/task/13935/stat : 13935 (java) S 13916 13919 5965 0 -1 4202560 1621 0 0 0 31 0 0 0 20 0 19 0 110409640 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869669059256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13936] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13936/stat : 13936 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869668006904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13937] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13937/stat : 13937 (java) S 13916 13919 5965 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869666954568 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13938] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13938/stat : 13938 (java) S 13916 13919 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110409674 9856040960 25085 33554432000 1073741824 1073778376 140735289119824 139869665899304 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=13919/tid=13938] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13938/stat : 13938 (java) S 13916 13919 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110409674 9856040960 66527 33554432000 1073741824 1073778376 140735289119824 139869665899304 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1671.6
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.31 2.27 2.21 4/214 14070
/proc/meminfo: memFree=29634172/32872528 swapFree=16360/1798728
[pid=13919] ppid=13916 vsize=9625040 CPUtime=1732.16 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 5965 0 -1 4202496 19168 0 1 0 173081 135 0 0 20 0 19 0 110409633 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 140735289110960 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13919/statm: 2406260 59065 2291 9 0 2396937 0
[pid=13919/tid=13921] ppid=13916 vsize=9625040 CPUtime=1711.25 cores=1,3,5,7
/proc/13919/task/13921/stat : 13921 (java) R 13916 13919 5965 0 -1 4202560 2610 0 1 0 171094 31 0 0 20 0 19 0 110409634 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869850455360 139869721033180 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13922] ppid=13916 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/13919/task/13922/stat : 13922 (java) S 13916 13919 5965 0 -1 4202560 678 0 0 0 136 9 0 0 20 0 19 0 110409636 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869839517864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13923] ppid=13916 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/13919/task/13923/stat : 13923 (java) S 13916 13919 5965 0 -1 4202560 503 0 0 0 145 10 0 0 20 0 19 0 110409636 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869692836136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13924] ppid=13916 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/13919/task/13924/stat : 13924 (java) S 13916 13919 5965 0 -1 4202560 501 0 0 0 136 12 0 0 20 0 19 0 110409636 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869691783592 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13925] ppid=13916 vsize=9625040 CPUtime=1.38 cores=1,3,5,7
/proc/13919/task/13925/stat : 13925 (java) S 13916 13919 5965 0 -1 4202560 538 0 0 0 127 11 0 0 20 0 19 0 110409636 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869690731048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13919/tid=13926] ppid=13916 vsize=9625040 CPUtime=1.62 cores=1,3,5,7
/proc/13919/task/13926/stat : 13926 (java) S 13916 13919 5965 0 -1 4202560 479 0 0 0 151 11 0 0 20 0 19 0 110409636 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869689678504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13927] ppid=13916 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/13919/task/13927/stat : 13927 (java) S 13916 13919 5965 0 -1 4202560 589 0 0 0 134 13 0 0 20 0 19 0 110409636 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869688625960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13919/tid=13928] ppid=13916 vsize=9625040 CPUtime=1.5 cores=1,3,5,7
/proc/13919/task/13928/stat : 13928 (java) S 13916 13919 5965 0 -1 4202560 542 0 0 0 137 13 0 0 20 0 19 0 110409636 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869687573416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13929] ppid=13916 vsize=9625040 CPUtime=1.57 cores=1,3,5,7
/proc/13919/task/13929/stat : 13929 (java) S 13916 13919 5965 0 -1 4202560 436 0 0 0 146 11 0 0 20 0 19 0 110409636 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869686520872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13919/tid=13930] ppid=13916 vsize=9625040 CPUtime=3 cores=1,3,5,7
/proc/13919/task/13930/stat : 13930 (java) S 13916 13919 5965 0 -1 4202560 626 0 0 0 295 5 0 0 20 0 19 0 110409637 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869674322024 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13931] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13931/stat : 13931 (java) S 13916 13919 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869673268344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13932] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13932/stat : 13932 (java) S 13916 13919 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869672215688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13933] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13933/stat : 13933 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869671164432 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13934] ppid=13916 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/13919/task/13934/stat : 13934 (java) S 13916 13919 5965 0 -1 4202560 8349 0 0 0 78 0 0 0 20 0 19 0 110409640 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869670111800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13935] ppid=13916 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/13919/task/13935/stat : 13935 (java) S 13916 13919 5965 0 -1 4202560 1958 0 0 0 34 0 0 0 20 0 19 0 110409640 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869669059256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13936] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13936/stat : 13936 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869668006904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13937] ppid=13916 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/13919/task/13937/stat : 13937 (java) S 13916 13919 5965 0 -1 4202560 100 0 0 0 27 39 0 0 20 0 19 0 110409640 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869666954568 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13938] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13938/stat : 13938 (java) S 13916 13919 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110409674 9856040960 59065 33554432000 1073741824 1073778376 140735289119824 139869665899304 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1732.16
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.29 2.26 2.21 3/213 14071
/proc/meminfo: memFree=29554116/32872528 swapFree=16360/1798728
[pid=13919] ppid=13916 vsize=9625040 CPUtime=1792.93 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 5965 0 -1 4202496 20076 0 1 0 179153 140 0 0 20 0 19 0 110409633 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 140735289110960 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13919/statm: 2406260 60072 2291 9 0 2396937 0
[pid=13919/tid=13921] ppid=13916 vsize=9625040 CPUtime=1770.48 cores=1,3,5,7
/proc/13919/task/13921/stat : 13921 (java) R 13916 13919 5965 0 -1 4202560 2632 0 1 0 177017 31 0 0 20 0 19 0 110409634 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869850455360 139869721032163 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13922] ppid=13916 vsize=9625040 CPUtime=1.6 cores=1,3,5,7
/proc/13919/task/13922/stat : 13922 (java) S 13916 13919 5965 0 -1 4202560 791 0 0 0 150 10 0 0 20 0 19 0 110409636 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869839517864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13919/tid=13923] ppid=13916 vsize=9625040 CPUtime=1.69 cores=1,3,5,7
/proc/13919/task/13923/stat : 13923 (java) S 13916 13919 5965 0 -1 4202560 674 0 0 0 158 11 0 0 20 0 19 0 110409636 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869692836136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13924] ppid=13916 vsize=9625040 CPUtime=1.61 cores=1,3,5,7
/proc/13919/task/13924/stat : 13924 (java) S 13916 13919 5965 0 -1 4202560 758 0 0 0 149 12 0 0 20 0 19 0 110409636 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869691783592 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13919/tid=13925] ppid=13916 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/13919/task/13925/stat : 13925 (java) S 13916 13919 5965 0 -1 4202560 576 0 0 0 139 12 0 0 20 0 19 0 110409636 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869690731048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13919/tid=13926] ppid=13916 vsize=9625040 CPUtime=1.71 cores=1,3,5,7
/proc/13919/task/13926/stat : 13926 (java) S 13916 13919 5965 0 -1 4202560 613 0 0 0 160 11 0 0 20 0 19 0 110409636 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869689678504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13927] ppid=13916 vsize=9625040 CPUtime=1.63 cores=1,3,5,7
/proc/13919/task/13927/stat : 13927 (java) S 13916 13919 5965 0 -1 4202560 628 0 0 0 149 14 0 0 20 0 19 0 110409636 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869688625960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13919/tid=13928] ppid=13916 vsize=9625040 CPUtime=1.62 cores=1,3,5,7
/proc/13919/task/13928/stat : 13928 (java) S 13916 13919 5965 0 -1 4202560 557 0 0 0 149 13 0 0 20 0 19 0 110409636 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869687573416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13919/tid=13929] ppid=13916 vsize=9625040 CPUtime=1.74 cores=1,3,5,7
/proc/13919/task/13929/stat : 13929 (java) S 13916 13919 5965 0 -1 4202560 480 0 0 0 163 11 0 0 20 0 19 0 110409636 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869686520872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13930] ppid=13916 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/13919/task/13930/stat : 13930 (java) S 13916 13919 5965 0 -1 4202560 697 0 0 0 324 5 0 0 20 0 19 0 110409637 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869674322024 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13931] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13931/stat : 13931 (java) S 13916 13919 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869673268344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13932] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13932/stat : 13932 (java) S 13916 13919 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869672215688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13933] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13933/stat : 13933 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869671164432 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13934] ppid=13916 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/13919/task/13934/stat : 13934 (java) S 13916 13919 5965 0 -1 4202560 8349 0 0 0 78 0 0 0 20 0 19 0 110409640 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869670111800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13935] ppid=13916 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/13919/task/13935/stat : 13935 (java) S 13916 13919 5965 0 -1 4202560 1958 0 0 0 34 0 0 0 20 0 19 0 110409640 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869669059256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13936] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13936/stat : 13936 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869668006904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13937] ppid=13916 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/13919/task/13937/stat : 13937 (java) S 13916 13919 5965 0 -1 4202560 104 0 0 0 29 41 0 0 20 0 19 0 110409640 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869666954568 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13938] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13938/stat : 13938 (java) S 13916 13919 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110409674 9856040960 60072 33554432000 1073741824 1073778376 140735289119824 139869665899304 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1792.93
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.4 s]
/proc/loadavg: 2.26 2.26 2.20 3/213 14071
/proc/meminfo: memFree=29545492/32872528 swapFree=16360/1798728
[pid=13919] ppid=13916 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 5965 0 -1 4202496 20803 0 1 0 179868 141 0 0 20 0 19 0 110409633 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 140735289110960 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13919/statm: 2406260 62310 2291 9 0 2396937 0
[pid=13919/tid=13921] ppid=13916 vsize=9625040 CPUtime=1777.54 cores=1,3,5,7
/proc/13919/task/13921/stat : 13921 (java) R 13916 13919 5965 0 -1 4202560 2633 0 1 0 177722 32 0 0 20 0 19 0 110409634 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869850447648 139869721105860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13922] ppid=13916 vsize=9625040 CPUtime=1.61 cores=1,3,5,7
/proc/13919/task/13922/stat : 13922 (java) S 13916 13919 5965 0 -1 4202560 791 0 0 0 151 10 0 0 20 0 19 0 110409636 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869839517864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13919/tid=13923] ppid=13916 vsize=9625040 CPUtime=1.7 cores=1,3,5,7
/proc/13919/task/13923/stat : 13923 (java) S 13916 13919 5965 0 -1 4202560 679 0 0 0 159 11 0 0 20 0 19 0 110409636 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869692836136 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13924] ppid=13916 vsize=9625040 CPUtime=1.63 cores=1,3,5,7
/proc/13919/task/13924/stat : 13924 (java) S 13916 13919 5965 0 -1 4202560 1060 0 0 0 150 13 0 0 20 0 19 0 110409636 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869691783592 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13925] ppid=13916 vsize=9625040 CPUtime=1.53 cores=1,3,5,7
/proc/13919/task/13925/stat : 13925 (java) S 13916 13919 5965 0 -1 4202560 770 0 0 0 141 12 0 0 20 0 19 0 110409636 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869690731048 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13919/tid=13926] ppid=13916 vsize=9625040 CPUtime=1.72 cores=1,3,5,7
/proc/13919/task/13926/stat : 13926 (java) S 13916 13919 5965 0 -1 4202560 827 0 0 0 161 11 0 0 20 0 19 0 110409636 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869689678504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13927] ppid=13916 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/13919/task/13927/stat : 13927 (java) S 13916 13919 5965 0 -1 4202560 629 0 0 0 150 14 0 0 20 0 19 0 110409636 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869688625960 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13919/tid=13928] ppid=13916 vsize=9625040 CPUtime=1.62 cores=1,3,5,7
/proc/13919/task/13928/stat : 13928 (java) S 13916 13919 5965 0 -1 4202560 565 0 0 0 149 13 0 0 20 0 19 0 110409636 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869687573416 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13919/tid=13929] ppid=13916 vsize=9625040 CPUtime=1.75 cores=1,3,5,7
/proc/13919/task/13929/stat : 13929 (java) S 13916 13919 5965 0 -1 4202560 482 0 0 0 164 11 0 0 20 0 19 0 110409636 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869686520872 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13930] ppid=13916 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/13919/task/13930/stat : 13930 (java) S 13916 13919 5965 0 -1 4202560 697 0 0 0 324 5 0 0 20 0 19 0 110409637 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869674322024 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13931] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13931/stat : 13931 (java) S 13916 13919 5965 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869673268344 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13932] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13932/stat : 13932 (java) S 13916 13919 5965 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110409637 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869672215688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13933] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13933/stat : 13933 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869671164432 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13934] ppid=13916 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/13919/task/13934/stat : 13934 (java) S 13916 13919 5965 0 -1 4202560 8349 0 0 0 78 0 0 0 20 0 19 0 110409640 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869670111800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13935] ppid=13916 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/13919/task/13935/stat : 13935 (java) S 13916 13919 5965 0 -1 4202560 1958 0 0 0 34 0 0 0 20 0 19 0 110409640 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869669059256 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13936] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13936/stat : 13936 (java) S 13916 13919 5965 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110409640 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869668006904 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13919/tid=13937] ppid=13916 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/13919/task/13937/stat : 13937 (java) S 13916 13919 5965 0 -1 4202560 104 0 0 0 29 41 0 0 20 0 19 0 110409640 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869666954568 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13919/tid=13938] ppid=13916 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13919/task/13938/stat : 13938 (java) S 13916 13919 5965 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110409674 9856040960 62310 33554432000 1073741824 1073778376 140735289119824 139869665899304 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13919 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13919 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=328220
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=881713
# CPU time returned by wait4() is 1796.21
# 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): 1789.47
CPU time (s): 1800.09
CPU user time (s): 1798.68
CPU system time (s): 1.41
CPU usage (%): 100.593
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.33
system time used= 1.88171
maximum resident set size= 753720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20848
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42509
involuntary context switches= 31769
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1835 second user time and 16.9884 second system time
The end